Abstract is missing.
- Stable Models for Temporal Theories - - Invited Talk -Pedro Cabalar. 1-13 [doi]
- Algorithmic Decision Theory Meets Logic - - Invited Talk -Jérôme Lang. 14-19 [doi]
- Relational and Semantic Data Mining - - Invited Talk -Nada Lavrac, Anze Vavpetic. 20-31 [doi]
- Shift Design with Answer Set ProgrammingMichael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran. 32-39 [doi]
- Advances in WASPMario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca. 40-54 [doi]
- Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific HeuristicsBenjamin Andres, Alexander Biewer, Javier Romero 0003, Christian Haubelt, Torsten Schaub. 55-68 [doi]
- Integrating ASP into ROS for Reasoning in RobotsBenjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub. 69-82 [doi]
- Automated Inference of Rules with Exception from Past Legal Cases Using ASPDuangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo. 83-96 [doi]
- BC +Joseph Babb, Joohyung Lee. 97-111 [doi]
- aspartame: Solving Constraint Satisfaction Problems with Answer Set ProgrammingMutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise. 112-126 [doi]
- "Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure AnalysisChitta Baral, Tran Cao Son. 127-133 [doi]
- A Theory of Intentions for Intelligent Agents - (Extended Abstract)Justin Blount, Michael Gelfond, Marcello Balduccini. 134-142 [doi]
- Answer Set Programming Modulo AcyclicityJori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub. 143-150 [doi]
- A Framework for Goal-Directed Query Evaluation with NegationStefan Brass. 151-157 [doi]
- Implementing Preferences with asprinGerhard Brewka, James P. Delgrande, Javier Romero 0003, Torsten Schaub. 158-172 [doi]
- Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASPAlex Brik, Jeffrey B. Remmel. 173-185 [doi]
- Performance Tuning in Answer Set ProgrammingMatthew Buddenhagen, Yuliya Lierler. 186-198 [doi]
- Enablers and Inhibitors in Causal Justifications of Logic ProgramsPedro Cabalar, Jorge Fandinno. 199-212 [doi]
- Efficient Problem Solving on Tree Decompositions Using Binary Decision DiagramsGünther Charwat, Stefan Woltran. 213-227 [doi]
- Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous EnvironmentsStefania Costantini. 228-241 [doi]
- Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation HypothesesStefania Costantini, Giovanni De Gasperis, Raffaele Olivieri. 242-249 [doi]
- A Formal Theory of JustificationsMarc Denecker, Gerhard Brewka, Hannes Strass. 250-264 [doi]
- A New Computational Logic Approach to Reason with ConditionalsEmmanuelle-Anna Dietz, Steffen Hölldobler. 265-278 [doi]
- Interactive Debugging of Non-ground ASP ProgramsCarmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin. 279-293 [doi]
- Linking Open-World Knowledge Bases Using Nonmonotonic RulesThomas Eiter, Mantas Simkus. 294-308 [doi]
- ASP, Amalgamation, and the Conceptual Blending WorkflowManfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, W. Marco Schorlemmer, Enric Plaza. 309-316 [doi]
- Diagnostic Reasoning for Robotics Using Action LanguagesEsra Erdem, Volkan Patoglu, Zeynep Gozen Saribatur. 317-331 [doi]
- OOASP: Connecting Object-Oriented and Logic ProgrammingAndreas A. Falkner, Anna Ryabokon, Gottfried Schenner, Kostyantyn M. Shchekotykhin. 332-345 [doi]
- Reasoning with Forest Logic Programs Using Fully Enriched AutomataCristina Feier, Thomas Eiter. 346-353 [doi]
- ASP Solving for Expanding UniversesMartin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub. 354-367 [doi]
- Progress in clasp Series 3Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero 0003, Torsten Schaub. 368-383 [doi]
- Combining Heuristics for Configuration Problems Using Answer Set ProgrammingMartin Gebser, Anna Ryabokon, Gottfried Schenner. 384-397 [doi]
- Infinitary Equilibrium Logic and Strong EquivalenceAmelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde. 398-410 [doi]
- ALM ALMDaniela Inclezan. 411-424 [doi]
- Compacting Boolean Formulae for Inference in Probabilistic Logic ProgrammingTheofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens. 425-438 [doi]
- Multi-level Algorithm Selection for ASPMarco Maratea, Luca Pulina, Francesco Ricca. 439-445 [doi]
- Clause-Learning for Modular SystemsDavid G. Mitchell, Eugenia Ternovska. 446-452 [doi]
- Solving Disjunctive Fuzzy Answer Set ProgramsMushthofa Mushthofa, Steven Schockaert, Martine De Cock. 453-466 [doi]
- Characterising and Explaining Inconsistency in Logic ProgramsClaudia Schulz 0001, Ken Satoh, Francesca Toni. 467-479 [doi]
- An Implementation of Consistency-Based Multi-agent Belief Change Using ASPPaul Vicol, James P. Delgrande, Torsten Schaub. 480-487 [doi]
- ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo TheoriesPrzemyslaw Andrzej Walega, Mehul Bhatt, Carl P. L. Schultz. 488-501 [doi]
- BC with an Abstraction HierarchyShiQi Zhang, Fangkai Yang, Piyush Khandelwal, Peter Stone. 502-516 [doi]
- Logic Programming with Graded ModalityZhizheng Zhang, Shutao Zhang. 517-530 [doi]
- The Design of the Sixth Answer Set Programming Competition - - Report -Martin Gebser, Marco Maratea, Francesco Ricca. 531-544 [doi]
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction LogicReza Basseda. 545-551 [doi]
- Doctoral Consortium Extended Abstract: Multi-context Systems with PreferencesTiep Le. 552-558 [doi]
- Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data AccessDaniel P. Lupp. 559-564 [doi]
- Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial ReasoningPrzemyslaw Andrzej Walega. 565-571 [doi]