Logic Programming and Nonmonotonic Reasoning

DOI10.1007/b94792zbMath1122.68372OpenAlexW4214677882MaRDI QIDQ5424885

Tomi Janhunen, Ilkka Niemelä

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

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (5)

Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system ⋮ Answer set programming based on propositional satisfiability ⋮ GNT ⋮ Normal Form Nested Programs ⋮ Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There

Uses Software

• Smodels

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