On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories.
Christoph HaaseAlessio MansuttiAmaury PoulyPublished in: CoRR (2024)
Keyphrases
- theory revision
- polynomial size
- mazurkiewicz traces
- special case
- description logics
- first order logic
- fuzzy sets
- query answering
- knowledge base
- logical theories
- worst case
- approximation algorithms
- concept learning
- computational complexity
- model theoretic
- theoretical framework
- higher order
- classical first order logic
- propositional theories
- decision procedures
- action theories
- background knowledge
- unions of conjunctive queries
- computational properties
- dl lite
- fuzzy logic
- cognitive psychology
- probability theory
- temporal logic
- artificial intelligence