Logic

Structure based SAT dataset for analysing GNN generalisation AISTATS 2025 The Egocentric Logic of Preferences IJCAI 2022 How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements IJCAI 2021 Mining EL Bases with Adaptable Role Depth AAAI 2021 A Framework for Measuring Information Asymmetry AAAI 2020 A Framework for Reasoning about Dynamic Axioms in Description Logics IJCAI 2020 A Journey into Ontology Approximation: From Non-Horn to Horn IJCAI 2020 Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020 Logics for Sizes with Union or Intersection AAAI 2020 Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory AAAI 2019 Belief Update in the Horn Fragment IJCAI 2018 Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying IJCAI 2018 Query Answering in Propositional Circumscription IJCAI 2018 Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage IJCAI 2017 Spiking and saturating dendrites differentially expand single neuron computation capacity NeurIPS 2012 Learning Horn Expressions with LOGAN-H JMLR 2007