Propositional and Predicate Logics of Incomplete Information.
Marco ConsolePaolo GuagliardoLeonid LibkinPublished in: KR (2018)
Keyphrases
- incomplete information
- first order logic
- expressive power
- inference rules
- propositional logic
- horn clauses
- partial information
- knowledge representation
- data complexity
- modal logic
- missing information
- query answering
- computational properties
- default logic
- nonmonotonic logics
- cooperative
- possibility theory
- answering queries
- repeated games
- coalition logic