103
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
AI
2004
Springer
15 years 10 days ago
2004
Springer
A version space is a collection of concepts consistent with a given set of positive and negative examples. Mitchell [Mit82] proposed representing a version space by its boundary s...
76
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
Although many formalisms for reasoning about action and change have been proposed in the literature, any concrete examples provided in such articles have primarily consisted of ti...
97
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
sis of strategies, recognizable abstract patterns of planned behavior, highlights the difference between the assumptions that people make about their own planning processes and th...
AI
2004
Springer
15 years 10 days ago
2004
Springer
89
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
AI
2004
Springer
15 years 10 days ago
2004
Springer
99
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
Orderings and inference relations can be successfully used to model the behavior of a rational agent. This behavior is indeed represented either by a set of ordered pairs that ref...
AI
2004
Springer
15 years 10 days ago
2004
Springer
84
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
This paper presents a new model for multi-issue negotiation under time constraints in an incomplete information setting. The issues to be bargained over can be associated with a s...