← Mathematics
Mathematics & Optimization › Mathematics ›

Logic

13 directly classified papers

Papers per year

Papers

The Egocentric Logic of Preferences IJCAI 2022
Mining EL Bases with Adaptable Role Depth AAAI 2021
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements IJCAI 2021
Logics for Sizes with Union or Intersection AAAI 2020
Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020
A Journey into Ontology Approximation: From Non-Horn to Horn IJCAI 2020
A Framework for Measuring Information Asymmetry AAAI 2020
Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory AAAI 2019
Query Answering in Propositional Circumscription IJCAI 2018
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying IJCAI 2018
Belief Update in the Horn Fragment IJCAI 2018
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage IJCAI 2017
Learning Horn Expressions with LOGAN-H JMLR 2007