Tuesday, July 5th | ||||
---|---|---|---|---|
18:30 -- 20:00 | Reception Grand KY Salon B |
|||
Wednesday 6th July | ||||
9.00--10.00 | Invited Talk Grand KY Salon C&D Session Chair: Michael Gelfond |
Georg Gottlob | Ontological Reasoning and Query-Answering with Logic Programming | |
10.00 -- 11.00 | Session 1 Grand KY Salon C&D Session Chair: Michael Gelfond |
Systems | Fabrizio Riguzzi and Terrance Swift The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty Conrad Drescher and Michael Thielscher ALPprolog --- A New Logic Programming Method for Dynamic Domains |
Doctoral Consortium Invited
Talk Bluegrass Room Program |
11.00 -- 11.30 | BREAK | |||
11.30 -- 12.30 | Session 2 Grand KY Salon C&D Session Chair: Enrico Pontelli |
Concurrency | Rémy Haemmerlé Observational equivalences for Linear Logic CC languages Marco Comini, Laura Titolo and Alicia Villanueva Abstract Diagnosis of Timed Concurrent Constraint programs |
Doctoral Consortium
Session Bluegrass Room Program |
12.30 -- 14.00 | LUNCH | |||
14.00 -- 15.30 | Session 3 Grand KY Salon C&D Session Chair: Manuel Hermenegildo |
Termination and Analysis | Michael Codish, Igor Gonopolskiy, Amir M.
Ben-Amram, Carsten Fuhs, and Juergen Giesl SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers Dean Voets and Daniel De Schreye Non-termination Analysis of Logic Programs with integer arithmetics Best Student Paper: Jael Kriener and Andy King RedAlert: Determinacy Inference for Prolog |
Doctoral Consortium Session Runs through 15.40 Bluegrass Room Program |
15.30 -- 16.00 | BREAK | |||
16.00 -- 17.30 | Session 4 Grand KY Salon C&D Session Chair: Yuliya Lierler |
Technical Communications 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten Schaub Multi-Criteria Optimization in ASP and its Application to Linux Package Configuration Alexander Bochman and Vladimir Lifschitz. Yet another characterization of strong equivalence Max Ostrowski, Giorgos Flouris, Torsten Schaub, and Grigoris Antoniou Evolution of Ontologies using ASP Christian Drescher and Toby Walsh. Modelling GRAMMAR Constraints with Answer Set Programming Alex Brik and Jeffrey Remmel. Hybrid ASP Michael Casolary and Joohyung Lee. Representing the Language of the Causal Calculator in Answer Set Programming |
Doctoral Consortium
Session Bluegrass Room Program |
18.00 -- 19.00 | ALP General Meeting Grand KY Salon C&D |
|||
Thursday 7th July | ||||
9.00 -- 10.00 | Invited Talk Grand KY Salon C&D Session Chair: Gopal Gupta |
Adam Lally | Natural Language Processing With Prolog in the IBM Watson System | |
10.00 -- 11.00 | Session 5 Grand KY Salon C&D Session Chair: Gopal Gupta |
Parallelism | Pablo Chico De Guzmán, Amadeo Casas, Manuel Carro and Manuel Hermenegildo Parallel Backtracking with Answer Memoing for Independent And-Parallelism Paul Bone, Zoltan Somogyi and Peter Schachte Estimating the overlap between dependent computations for automatic parallelization |
|
11.00 -- 11.30 | BREAK | |||
11.30 -- 12.30 | Session 6 Grand KY Salon C&D Session Chair: Agostino Dovier |
Technical Communications 2 | Zsolt Zombori, Janos Csorba, and Peter
Szeredi. Static Type Checking for the Q Functional Language in Prolog Ethan Jackson, Nikolaj Bjørner and Wolfram Schulte. Canonical Regular Types Brandon Chisham, Enrico Pontelli, Tran Cao Son and Ben Wright. CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services Ángel Herranz and Julio Mariño. Synthesis of Logic Programs from Object-Oriented Formal Specifications Dalal Alrajeh, Jeff Kramer, Alessandra Russo and Sebastian Uchitel. An Inductive Approach for Modal Transition System Refinement |
|
12.30 -- 14.00 | Conference Lunch Magnolia Room |
Sponsored by Lexmark | ||
14.00 -- 15.30 | Tutorial Grand KY Salon C&D Session Chair: Michael Kifer |
Francesca Toni | Argumentation and Logic Programming | |
15.30 -- 16.00 | BREAK | |||
16.00 -- 17.30 | Session 7 Grand KY Salon C&D Session Chair: Vladimir Lifschitz |
Semantics and Theoretical Foundations | Rémy Haemmerlé (Co-)Inductive Semantics for Constraint Handling Rules António Porto A Structured Alternative to Prolog with Simple Compositional Semantics Yuliya Lierler and Miroslaw Truszczynski Transition Systems for Model Generators --- A Unifying Approach |
|
18.00 -- 20.30 | Prolog Competition Bluegrass Room |
|||
Friday 8th July | ||||
9.00 -- 10.00 | Invited Talk Grand KY Salon C&D Session Chair: John Gallagher |
Guenter Kniesel | LP for Software Engineering and Software Engineering for LP | |
10.00 -- 11.00 | Session 8 Grand KY Salon C&D Session Chair: John Gallagher |
Probabilistic Reasoning | Joost Vennekens Actual causation in CP-logic Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe and Luc De Raedt The Magic of Logical Inference in Probabilistic Programming |
WG-17 session Bluegrass Room |
11.00 -- 11.30 | BREAK | |||
11.30 -- 12.30 | Tutorial Grand KY Salon C&D Session Chair: Zoltan Somogyi |
Michael Covington | Developing Prolog Coding Standards | |
12.30 -- 14.00 | LUNCH | |||
14.00 -- 15.30 | Session 9 Grand KY Salon C&D Session Chair: Joohyung Lee |
Technical Communications 3 | Leslie De Koninck, Sebastian Brand and Peter Stuckey. Constraints in non-Boolean contexts Peter Wang and Zoltan Somogyi. Minimizing the overheads of dependent AND-parallelism Lukas Bulwahn. Smart test data generators via logic programming Stefan Brass. Declarative Output by Ordering Text Pieces Paul Fodor and Michael Kifer. Transaction Logic with Defaults and Argumentation Theories Jiefei Ma, Alessandra Russo, Krysia Broda and Emil Lupu. Multi-agent Hypothetical Reasoning with Confidentiality Agostino Dovier, Andrea Formisano and Enrico Pontelli. BAAC: A Prolog System for Action Description and Agents Coordination |
WG-17 session Bluegrass Room |
15.30 -- 16.00 | BREAK | |||
16.00 -- 17.30 | Session 10 Grand KY Salon C&D Session Chair: NengFa Zhou |
Implementation | Miguel Areias and Ricardo
Rocha On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs Flavio Cruz and Ricardo Rocha Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs Sergio Antoy On the Correctness of Pull-Tabbing |
WG-17 session Bluegrass Room |
19.00 -- 21.30 | Conference Dinner Grand KY Salon B&C |
|||
Saturday 9th July | ||||
9.00 -- 10.30 | Session 11 Grand KY Salon C&D Session Chair: Tom Schrijvers |
Applications | Best Paper: Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi and Marco Franchini Optimal Placement of Valves in a Water Distribution Network with CLP(FD) Markus Durzinsky, Wolfgang Marwan, Max Ostrowski, Torsten Schaub, and Annegret Wagler Automatic Network Reconstruction using ASP Stefan Hallerstede and Michael Leuschel Constraint-Based Deadlock Checking of High-Level Specifications |
WG-17 session Bluegrass Room |
10.30 -- 11.00 | BREAK | |||
11.00 -- 12.30 | Session 12 Grand KY Salon C&D Session Chair: Stefan Woltran |
Program and Knowledge Base Development | Domenico Corapi, Alessandra Russo, Marina De Vos, Julian Padget and Ken Satoh Normative Design using Inductive Learning Martin Slota, Joao Leite and Terrance Swift Splitting and Updating Hybrid Knowledge Bases Martin Gebser, Roland Kaminski and Torsten Schaub Complex Optimization in Answer Set Programming |
WG-17 session Bluegrass Room |
12.30 -- 14.00 | LUNCH | |||
14.00 -- 15.00 | Session 13 Grand KY Salon C&D Session Chair: Vitor Santos Costa |
Technical Communications 4 | Michael Hanus. Declarative Processing of Semistructured Web Data Michael Eichberg Compiling Prolog to Idiomatic Java Henning Christiansen, Christian Theil Have, Ole Torp Lassen and Matthieu Petit. Bayesian Annotation Networks for Complex Sequence Analysis Colin Nicholson, Daniel De Schreye, and Jon Sneyers. Improving compositions of the Apopcaleaps music generation system by using Perlin Noise Cristian Molinaro, Amy Sliva and V.S. Subrahmanian. Abduction in Annotated Probabilistic Temporal Logic |
LPMAS Technical
Session Triple Crown Room Program |
15:00 | Conference Ends | Workshops Continue | ||
15:00 -- 15:45 | LPMAS Technical
Session Triple Crown Room Program |
|||
15:45 -- 16:00 | BREAK | |||
16:00 -- 16:30 | LPMAS Technical
Session Triple Crown Room Program |
|||
16:30 -- 17:00 | LPMAS Technical
Session Triple Crown Room Program |
|||
17:00 -- 17:30 | LPMAS Technical
Session Triple Crown Room Program |
Sunday 10th July | ||
---|---|---|
ASPOCP | WLPE | CICLOPS |
Triple Crown Room | Blackberry Lilly Room | Bluegrass Room |
09:00 -- 16:00 | 09:00 -- 17:00 | 09:00 -- 18:00 |
Program | Program | Program |