A Case for Embedded Natural Logic for Ontological Knowledge Bases.

Troels Andreasen Jørgen Fischer Nilsson

Published in: KEOD (2014)

Keyphrases

knowledge base
knowledge representation
logic programming
defeasible logic
description logics
knowledge based systems
real world
automated reasoning
embedded systems
domain specific
rule base
case based reasoning
artificial intelligence
possibilistic logic
data sets
asynchronous circuits
reasoning engine