FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine.

Guizhen Yang Michael Kifer

Published in: Computational Logic (2000)

Keyphrases

logic programming
logic programs
automated reasoning
classical logic
predicate logic
multi agent
nonmonotonic reasoning
data mining
computer vision
knowledge base
expert systems
multi valued
logical framework
computational properties
digital circuits