Logic Programming and Nonmonotonic Reasoning

DOI10.1007/b94792zbMath1122.68629OpenAlexW4214677882MaRDI QIDQ5424881

Hudson Turner

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

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

Related Items (9)

An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms ⋮ Equilibrium logic ⋮ Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility ⋮ Static and dynamic orderings on Dungean argumentation frameworks -- an overview ⋮ Updating action domain descriptions ⋮ Synonymous theories and knowledge representations in answer set programming ⋮ Characterizing strong equivalence for argumentation frameworks ⋮ Open Problems in Abstract Argumentation ⋮ Default logic generalized and simplified

Uses Software

• ASSAT

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