LPNMR 2015

LPNMR 2015 - Talk slides

# Authors Title Speaker Slides
s1 Nada Lavrac and Anze Vavpetic Invited Talk: Relational and Semantic Data Mining Nada Lavrac slides
s2 Martin Gebser, Marco Maratea and Francesco Ricca The Design of the Sixth Answer Set Programming Competition & Winners Announcement Francesco Ricca slides
s3 Jerome Lang Invited Talk: Algorithmic Decision Theory meets Logic Jerome Lang slides
s5 Pedro Cabalar Invited Talk: Stable Models for Temporal Theories Pedro Cabalar slides
s6 Guenther Charwat and Andreas Pfandler Democratix: A Declarative Approach to Winner Determination Andreas Pfandler slides
s9 Nicholas Mattei Social Choice as a source of (Hard) Computational Problems Nicholas Mattei slides
s10 Torsten Schaub Pocket calculators for hard combinatorial search and optimization problems Torsten Schaub slides
5 Amelia Harrison, Vladimir Lifschitz, David Pearce and Agustin Valverde Infinitary Equilibrium Logic and Strong Equivalence Amelia Harrison slides
6 Matt Buddenhagen and Yuliya Lierler Performance Tuning in Constraint Programming - slides
7 Claudia Schulz, Ken Satoh and Francesca Toni Characterising and Explaining Inconsistency in Logic Programs Claudia Schulz slides
10 David Mitchell and Eugenia Ternovska Clause-Learning for Modular Systems David Mitchell slides
12 Pedro Cabalar and Jorge Fandino Enablers and Inhibitors in Causal Justifications of Logic Programs Pedro Cabalar slides
13 Guenther Charwat and Stefan Woltran Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams Guenther Charwat slides
15 Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca and Kostyantyn Shchekotykhin Interactive debugging of non-ground ASP programs Carmine Dodaro slides
16 Marc Denecker, Gerhard Brewka and Hannes Strass A Formal Theory of Justifications Marc Denecker slides
18 Stefania Costantini, Giovanni De Gasperis and Raffaele Olivieri Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses Raffaele Olivieri slides
19 Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero and Torsten Schaub Progress in clasp series 3 Torsten Schaub slides
20 Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming Mutsunori Banbara slides
22 Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub and Stefan Woltran Shift-design with Answer Set Programming Michael Abseher slides
23 Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann and Torsten Schaub Answer Set Programming modulo Acyclicity Jori Bomanson slides
24 Benjamin Andres, David Rajaratnam, Orkunt Sabuncu and Torsten Schaub Integrating ASP into ROS for Reasoning in Robots Orkunt Sabuncu slides
25 Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski and Torsten Schaub ASP Solving for Expanding Universes Martin Gebser slides
27 Andreas A. Falkner, Anna Ryabokon, Gottfried Schenner and Kostyantyn Shchekotykhin OOASP: Connecting Object-oriented and Logic Programming Kostyantyn Shchekotykhin slides
28 Gerhard Brewka, James Delgrande, Javier Romero and Torsten Schaub Implementing preferences with asprin Torsten Schaub slides
31 Martin Gebser, Anna Ryabokon and Gottfried Schenner Combining Heuristics for Configuration Problems Using Answer Set Programming Anna Ryabokon slides
32 Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda and Alessandra Russo Automated inference of rules with exception from past legal cases using ASP Duangtida Athakravi slides
35 Stefania Costantini Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments Stefania Costantini slides
36 Jeffrey Remmel and Alex Brik Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP Alex Brik slides
38 Marco Maratea, Luca Pulina and Francesco Ricca Multi-Level Algorithm Selection for ASP Luca Pulina slides
39 Tran Cao Son and Chitta Baral "Add Another Blue Stack of the Same Height!": Plan Failure Analysis and Interactive Planning Through Natural Language Communication Tran Cao Son slides
41 Mushthofa Mushthofa, Steven Schockaert and Martine De Cock Solving disjunctive fuzzy answer set programs Mushthofa Mushthofa slides
43 Joseph Babb and Joohyung Lee Online Action Language oBC+ Joohyung Lee slides
47 Thomas Eiter and Mantas Simkus Linking Open-world Knowledge Bases using Nonmonotonic Rules Mantas Simkus slides
49 Emmanuelle-Anna Dietz and Steffen Holldobler A New Computational Logic Approach to Reason with Conditionals Steffen Holldobler slides
50 Justin Blount, Michael Gelfond and Marcello Balduccini A Theory of Intentions for Intelligent Agents Michael Gelfond slides
51 Daniela Inclezan On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM Daniela Inclezan slides
53 Zhizheng Zhang and Shutao Zhang Logic Programming with Graded Modality - slides
54 Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt and Torsten Schaub Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics Alexander Biewer slides
55 Shiqi Zhang, Fangkai Yang, Piyush Khandelwal and Peter Stone Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy Shiqi Zhang slides
56 Mario Alviano, Carmine Dodaro, Nicola Leone and Francesco Ricca Advances in WASP Carmine Dodaro slides
58 Cristina Feier and Thomas Eiter Reasoning with Forest Logic Programs Using Fully Enriched Automata - slides
59 Stefan Brass A Framework for Goal-Directed Query Evaluation with Negation Stefan Brass slides
60 Manfred Eppe, Ewen MacLean, Roberto Confalonieri, Marco Schorlemmer, Oliver Kutz and Enric Plaza ASP, Amalgamation, and the Conceptual Blending Workflow Manfred Eppe slides
62 Esra Erdem, Volkan Patoglu and Zeynep Gozen Saribatur Diagnostic Reasoning for Robotics using Action Languages Esra Erdem slides
63 Przemyslaw Walega, Mehul Bhatt and Carl Schultz ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories Przemyslaw Walega slides
66 Paul Vicol, James Delgrande and Torsten Schaub An Implementation of Consistency-Based Multi-Agent Belief Change using ASP Torsten Schaub slides
70 Theofrastos Mantadelis, Dimitar Shterionov and Gerda Janssens Compacting Boolean Formulae for Inference in Probabilistic Logic Programming Theofrastos Mantadelis slides

Go to the LPNMR 2015 home page