Answer set programming

DOI10.1007/978-3-642-14309-0_8MaRDI QIDQ3578395zbMATH OpenOpenAlexFDO

Authors Francesco Calimeri, N. Leone, F. Ricca, P. A. Bonatti

Publication date 20 July 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14309-0_8

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Answer Set Programming: A Primer
• Answer set programming
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• The Seventh Answer Set Programming Competition: Design and Results

Cited in

(30)

• Answer Set Programming for Single-Player Games in General Game Playing
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming
• A paraconsistent ASP-like language with tractable model generation
• Shift Design with Answer Set Programming
• Answer Set Programming: A Declarative Approach to Solving Search Problems
• Stability, supportedness, minimality and Kleene answer set programs
• Logic Programming and Nonmonotonic Reasoning
• Answer Set Programming: A Primer
• scientific article; zbMATH DE number 5485263 (Why is no real title available?)
• Logics in Artificial Intelligence
• Achievements in answer set programming
• Towards answer set programming with sorts
• scientific article; zbMATH DE number 1931692 (Why is no real title available?)
• LOG-IDEAH: ASP for architectonic asset preservation
• Answer set programming made easy
• Answer set; programming?
• A Tarskian informal semantics for answer set programming
• Answer set programming
• ASP-Core-2 input language format
• SMS and ASP: Hype or TST?
• scientific article; zbMATH DE number 5910656 (Why is no real title available?)
• Origins of answer-set programming -- some background and two personal accounts
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Answer set programs with queries over subprograms
• scientific article; zbMATH DE number 6747915 (Why is no real title available?)
• Connecting first-order ASP and the logic FO(ID) through reducts
• Answer Set Programming with Resources
• Reactive Answer Set Programming
• onlineSPARC: a programming environment for answer set programming

Describes a project that uses

Uses Software

• ASSAT

This page was built for publication: Answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3578395)