ICLP 2018 Accepted papers

Full (TPLP) papers

  1. David Scott Warren Top-down and Bottom-up Evaluation Reconciled
  2. Rolf Schwitter Specifying and Verbalising Answer Set Programs in Controlled Natural Language
  3. Frantisek Farka, Ekaterina Komendantskaya and Kevin Hammond Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
  4. Pedro Cabalar, Roland Kaminski, Torsten Schaub and Anna Schuhmann Temporal Answer Set Programming on Finite Traces
  5. Martin Gebser, Van Nguyen, Philipp Obermeier, Thomas Otto, Orkunt Sabuncu, Torsten Schaub and Tran Cao Son Experimenting with robotic intra-logistics domains (Application paper)
  6. Joohyung Lee and Zhun Yang Translating LPOD and CR-Prolog2 into Standard Answer Set Programs
  7. Arindam Mitra and Chitta Baral Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples
  8. Angelos Charalambidis, Panos Rondogiannis and Ioanna Symeonidou Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
  9. Mario Alviano, Carmine Dodaro and Marco Maratea Shared aggregate sets in answer set programming
  10. Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea and Alessandro Previti Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores
  11. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti Solving Horn Clauses on Inductive Data Types Without Induction
  12. Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple and Gopal Gupta Constraint Answer Set Programming without Grounding
  13. Angela Bonifati, Stefania Dumbrava and Emilio Jesús Gallego Arias Certified Graph View Maintenance with Regular Datalog
  14. Tobias Kaminski, Thomas Eiter and Katsumi Inoue Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
  15. 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
  16. Marc Dahlem, Anoop Bhagyanath and Klaus Schneider Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP
  17. Thanh Nguyen, Enrico Pontelli and Tran Son Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming
  18. Daniela Inclezan, Qinglin Zhang, Marcello Balduccini and Ankush Israney An ASP Methodology for Understanding Narratives about Stereotypical Activities
  19. Arun Nampally, Timothy Zhang and C. R. Ramakrishnan Constraint-Based Inference in Probabilistic Logic Programs
  20. Joohyung Lee and Yi Wang A Probabilistic Extension of Action Language BC+
  21. Bishoksan Kafle, John Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard and Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses
  22. Gregory Duck, Joxan Jaffar and Roland Yap Shape Neutral Analysis of Graph-based Data-structures
  23. Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge and Torsten Schaub Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
  24. Aleksy Schubert and Pawel Urzyczyn First-order answer set programming as constructive proof search
  25. Pedro Cabalar, Jorge Fandinno, Luis Farinas Del Cerro and David Pearce Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates

Technical Communications


  1. Patrick Kahl and Anthony Leclerc Epistemic Logic Programs with World View Constraints
  2. Farhad Shakerin and Gopal Gupta Cumulative Scoring-based Induction of Default Theories
  3. Benjamin Wu, Alessandra Russo, Mark Law and Katsumi Inoue Learning Commonsense Knowledge through Interactive Dialogue
  4. Bram Aerts and Joost Vennekens Application of Logic-Based Methods to Machine Component Design
  5. Zhizheng Zhang Introspecting Preferences In Answer Set Programming
    Joana Côrte-Real, Anton Dries, Inês Dutra and Ricardo Rocha Improving Candidate Quality of Probabilistic Logic Models
  6. Igor Stéphan A New Proof-theoretical Linear Semantics for CHR
  7. Van Nguyen, Tran Cao Son and Enrico Pontelli Natural Language Generation From Ontologies: Application Paper
  8. Isabel Garcia-Contreras, Jose F. Morales and Manuel V. Hermenegildo Towards Incremental and Modular Context-sensitive Analysis
  9. Federico Igne, Agostino Dovier and Enrico Pontelli MASP-Reduce: a proposal for distributed computation of stable models
  10. 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
  11. Nada Sharaf, Slim Abdennadher and Thom Fruehwirth CHRvis: Syntax and Semantics
  12. 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
  13. Da Shen and Yuliya Lierler SMT-based Answer Set Solver CMODELS(DIFF) (System Description)