1993 search results - page 20 / 399 » On Action Theory Change |
115
click to vote
JELIA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
118
click to vote
JAIR
2012
13 years 2 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
ATAL
2006
Springer
15 years 3 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...
114
click to vote
CSL
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
JOCN
2010
14 years 10 months ago
2010
■ Several theories of the mechanisms linking perception and action require that the links are bidirectional, but there is a lack of consensus on the effects that action has on p...