503 search results - page 37 / 101 » Interpolative Boolean Logic |
FLAIRS
2006
15 years 2 months ago
2006
The SEMEX tool for question answering is presented. Its architecture and features for extracting from input text a network of concept nodes that index syntax-based logical forms, ...
105
Voted
ICCD
2002
IEEE
15 years 9 months ago
2002
IEEE
Boolean functions are fundamental to synthesis and verification of digital logic, and compact representations of Boolean functions have great practical significance. Popular repre...
95
Voted
ICDT
2003
ACM
15 years 6 months ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
119
Voted
IJCAI
2001
15 years 2 months ago
2001
Neural Logic Network or Neulonet is a hybrid of neural network expert systems. Its strength lies in its ability to learn and to represent human logic in decision making using comp...
104
click to vote
CORR
2010
Springer
15 years 28 days ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...