Full (TPLP) papers
- David Scott Warren Top-down and Bottom-up Evaluation Reconciled
- Rolf Schwitter Specifying and Verbalising Answer Set Programs in Controlled Natural Language
- Frantisek Farka, Ekaterina Komendantskaya and Kevin Hammond Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
- Pedro Cabalar, Roland Kaminski, Torsten Schaub and Anna Schuhmann Temporal Answer Set Programming on Finite Traces
- Martin Gebser, Van Nguyen, Philipp Obermeier, Thomas Otto, Orkunt Sabuncu, Torsten Schaub and Tran Cao Son Experimenting with robotic intra-logistics domains (Application paper)
- Joohyung Lee and Zhun Yang Translating LPOD and CR-Prolog2 into Standard Answer Set Programs
- Arindam Mitra and Chitta Baral Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples
- Angelos Charalambidis, Panos Rondogiannis and Ioanna Symeonidou Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
- Mario Alviano, Carmine Dodaro and Marco Maratea Shared aggregate sets in answer set programming
- Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea and Alessandro Previti Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores
- Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti Solving Horn Clauses on Inductive Data Types Without Induction
- Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple and Gopal Gupta Constraint Answer Set Programming without Grounding
- Angela Bonifati, Stefania Dumbrava and Emilio Jesús Gallego Arias Certified Graph View Maintenance with Regular Datalog
- Tobias Kaminski, Thomas Eiter and Katsumi Inoue Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
- 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
- Marc Dahlem, Anoop Bhagyanath and Klaus Schneider Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP
- Thanh Nguyen, Enrico Pontelli and Tran Son Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming
- Daniela Inclezan, Qinglin Zhang, Marcello Balduccini and Ankush Israney An ASP Methodology for Understanding Narratives about Stereotypical Activities
- Arun Nampally, Timothy Zhang and C. R. Ramakrishnan Constraint-Based Inference in Probabilistic Logic Programs
- Joohyung Lee and Yi Wang A Probabilistic Extension of Action Language BC+
- Bishoksan Kafle, John Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard and Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses
- Gregory Duck, Joxan Jaffar and Roland Yap Shape Neutral Analysis of Graph-based Data-structures
- Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge and Torsten Schaub Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
- Aleksy Schubert and Pawel Urzyczyn First-order answer set programming as constructive proof search
- Pedro Cabalar, Jorge Fandinno, Luis Farinas Del Cerro and David Pearce Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates
Technical Communications
- Patrick Kahl and Anthony Leclerc Epistemic Logic Programs with World View Constraints
- Farhad Shakerin and Gopal Gupta Cumulative Scoring-based Induction of Default Theories
- Benjamin Wu, Alessandra Russo, Mark Law and Katsumi Inoue Learning Commonsense Knowledge through Interactive Dialogue
- Bram Aerts and Joost Vennekens Application of Logic-Based Methods to Machine Component Design
- 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 - Igor Stéphan A New Proof-theoretical Linear Semantics for CHR
- Van Nguyen, Tran Cao Son and Enrico Pontelli Natural Language Generation From Ontologies: Application Paper
- Isabel Garcia-Contreras, Jose F. Morales and Manuel V. Hermenegildo Towards Incremental and Modular Context-sensitive Analysis
- Federico Igne, Agostino Dovier and Enrico Pontelli MASP-Reduce: a proposal for distributed computation of stable models
- 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
- Nada Sharaf, Slim Abdennadher and Thom Fruehwirth CHRvis: Syntax and Semantics
- 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
- Da Shen and Yuliya Lierler SMT-based Answer Set Solver CMODELS(DIFF) (System Description)