Eliminating function symbols from a nonmonotoic causal theory

zbMATH Open1341.68215MaRDI QIDQ5740447FDOQ5740447

Authors: Vladimir Lifschitz, Fangkai Yang 

Publication date: 26 July 2016

Recommendations

• Functional completion
• Nonmonotonic causal theories
• Logic Programming and Nonmonotonic Reasoning
• Characterizing causal action theories and their implementations in answer set programming
• Multivalued Action Languages with Constraints in CLP(FD)

zbMATH Keywords

answer set programmingnonmonotonic causal logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited In (1)

• First-order stable model semantics with intensional functions

This page was built for publication: Eliminating function symbols from a nonmonotoic causal theory

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