Meeting of the Association for Symbolic Logic: Wellington, New Zealand, 1981.
Wilfred G. MalcolmM. J. CresswellPublished in: J. Symb. Log. (1983)
Keyphrases
- logic programming
- classical logic
- modal logic
- asynchronous circuits
- united states
- binary decision diagrams
- real time
- automated reasoning
- symbolic representation
- probabilistic logic
- linear logic
- connectionist models
- neural learning
- proof theory
- meeting room
- connectionist systems
- united kingdom
- sound and complete axiomatization
- predicate logic
- digital circuits
- multi valued
- logic programs
- computational intelligence
- high level
- information systems
- artificial intelligence
- learning algorithm
- data sets