Papers
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases
Diego Calvanese, Marco Montali, Ario Santoso
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies
Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski
Logic Program Termination Analysis Using Atom Sizes
Marco Calautti, Sergio Greco, Cristian Molinaro et al.
Temporal Query Answering in the Description Logic EL
Stefan Borgwardt, Veronika Thost
The Complexity of Subsumption in Fuzzy EL
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
On the Entailment Problem for a Logic of Typicality
Richard Booth, Giovanni Casini, Thomas Andreas Meyer et al.
Policies that Generalize: Solving Many Planning Problems with the Same Policy
Blai Bonet, Hector Geffner
Complexity Results in Epistemic Planning
Thomas Bolander, Martin Holm Jensen, Francois Schwarzentruber
Partial Grounded Fixpoints
Bart Bogaerts, Joost Vennekens, Marc Denecker
Compatible-Based Conditioning in Interval-Based Possibilistic Logic
Salem Benferhat, Amélie Levray, Karim Tabia et al.
Probabilistic Inference in Hybrid Domains by Weighted Model Integration
Vaishak Belle, Andrea Passerini, Guy Van den Broeck
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains
Vaishak Belle, Hector Levesque
Only Knowing Meets Common Knowledge
Vaishak Belle, Gerhard Lakemeyer
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results
Francesco Belardinelli, Wiebe van der Hoek
Answer Update for Rule-Based Stream Reasoning
Harald Beck, Minh Dao-Tran, Thomas Eiter
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks
Ringo Baumann, Gerhard Brewka
Dealing with Generic Contrariness in Structured Argumentation
Pietro Baroni, Massimiliano Giacomin, Beishui Liao
Combining Existential Rules and Transitivity: Next Steps
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier et al.
Multi-Agent Only Knowing on Planet Kripke
Guillaume Aucher, Vaishak Belle
First-Order Rewritability of Temporal Ontology-Mediated Queries
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova et al.
Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries
Marcelo Arenas, Gabriel Diéguez, Jorge Pérez
Combining Existential Rules and Description Logics
Antoine Amarilli, Michael Benedikt
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective
Mario Alviano, Wolfgang Faber
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size
Mario Alviano, Carmine Dodaro, Francesco Ricca
A Crowdfunding Model for Green Energy Investment
Ronghuo Zheng, Ying Xu, Nilanjan Chakraborty et al.