Sciweavers

1634 search results - page 128 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
ICIP
1995
IEEE
14 years 2 months ago
Multi-channel restoration of electron micrographs
We introduce a projection based multi-channel restoration method which is useful in cases for which there is no a priori information about the input signal. The method is especial...
M. Vrhel, B. L. Trus
CLIMA
2006
14 years 1 days ago
Multi-Agent FLUX for the Gold Mining Domain (System Description)
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
Stephan Schiffel, Michael Thielscher
CORR
2004
Springer
88views Education» more  CORR 2004»
13 years 10 months ago
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Wh...
Joseph Y. Halpern
IEAAIE
2000
Springer
14 years 2 months ago
Maintenance of KBS's by Domain Experts: The Holy Grail in Practice
Enabling a domain expert to maintain his own knowledge in a Knowledge Based System has long been an ideal for the Knowledge Engineering community. In this paper we report on our ex...
Arne Bultmann, Joris Kuipers, Frank van Harmelen
IJCAI
2007
14 years 2 days ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...