Complexity of computing with extended propositional logic programs

DOI10.1007/BF01536401zbMath0858.68018OpenAlexW2024932524MaRDI QIDQ1924783

Victor W. Marek, Arcot Rajasekar, Miroslaw Truszczynski

Publication date: 3 December 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01536401

zbMATH Keywords

\(\mathcal F\)-program

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Negation by default and unstratifiable logic programs
• A logic for default reasoning
• Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Nonmonotonic Logic II
• Complexity Results for Nonmonotonic Logics
• The Semantics of Predicate Logic as a Programming Language
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• A survey of complexity results for non-monotonic logics
• Autoepistemic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Complexity of computing with extended propositional logic programs