Sciweavers

2092 search results - page 293 / 419
» A domain specific modeling language for multiagent systems
Sort
View
181
Voted
ALIFE
2004
15 years 6 months ago
Autopoiesis and Cognition
This article revisits the concept of autopoiesis and examines its relation to cognition and life. We present a mathematical model of a 3D tesselation automaton, considered as a min...
Paul Bourgine, John Stewart
EON
2003
15 years 8 months ago
Racer: A Core Inference Engine for the Semantic Web
In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at le...
Volker Haarslev, Ralf Möller
ECOOP
2006
Springer
15 years 9 months ago
Scoped Types and Aspects for Real-Time Java
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
Chris Andreae, Yvonne Coady, Celina Gibbs, James N...
LREC
2010
177views Education» more  LREC 2010»
15 years 8 months ago
LT World: Ontology and Reference Information Portal
LT World (www.lt-world.org) is an ontology-driven web portal aimed at serving the global language technology community. Ontology-driven means, that the system is driven by an onto...
Brigitte Jörg, Hans Uszkoreit, Alastair Burt
ATAL
2010
Springer
15 years 7 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga