Propositional and predicate logics of incomplete information.
Marco ConsolePaolo GuagliardoLeonid LibkinPublished in: Artif. Intell. (2022)
Keyphrases
- incomplete information
- first order logic
- expressive power
- inference rules
- propositional logic
- horn clauses
- partial information
- knowledge representation
- missing information
- computational properties
- possibility theory
- data complexity
- open world
- answering queries
- classical logic
- default logic
- nonmonotonic logics
- knowledge representation and reasoning
- query answering
- artificial intelligence
- description logics
- dl lite
- repeated games
- autoepistemic logic
- modal logic