A Constructor-Based Reachability Logic for Rewrite Theories.
Stephen SkeirikAndrei StefanescuJosé MeseguerPublished in: CoRR (2017)
Keyphrases
- defeasible logic
- state space
- causal reasoning
- modal logic
- probability theory
- predicate logic
- modal operators
- logic programming
- propositional theories
- classical logic
- database systems
- automated reasoning
- formal logic
- logical formulas
- proof theory
- logical theories
- rewrite rules
- computational properties
- domain theory
- dynamic programming