| 2018 | golog++ : An Integrative System Design. | Victor Matar, Stefan Schiffer, Alexander Ferrein |
| 2018 | Query Expressibility and Verification in Ontology-Based Data Access. | Carsten Lutz, Johannes Marti, Leif Sabellek |
| 2018 | Partial-State Progression for Stream Reasoning with Metric Temporal Logic. | Daniel de Leng, Fredrik Heintz |
| 2018 | A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics. | Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo |
| 2018 | Computing Logic Programs with Ordered Disjunction Using asprin. | Joohyung Lee, Zhun Yang |
| 2018 | Weight Learning in a Probabilistic Extension of Answer Set Programs. | Joohyung Lee, Yi Wang |
| 2018 | Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. | Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2018 | A SAT-Based Approach For PSPACE Modal Logics. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2018 | Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. | Alisa Kovtunova, Rafael Pealoza |
| 2018 | Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report. | Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Rantsoudis |
| 2018 | New Inference Relations from Maximal Consistent Subsets. | Sbastien Konieczny, Pierre Marquis, Srdjan Vesic |
| 2018 | Towards an Argumentation System for Supporting Patients in Self-Managing Their Chronic Conditions. | Nadin Kkciyan, Isabel Sassoon, Anthony P. Young, Martin Chapman, Talya Porat, Mark Ashworth, Vasa Curcin, Sanjay Modgil, Simon Parsons, Elizabeth Sklar |
| 2018 | Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. | Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
| 2018 | Bayesian Model Selection in Statistical Construction of Justification. | Hiroyuki Kido |
| 2018 | Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change. | Gabriele Kern-Isberner |
| 2018 | Ontology Partitioning Using E-Connections Revisited (Extended Abstract). | Sascha Jongebloed, Thomas Schneider |
| 2018 | Updating Belief in Arguments in Epistemic Graphs. | Anthony Hunter, Sylwia Polberg, Nico Potyka |
| 2018 | Qualitative Representation and Reasoning over Direction Relations across Different Frames of Reference. | Hua Hua, Jochen Renz, Xiaoyu Ge |
| 2018 | A Logic for Specifying Metric Temporal Constraints for Golog Programs. | Till Hofmann, Gerhard Lakemeyer |
| 2018 | Preference Aggregation with Incomplete CP-Nets. | Adrian Haret, Arianna Novaro, Umberto Grandi |
| 2018 | SOGrounder: Modelling and Solving Second-Order Logic. | Matthias van der Hallen, Gerda Janssens |
| 2018 | A Parameterized Complexity View on Description Logic Reasoning. | Ronald de Haan |
| 2018 | Hunting for Tractable Languages for Judgment Aggregation. | Ronald de Haan |
| 2018 | Quantified Markov Logic Networks. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka |
| 2018 | From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules. | Vctor Gutirrez-Basulto, Steven Schockaert |