Sciweavers

79 search results - page 13 / 16
» A multi-agent system of evidential reasoning for intelligenc...
Sort
View
IAT
2009
IEEE
15 years 6 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 6 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 5 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
15 years 1 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 5 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...