531 search results - page 41 / 107 » An Argumentation-Based Approach for Practical Reasoning |
133
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
123
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Making case adaptation practical is a longstanding challenge for casebased reasoning. One of the impediments to widespread use of automated case adaptation is the adaptat...
145
click to vote
KR
1992
Springer
15 years 8 months ago
1992
Springer
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
109
click to vote
JAR
2007
15 years 3 months ago
2007
Abstract. In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new non-standard reasoning services to explain incoherence through pin...
152
click to vote
GROUP
2009
ACM
15 years 10 months ago
2009
ACM
Our study on a community of knowledge management (KM) practitioners in the aerospace industry reveals challenges in the dissemination of KM concepts and tools. In this paper, we i...