1664 search results - page 70 / 333 » Towards Partial Reasoning |
IJCAI
1997
13 years 9 months ago
1997
A method is presented for analogical reasoning in Automated Deduction. We focus on the abductive aspects of analogy and give a unified treatment for theorems and non-theorems. Abd...
SOCO
2002
Springer
13 years 8 months ago
2002
Springer
Retrieving relevant information is a crucial component of cased-based reasoning systems for Internet applications such as search engines. The task is to use user-defined queries to...
IGPL
2008
13 years 8 months ago
2008
A critical view of the alleged significance of Belnap four-valued logic for reasoning under inconsistent and incomplete information is provided. The difficulty lies in the confusi...
ICAIL
2003
ACM
14 years 1 months ago
2003
ACM
In this paper we attempt to give an account of reasoning with legal cases contextualised within a general theory of persuasion in practical reasoning. We begin by presenting our g...
DIAGRAMS
2010
Springer
14 years 12 days ago
2010
Springer
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...