543 search results - page 26 / 109 » A Theory of Plan Modification |
AI
2003
Springer
15 years 3 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
FLAIRS
2007
15 years 4 days ago
2007
This paper explores an inferential system for recognizing visual patterns. The system is inspired by a recent memoryprediction theory and models the high-level architecture of the...
AML
2002
14 years 9 months ago
2002
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
SAC
2002
ACM
14 years 9 months ago
2002
ACM
In this paper the issue of system evolution is addressed. Activity Theory and the concept of exapansive cycles are reviewed as theories to explain systemic evolution. Contradictio...
AAAI
2000
14 years 11 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...