Abstract is missing.
- Constraints and Probabilistic Networks: A Look At The InterfaceRina Dechter. 1 [doi]
- Toward A Universal Inference EngineHenry A. Kautz. 2 [doi]
- Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl InitiativePaul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski. 3-7 [doi]
- Semantics for Dynamic Logic Programming: A Principle-Based ApproachJosé Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite. 8-20 [doi]
- Probabilistic Reasoning With Answer SetsChitta Baral, Michael Gelfond, J. Nelson Rushton. 21-33 [doi]
- Answer Sets: From Constraint Programming Towards Qualitative OptimizationGerhard Brewka. 34-46 [doi]
- A Logic of Non-monotone Inductive Definitions and Its Modularity PropertiesMarc Denecker, Eugenia Ternovska. 47-60 [doi]
- Reasoning About Actions and Change in Answer Set ProgrammingYannis Dimopoulos, Antonis C. Kakas, Loizos Michael. 61-73 [doi]
- Almost Definite Causal TheoriesSemra Dogandag, Paolo Ferraris, Vladimir Lifschitz. 74-86 [doi]
- Simplifying Logic Programs Under Uniform and Strong EquivalenceThomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran. 87-99 [doi]
- Towards Automated Integration of Guess and Check Programs in Answer Set ProgrammingThomas Eiter, Axel Polleres. 100-113 [doi]
- Graphs and Colorings for Answer Set Programming: Abridged ReportKathrin Konczak, Thomas Linke, Torsten Schaub. 127-140 [doi]
- Nondefinite vs. Definite Causal TheoriesJoohyung Lee. 141-153 [doi]
- Logic Programs With Monotone Cardinality AtomsV. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski. 154-166 [doi]
- Set Constraints in Logic ProgrammingV. Wiktor Marek, Jeffrey B. Remmel. 167-179 [doi]
- Verifying the Equivalence of Logic Programs in the Disjunctive CaseEmilia Oikarinen, Tomi Janhunen. 180-193 [doi]
- Uniform Equivalence for Equilibrium Logic and Logic ProgramsDavid Pearce, Agustín Valverde. 194-206 [doi]
- Partial Stable Models for Logic Programs with AggregatesNikolay Pelov, Marc Denecker, Maurice Bruynooghe. 207-219 [doi]
- Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive ProgramsGerald Pfeifer. 220-233 [doi]
- Using Criticalities as a Heuristic for Answer Set ProgrammingOrkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman. 234-246 [doi]
- Planning with Preferences Using Logic ProgrammingTran Cao Son, Enrico Pontelli. 247-260 [doi]
- Planning with Sensing Actions and Incomplete Information Using Logic ProgrammingTran Cao Son, Phan Huy Tu, Chitta Baral. 261-274 [doi]
- Deduction in Ontologies via ASPTerrance Swift. 275-288 [doi]
- Strong Equivalence for Causal TheoriesHudson Turner. 289-301 [doi]
- Answer Set Programming with Clause LearningJeffrey Ward, John S. Schlipf. 302-313 [doi]
- Properties of Iterated Multiple Belief RevisionDongmo Zhang. 314-325 [doi]
- System Description: DLV with AggregatesTina Dell Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer. 326-330 [doi]
- GNT - A Solver for Disjunctive Logic ProgramsTomi Janhunen, Ilkka Niemelä. 331-335 [doi]
- LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic ProgramsTomi Janhunen, Emilia Oikarinen. 336-340 [doi]
- DLV DB: Adding Efficient Data Management Features to ASPNicola Leone, Vincenzino Lio, Giorgio Terracina. 341-345 [doi]
- Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight ProgramsYuliya Lierler, Marco Maratea. 346-350 [doi]
- WSAT(CC) - A Fast Local-Search ASP SolverLengning Liu, Miroslaw Truszczynski. 351-355 [doi]
- Smodels with CLP?A Treatment of Aggregates in ASPEnrico Pontelli, Tran Cao Son, Islam Elkabani. 356-360 [doi]
- nlp: A Compiler for Nested Logic ProgrammingVladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran. 361-364 [doi]