540 search results - page 53 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
100
Voted
ACCV
2007
Springer
15 years 6 months ago
2007
Springer
We describe an approach to segmenting foreground regions corresponding to a group of people into individual humans. Given background subtraction and ground plane homography, hierar...
EUSFLAT
2001
15 years 1 months ago
2001
This work points out advantages for the application of fuzzy logic in organization analysis and control. From the presented motivations we propose both a managerial control cycle ...
100
Voted
ACL
2009
14 years 10 months ago
2009
A number of approaches to Automatic MT Evaluation based on deep linguistic knowledge have been suggested. However, n-gram based metrics are still today the dominant approach. The ...
CADE
2009
Springer
16 years 1 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...