Sciweavers

618 search results - page 9 / 124
» Meaning and Partiality Revised
Sort
View
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
13 years 11 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
ECAI
2008
Springer
13 years 9 months ago
From Belief Change to Preference Change
Various tasks need to consider preferences in a dynamic way. We start by discussing several possible meanings of preference change, and then focus on the one we think is the most n...
Jérôme Lang, Leendert van der Torre
ATAL
2005
Springer
14 years 1 months ago
Progressive ontology alignment for meaning coordination: an information-theoretic foundation
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...
W. Marco Schorlemmer, Yannis Kalfoglou
CEC
2005
IEEE
14 years 1 months ago
Distributed brain modelling by means of hierarchical collaborative coevolution
The current work addresses the development of cognitive abilities in artificial organisms. In the proposed approach, neural network-based agent structures are employed to represen...
Michail Maniadakis, Panos E. Trahanias
ECAI
2006
Springer
13 years 9 months ago
On the Logic of Theory Change: Relations Between Incision and Selection Functions
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...
Marcelo A. Falappa, Eduardo L. Fermé, Gabri...