Local Decision Procedures for Avoiding the Tragedy of Commons.

Sabyasachi Saha Sandip Sen

Published in: IWDC (2003)

Keyphrases

decision procedures
theorem proving
modal logic
automated reasoning
conjunctive queries
reasoning problems
satisfiability problem
hidden markov models
np complete
random variables
first order logic