Using answer set programming for knowledge representation and reasoning: Future directions

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

1 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationLogic Programming - 24th International Conference, ICLP 2008, Proceedings
Pages69-70
Number of pages2
DOIs
StatePublished - Dec 1 2008
Event24th International Conference on Logic Programming, ICLP 2008 - Udine, Italy
Duration: Dec 9 2008Dec 13 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5366 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other24th International Conference on Logic Programming, ICLP 2008
Country/TerritoryItaly
CityUdine
Period12/9/0812/13/08

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Using answer set programming for knowledge representation and reasoning: Future directions'. Together they form a unique fingerprint.

Cite this