| 2018 | Learning Commonsense Knowledge Through Interactive Dialogue. | Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue |
| 2018 | Probabilistic Action Language pBC+. | Yi Wang |
| 2018 | Speeding up Lazy-Grounding Answer Set Solving. | Richard Taupe |
| 2018 | A New Proof-Theoretical Linear Semantics for CHR. | Igor Stphan |
| 2018 | SMT-Based Answer Set Solver CMODELS(DIFF) (System Description). | Da Shen, Yuliya Lierler |
| 2018 | CHR^vis: Syntax and Semantics. | Nada Sharaf, Slim Abdennadher, Thom W. Frhwirth |
| 2018 | Cumulative Scoring-Based Induction of Default Theories. | Farhad Shakerin, Gopal Gupta |
| 2018 | Scalable Robotic Intra-Logistics with Answer Set Programming. | Philipp Obermeier |
| 2018 | Explanations Generation For Web Service Workflow. | Van Duc Nguyen, Tran Cao Son, Enrico Pontelli |
| 2018 | Natural Language Generation From Ontologies Using Grammatical Framework. | Van Duc Nguyen |
| 2018 | The Learning-Knowledge-Reasoning Paradigm for Natural Language Understanding and Question Answering. | Arindam Mitra |
| 2018 | Explaining Actual Causation via Reasoning About Actions and Change. | Emily C. LeBlanc |
| 2018 | Towards Static Performance Guarantees for Programs with Run-Time Checks. | Maximiliano Klemen, Nataliia Stulova, Pedro Lpez-Garca, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | Epistemic Logic Programs with World View Constraints. | Patrick Thor Kahl, Anthony P. Leclerc |
| 2018 | MASP-Reduce: A Proposal for Distributed Computation of Stable Models. | Federico Igne, Agostino Dovier, Enrico Pontelli |
| 2018 | Model Revision of Logical Regulatory Networks Using Logic-Based Tools. | Filipe Gouveia, Ins Lynce, Pedro T. Monteiro |
| 2018 | Towards Incremental and Modular Context-Sensitive Analysis. | Isabel Garcia-Contreras, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | Knowledge Authoring and Question Answering via Controlled Natural Language. | Tiantian Gao |
| 2018 | Proof-Relevant Resolution for Elaboration of Programming Languages. | Frantisek Farka |
| 2018 | Improving Candidate Quality of Probabilistic Logic Models. | Joana Crte-Real, Anton Dries, Ins Dutra, Ricardo Rocha |
| 2018 | Application of Logic-Based Methods to Machine Component Design. | Bram Aerts, Joost Vennekens |
| 2017 | // Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding. | Neng-Fa Zhou, Roman Bartk |
| 2017 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2017 | A Hitchhiker's Guide to Reinventing a Prolog Machine. | Paul Tarau |
| 2017 | Towards Run-time Checks Simplification via Term Hiding. | Nataliia Stulova, Jos F. Morales, Manuel V. Hermenegildo |