Answer Set Programming’s Contributions to Classical Logic

DOI10.1007/978-3-642-20832-4_2MaRDI QIDQ3001911zbMATH OpenOpenAlexFDO

Authors Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe

Publication date 19 May 2011

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-20832-4_2

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 6536279
• Answer set programming in intuitionistic logic
• An Introduction to Answer Set Programming and Some of Its Extensions
• Applications of intuitionistic logic in Answer Set Programming
• Combining answer set programming and Prolog: The \(\mathbb{ASP}\)-\(\mathbb{PROLOG}\) system
• Answer set programming based on propositional satisfiability
• How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP

Cited in

(5)

• Revising event calculus theories to recover from unexpected observations
• An application of clasp in the study of logics
• How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP
• On well-founded set-inductions and locally monotone operators
• Logics in Artificial Intelligence

This page was built for publication: Answer Set Programming’s Contributions to Classical Logic

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