Sciweavers

2638 search results - page 165 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
DSRT
2003
IEEE
15 years 11 months ago
Interest Management in Agent-Based Distributed Simulations
Distributed simulation enables participants situated in different geographical locations to share a common virtual world, which is called a Distributed Virtual Environment (DVE). ...
Lihua Wang, Stephen John Turner, Fang Wang
MATES
2009
Springer
16 years 1 months ago
Agent-Based Semantic Search at motoso.de
Abstract. Searching for information in large rather unstructured realworld data sets is a dicult task, because the user expects immediate responses as well as high-quality search ...
Nils Weber, Lars Braubach, Alexander Pokahr, Winfr...
IPPS
2003
IEEE
15 years 11 months ago
Performance Analysis of Distributed Search in Open Agent Systems
In open multi-agent systems agents need resources provided by other agents but they are not aware of which agents provide the particular resources. Most solutions to this problem ...
Vassilios V. Dimakopoulos, Evaggelia Pitoura
AAAI
2006
15 years 8 months ago
Towards an Axiom System for Default Logic
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore's Autoepistemic Logic, Konolige's ...
Gerhard Lakemeyer, Hector J. Levesque
CLIMA
2011
14 years 6 months ago
A Dynamic Logic of Institutional Actions
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
Andreas Herzig, Emiliano Lorini, Nicolas Troquard