Unified Classical Logic Completeness - A Coinductive Pearl.
Jasmin Christian BlanchetteAndrei PopescuDmitriy TraytelPublished in: IJCAR (2014)
Keyphrases
- classical logic
- logic programming
- modal logic
- intuitionistic logic
- commonsense reasoning
- possibilistic logic
- autoepistemic logic
- possibility theory
- revision operators
- conditional independence
- valued logic
- artificial intelligence
- causal models
- belief revision
- belief change
- automated theorem proving
- computational intelligence