Abstract is missing.
- Logic, Probability and Computation: Foundations and Issues of Statistical Relational AIDavid Poole. 1-9 [doi]
- Foundations and Extensions of Answer Set Programming: The Logical ApproachDavid Pearce. 10-11 [doi]
- Modularity of P-Log ProgramsCarlos Viegas Damásio, João Moura. 13-25 [doi]
- Symmetry Breaking for Distributed Multi-Context SystemsChristian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh. 26-39 [doi]
- Splitting an Argumentation FrameworkRingo Baumann. 40-53 [doi]
- Reactive Answer Set ProgrammingMartin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub. 54-66 [doi]
- Communicating ASP and the Polynomial HierarchyKim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock. 67-79 [doi]
- Loop Formulas for Splitable Temporal Logic ProgramsFelicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal. 80-92 [doi]
- Pushing Efficient Evaluation of HEX Programs by Modular DecompositionThomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller. 93-106 [doi]
- Approximations for Explanations of Inconsistency in Partially Known Multi-Context SystemsThomas Eiter, Michael Fink, Peter Schüller. 107-119 [doi]
- Relational Information Exchange and Aggregation in Multi-Context SystemsMichael Fink, Lucantonio Ghionna, Antonius Weinzierl. 120-133 [doi]
- Stepping through an Answer-Set ProgramJohannes Oetsch, Jörg Pührer, Hans Tompits. 134-147 [doi]
- Dynamic Magic Sets for Programs with Monotone Recursive AggregatesMario Alviano, Gianluigi Greco, Nicola Leone. 148-160 [doi]
- Strong Equivalence of Logic Programs with Abstract Constraint AtomsGuohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You. 161-173 [doi]
- Back and Forth between Rules and SE-ModelsMartin Slota, João Leite. 174-186 [doi]
- What Are the Necessity Rules in Defeasible Reasoning?Ho-Pun Lam, Guido Governatori. 187-192 [doi]
- Partial Preferences and Ambiguity Resolution in Contextual Defeasible LogicAntonis Bikakis, Grigoris Antoniou. 193-198 [doi]
- On Influence and Contractions in Defeasible Logic ProgrammingDiego R. García, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier García. 199-204 [doi]
- Termination of Grounding Is Not Preserved by Strongly Equivalent TransformationsYuliya Lierler, Vladimir Lifschitz. 205-210 [doi]
- Aggregates in Answer Set OptimizationEmad Saad, Gerhard Brewka. 211-216 [doi]
- Optimizing the Distributed Evaluation of Stratified Programs via Structural AnalysisRosamaria Barilaro, Francesco Ricca, Giorgio Terracina. 217-222 [doi]
- Contingency-Based Equilibrium LogicLuis Fariñas del Cerro, Andreas Herzig. 223-228 [doi]
- Weight Constraints with Preferences in ASPStefania Costantini, Andrea Formisano. 229-235 [doi]
- Parametrized Equilibrium LogicRicardo Gonçalves, José Júlio Alferes. 236-241 [doi]
- Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental ComparisonTomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits. 242-247 [doi]
- Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)Joohyung Lee, Ravi Palla. 248-253 [doi]
- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong EquivalenceJohannes Oetsch, Hans Tompits. 254-259 [doi]
- New Semantics for Epistemic SpecificationsMichael Gelfond. 260-265 [doi]
- cmMUS: A Tool for Circumscription-Based MUS Membership TestingMikolás Janota, João Marques-Silva. 266-271 [doi]
- Transaction Logic with External ActionsAna Sofia Gomes, José Júlio Alferes. 272-277 [doi]
- An Application of Clasp in the Study of LogicsMauricio Osorio, José Luis Carballido, Claudia Zepeda. 278-283 [doi]
- Industrial-Size Scheduling with ASP+CPMarcello Balduccini. 284-296 [doi]
- Secommunity: A Framework for Distributed Access ControlSteve Barker, Valerio Genovese. 297-303 [doi]
- Itemset Mining as a Challenge Application for Answer Set EnumerationMatti Järvisalo. 304-310 [doi]
- Causal Reasoning for Planning and Coordination of Multiple Housekeeping RobotsErdi Aker, Ahmetcan Erdogan, Esra Erdem, Volkan Patoglu. 311-316 [doi]
- ASPIDE: Integrated Development Environment for Answer Set ProgrammingOnofrio Febbraro, Kristian Reale, Francesco Ricca. 317-330 [doi]
- ASP-Prolog for Negotiation among Dishonest AgentsNgoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama. 331-344 [doi]
- Advances in ::::gringo:::: Series 3Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub. 345-351 [doi]
- A Portfolio Solver for Answer Set Programming: Preliminary ReportMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller. 352-357 [doi]
- plasp: A Prototype for PDDL-Based Planning in ASPMartin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub. 358-363 [doi]
- Cluster-Based ASP Solving with ::::claspar::::Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor. 364-369 [doi]
- STeLP - A Tool for Temporal Answer Set ProgrammingPedro Cabalar, Martín Diéguez. 370-375 [doi]
- Compiling Answer Set Programs into Event-Driven Action RulesNeng-Fa Zhou, Yi-Dong Shen, Jia-Huai You. 376-381 [doi]
- VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering TechnologyJohannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl. 382-387 [doi]
- The Third Answer Set Programming Competition: Preliminary Report of the System Competition TrackFrancesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri. 388-403 [doi]