718 search results - page 81 / 144 » On Defaults in Action Theories |
163
Voted
ABIALS
2008
Springer
15 years 7 months ago
2008
Springer
Simulation theories have in recent years proposed that a cognitive agent's "inner world" can at least partly be constituted by internal emulations or simulations of ...
83
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
An argumentation based negotiation model is supported by information theory. Argumentative dialogues change the models of agents with respect to ongoing relationships between them...
78
Voted
ECIS
2004
15 years 2 months ago
2004
This research throws light on to the role of social issues in developing a successful information system. In a case study of a community health organization, we describe how IT ma...
90
Voted
CL
2000
Springer
15 years 19 days ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
95
Voted
FAC
1998
15 years 15 days ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...