Quo Vadis Answer Set Programming?

DOI10.1007/978-3-540-89982-2_14zbMath1185.68168OpenAlexW1487263811MaRDI QIDQ5504648

Victor W. Marek

Publication date: 22 January 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_14

Mathematics Subject Classification ID

Logic programming (68N17) History of computer science (68-03)

Uses Software

• ASSAT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ASSAT: computing answer sets of a logic program by SAT solvers
• Logic programming and knowledge representation---The A-Prolog perspective
• Logic programs with stable model semantics as a constraint programming paradigm
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Why are there so many loop formulas?
• Computing minimal models, stable models and answer sets
• Twelve Definitions of a Stable Model
• Logic for Programming, Artificial Intelligence, and Reasoning
• Strongly equivalent logic programs

This page was built for publication: Quo Vadis Answer Set Programming?