Is There a Procedural Logic to Architecture?

Julien Weissenberg Hayko Riemenschneider Mukta Prasad Luc Van Gool

Published in: CVPR (2013)

Keyphrases

software architecture
management system
reasoning engine
logic programming
classical logic
database
databases
expert systems
design considerations
multi agent
formal model
asynchronous circuits
layered architecture
proof theory