2911 search results - page 165 / 583 » A Logic of Graph Constraints |
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
140
click to vote
SEBD
2001
15 years 2 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
85
Voted
IJCAI
2003
15 years 2 months ago
2003
We solve the problem of obtaining answers to queries posed to a mediated integration system un der the local-as-view paradigm that are consistent wrt to certain global integrity...
86
Voted
APAL
2008
15 years 28 days ago
2008
Abstract. We provide an alternative proof of the sequentialisation theorem for proof nets of multiplicative linear logic. Namely, we show how a proof net can be transformed into a ...
86
Voted
DAC
1999
ACM
16 years 1 months ago
1999
ACM
Abstract? Fixed-point DSPs are a class of embedded processors with highly irregular architectures. This irregularity makes it difficult to generate high-quality machine code from p...