Sciweavers

120 search results - page 4 / 24
» Merging partial behavioural models
Sort
View
ECSQARU
2009
Springer
14 years 5 months ago
Merging Belief Bases Represented by Logic Programs
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
Julien Hué, Odile Papini, Eric Würbel
AICOM
2005
97views more  AICOM 2005»
13 years 10 months ago
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
Ecological theories often explain the behaviour of communities in terms of the underlying interactions that take place between the species that are part of the community. This clos...
Bert Bredeweg, Paulo Salles
ICARCV
2008
IEEE
162views Robotics» more  ICARCV 2008»
14 years 5 months ago
Comparison of recent architectures of emotions
– In this paper we present a generic computational model to include emotion and personality in the behaviour of a robot. This model is based on a comparison of recent computation...
Thi-Hai-Ha Dang, Sabine Letellier-Zarshenas, Domin...
FSTTCS
2006
Springer
14 years 2 months ago
On Reduction Criteria for Probabilistic Reward Models
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
Marcus Größer, Gethin Norman, Christel ...
ATAL
2009
Springer
14 years 5 months ago
False name manipulations in weighted voting games: splitting, merging and annexation
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
Haris Aziz, Mike Paterson