2152 search results - page 215 / 431 » On Automating the Calculus of Relations |
145
click to vote
ECSQARU
2007
Springer
16 years 20 days ago
2007
Springer
A sufficient condition is given for a probability function in Inductive Logic (with relations of all arities) satisfying spectrum exchangeability to additionally satisfy Language ...
168
click to vote
CSL
2005
Springer
16 years 1 days ago
2005
Springer
We show that the modular decomposition of a countable graph can be defined from this graph, given with an enumeration of its set of vertices, by formulas of Monadic Second-Order l...
158
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
A key challenge for companies is to manage customer relationships as an asset. To create an effective toolkit for the analysis of customer relationships, a combination of relation...
147
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In recent years we see Prolog systems experiment...
151
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues...