746 search results - page 22 / 150 » Connectionist Propositional Logic |
135
click to vote
CSL
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
159
click to vote
AI
2002
Springer
15 years 5 months ago
2002
Springer
Independence--the study of what is relevant to a given problem of reasoning--is an important AI topic. In this paper, we investigate several notions of conditional independence in...
165
click to vote
AAAI
1998
15 years 7 months ago
1998
We investigate two forms of dependence between variables and/or formulas within a propositional knowledge base: controllability (a set of variables X controls a formula , if there...
210
click to vote
BMCBI
2011
15 years 28 days ago
2011
Background: Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequenc...
155
click to vote
AAAI
1993
15 years 7 months ago
1993
Automating the construction of semantic grammars is a di cult and interesting problem for machine learning. This paper shows how the semantic-grammar acquisition problem can be vi...