Origins of answer-set programming -- some background and two personal accounts

MaRDI QIDQ4906890zbMATH OpenFDO

Authors Wiktor Marek, Mirosław Truszczyński, Ilkka Niemelä

Publication date 28 February 2013

Full work available at URL https://arxiv.org/abs/1108.3281

zbMATH Keywords

answer-set programminglogic programmingnonmonotonic reasoning

Mathematics Subject Classification ID

History of computer science (68-03) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Answer Set Programming: A Primer
• Logic Programming and Nonmonotonic Reasoning
• Answer set programming
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Argumentation and answer set programming

Cited in

(5)

• My work with Victor Marek: a mathematician looks at answer set programming
• Thoughtsticker 1986: a personal history of conversation theory in software, and its progenitor, Gordon Pask
• Answer set; programming?
• Logic Programming and Nonmonotonic Reasoning
• SMS and ASP: Hype or TST?

Describes a project that uses

Uses Software

• Cmodels

This page was built for publication: Origins of answer-set programming -- some background and two personal accounts

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