1128 search results - page 121 / 226 » Classical Natural Deduction |
132
click to vote
NAACL
2007
15 years 5 months ago
2007
Graph-based semi-supervised learning has recently emerged as a promising approach to data-sparse learning problems in natural language processing. All graph-based algorithms rely ...
133
click to vote
FLAIRS
2004
15 years 5 months ago
2004
We present a tool for commonsense reasoning in the classical logic event calculus using satisfiability. We describe the tool, which takes event calculus reasoning problems as inpu...
117
click to vote
DS
2001
15 years 5 months ago
2001
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
EUSFLAT
2003
15 years 5 months ago
2003
We revise the classic methodology to find the multi-product break-even point. In the current paper we propose a solution to the problem under uncertainty conditions, based on DurÃ...
134
click to vote
HIS
2003
15 years 5 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...