Answer set programming as the basis for a Homeland Security QAS

Chitta Baral, Michael Gelfond, Richard Scherl

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


In this paper we discuss the applicability of the knowledge representation and reasoning language AnsProlog (Answer Set Programming) for the design and implementation of a query answering system (QAS) for homeland security. We discuss our work to date on using AnsProlog to axiomatize the travel domain. We illustrate how it can be used to represent defaults, causal relations, and other types of commonsense knowledge needed to properly answer non-trivial questions about this domain.

Original languageEnglish (US)
Title of host publicationAAAI Spring Symposium - Technical Report
Number of pages2
StatePublished - 2005
Event2005 AAAI Spring Symposium - Stanford, CA, United States
Duration: Mar 21 2005Mar 23 2005


Other2005 AAAI Spring Symposium
Country/TerritoryUnited States
CityStanford, CA

ASJC Scopus subject areas

  • Engineering(all)


Dive into the research topics of 'Answer set programming as the basis for a Homeland Security QAS'. Together they form a unique fingerprint.

Cite this