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

Abstract

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
Pages149-150
Number of pages2
VolumeSS-05-01
StatePublished - 2005
Event2005 AAAI Spring Symposium - Stanford, CA, United States
Duration: Mar 21 2005Mar 23 2005

Other

Other2005 AAAI Spring Symposium
CountryUnited States
CityStanford, CA
Period3/21/053/23/05

Fingerprint

National security
Knowledge representation

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Baral, C., Gelfond, M., & Scherl, R. (2005). Answer set programming as the basis for a Homeland Security QAS. In AAAI Spring Symposium - Technical Report (Vol. SS-05-01, pp. 149-150)

Answer set programming as the basis for a Homeland Security QAS. / Baral, Chitta; Gelfond, Michael; Scherl, Richard.

AAAI Spring Symposium - Technical Report. Vol. SS-05-01 2005. p. 149-150.

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

Baral, C, Gelfond, M & Scherl, R 2005, Answer set programming as the basis for a Homeland Security QAS. in AAAI Spring Symposium - Technical Report. vol. SS-05-01, pp. 149-150, 2005 AAAI Spring Symposium, Stanford, CA, United States, 3/21/05.
Baral C, Gelfond M, Scherl R. Answer set programming as the basis for a Homeland Security QAS. In AAAI Spring Symposium - Technical Report. Vol. SS-05-01. 2005. p. 149-150
Baral, Chitta ; Gelfond, Michael ; Scherl, Richard. / Answer set programming as the basis for a Homeland Security QAS. AAAI Spring Symposium - Technical Report. Vol. SS-05-01 2005. pp. 149-150
@inproceedings{bc25c5510503472698fa1dc9d717c5a8,
title = "Answer set programming as the basis for a Homeland Security QAS",
abstract = "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.",
author = "Chitta Baral and Michael Gelfond and Richard Scherl",
year = "2005",
language = "English (US)",
volume = "SS-05-01",
pages = "149--150",
booktitle = "AAAI Spring Symposium - Technical Report",

}

TY - GEN

T1 - Answer set programming as the basis for a Homeland Security QAS

AU - Baral, Chitta

AU - Gelfond, Michael

AU - Scherl, Richard

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=32944478023&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=32944478023&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:32944478023

VL - SS-05-01

SP - 149

EP - 150

BT - AAAI Spring Symposium - Technical Report

ER -