673 search results - page 9 / 135 » Approximate coherence-based reasoning |
FSS
2007
13 years 8 months ago
2007
AMAI
2002
Springer
13 years 8 months ago
2002
Springer
MLQ
2000
13 years 8 months ago
2000
The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composin...
WAOA
2010
Springer
13 years 6 months ago
2010
Springer
The r-domination search game on graphs is a game-theoretical approach to several graph and hypergraph parameters including treewidth and hypertree width. The task is to identify t...
SOFTWARE
2002
13 years 8 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...