HLSIM-a new hierarchical logic simulator in APL.
David A. ZeinOliver P. EngelGary S. DitlowPublished in: VTS (1992)
Keyphrases
- set theory
- modal logic
- logic programming
- classical logic
- sound and complete axiomatization
- hierarchical representation
- hierarchical model
- unsupervised learning
- expert systems
- multiscale
- hierarchical structure
- partial order
- simulation environment
- multi agent
- social networks
- hierarchical structures
- truth values
- evolutionary robotics
- real time