Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming

Thanh Nguyen, Enrico Pontelli and Tran Cao Son

An ASP Methodology for Understanding Narratives about Stereotypical Activities

Daniela Inclezan, Qinglin Zhang, Marcello Balduccini and Ankush Israney

Learning Commonsense Knowledge through Interactive Dialogue

Benjamin Wu, Alessandra Russo, Mark Law and Katsumi Inoue

A Probabilistic Extension of Action Language BC+

Joohyung Lee and Yi Wang

Shared aggregate sets in answer set programming

Mario Alviano, Carmine Dodaro and Marco Maratea

Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores

Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea and Alessandro Previti

Avoiding redundancies in the exploration of concurrent programs

Elvira Albert

SMT-based Answer Set Solver CMODELS(DIFF)

Da Shen and Yuliya Lierler

Shape Neutral Analysis of Graph-based Data-structures

Gregory Duck, Joxan Jaffar and Roland Yap

Specifying and Verbalising Answer Set Programs in Controlled Natural Language

Rolf Schwitter

Top-down and Bottom-up Evaluation Procedurally Integrated

David Scott Warren

Epistemic Logic Programs with World View Constraints

Patrick Kahl and Anthony Leclerc

Experimenting with robotic intra-logistics domains

Martin Gebser, Van Nguyen, Philipp Obermeier, Thomas Otto, Orkunt Sabuncu, Torsten Schaub and Tran Cao Son

MASP-Reduce: a proposal for distributed computation of stable models

Federico Igne, Agostino Dovier and Enrico Pontelli

Towards Incremental and Modular Context-sensitive Analysis

Isabel Garcia-Contreras, Jose F. Morales and Manuel V. Hermenegildo

Towards Static Performance Guarantees for Programs with Run-time Checks

Maximiliano Klemen, Nataliia Stulova, Pedro López-García, Jose F. Morales and Manuel V. Hermenegildo

Constraint-Based Inference in Probabilistic Logic Programs

Arun Nampally, Timothy Zhang and C. R. Ramakrishnan

Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP

Marc Dahlem, Anoop Bhagyanath and Klaus Schneider

Improving Candidate Quality of Probabilistic Logic Models

Joana Côrte-Real, Anton Dries, Inês Dutra and Ricardo Rocha

Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates

Pedro Cabalar, Jorge Fandinno, Luis Farinas Del Cerro and David Pearce

Translating LPOD and CR-Prolog2 into Standard Answer Set Programs

Joohyung Lee and Zhun Yang

Answer Set Programs go 30: Past and Future

Thomas Eiter

Certified Graph View Maintenance with Regular Datalog

Angela Bonifati, Stefania Dumbrava and Emilio Jesús Gallego Arias

Constraint Answer Set Programming without Grounding

Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple and Gopal Gupta

Solving Horn Clauses on Inductive Data Types Without Induction

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming

Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge and Torsten Schaub

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis and Pei-Wei Tsai

An iterative approach to precondition inference using constrained Horn clauses

Bishoksan Kafle, John Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard and Peter J. Stuckey