Answer Sets and the Language of Answer Set Programming

Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs. This introductory article provides the mathematical background for the discussion of answer set programming in other contributions to this special issue.

Uložené v:
Podrobná bibliografia
Vydané v:The AI magazine Ročník 37; číslo 3; s. 7 - 11
Hlavný autor: Lifschitz, Vladimir
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: La Canada American Association for Artificial Intelligence 22.09.2016
John Wiley & Sons, Inc
Predmet:
Answers
Artificial intelligence
Computer programming
Declarative programming
Formal semantics
Language
Logic programs
Mathematical programming
Methods
Semantics
ISSN:0738-4602, 2371-9621
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs. This introductory article provides the mathematical background for the discussion of answer set programming in other contributions to this special issue.
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0738-4602
2371-9621
DOI:10.1609/aimag.v37i3.2670