Incremental execution of guarded theories.

Giuseppe De Giacomo Hector J. Levesque Sebastian Sardiña

Published in: ACM Trans. Comput. Log. (2001)

Keyphrases

theoretical framework
case study
query answering
incremental learning
execution model
execution environment
data sets
neural network
cognitive psychology
real time
multi agent systems
expert systems
plan execution
plan generation
legal knowledge
concurrent execution