Proof Systems and Transformation Games.

Yoram Bachrach Michael Zuckerman Michael J. Wooldridge Jeffrey S. Rosenschein

Published in: MFCS (2010)

Keyphrases

management system
complex systems
expert systems
intelligent systems
theorem proving
real time
databases
artificial intelligence
search engine
computer vision
website
learning systems