Sciweavers

162 search results - page 15 / 33
» Preferential theory revision
Sort
View
AAMAS
2008
Springer
13 years 10 months ago
Dynamic intention structures I: a theory of intention representation
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...
Luke Hunsberger, Charles L. Ortiz Jr.
IJCAI
2003
13 years 11 months ago
Recognizing Plan/Goal Abandonment
The ability to recognize when an agent abandons a plan is an open problem in the plan recognition literature and is a significant problem if these methods are to be applied in rea...
Christopher W. Geib, Robert P. Goldman
KBSE
1998
IEEE
14 years 2 months ago
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
T. L. McCluskey, Margaret Mary West
KR
2000
Springer
14 years 1 months ago
Iterated Belief Change in the Situation Calculus
The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with ...
Steven Shapiro, Maurice Pagnucco, Yves Lespé...
COMMA
2010
13 years 4 months ago
Expanding Argumentation Frameworks: Enforcing and Monotonicity Results
This paper addresses the problem of revising a Dung-style argumentation framework by adding finitely many new arguments which may interact with old ones. We study the behavior of t...
Ringo Baumann, Gerhard Brewka