Accepted papers

The recently accepted papers in TPLP are the following:

Regular Papers

  1. Enabling Reasoning with LegalRuleML.
    Brian Lam, Mustafa Hashmi

Special Issue of ICLP 2018

  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


Accepted Technical Notes/Rapid Publication Papers

  • <none>

Accepted Book Reviews

  • <none>