Nonmonotonic propositional logic.
Wei LiYuefei SuiYuhui WangPublished in: Frontiers Comput. Sci. (2021)
Keyphrases
- propositional logic
- nonmonotonic logics
- minimal models
- multi context systems
- belief revision
- nonmonotonic reasoning
- truth maintenance systems
- first order logic
- probabilistic knowledge
- answer set semantics
- possibilistic logic
- lattice theory
- quantified boolean formulae
- propositional satisfiability
- belief change
- satisfiability testing
- proof procedure
- logic programming
- davis putnam
- strong equivalence
- autoepistemic logic
- valued logic
- relational databases
- inference rules
- modal logic
- domain knowledge