[Lecture Notes in Computer Science] Symbolic and Quantitative Approaches to Reasoning and Uncertainty Volume 747 || A resolution method for a non monotonic multimodal logicClarke, Michael; Kruse, Rudolf; Moral, Serafín · 1993

[Lecture Notes in Computer Science] Logic Programming and Knowledge Representation Volume 1471 || Datalog with nested rulesDix, Jürgen; Pereira, Luís Moniz; Przymusinski, Teodor C. · 1998

[Lecture Notes in Computer Science] Logic Programming and Knowledge Representation Volume 1471 || Reasoning with prioritized defaultsDix, Jürgen; Pereira, Luís Moniz; Przymusinski, Teodor C. · 1998

[Lecture Notes in Computer Science] Logic Programming and Knowledge Representation Volume 1471 || Knowledge representation with logic programsDix, Jürgen; Pereira, Luís Moniz; Przymusinski, Teodor C. · 1998

[Lecture Notes in Computer Science] Logic Programming and Knowledge Representation Volume 1471 || Generalizing updates: From models to programsDix, Jürgen; Pereira, Luís Moniz; Przymusinski, Teodor C. · 1998

[Lecture Notes in Computer Science] Logic Programming and Knowledge Representation Volume 1471 || Refining action theories through abductive logic programmingDix, Jürgen; Pereira, Luís Moniz; Przymusinski, Teodor C. · 1998

[Lecture Notes in Computer Science] Non-Monotonic Extensions of Logic Programming Volume 1216 || Update programs versus revision programsDix, Jürgen; Pereira, Luís Moniz; Przymusinski, Teodor C. · 1997

[Lecture Notes in Computer Science] Logic Programming and Knowledge Representation Volume 1471 || A system for abductive learning of logic programsDix, Jürgen; Pereira, Luís Moniz; Przymusinski, Teodor C. · 1998

[Lecture Notes in Computer Science] Logic Programming and Knowledge Representation Volume 1471 || Partial evidential stable models for disjunctive deductive databasesDix, Jürgen; Pereira, Luís Moniz; Przymusinski, Teodor C. · 1998