754 search results - page 128 / 151 » An Ordered Logic Program Solver |
88
Voted
ENC
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
118
Voted
DALT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
120
Voted
CLIMA
2004
15 years 2 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
109
Voted
SERP
2003
15 years 1 months ago
2003
Design patterns provide a medium-grained ion and can be used as an effective tool for understanding object-oriented systems. This paper presents a simple tool for the extraction o...
106
Voted
WSC
1997
15 years 1 months ago
1997
This paper investigates an attempt to combine different simulation tools in order to build a simulation environment that can be used to model complex system behaviour. The compone...