Determinism, Nondeterminism, Alternation, and Counting.

Published in: J. Univers. Comput. Sci. (2001)

Keyphrases

situation calculus
databases
co occurrence
htn planning
database
real time
prior knowledge
special case
knowledge representation
programming language
logic programs