Nondeterminism and Guarded Commands.

Krzysztof R. Apt Ernst-Rüdiger Olderog

Published in: CoRR (2023)

Keyphrases

situation calculus
fixed point
query answering
decision procedures
genetic algorithm
probabilistic databases
htn planning
data sets
command line
horn clauses
planning domains
data integration
sufficient conditions
relational databases
expert systems
multi agent
website
real world