1536 search results - page 238 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
JANCL
2007
13 years 7 months ago
2007
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...
AAMAS
2004
Springer
13 years 7 months ago
2004
Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
COMBINATORICS
2004
13 years 7 months ago
2004
We extend Schaeffer's bijection between rooted quadrangulations and welllabeled trees to the general case of Eulerian planar maps with prescribed face valences to obtain a bi...
COMMA
2010
13 years 2 months ago
2010
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
ECOOP
2010
Springer
14 years 15 days ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...