4617 search results - page 708 / 924 » Automation of Diagrammatic Reasoning |
219
click to vote
ICCBR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Case retrieval from a clustered case memory consists in finding out the clusters most similar to the new input case, and then retrieving the cases from them. Although th...
192
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
177
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
212
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
172
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...