7335 search results - page 186 / 1467 » Scene Based Reasoning |
140
click to vote
SOFTWARE
2002
15 years 3 months ago
2002
Abstract. This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm c...
152
Voted
ICAIL
2005
ACM
15 years 9 months ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
107
click to vote
CONCUR
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
144
Voted
NC
1998
15 years 4 months ago
1998
: This paper describes a system, which integrates Neural Network (NN) models into adaptation circle of Case-based Reasoning (CBR) system. Neural Network supported adaptation can pr...
106
Voted
CORR
2000
Springer
15 years 3 months ago
2000
Springer
This paper describes howautomated deduction methods for natural language processing can be applied moreefficiently by encodingcontext in a moreelaborate way. Our workis based on f...