Termination of Rule-Based Calculi for Uniform Semi-Unification.
Takahito AotoMunehiro IwamiPublished in: LATA (2013)
Keyphrases
- higher order
- data driven
- expert systems
- term rewriting
- rule based systems
- information retrieval
- artificial intelligence
- theorem prover
- theorem proving
- active rules
- linear array
- equational theories
- real time
- knuth bendix
- termination analysis
- rewrite systems
- automated theorem proving
- rule base
- integrity constraints
- genetic algorithm
- databases