Distributed Theorem Proving for Distributed Hybrid Systems.

David W. Renshaw Sarah M. Loos André Platzer

Published in: ICFEM (2011)

Keyphrases

theorem proving
hybrid systems
distributed systems
multi agent
first order logic
machine learning
expert systems
temporal logic
inference rules