The Logic of Architecture: Programming the Invention of Physical Artifacts.
William J. MitchellPublished in: JICSLP (1992)
Keyphrases
- high quality
- reasoning engine
- programming language
- software architecture
- neural network
- real time
- associative memory
- high level language
- automated reasoning
- hardware implementation
- modal logic
- management system
- databases
- general purpose
- data flow
- development environment
- knowledge representation
- programming environment
- classical logic
- predicate logic
- multi agent systems
- concurrent programming