Sciweavers

2704 search results - page 311 / 541
» Agent Development with Jackal
Sort
View
AAAI
1994
15 years 8 months ago
Acting Optimally in Partially Observable Stochastic Domains
In this paper, we describe the partially observable Markov decision process pomdp approach to nding optimal or near-optimal control strategies for partially observable stochastic ...
Anthony R. Cassandra, Leslie Pack Kaelbling, Micha...
CORR
2010
Springer
75views Education» more  CORR 2010»
15 years 6 months ago
Explicit Evidence Systems with Common Knowledge
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
Samuel Bucheli, Roman Kuznets, Thomas Studer
CORR
2008
Springer
102views Education» more  CORR 2008»
15 years 6 months ago
An MAS-Based ETL Approach for Complex Data
: In a data warehousing process, the phase of data integration is crucial. Many methods for data integration have been published in the literature. However, with the development of...
Omar Boussaid, Fadila Bentayeb, Jérôm...
JLP
2006
126views more  JLP 2006»
15 years 6 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
IGPL
2010
161views more  IGPL 2010»
15 years 5 months ago
Extending the Hegselmann-Krause Model I
Hegselmann and Krause have developed a simple yet powerful computational model for studying the opinion dynamics in societies of epistemically interacting truth-seeking agents. We...
Igor Douven, Alexander Riegler