DILOG - Digitaled Intelligence Logic Machine.

H. K. Huang Robert S. Ledley P. Johnson

Published in: Comput. Lang. (1976)

Keyphrases

artificial intelligence
modal logic
intelligent systems
multi valued
classical logic
logic programming
information processing
automated reasoning
predicate logic
flowshop
deontic logic
asynchronous circuits
intelligent machines
machine intelligence
epistemic logic