Logic Programming and Nonmonotonic Reasoning

DOI10.1007/B94792zbMath1122.68623OpenAlexW4214677882MaRDI QIDQ5424863

Eugenia Ternovska, Marc Denecker

Publication date: 7 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions ⋮ Expressive power and abstraction in Essence ⋮ Inductive situation calculus

This page was built for publication: Logic Programming and Nonmonotonic Reasoning