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.

Saved in:
Bibliographic Details
Published in:The AI magazine Vol. 37; no. 3; pp. 7 - 11
Main Author: Lifschitz, Vladimir
Format: Journal Article
Language:English
Published: La Canada American Association for Artificial Intelligence 22.09.2016
John Wiley & Sons, Inc
Subjects:
Answers
Artificial intelligence
Computer programming
Declarative programming
Formal semantics
Language
Logic programs
Mathematical programming
Methods
Semantics
ISSN:0738-4602, 2371-9621
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography: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