| Authors | Title | Paper | Talk |
|---|
| David Scott Warren | Top-down and Bottom-up Evaluation Reconciled |  | Jul 15 11:00 |
| Patrick Kahl and Anthony Leclerc | Epistemic Logic Programs with World View Constraints | | Jul 15 16:15 |
| Rolf Schwitter | Specifying and Verbalising Answer Set Programs in Controlled Natural Language | | Jul 16 09:30 |
| Frantisek Farka, Ekaterina Komendantskaya and Kevin Hammond | Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis | | Jul 14 14:00 |
| Pedro Cabalar, Roland Kaminski, Torsten Schaub and Anna Schuhmann | Temporal Answer Set Programming on Finite Traces | | Jul 15 10:00 |
| Martin Gebser, Van Nguyen, Philipp Obermeier, Thomas Otto, Orkunt Sabuncu, Torsten Schaub and Tran Cao Son | Experimenting with robotic intra-logistics domains | | Jul 17 11:30 |
| Farhad Shakerin and Gopal Gupta | Cumulative Scoring-based Induction of Default Theories | | Jul 15 16:00 |
| Joohyung Lee and Zhun Yang | Translating LPOD and CR-Prolog2 into Standard Answer Set Programs | | Jul 14 17:30 |
| Benjamin Wu, Alessandra Russo, Mark Law and Katsumi Inoue | Learning Commonsense Knowledge through Interactive Dialogue | | Jul 17 17:00 |
| Arindam Mitra and Chitta Baral | Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples | | Jul 15 14:30 |
| Bram Aerts and Joost Vennekens | Application of Logic-Based Methods to Machine Component Design | | Jul 15 17:00 |
| Angelos Charalambidis, Panos Rondogiannis and Ioanna Symeonidou | Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs | | Jul 14 12:00 |
| Zhizheng Zhang | Introspecting Preferences In Answer Set Programming | | Jul 15 16:45 |
| Mario Alviano, Carmine Dodaro and Marco Maratea | Shared aggregate sets in answer set programming | | Jul 14 11:30 |
| Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea and Alessandro Previti | Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores | | Jul 16 10:00 |
| Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti | Solving Horn Clauses on Inductive Data Types Without Induction | | Jul 14 15:00 |
| Joana Côrte-Real, Anton Dries, Inês Dutra and Ricardo Rocha | Improving Candidate Quality of Probabilistic Logic Models | | Jul 15 17:15 |
| Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple and Gopal Gupta | Constraint Answer Set Programming without Grounding | | Jul 14 17:00 |
| Angela Bonifati, Stefania Dumbrava and Emilio Jesús Gallego Arias | Certified Graph View Maintenance with Regular Datalog | | Jul 15 11:30 |
| Tobias Kaminski, Thomas Eiter and Katsumi Inoue | Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning | | Jul 15 14:00 |
| George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis and Pei-Wei Tsai | A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming | | Jul 15 15:00 |
| Marc Dahlem, Anoop Bhagyanath and Klaus Schneider | Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP | | Jul 17 12:00 |
| Igor Stéphan | A New Proof-theoretical Linear Semantics for CHR | | Jul 17 17:15 |
| Van Nguyen, Tran Cao Son and Enrico Pontelli | Natural Language Generation From Ontologies: Application Paper | | Jul 15 17:30 |
| Thanh Nguyen, Enrico Pontelli and Tran Son | Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming | | Jul 17 11:00 |
| Isabel Garcia-Contreras, Jose F. Morales and Manuel V. Hermenegildo | Towards Incremental and Modular Context-sensitive Analysis | | Jul 17 16:45 |
| Federico Igne, Agostino Dovier and Enrico Pontelli | MASP-Reduce: a proposal for distributed computation of stable models | | Jul 15 17:45 |
| Carlo Zaniolo, Ariyam Das, Mohan Yang, Alex Shkapsky, Matteo Interlandi and Tyson Condie | Declarative Algorithms in Datalog with Aggregates: user-friendly formal semantics conducive to performance and scalability | | Jul 17 17:45 |
| Daniela Inclezan, Qinglin Zhang, Marcello Balduccini and Ankush Israney | An ASP Methodology for Understanding Narratives about Stereotypical Activities | | Jul 16 09:00 |
| Arun Nampally, Timothy Zhang and C. R. Ramakrishnan | Constraint-Based Inference in Probabilistic Logic Programs | | Jul 17 15:00 |
| Joohyung Lee and Yi Wang | A Probabilistic Extension of Action Language BC+ | | Jul 17 14:30 |
| Bishoksan Kafle, John Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard and Peter J. Stuckey | An iterative approach to precondition inference using constrained Horn clauses | | Jul 15 12:00 |
| Gregory Duck, Joxan Jaffar and Roland Yap | Shape Neutral Analysis of Graph-based Data-structures | | Jul 17 14:00 |
| Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge and Torsten Schaub | Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming | | Jul 16 11:00 |
| Aleksy Schubert and Pawel Urzyczyn | First-order answer set programming as constructive proof search | | Jul 14 14:30 |
| Pedro Cabalar, Jorge Fandinno, Luis Farinas Del Cerro and David Pearce | Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates | | Jul 14 11:00 |
| Nada Sharaf, Slim Abdennadher and Thom Fruehwirth | CHRvis: Syntax and Semantics | | Jul 17 17:30 |
| Maximiliano Klemen, Nataliia Stulova, Pedro López-García, Jose F. Morales and Manuel V. Hermenegildo | Towards Static Performance Guarantees for Programs with Run-time Checks | | Jul 17 16:30 |
| Da Shen and Yuliya Lierler | SMT-based Answer Set Solver CMODELS(DIFF) (System Description) | | Jul 15 16:30 |