622 search results - page 68 / 125 » The Agent Modeling Language (AMOLA) |
AAAI
2000
13 years 10 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
IAT
2008
IEEE
14 years 3 months ago
2008
IEEE
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...
SAC
1998
ACM
14 years 1 months ago
1998
ACM
This paper describes STL, a new coordination model and corresponding language. STL's power and expressiveness are shown through a preliminary distributed implementation of a ...
JCS
2008
13 years 9 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
EACL
2006
ACL Anthology
13 years 10 months ago
2006
ACL Anthology
This paper proposes a method for dealing with repairs in action control dialogue to resolve participants' misunderstanding. The proposed method identifies the repair target b...