ICLP 2014: Accepted papers

Accepted regular papers

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