Partial instantiation theorem proving for distributed resource location.
Keith VanderveenC. V. RamamoorthyPublished in: COMPSAC (1997)
Keyphrases
- theorem proving
- distributed search
- first order logic
- decision procedures
- automated reasoning
- automated deduction
- theorem prover
- parallel search
- automatic programming
- inference rules
- logical inference
- proof planning
- consequence finding
- automated theorem proving
- term rewriting
- distributed systems
- distributed environment
- multi agent
- geometry theorem proving
- proof procedure
- combinatorial search
- proof search
- resource allocation
- peer to peer
- predicate calculus
- search space
- equational theories
- artificial intelligence