307 search results - page 35 / 62 » On Hierarchical Reasoning in Combinations of Theories |
143
click to vote
DALT
2007
Springer
15 years 3 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
74
Voted
COLING
1992
15 years 3 months ago
1992
The process of finding the antecedent of zero pronoun, that is indispensable to Japanese language understanding, is the topic of this paper. Here we mainly concern with discourses...
139
Voted
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
The main goal of a persuasion dialogue is to persuade, but agents may have a number of additional goals concerning the dialogue duration, how much and what information is shared o...
132
Voted
VSTTE
2012
Springer
13 years 9 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
152
Voted
CVPR
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a two-step method to speed-up object detection systems in computer vision that use Support Vector Machines (SVMs) as classifiers. In a first step we perform feature red...