5378 search results - page 734 / 1076 » Base Logics in Argumentation |
184
click to vote
APLAS
2004
ACM
16 years 8 days ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
181
Voted
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...
171
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
185
click to vote
RISE
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
171
click to vote
SEMWEB
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...