Step-Indexed Relational Reasoning for Countable Nondeterminism.

Lars Birkedal Ales Bizjak Jan Schwinghammer

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

htn planning
relational databases
data model
artificial intelligence
analogical reasoning
automated reasoning
multi relational
relational data
knowledge base
probabilistic reasoning
post processing
spatial reasoning
description logics
reasoning tasks
reasoning process
reasoning systems
databases