TY - GEN
T1 - Using answer set programming for knowledge representation and reasoning
T2 - 24th International Conference on Logic Programming, ICLP 2008
AU - Baral, Chitta
PY - 2008/12/1
Y1 - 2008/12/1
N2 - Since the proposal of the stable model semantics [1] of logic programs there has been a lot of developments that make answer set programs a suitable language for various kinds of knowledge representation. The building blocks that make answer set programming a suitable knowledge representation language include theoretical results, implementation and applications. The book [2] compiles most of the results that were available until 2002. Since then many additional results have been developed. However, many challenges and issues need to be further addressed before knowledge based intelligent systems become more prevalent.
AB - Since the proposal of the stable model semantics [1] of logic programs there has been a lot of developments that make answer set programs a suitable language for various kinds of knowledge representation. The building blocks that make answer set programming a suitable knowledge representation language include theoretical results, implementation and applications. The book [2] compiles most of the results that were available until 2002. Since then many additional results have been developed. However, many challenges and issues need to be further addressed before knowledge based intelligent systems become more prevalent.
UR - http://www.scopus.com/inward/record.url?scp=58549095727&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=58549095727&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-89982-2_11
DO - 10.1007/978-3-540-89982-2_11
M3 - Conference contribution
AN - SCOPUS:58549095727
SN - 3540899812
SN - 9783540899815
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 69
EP - 70
BT - Logic Programming - 24th International Conference, ICLP 2008, Proceedings
Y2 - 9 December 2008 through 13 December 2008
ER -