Weighted Propositional Configuration Logic over De Morgan Algebras.
Leonidas EfstathiadisPublished in: CAI (2022)
Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- distributive lattices
- boolean algebra
- propositional logic
- relation algebra
- autoepistemic logic
- proof procedure
- logic programming
- predicate calculus
- default logic
- first order logic
- nonmonotonic logics
- truth maintenance systems
- deductive reasoning
- propositional variables
- classical logic
- horn clauses
- general logic programs
- classical first order logic
- asynchronous circuits
- computational properties
- automated reasoning
- formal logic
- probability theory