Reasoning for Moving Blocks Problem: Formal Representation and Implementation.

Przemyslaw Andrzej Walega

Published in: CoRR (2013)

Keyphrases

formal representation
knowledge base
knowledge representation
temporal knowledge
real time
conceptual graphs
clinical guidelines
search engine
expert systems
low level
multi dimensional