A Multi-Layered Architecture for Collaborative and Decentralized Consequence Finding.

Philippe Chatalic André de Amorim Fonseca

Published in: Comput. Informatics (2015)

Keyphrases

layered architecture
consequence finding
cooperative
theorem proving
multi agent
agent architecture
web services
prime implicants