PROGRAM
Days: Sunday, September 27th Monday, September 28th Tuesday, September 29th Wednesday, September 30th
Sunday, September 27th
View this program: with abstractssession overviewtalk overview
08:45-10:40 Session 1: Doctoral Consortium
See http://www.adt-lpnmr-dc.preflib.org/program/ for a detailed program.
Location: Grand Kentucky Salon A
09:00-10:40 Session 2A: Workshop: ALPP 2015
See https://sites.google.com/site/alpp2015/programme-1 for a detailed program.
Location: Bluegrass Room Salon B
09:00-10:40 Session 2B: Workshop: GTTV 2015
See https://sites.google.com/site/gttv2015/program for a detailed program.
Location: Bluegrass Room Salon A
11:10-12:30 Session 3A: Doctoral Consortium
Location: Grand Kentucky Salon B
11:10-12:40 Session 3C: Workshop: GTTV 2015
Location: Bluegrass Room Salon A
13:40-15:40 Session 4: Workshop: ALPP 2015
Location: Bluegrass Room Salon B
14:00-15:40 Session 5A: Doctoral Consortium
Location: Grand Kentucky Salon B
14:00-15:45 Session 5B: Workshop: GTTV 2015
Location: Bluegrass Room Salon A
14:10-15:40 Session 6: Workshop: NLPAR 2015
See https://sites.google.com/site/nlpar2015/ for a detailed program.
Location: Blackberry Lily
16:00-17:45 Session 7: Workshop: LNMR 2015
See http://lnmr2015.insight-centre.org/ for a detailed program
Location: Blackberry Lily
16:10-18:00 Session 8A: Doctoral Consortium
Location: Grand Kentucky Salon B
16:10-17:50 Session 8B: Workshop: GTTV 2015
Location: Bluegrass Room Salon A
Monday, September 28th
View this program: with abstractssession overviewtalk overview
08:45-09:00 Session 9: Main Conference Kick-off: Welcome & Greetings
Location: Grand Kentucky Salon B
09:00-10:40 Session 10: Theory & Foundations I
Chair:
Location: Grand Kentucky Salon B
| 09:00 | Infinitary Equilibrium Logic and Strong Equivalence ( abstract ) |
| 09:25 | Characterising and Explaining Inconsistency in Logic Programs ( abstract ) |
| 09:50 | Enablers and Inhibitors in Causal Justifications of Logic Programs ( abstract ) |
| 10:15 | A Formal Theory of Justifications ( abstract ) |
11:10-12:40 Session 11: Short Papers I
Chair:
Location: Grand Kentucky Salon B
| 11:10 | Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses ( abstract ) |
| 11:25 | "Add Another Blue Stack of the Same Height!'': Plan Failure Analysis and Interactive Planning Through Natural Language Communication ( abstract ) |
| 11:40 | ASP, Amalgamation, and the Conceptual Blending Workflow ( abstract ) |
| 11:55 | An Implementation of Consistency-Based Multi-Agent Belief Change using ASP ( abstract ) |
| 12:10 | A Theory of Intentions for Intelligent Agents ( abstract ) |
| 12:25 | A Framework for Goal-Directed Query Evaluation with Negation ( abstract ) |
14:00-15:40 Session 12: Action Languages
Chair:
Location: Grand Kentucky Salon B
| 14:00 | Online Action Language oBC+ ( abstract ) |
| 14:25 | On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM ( abstract ) |
| 14:50 | Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments ( abstract ) |
| 15:15 | Diagnostic Reasoning for Robotics using Action Languages ( abstract ) |
16:10-17:10 Session 13: Invited Talk: Pedro Cabalar
Chair:
Location: Grand Kentucky Salon B
| 16:10 | Invited Talk: Stable Models for Temporal Theories ( abstract ) |
17:10-18:00 Session 14: Uncertainty
Chair:
Location: Grand Kentucky Salon B
| 17:10 | Solving disjunctive fuzzy answer set programs ( abstract ) |
| 17:35 | Compacting Boolean Formulae for Inference in Probabilistic Logic Programming ( abstract ) |
17:20-19:20 Session 15: ASP On-Site Modelling Competition
Location: Bluegrass Room Salon A & B
19:30-20:30 Session : Welcome Reception
Location: Magnolia Room
Tuesday, September 29th
View this program: with abstractssession overviewtalk overview
08:45-10:40 Session 16: 6th ASP Competition Report - Tools & Applications
Chair:
Location: Grand Kentucky Salon B
| 08:45 | The Design of the Sixth Answer Set Programming Competition & Winners Announcement ( abstract ) |
| 09:35 | Performance Tuning in Constraint Programming ( abstract ) |
| 10:00 | Interactive debugging of non-ground ASP programs ( abstract ) |
| 10:25 | Shift-design with Answer Set Programming ( abstract ) |
11:05-12:35 Session 17: Joint ADT/LPNMR Session
Chair:
Location: Grand Kentucky Salon B
| 11:05 | Social Choice as a source of (Hard) Computational Problems ( abstract ) |
| 11:25 | Pocket calculators for hard combinatorial search and optimization problems ( abstract ) |
| 11:45 | Democratix: A Declarative Approach to Winner Determination ( abstract ) |
| 12:10 | Implementing preferences with asprin ( abstract ) |
14:00-15:40 Session 18: Applications I
Chair:
Location: Grand Kentucky Salon B
| 14:00 | Integrating ASP into ROS for Reasoning in Robots ( abstract ) |
| 14:25 | Combining Heuristics for Configuration Problems Using Answer Set Programming ( abstract ) |
| 14:50 | Automated inference of rules with exception from past legal cases using ASP ( abstract ) |
| 15:15 | Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP ( abstract ) |
16:10-17:10 Session 19: Invited Talk: Nada Lavrac
Chair:
Location: Grand Kentucky Salon B
| 16:10 | Invited Talk: Relational and Semantic Data Mining ( abstract ) |
17:10-18:00 Session 20: Applications II
Chair:
Location: Grand Kentucky Salon B
| 17:10 | OOASP: Connecting Object-oriented and Logic Programming ( abstract ) |
| 17:35 | Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy ( abstract ) |
19:30-21:30 Session : Banquet
Location: Grand Kentucky Salon C & D
Wednesday, September 30th
View this program: with abstractssession overviewtalk overview
08:45-10:40 Session 21: Solvers
Chair:
Location: Grand Kentucky Salon B
| 08:45 | Progress in clasp series 3 ( abstract ) |
| 09:10 | Advances in WASP ( abstract ) |
| 09:35 | aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming ( abstract ) |
| 10:00 | ASP Solving for Expanding Universes ( abstract ) |
| 10:25 | Multi-Level Algorithm Selection for ASP ( abstract ) |
11:10-12:45 Session 22: Solving Modulo Theories & Short Papers II
Chair:
Location: Grand Kentucky Salon B
| 11:10 | Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics ( abstract ) |
| 11:35 | ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories ( abstract ) |
| 12:00 | Answer Set Programming modulo Acyclicity ( abstract ) |
| 12:15 | Clause-Learning for Modular Systems ( abstract ) |
| 12:30 | Reasoning with Forest Logic Programs Using Fully Enriched Automata ( abstract ) |
14:00-15:40 Session 23: Theory & Foundations II
Chair:
Location: Grand Kentucky Salon B
| 14:00 | Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams ( abstract ) |
| 14:25 | Linking Open-world Knowledge Bases using Nonmonotonic Rules ( abstract ) |
| 14:50 | A New Computational Logic Approach to Reason with Conditionals ( abstract ) |
| 15:15 | Logic Programming with Graded Modality ( abstract ) |
16:10-17:10 Session 24: Plenary session joint with ADT: Jerome Lang - Invited talk sponsored by ECCAI
Chair:
Location: Grand Kentucky Salon B
| 16:10 | Invited Talk: Algorithmic Decision Theory meets Logic ( abstract ) |
17:10-17:20 Session : Announcements & Farewell
Location: Grand Kentucky Salon B