Abstract is missing.
- Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and ApplicationsNicola Leone. 1 [doi]
- Policy-Based Computing: From Systems and Applications to TheoryJorge Lobo. 2 [doi]
- The First Answer Set Programming System CompetitionMartin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski. 3-17 [doi]
- cr-models: An Inference Engine for CR-PrologMarcello Balduccini. 18-30 [doi]
- Debugging ASP Programs by Means of ASPMartin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran. 31-43 [doi]
- A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with NegationPedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge. 44-57 [doi]
- Complexity of Default Logic on Generalized Conjunctive QueriesPhilippe Chapdelaine, Miki Hermann, Ilka Schnoor. 58-70 [doi]
- A Preference-Based Framework for Updating Logic ProgramsJames P. Delgrande, Torsten Schaub, Hans Tompits. 71-83 [doi]
- Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive DefinitionsMarc Denecker, Joost Vennekens. 84-96 [doi]
- On the Complexity of Answer Set Programming with AggregatesWolfgang Faber, Nicola Leone. 97-109 [doi]
- Experimenting with Look-Back Heuristics for Hard ASP ProgramsWolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca. 110-122 [doi]
- Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite DomainsMichael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran. 123-135 [doi]
- Conflict-Driven Answer Set EnumerationMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub. 136-148 [doi]
- Head-Elementary-Set-Free Logic ProgramsMartin Gebser, Joohyung Lee, Yuliya Lierler. 149-161 [doi]
- A Deductive System for PC(ID)Ping Hou, Johan Wittocx, Marc Denecker. 162-174 [doi]
- Modularity Aspects of Disjunctive Stable ModelsTomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran. 175-187 [doi]
- A Characterization of Strong Equivalence for Logic Programs with VariablesVladimir Lifschitz, David Pearce, Agustín Valverde. 188-200 [doi]
- A Unified Semantics for Constraint Handling Rules in Transaction LogicMarc Meister, Khalil Djelloul, Jacques Robin. 201-213 [doi]
- Conditional Planning with External FunctionsDavy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir. 214-227 [doi]
- Logic Programs with Abstract Constraints: Representaton, Disjunction and ComplexitiesJia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen. 228-240 [doi]
- General Default LogicYi Zhou, Fangzhen Lin, Yan Zhang. 241-253 [doi]
- The ::::LP::::-::::OD:::: System: Logic Programming Meets Outlier DetectionFabrizio Angiulli, Gianluigi Greco, Luigi Palopoli, Domenico Trimboli. 254-259 [doi]
- ::::clasp:::: : A Conflict-Driven Answer Set SolverMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub. 260-265 [doi]
- GrinGo : A New Grounder for Answer Set ProgrammingMartin Gebser, Torsten Schaub, Sven Thiele. 266-271 [doi]
- Using Answer Sets to Solve Belief Change ProblemsAaron Hunter, James P. Delgrande, Joel Faber. 272-277 [doi]
- An ::::Smodels:::: System with Limited Lookahead ComputationGayathri Namasivayam, Miroslaw Truszczynski. 278-283 [doi]
- Programming Applications in CIFFPaolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni. 284-289 [doi]
- CPP: A Constraint Logic Programming Based Planner with PreferencesPhan Huy Tu, Tran Cao Son, Enrico Pontelli. 290-296 [doi]
- An Application of Defeasible Logic Programming to Decision Making in a Robotic EnvironmentEdgardo Ferretti, Marcelo Errecalde, Alejandro Javier García, Guillermo Ricardo Simari. 297-302 [doi]
- On the Effectiveness of Looking Ahead in Search for Answer SetsGuohua Liu, Jia-Huai You. 303-308 [doi]
- Semantics for Possibilistic Disjunctive ProgramsJuan Carlos Nieves, Mauricio Osorio, Ulises Cortés. 315-320 [doi]
- Modularity in smodelsProgramsEmilia Oikarinen. 321-326 [doi]