Answer set programming as the basis for a Homeland Security QAS

Chitta Baral; Michael Gelfond; Richard Scherl

Answer set programming as the basis for a Homeland Security QAS

Chitta Baral, Michael Gelfond, Richard Scherl

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	AAAI Spring Symposium - Technical Report
Pages	149-150
Number of pages	2
Volume	SS-05-01
State	Published - 2005
Event	2005 AAAI Spring Symposium - Stanford, CA, United States Duration: Mar 21 2005 → Mar 23 2005

Other

Other	2005 AAAI Spring Symposium
Country/Territory	United States
City	Stanford, CA
Period	3/21/05 → 3/23/05

ASJC Scopus subject areas

Engineering(all)

Cite this

@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",

note = "2005 AAAI Spring Symposium ; Conference date: 21-03-2005 Through 23-03-2005",

}

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

T2 - 2005 AAAI Spring Symposium

Y2 - 21 March 2005 through 23 March 2005

ER -

Answer set programming as the basis for a Homeland Security QAS

Abstract

Other

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this