5198 search results - page 361 / 1040 » A Logic of Agent Programs |
153
click to vote
ENTCS
2006
15 years 6 months ago
2006
Communication in multi-agent systems is an important subject of the current research. In this paper, the syntax and semantics of a multi-agent programming language, called ECCS, a...
186
click to vote
WLP
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
180
click to vote
KSEM
2010
Springer
15 years 4 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
271
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
202
click to vote
MIS
2008
Springer
15 years 6 months ago
2008
Springer
Mobile agent technology has emerged as a promising programming paradigm for developing highly dynamic and large-scale service-oriented computing middlewares due to its desirable fe...