arXiv 2002-08-20 EN Complete Axiomatizations for Reasoning About Knowledge and Time Halpern, Joseph Y. · van der Meyden, Ron · Vardi, Moshe Y.
arXiv 2002-07-25 EN Paraconsistent Reasoning via Quantified Boolean Formulas,I: Axiomatising Signed Systems Besnard, Philippe · Schaub, Torsten · Tompits, Hans · Woltran, Stefan
arXiv 2002-07-25 EN Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning Arieli, Ofer · Denecker, Marc · Van Nuffelen, Bert · Bruynooghe, Maurice
arXiv 2002-07-25 EN An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning Bry, François
arXiv 2002-07-22 EN Introducing Dynamic Behavior in Amalgamated Knowledge Bases Bertino, Elisa · Catania, Barbara · Perlasca, Paolo
arXiv 2002-07-20 EN Complexity of Nested Circumscription and Nested Abnormality Theories Cadoli, Marco · Eiter, Thomas · Gottlob, Georg
arXiv 2002-07-19 EN A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report Pearce, David · Sarsakov, Vladimir · Schaub, Torsten · Tompits, Hans +1
arXiv 2002-07-17 EN Knuth-Bendix constraint solving is NP-complete Korovin, Konstantin · Voronkov, Andrei
arXiv 2002-07-10 EN Well-Founded Argumentation Semantics for Extended Logic Programming Schweimeier, Ralf · Schroeder, Michael
arXiv 2002-07-10 EN Iterated revision and the axiom of recovery: a unified treatment via epistemic states Chopra, Samir · Ghose, Aditya · Meyer, Thomas
arXiv 2002-07-10 EN Some logics of belief and disbelief Chopra, Samir · Heidema, Johannes · Meyer, Thomas
