2152 search results - page 225 / 431 » On Automating the Calculus of Relations |
184
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
149
click to vote
ISMVL
1999
IEEE
15 years 10 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
166
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
Fair allocation of payoffs among cooperating players who can form various coalitions of differing utilities is the classic game theoretic “coalition problem.” Shapley’s va...
172
click to vote
EWCBR
1998
Springer
15 years 10 months ago
1998
Springer
Object-oriented case representations require approaches for similarity assessment that allow to compare two differently structured objects, in particular, objects belonging to diff...
175
click to vote
ICLP
1998
Springer
15 years 10 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...