Backward Trace Slicing for Rewriting Logic Theories.
María AlpuenteDemis BallisJavier EspertDaniel RomeroPublished in: CADE (2011)
Keyphrases
- defeasible logic
- probability theory
- multi valued
- modal operators
- logic programming
- modal logic
- logical theories
- classical logic
- logical formulas
- predicate logic
- forward and backward
- theoretical framework
- formal logic
- cognitive psychology
- query rewriting
- bi directional
- automated reasoning
- causal reasoning
- logical framework
- deontic logic
- rewriting systems
- queries using views
- closed world assumptions