A Constructor-Based Reachability Logic for Rewrite Theories.
Stephen SkeirikAndrei StefanescuJosé MeseguerPublished in: LOPSTR (2017)
Keyphrases
- defeasible logic
- causal theories
- logic programming
- causal reasoning
- modal logic
- state space
- transitive closure
- logical framework
- classical first order logic
- propositional theories
- design theory
- databases
- probability theory
- theoretical framework
- logic programs
- multi valued
- cognitive psychology
- computational properties
- expressive power
- set theory
- modal operators
- logical formulas
- formal logic
- artificial intelligence
- learning algorithm