531 search results - page 60 / 107 » An Argumentation-Based Approach for Practical Reasoning |
111
Voted
EWCBR
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Case retrieval is an important problem in several commercially signi cant application areas, such as industrial con guration and manufacturing problems. In this paper we ...
154
Voted
COMMA
2006
15 years 5 months ago
2006
In this paper we present a novel approach for combining Case-Based Reasoning (CBR) and Argumentation. This approach involves 1) the use of CBR for evaluating the arguments submitt...
138
Voted
FLAIRS
2007
15 years 6 months ago
2007
As personal assistant software matures and assumes more autonomous control of its users’ activities, it becomes more critical that this software can explain its task processing....
148
Voted
DLOG
2008
15 years 6 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
177
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...