Login / Signup
Formalisms.
J. C. P. Woodcock
Published in:
ACM SIGSOFT Softw. Eng. Notes (1988)
Keyphrases
</>
nonmonotonic reasoning
knowledge representation
logic programming
computational properties
three dimensional
knowledge representation formalisms
information retrieval
genetic algorithm
multiscale
multi agent
artificial neural networks
description logics
logic programs
reasoning tasks