Volume 7, Number 1, January 2006
Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You: Unfolding partiality and disjunctions in stable model semantics. 1-37- Deborah East, Miroslaw Truszczynski: Predicate-calculus-based logics for modeling and solving search problems. 38-83
- Paolo Liberatore: Complexity results on DPLL and resolution. 84-107
Volume 7, Number 2, April 2006
- Russell Impagliazzo, Nathan Segerlind: Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations. 199-218
- Paolo Coppola, Simone Martini: Optimizing optimal reduction: A type inference algorithm for elementary affine logic. 219-260
- Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo: Decidability results for sets with atoms. 269-301
- Giorgi Japaridze: Propositional computability logic I. 302-330
- Giorgi Japaridze: Propositional computability logic II. 331-362
Volume 7, Number 3, July 2006
- Yan Zhang: Logic program-based updates. 421-472
- Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV system for knowledge representation and reasoning. 499-562
- Arthur Charlesworth: Comprehending software correctness implies comprehending an intelligence-related limitation. 590-612
Volume 7, Number 4, October 2006
- Tran Cao Son, Chitta Baral, Nam Tran, Sheila A. McIlraith: Domain-dependent knowledge in answer set planning. 613-657
- Lawrence C. Paulson: Defining functions on equivalence classes. 658-675
- Stefan Ratschan: Efficient solving of quantified inequality constraints over the real numbers. 723-748
- Joost Vennekens, David Gilis, Marc Denecker: Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. 765-797
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team