On the Decision Problem for the Guarded Fragment with Transitivity.

Wieslaw Szwast Lidia Tendera

Published in: LICS (2001)

Keyphrases

decision problems
preference relations
influence diagrams
utility function
optimal policy
decision model
first order logic
decision processes
computational complexity
expressive power
conjunctive queries
np hard
bayesian decision problems