ICLP 2014

ICLP 2014 proceedings editors were Micheal Leuschel and Tom Schrijvers

• ICLP 2014 regular papers are published in the Special Issue 4-5, 2014 of TPLP.The list and the contents of the papers are available from here:https://logicprogramming.org/tplp/content/tplp-volume-14-2014/
• ICLP 2014 Technical Communications are published as electronic appendix of the Editor’s preface of the above TPLP issue. The list of papers with direct links are the following:
  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 [arXiv with a slighly different name]
  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