Logic Programming and Nonmonotonic Reasoning
From MaRDI portal
Publication:5424881
DOI10.1007/b94792zbMath1122.68629MaRDI QIDQ5424881
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
Related Items
Open Problems in Abstract Argumentation, Static and dynamic orderings on Dungean argumentation frameworks -- an overview, Synonymous theories and knowledge representations in answer set programming, Characterizing strong equivalence for argumentation frameworks, Updating action domain descriptions, Equilibrium logic, Default logic generalized and simplified, An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms, Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility
Uses Software