Sciweavers

2704 search results - page 403 / 541
» Agent Development with Jackal
Sort
View
AIM
2006
15 years 6 months ago
Companion Cognitive Systems: A Step towards Human-Level AI
We are developing Companion Cognitive Systems, a new kind of software that can be effectively treated as a collaborator. Aside from their potential utility, we believe this effort...
Kenneth D. Forbus, Thomas R. Hinrichs
ENTCS
2006
136views more  ENTCS 2006»
15 years 6 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
JNW
2008
149views more  JNW 2008»
15 years 6 months ago
Improving Semantic Web Service Discovery
Semantic Web Services (SWS) propose to extend the traditional Web Services technologies on the way to consolidate ontologies and semantics. This makes it possible to select, integr...
J. Javier Samper, F. Javier Adell, Leo van den Ber...
FAC
2010
107views more  FAC 2010»
15 years 3 months ago
Atomic actions, and their refinements to isolated protocols
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
Richard Banach, Gerhard Schellhorn
JBI
2011
233views Bioinformatics» more  JBI 2011»
15 years 1 months ago
A set of ontologies to drive tools for the control of vector-borne diseases
We are developing a set of ontologies that deal with vector-borne diseases and the arthropod vectors that transmit them. For practical reasons (application priorities), we initiat...
Pantelis Topalis, Emmanuel Dialynas, Elvira Mitrak...