81 search results - page 7 / 17 » Reasoning About Persistence: A Theory of Actions |
DESRIST
2010
Springer
13 years 11 months ago
2010
Springer
This paper explores an ongoing conflict concerning the nature of software design. This conflict manifests itself as antagonism between managers and developers, debates about agile ...
MATES
2005
Springer
14 years 1 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
CLIMA
2011
12 years 7 months ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
SETN
2010
Springer
13 years 6 months ago
2010
Springer
Ambient Intelligence is an emerging discipline that requires the integration of expertise from a multitude of scientific fields. The role of Artificial Intelligence is crucial n...
ICLP
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...