Sciweavers

1149 search results - page 122 / 230
» What Are Iteration Theories
Sort
View
AIEDAM
2008
92views more  AIEDAM 2008»
13 years 9 months ago
A review of function modeling: Approaches and applications
This work is aimed at establishing a common frame and understanding of function modeling (FM) for our ongoing research activities. A comparative review of the literature is perfor...
M. S. Erden, H. Komoto, T. J. van Beek, V. D'Ameli...
AO
2008
81views more  AO 2008»
13 years 9 months ago
Institutionalising ontology-based semantic integration
Abstract. We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in ...
W. Marco Schorlemmer, Yannis Kalfoglou
AMAI
2006
Springer
13 years 9 months ago
Possibilistic uncertainty handling for answer set programming
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
Pascal Nicolas, Laurent Garcia, Igor Stépha...
CONNECTION
2006
91views more  CONNECTION 2006»
13 years 9 months ago
From unknown sensors and actuators to actions grounded in sensorimotor perceptions
This article describes a developmental system based on information theory implemented on a real robot that learns a model of its own sensory and actuator apparatus. There is no in...
Lars Olsson, Chrystopher L. Nehaniv, Daniel Polani
ENTCS
2006
105views more  ENTCS 2006»
13 years 8 months ago
A Game Semantics for Proof Search: Preliminary Results
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
Dale Miller, Alexis Saurin