Sciweavers

3717 search results - page 289 / 744
» Representing Multiple Theories
Sort
View
CORR
2008
Springer
151views Education» more  CORR 2008»
15 years 6 months ago
Checking the Quality of Clinical Guidelines using Automated Reasoning Tools
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
Arjen Hommersom, Peter J. F. Lucas, Patrick van Bo...
AMAI
2006
Springer
15 years 6 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...
BC
2006
63views more  BC 2006»
15 years 6 months ago
Dynamic neural field with local inhibition
Abstract A lateral-inhibition type neural field model with restricted connections is presented here and represents an experimental extension of the Continuum Neural Field Theory (C...
Nicolas P. Rougier
FSS
2008
108views more  FSS 2008»
15 years 6 months ago
A collaborative recommender system based on probabilistic inference from fuzzy observations
The problem of building recommender systems has attracted considerable attention in recent years. The objective of this paper is to automatically suggest and rank a list of new it...
Luis M. de Campos, Juan M. Fernández-Luna, ...
CORR
2006
Springer
98views Education» more  CORR 2006»
15 years 6 months ago
A field-theory motivated approach to symbolic computer algebra
Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be ...
Kasper Peeters