Sciweavers

746 search results - page 6 / 150
» Connectionist Propositional Logic
Sort
View
ICDT
2009
ACM
127views Database» more  ICDT 2009»
15 years 4 months ago
A logical account of uncertain databases based on linear logic
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Sungwoo Park, Seung-won Hwang
CORR
2011
Springer
126views Education» more  CORR 2011»
14 years 1 months ago
New Polynomial Classes for Logic-Based Abduction
We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given pro...
Bruno Zanuttini
UAI
2001
14 years 11 months ago
A Logic for Reasoning about Upper Probabilities
We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability ...
Joseph Y. Halpern, Riccardo Pucella
TARK
2009
Springer
15 years 4 months ago
A logic of propositional control for truthful implementations
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
SIGKDD
2000
112views more  SIGKDD 2000»
14 years 9 months ago
Artificial Neural Networks - A Science in Trouble
This article points out some very serious misconceptions about the brain in connectionism and artificial neural networks. Some of the connectionist ideas have been shown to have l...
Asim Roy