AI
2004
Springer
13 years 4 months ago
2004
Springer
AI
2004
Springer
13 years 4 months ago
2004
Springer
AI
2004
Springer
13 years 4 months ago
2004
Springer
AI
2004
Springer
13 years 4 months 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
13 years 4 months 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...
AI
2004
Springer
13 years 4 months 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...
AI
2004
Springer
13 years 4 months 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
13 years 4 months ago
2004
Springer
AI
2004
Springer
13 years 4 months 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
13 years 4 months ago
2004
Springer