Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6.
Francisco DuránSteven EkerSantiago EscobarJosé MeseguerCarolyn L. TalcottPublished in: RTA (2011)
Keyphrases
- equational theories
- theorem proving
- high level
- transitive closure
- state space
- theorem prover
- symbolic representation
- information retrieval
- feature selection
- connectionist learning
- symbolic reasoning
- formal specification
- neural learning
- data sets
- symbolic description
- automated theorem proving
- intermediate level
- real time
- association rules
- knowledge base
- computer vision