arXiv 2002-12-20 EN An Ehrenfeucht-Fraisse Game Approach to Collapse Results in Database Theory Schweikardt, Nicole
arXiv 2002-12-11 EN A Generalization of the Lifting Lemma for Logic Programming Payet, Etienne · Mesnard, Fred
arXiv 2002-11-25 EN Propositional satisfiability in declarative programming East, Deborah · Truszczynski, Miroslaw
arXiv 2002-11-18 EN Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics Metcalfe, G. · Olivetti, N. · Gabbay, D.
arXiv 2002-11-13 EN XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus Wos, Larry · Ulrich, Dolph · Fitelson, Branden
arXiv 2002-11-13 EN Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus Wos, Larry · Ulrich, Dolph · Fitelson, Branden
arXiv 2002-10-29 EN A uniform approach to logic programming semantics Hitzler, Pascal · Wendt, Matthias
arXiv 2002-10-29 EN Equivalences Among Aggregate Queries with Negation Cohen, Sara · Nutt, Werner · Sagiv, Yehoshua
arXiv 2002-10-25 EN An Elementary Fragment of Second-Order Lambda Calculus Aehlig, Klaus · Johannsen, Jan
arXiv 2002-09-04 EN Question answering: from partitions to Prolog Cate, Balder D. ten · Shan, Chung-chieh
arXiv 2002-09-04 EN The partition semantics of questions, syntactically Shan, Chung-chieh · Cate, Balder D. ten
arXiv 2002-08-28 EN Proving correctness of Timed Concurrent Constraint Programs de Boer, F. S. · Gabbrielli, M. · Meo, M. C.
arXiv 2002-08-20 EN First-order Logic as a Constraint Programming Language Apt, K. R. · Vermeulen, C. F. M.
