Sciweavers

44 search results - page 3 / 9
» Dynamic logics of the region-based theory of discrete spaces
Sort
View
IJCAI
2003
13 years 7 months ago
Spaces of Theories with Ideal Refinement Operators
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...
Nicola Fanizzi, Stefano Ferilli, Nicola Di Mauro, ...
FSKD
2008
Springer
113views Fuzzy Logic» more  FSKD 2008»
13 years 7 months ago
Incremental Knowledge Base for Uncertain Reasoning
Evidence theory has been widely applied to uncertain reasoning. However, the evidence space and hypothesis space are each defined as a fixed set. If the theory is applied to solve...
Qingxiang Wu, Xi Huang, David A. Bell, Guilin Qi, ...
TARK
2007
Springer
14 years 10 days ago
From conditional probability to the logic of doxastic actions
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
Alexandru Baltag, Sonja Smets
KES
1998
Springer
13 years 10 months ago
Attractor systems and analog computation
Attractor systems are useful in neurodynamics,mainly in the modelingof associative memory. Thispaper presentsa complexity theory for continuous phase space dynamical systems with ...
Hava T. Siegelmann, Shmuel Fishman
CDC
2008
IEEE
120views Control Systems» more  CDC 2008»
13 years 8 months ago
Left invertibility of discrete systems with finite inputs and quantized output
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
Nevio Dubbini, Benedetto Piccoli, Antonio Bicchi