A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expre

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expre

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expre

In decision theory there are basically two appr~hes to the modeling of individual choice: one is based on an absolute representation of preferences leading to a

Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to sta