Sciweavers

324 search results - page 40 / 65
» Repairing Incomplete Reasoners
Sort
View
FLAIRS
2003
15 years 1 months ago
Low Level Fusion of Imagery Based on Dempster-Shafer Theory
An approach to fuse multiple images based on Dempster-Shafer evidential reasoning is proposed in this article. Dempster-Shafer theory provides a complete framework for combining w...
Xiaohui Yuan, Jian Zhang 0007, Xiaojing Yuan, Bill...
LICS
2006
IEEE
15 years 5 months ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra
ASP
2003
Springer
15 years 5 months ago
Mappings Between Domain Models in Answer Set Programming
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
Stefania Costantini, Andrea Formisano, Eugenio G. ...
ILP
2003
Springer
15 years 5 months ago
Hybrid Abductive Inductive Learning: A Generalisation of Progol
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...
Oliver Ray, Krysia Broda, Alessandra Russo
FOIS
2008
15 years 1 months ago
Cognitive Context and Arguments from Ontologies for Learning
The deployment of learning resources on the web by different experts has resulted in the accessibility of multiple viewpoints about the same topics. In this work we assume that lea...
Christiana Panayiotou, Brandon Bennett