Results 41 to 50 of about 6,811,260 (293)
The expressive power of modal logic with inclusion atoms [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams. A team of a Kripke model is just a subset of its domain. In this paper we give a complete characterisation for the
Lauri Hella, Johanna Stumpf
doaj +1 more source
Alternation Is Strict For Higher-Order Modal Fixpoint Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We study the expressive power of Alternating Parity Krivine Automata (APKA), which provide operational semantics to Higher-Order Modal Fixpoint Logic (HFL). APKA consist of ordinary parity automata extended by a variation of the Krivine Abstract Machine.
Florian Bruse
doaj +1 more source
Upwards Closed Dependencies in Team Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We prove that adding upwards closed first-order dependency atoms to first-order logic with team semantics does not increase its expressive power (with respect to sentences), and that the same remains true if we also add constancy atoms. As a consequence,
Pietro Galliani
doaj +1 more source
Music: Its Expressive Power and Moral Significance
Musical Offerings, 2010 The creation and practice of music is tightly wound with human emotion, character, and experience. Music arouses sentiment and cannot be underestimated as a powerful shaper of human virtue, character, and emotion.
Sarah Whitfield
doaj +1 more source
On the expressive power of counting
Theoretical Computer Science, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stéphane Grumbach, Christophe Tollu
openaire +2 more sources
ON THE COMPARISONS OF LOGICS IN TERMS OF EXPRESSIVE POWER
Manuscrito, 2023 This paper investigates the question “when is a logic more expressive than another?” In order to approach it, “logic” is understood in the model-theoretic sense and, contrary to other proposals in the literature, it is argued that relative expressiveness
DIEGO PINHEIRO FERNANDES
doaj +1 more source
Modal Logics of Topological Relations [PDF]
Logical Methods in Computer Science, 2006 Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI.
Carsten Lutz, Frank Wolter
doaj +1 more source
On the Expressive Power of XQuery Fragments [PDF]
, 2005 XQuery is known to be a powerful XML query language with many bells and whistles. For many common queries we do not need all the expressive power of XQuery. We investigate the effect of omitting certain features of XQuery on the expressive power of the language.
Hidders, Jan +3 more
openaire +4 more sources
Learning Resource Allocation Policy: Vertex-GNN or Edge-GNN?
IEEE Transactions on Machine Learning in Communications and NetworkingGraph neural networks (GNNs) update the hidden representations of vertices (called Vertex-GNNs) or hidden representations of edges (called Edge-GNNs) by processing and pooling the information of neighboring vertices and edges and combining to exploit ...
Yao Peng, Jia Guo, Chenyang Yang
doaj +1 more source
Theoretical Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources