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

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

1 Citation (Scopus)

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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages69-70
Number of pages2
Volume5366 LNCS
DOIs
StatePublished - 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)03029743
ISSN (Electronic)16113349

Other

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

Fingerprint

Knowledge Representation and Reasoning
Answer Set Programming
Knowledge representation
Knowledge Representation
Intelligent systems
Answer Sets
Stable Models
Knowledge-based Systems
Semantics
Intelligent Systems
Logic Programs
Building Blocks
Language

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Baral, C. (2008). Using answer set programming for knowledge representation and reasoning: Future directions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5366 LNCS, pp. 69-70). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5366 LNCS). https://doi.org/10.1007/978-3-540-89982-2_11

Using answer set programming for knowledge representation and reasoning : Future directions. / Baral, Chitta.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5366 LNCS 2008. p. 69-70 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5366 LNCS).

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

Baral, C 2008, Using answer set programming for knowledge representation and reasoning: Future directions. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 5366 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5366 LNCS, pp. 69-70, 24th International Conference on Logic Programming, ICLP 2008, Udine, Italy, 12/9/08. https://doi.org/10.1007/978-3-540-89982-2_11
Baral C. Using answer set programming for knowledge representation and reasoning: Future directions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5366 LNCS. 2008. p. 69-70. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-540-89982-2_11
Baral, Chitta. / Using answer set programming for knowledge representation and reasoning : Future directions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5366 LNCS 2008. pp. 69-70 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{049aaec307cf4976a803edbf60c42765,
title = "Using answer set programming for knowledge representation and reasoning: Future directions",
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.",
author = "Chitta Baral",
year = "2008",
doi = "10.1007/978-3-540-89982-2_11",
language = "English (US)",
isbn = "3540899812",
volume = "5366 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "69--70",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Using answer set programming for knowledge representation and reasoning

T2 - Future directions

AU - Baral, Chitta

PY - 2008

Y1 - 2008

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

VL - 5366 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 69

EP - 70

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -