HOL-Z 2.0: A Proof Environment for Z-Specifications.
Achim D. BruckerFrank RittingerBurkhart WolffPublished in: J. Univers. Comput. Sci. (2003)
Keyphrases
- theorem prover
- theorem proving
- natural deduction
- real time
- dynamic environments
- environmental conditions
- complex environments
- mobile robot
- autonomous agents
- higher order logic
- reactive systems
- databases
- neural network
- information retrieval
- virtual world
- first order logic
- database
- robotic systems
- inference rules
- higher order
- learning environment
- multi agent
- bayesian networks
- operational semantics
- social networks
- data sets
- artificial intelligence