Sciweavers

79 search results - page 13 / 16
» A multi-agent system of evidential reasoning for intelligenc...
Sort
View
IAT
2009
IEEE
15 years 4 months ago
An Agent Model for Personal Development Support
This paper introduces an agent-based support model for leadership, which can be used by an ambient system to support a leader in the development of his team member(s). Using model...
Tibor Bosse, Rob Duell, Zulfiqar A. Memon, Jan Tre...
LFCS
2007
Springer
15 years 3 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer
PPSWR
2005
Springer
15 years 3 months ago
A Geospatial World Model for the Semantic Web
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
François Bry, Bernhard Lorenz, Hans Jü...
DAGSTUHL
2008
14 years 11 months ago
The Grand Challenges and Myths of Neural-Symbolic Computation
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
Luís C. Lamb
AGENTCL
2003
Springer
15 years 3 months ago
An Empirical Model of Communication in Multiagent Systems
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
Michael Rovatsos, Matthias Nickles, Gerhard Wei&sz...