1996 search results - page 31 / 400 » A decision procedure for linear |
LICS
1995
IEEE
15 years 1 months ago
1995
IEEE
The decision problem is studied for fragments of second-order linear logic without modalities. It is shown that the structural rules of contraction and weakening may be simulated ...
ALDT
2009
Springer
15 years 4 months ago
2009
Springer
Judgment aggregation is a formal theory reasoning about how a group of agents can aggregate individual judgments on connected propositions into a collective judgment on the same pr...
93
Voted
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
AAAI
1996
14 years 11 months ago
1996
This paper investigates the foundation of rnaxipnin, one of the central qualitative decision criteria, using the approach taken by Savage (Savage 1972) to investigate the foundati...
MDAI
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper we introduce a multi-stage decision making procedure where decision makers sort the alternatives by means of a fixed set of linguistic categories, each one...