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ženo v:
Podrobná bibliografie
Vydáno v:The AI magazine Ročník 37; číslo 3; s. 7 - 11
Hlavní autor: Lifschitz, Vladimir
Médium: Journal Article
Jazyk:angličtina
Vydáno: La Canada American Association for Artificial Intelligence 22.09.2016
John Wiley & Sons, Inc
Témata:
Answers
Artificial intelligence
Computer programming
Declarative programming
Formal semantics
Language
Logic programs
Mathematical programming
Methods
Semantics
ISSN:0738-4602, 2371-9621
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
Bibliografie: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