| Authors | Title | Paper | Talk |
|---|
| Martin Gebser and Jael Kriener | The ICLP 2014 Doctoral Consortium |  | |
| Matthias Baaz, Thomas Eiter and Helmut Veith | Vienna Summer of Logic Preface | | |
| Michael Leuschel and Tom Schrijvers | Introduction to the 30th International Conference on Logic Programming Special Issue | | |
| Francesco Calimeri, Martin Gebser, Marco Maratea and Francesco Ricca | The Design of the Fifth Answer Set Programming Competition | | |
| Andrey Rybalchenko | (Quantified) Horn Constraint Solving for Program Verification and Synthesis | | Jul 17 14:30 |
| Neng-Fa Zhou | Combinatorial Search With Picat | | |
| Mário Abrantes and Luís Moniz Pereira | Properties of Stable Model Semantics Extensions | | Jul 21 11:00 |
| Mario Alviano, Carmine Dodaro and Francesco Ricca | Anytime Computation of Cautious Consequences in Answer Set Programming | | Jul 22 17:00 |
| Roberto Amadini, Maurizio Gabbrielli and Jacopo Mauro | SUNNY: a Lazy Portfolio Approach for Constraint Solving | | Jul 22 11:30 |
| Christian Antic | On Cascade Products of Answer Set Programs | | Jul 20 14:30 |
| Miguel Areias and Ricardo Rocha | A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling | | Jul 21 11:00 |
| Rehan Abdul Aziz, Geoffrey Chu and Peter J. Stuckey | Grounding Bound Founded Answer Set Programs | | Jul 21 12:15 |
| Marcello Balduccini, William Regli and Duc Nguyen | An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments | | Jul 21 12:30 |
| Roman Bartak and Neng-Fa Zhou | Using Tabled Logic Programming to Solve the Petrobras Planning Problem | | Jul 22 12:00 |
| Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa and Riccardo Zese | Lifted Probabilistic Logic Programming | | Jul 19 11:30 |
| Yi Bi, Jia-Huai You and Zhiyong Feng | A Well-Founded Semantics for FOL-Programs | | Jul 21 11:15 |
| Bart Bogaerts, Joachim Jansen, Bruynooghe Maurice, Broes De Cat, Joost Vennekens and Marc Denecker | Simulating Dynamic Systems Using Linear Time Calculus Theories | | Jul 20 17:00 |
| Bart Bogaerts, Joost Vennekens, Marc Denecker and Jan Van den Bussche | C-Log: A Knowledge Representation Language of Causality | | Jul 21 11:45 |
| Stefan Brass | A Framework for Bottom-Up Simulation of SLD-Resolution | | Jul 21 12:15 |
| Pedro Cabalar, Jorge Fandiño and Michael Fink | Causal Graph Justifications of Logic Programs | | Jul 20 15:30 |
| Luciano Caroprese, Mirek Truszczynski, Ester Zumpano and Irina Trubitsyna | A Measure of Arbitrariness in Abductive Explanations | | Jul 21 15:00 |
| Sergio Castro, Kim Mens and Paulo Moura | Customisable Handling of Java References in Prolog Programs | | Jul 21 12:00 |
| Angelos Charalambidis, Zoltan Esik and Panos Rondogiannis | Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation | | Jul 19 12:00 |
| Marco Comini, Laura Titolo and Alicia Villanueva | Abstract Diagnosis for tccp using a Linear Temporal Logic | | Jul 19 12:30 |
| Flavio Cruz, Seth Goldstein, Frank Pfenning and Ricardo Rocha | A Linear Logic Programming Language for Concurrent Programming over Graph Structures | | Jul 19 11:00 |
| Gregory J. Duck, Rémy Haemmerlé and Martin Sulzmann | On Termination, Confluence and Consistent CHR-based Type Inference | | Jul 20 11:30 |
| Daniel Gall and Thom Frühwirth | Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R | | Jul 20 12:00 |
| John P. Gallagher and Bishoksan Kafle | Analysis and Transformation Tools for Constrained Horn Clause Verification | | Jul 21 11:30 |
| Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo and Paolo Cagnoli | Multi-criteria optimal planning for Energy policies in CLP | | Jul 21 10:45 |
| Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten Schaub | Clingo = ASP + Control | | Jul 21 11:15 |
| Michael Gelfond and Yuanlin Zhang | Vicious Circle Principle and Logic Programs with Aggregates | | Jul 20 15:00 |
| Ana Sofia Gomes and Jose Julio Alferes | Transaction Logic with (Complex) Events | | Jul 21 10:45 |
| Jónathan Heras, Ekaterina Komendantskaya and Martin Schmidt | (Co)recursion in Logic Programming: Lazy vs Eager | | Jul 21 11:45 |
| Holger Hoos, Marius Lindauer and Torsten Schaub | claspfolio 2: Advances in Algorithm Selection for Answer Set Programming | | Jul 20 17:30 |
| Ethan K. Jackson | A Module System for Domain-Specific Languages | | Jul 19 14:30 |
| Torbjörn Lager and Jan Wielemaker | Pengines: Web Logic Programming Made Easy | | Jul 19 16:30 |
| Tiep Le, Enrico Pontelli, Tran Cao Son and William Yeoh | Logic and Constraint Logic Programming for Distributed Constraint Optimization | | Jul 21 11:30 |
| Theofrastos Mantadelis, Ricardo Rocha and Paulo Moura | Tabling, Rational Terms, and Coinduction Finally Together! | | Jul 19 17:30 |
| Kyle Marple and Gopal Gupta | Dynamic Consistency Checking in Goal-Directed Answer Set Programming | | Jul 22 16:30 |
| Luís Moniz Pereira, Emmanuelle-Anna Dietz and Steffen Hölldobler | Contextual Abductive Reasoning with Side-Effects | | Jul 21 15:30 |
| Arun Nampally and C. R. Ramakrishnan | Adaptive MCMC-Based Inference in Probabilistic Logic Programs | | Jul 21 12:00 |
| G. Narboni | Numerical Properties of Min-closed CSPs | | Jul 21 11:00 |
| Vivek Nigam, Carlos Olarte and Elaine Pimentel | A Proof Theoretic Study of Soft Concurrent Constraint Programming | | Jul 22 12:30 |
| Aya Saad, Thom Fruehwirth and Carmen Gervet | The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information | | Jul 20 12:30 |
| Ari Saptawijaya and Luís Moniz Pereira | Joint Tabling of Logic Program Abductions and Updates | | Jul 21 10:45 |
| Alejandro Serrano, Pedro Lopez-Garcia and Manuel V. Hermenegildo | Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types | | Jul 22 15:30 |
| Martin Slota, Martin Balaz and Joao Leite | On Strong and Default Negation in Answer-Set Program Updates | | Jul 21 11:30 |
| George Souza Oliveira and Anderson Faustino Da Silva | Towards an Efficient Prolog System by Code Introspection | | Jul 21 11:45 |
| Nataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo | Towards Assertion-based Debugging of Higher-Order (C)LP Programs | | Jul 21 11:15 |
| Terrance Swift | Incremental Tabling for Knowledge Representation and Reasoning | | Jul 19 17:00 |
| Ilias Tachmazidis, Grigoris Antoniou and Wolfgang Faber | Efficient Computation of the Well-Founded Semantics over Big Data | | Jul 22 17:30 |
| Paul Tarau and Fahmida Hamid | Interclausal Logic Variables | | Jul 21 12:15 |
| Zhizheng Zhang | ESmodels: An Epistemic Specification Solver | | Jul 21 12:00 |
| Rehan Abdul Aziz | Bound Founded Answer Set Programming | | |
| Joachim Jansen | Model Revision Inference for Extensions of First Order Logic | | |
| Grzegorz Jaśkiewicz | Logic Programming as Scripting Language for Bots in Computer Games - Research Overview | | |
| Michael Morak | The Impact of Disjunction on Reasoning under Existential Rules: Research Summary | | |
| Aya Saad | CDF-Intervals: A Reliable Framework to Reason about Data with Uncertainty | | |
| Nada Sharaf | Visualization of Constraint Handling Rules | | |
| Heike Stephan | Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs | | |
| Riccardo Zese | Reasoning with Probabilistic Logics | | |