Conformity Clause for VDM-SL.

Graeme I. P. Parkin Brian A. Wichmann

Published in: FME (1993)

Keyphrases

theorem prover
satisfiability testing
search engine
e learning
multi agent
multi agent systems
refinement operators
cnf formula
horn clauses
social influence
mobile robot
search space
databases
natural language
reinforcement learning
case study
artificial intelligence