Papers
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory
Bart Bogaerts, Luís Cruz-Filipe
Safe Inductions: An Algebraic Study
Bart Bogaerts, Joost Vennekens, Marc Denecker
The Impact of Treewidth on ASP Grounding and Solving
Bernhard Bliem, Marius Moldovan, Michael Morak et al.
Ontology-Mediated Query Answering for Key-Value Stores
Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier et al.
Reformulating Queries: Theory and Practice
Michael Benedikt, Egor V. Kostylev, Fabio Mogavero et al.
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains
Vaishak Belle, Gerhard Lakemeyer
Dynamic Logic for Data-aware Systems: Decidability Results
Francesco Belardinelli, Andreas Herzig
A Model for Accountable Ordinal Sorting
Khaled Belahcene, Christophe Labreuche, Nicolas Maudet et al.
A Study of Unrestricted Abstract Argumentation Frameworks
Ringo Baumann, Christof Spanring
A General Notion of Equivalence for Abstract Argumentation
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler et al.
Answering Conjunctive Regular Path Queries over Guarded Existential Rules
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier et al.
Query Rewriting for DL-Lite with n-ary Concrete Domains
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Weakening Covert Networks by Minimizing Inverse Geodesic Length
Haris Aziz, Serge Gaspers, Kamran Najeebullah
Epistemic-entrenchment Characterization of Parikh’s Axiom
Theofanis Aravanis, Pavlos Peppas, Mary-Anne Williams
On the Computational Complexity of Gossip Protocols
Krzysztof R. Apt, Eryk Kopczyński, Dominik Wojtczak
Player Movement Models for Video Game Level Generation
Sam Snodgrass, Santiago Ontañón
Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming
Buser Say, Ga Wu, Yu Qing Zhou et al.
Temporal Planning with Clock-Based SMT Encodings
Jussi Rintanen
On Neighborhood Singleton Consistencies
Anastasia Paparrizou, Kostas Stergiou
Constraint Games revisited
Anthony Palmieri, Arnaud Lallouet
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction
Paolo Morettin, Andrea Passerini, Roberto Sebastiani
A Partitioning Algorithm for Maximum Common Subgraph Problems
Ciaran McCreesh, Patrick Prosser, James Trimble
An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers
Mao Luo, Chu-Min Li, Fan Xiao et al.
Enhancing Campaign Design in Crowdfunding: A Product Supply Optimization Perspective
Qi Liu, Guifeng Wang, Hongke Zhao et al.
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification
Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang