A Decision Procedure for Term Algebras with Queues.

Tatiana Rybina Andrei Voronkov

Published in: LICS (2000)

Keyphrases

decision making
waiting times
decision makers
decision rules
database
decision problems
spatial reasoning
neural network
artificial intelligence
influence diagrams