arXiv 2003-11-27 EN Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism Pettorossi, Alberto · Proietti, Maurizio · Renault, Sophie
arXiv 2003-11-17 EN Temporalized logics and automata for time granularity Franceschet, M. · Montanari, A.
arXiv 2003-11-08 EN A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics Schweimeier, Ralf · Schroeder, Michael
arXiv 2003-11-05 EN Enhancing a Search Algorithm to Perform Intelligent Backtracking Bruynooghe, Maurice
arXiv 2003-10-31 EN Logic programs with monotone cardinality atoms Marek, Victor W. · Niemela, Ilkka · Truszczynski, Miroslaw
arXiv 2003-10-31 EN Satisfiability and computing van der Waerden numbers Dransfield, Michael R. · Marek, Victor W. · Truszczynski, Miroslaw
arXiv 2003-09-24 EN A uniform approach to constraint-solving for lists, multisets, compact lists, and sets Dovier, Agostino · Piazza, Carla · Rossi, Gianfranco
arXiv 2003-08-19 EN On Decidability of Expressive Description Logics with Composition of Roles in Number Restrictions Grandi, Fabio
arXiv 2003-08-06 EN On the expressive power of semijoin queries Leinders, Dirk · Tyszkiewicz, Jerzy · Bussche, Jan Van den
arXiv 2003-08-05 EN Constant-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations Impagliazzo, Russell · Segerlind, Nathan
arXiv 2003-08-01 EN Two- versus three-dimensional connectivity testing of first-order queries to semi-algebraic sets Geerts, Floris · Smits, Lieven · Bussche, Jan Van den
arXiv 2003-07-30 EN A logic for reasoning about upper probabilities Halpern, Joseph Y. · Pucella, Riccardo
arXiv 2003-07-30 EN Sound search in a denotational semantics for first order logic Vermeulen, C. F. M.
arXiv 2003-07-30 EN Modeling Belief in Dynamic Systems, Part II: Revisions and Update Friedman, Nir · Halpern, Joseph Y.
