Login / Signup
Applying connectionist modal logics to distributed knowledge representation problems.
Artur S. d'Avila Garcez
Luís C. Lamb
Krysia Broda
Dov M. Gabbay
Published in:
Int. J. Artif. Intell. Tools (2004)
Keyphrases
</>
modal logic
knowledge representation
neural network
expert systems
cooperative
machine learning
decision procedures
knowledge acquisition
inference rules
knowledge base
multi agent
search algorithm
natural language
temporal logic
answer set programming
reasoning tasks