Towards a unified proof framework for automated fixpoint reasoning using matching logic.
Xiaohong ChenMinh-Thai TrinhNishant RodriguesLucas PeñaGrigore RosuPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- proof theoretic
- fixpoint
- proof theory
- linear logic
- logical framework
- deductive databases
- logic programs
- model theoretic
- nonmonotonic reasoning
- automated reasoning
- theorem proving
- horn clauses
- finite state machines
- truth values
- database
- inference rules
- query evaluation
- logic programming
- probabilistic model
- data model
- expert systems