Textual inference by combining multiple Logic programming paradigms

Chitta Baral, Gregory Gelfond, Michael Gelfond, Richard B. Scinerl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations


The goal of our approach to textual inference is to answer queries about events and dates reported in texts; queries that demand inferencing with the relevant background knowledge. Our primary knowledge representation language is AnsProlog. The core inference engine is a combination of AnsProlog and Constraint Logic programming. AnsProlog is particularly useful for the representation of defaults, causal relations, and other types of common-sense knowledge. Constraint Logic Programming is needed to solve constraints involving the relationship between the sequence of actions and the dates on which the actions may have occurred. The combination of the two creates a useful tool for answering queries over texts and in particular queries that involve relatively deep reasoning.

Original languageEnglish (US)
Title of host publicationAAAI Workshop - Technical Report
Number of pages5
StatePublished - 2005
EventAAAI-05 Workshop - Pittsburgh, PA, United States
Duration: Jul 9 2005Jul 9 2005

Publication series

NameAAAI Workshop - Technical Report


OtherAAAI-05 Workshop
Country/TerritoryUnited States
CityPittsburgh, PA

ASJC Scopus subject areas

  • Engineering(all)


Dive into the research topics of 'Textual inference by combining multiple Logic programming paradigms'. Together they form a unique fingerprint.

Cite this