arXiv 2003-01-14 EN Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs Wang, Kewen · Zhou, Lizhu
arXiv 2002-07-22 EN Nonmonotonic Probabilistic Logics between Model-Theoretic Probabilistic Logic and Probabilistic Logic under Coherence Lukasiewicz, Thomas
arXiv 2002-07-17 EN On the existence and multiplicity of extensions in dialectical argumentation Verheij, Bart
arXiv 2002-07-16 EN Embedding Default Logic in Propositional Argumentation Systems Berzati, Dritan · Anrig, Bernhard · Kohlas, Juerg
arXiv 2002-07-15 EN Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report Schaub, Torsten · Wang, Kewen
arXiv 2000-11-21 EN Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison Pelov, Nikolay · De Mot, Emmanuel · Denecker, Marc
arXiv 2000-03-08 EN Smodels: A System for Answer Set Programming Niemela, Ilkka · Simons, Patrik · Syrjanen, Tommi
arXiv 2000-03-08 EN DES: a Challenge Problem for Nonmonotonic Reasoning Systems Hietalahti, Maarit · Massacci, Fabio · Niemela, Ilkka
arXiv 2000-03-07 EN Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective Dupre', Daniele Theseider
arXiv 2000-02-03 EN Uniform semantic treatment of default and autoepistemic logics Denecker, Marc · Marek, Victor W. · Truszczynski, Miroslaw
