540 search results - page 39 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
ICMI
2007
Springer
15 years 6 months ago
2007
Springer
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...
91
Voted
WEBI
2007
Springer
15 years 6 months ago
2007
Springer
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set ...
145
Voted
AMAI
1999
Springer
15 years 4 days ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
100
click to vote
ACISICIS
2005
IEEE
15 years 6 months ago
2005
IEEE
Uncertainty always exists as an unavoidable factor in any pervasive context-aware applications. This is mostly caused by the imperfectness and incompleteness of data. In this pape...
111
Voted
ECSQARU
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...