Sciweavers

552 search results - page 85 / 111
» A Reasoning Framework for Ambient Intelligence
Sort
View
ECAL
2005
Springer
15 years 11 months ago
Simulating Artificial Organisms with Qualitative Physiology
In this paper, we describe an approach to artificial life, which uses Qualitative Reasoning for the simulation of life within a 3D virtual environment. This system uses qualitative...
Simon Hartley, Marc Cavazza, Louis Bec, Jean-Luc L...
ISMIS
2005
Springer
15 years 11 months ago
The Chisholm Paradox and the Situation Calculus
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
Robert Demolombe, Maria del Pilar Pozos Parra
CP
2004
Springer
15 years 11 months ago
Preprocessing Techniques for Distributed Constraint Optimization
Abstract. Although algorithms for Distributed Constraint Optimization Problems (DCOPs) have emerged as a key technique for distributed reasoning, their application faces significa...
Syed Muhammad Ali, Sven Koenig, Milind Tambe
DEON
2004
Springer
15 years 11 months ago
Collective Obligations and Agents: Who Gets the Blame?
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
Davide Grossi, Frank Dignum, Lambèr M. M. R...
EWCBR
2004
Springer
15 years 11 months ago
Explanation Oriented Retrieval
This paper is based on the observation that the nearest neighbour in a case-based prediction system may not be the best case to explain a prediction. This observation is based on t...
Dónal Doyle, Padraig Cunningham, Derek G. B...