2386 search results - page 214 / 478 » Representing and Reasoning with Preferences |
162
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
171
click to vote
DIAGRAMS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper shows by a constructive method the existence of a diagrammatic representation called extended Euler diagrams for any collection of sets X1, ..., Xn , n < 9....
156
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
136
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a proposal to give argumentation capacity to databases. A database is said to have argumentation capacity if it can extract from the information available to it a set ...
202
click to vote
IWPC
1996
IEEE
15 years 10 months ago
1996
IEEE
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...