An Experimental Logic Based on the Fundamental Deduction Principle.

Published in: Artif. Intell. (1986)

Keyphrases

knowledge representation
neural network
inference rules
database
information systems
image processing
three dimensional
user interface
theorem proving
automated deduction
computer algebra