105 search results - page 2 / 21 » Reasoning About Actions and Change in Answer Set Programming |
AIR
2004
13 years 4 months ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
CI
2004
13 years 4 months ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
LPNMR
1999
Springer
13 years 9 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
LPNMR
2007
Springer
13 years 11 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
PADL
2004
Springer
13 years 10 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...