Keyphrases
- fault tolerant
- theorem proving
- distributed systems
- fault tolerance
- first order logic
- decision procedures
- automated reasoning
- term rewriting
- automated deduction
- theorem prover
- automatic programming
- inference rules
- consequence finding
- automated theorem proving
- proof planning
- parallel search
- distributed search
- load balancing
- proof procedure
- high availability
- combinatorial search
- logical inference
- distributed environment
- predicate calculus
- proof search
- geometry theorem proving
- state machine
- safety critical
- mobile agent system
- interconnection networks
- timed automata
- expert systems
- artificial intelligence