Translating First-Order Causal Theories into Answer Set Programming

DOI10.1007/978-3-642-15675-5_22zbMath1306.68195OpenAlexW2137388419MaRDI QIDQ4930769

Vladimir Lifschitz, Fangkai Yang

Publication date: 1 October 2010

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15675-5_22

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items

Representing first-order causal theories by logic programs

Uses Software

• Coala
• CCalc