Completeness of Unfolding for Rewriting Logic Theories.
María AlpuenteMichele BaggiMoreno FalaschiDemis BallisPublished in: SYNASC (2010)
Keyphrases
- defeasible logic
- probability theory
- modal logic
- causal theories
- modal operators
- formal logic
- rewrite rules
- logic programs
- equational theories
- automated reasoning
- logic programming
- multi valued
- logical framework
- classical logic
- causal reasoning
- asynchronous circuits
- propositional theories
- query rewriting
- predicate logic
- theorem proving
- conjunctive queries
- theoretical framework
- logical theories
- relational databases