Incremental Tabling in Support of Knowledge Representation and Reasoning.

Published in: CoRR (2014)

Keyphrases

knowledge representation and reasoning
logic programming
knowledge representation
artificial intelligence
database
reasoning systems
machine learning
programming language
description logics
optimal solution
natural language
mobile robot
orders of magnitude