Results 61 to 70 of about 166,773 (130)

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems [PDF]

, 2003
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p system, which allows for local inconsistency handling. We then characterise the
Franconi, Enrico, Kuper, Gabriel, Lopatenko, Andrei, Serafini, Luciano   +3 more
core   +3 more sources

Semantics of a Typed Algebraic Lambda-Calculus

, 2010
Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space.
Andrzej Filinski, André van Tonder, Benjamin C. Pierce, Benoît Valiron, Elham Kashefi, Eugenio Moggi, Fr'ed'eric Blanqui, Franco Barbanera, Gordon D. Plotkin, Gregory M. Kelly, Henk P. Barendregt, Jean-Yves Girard, Joachim Lambek, Lionel Vaux, Pablo Arrighi, Pablo Arrighi, Peter Selinger, Prakash Panangaden, S. Barry Cooper, Thomas Ehrhard, Val Breazu-Tannen   +20 more
core   +2 more sources

Meinongian Semantics and Artificial Intelligence

Humana.Mente: Journal of Philosophical Studies, 2013
This essay describes computational semantic networks for a philosophical audience and surveys several approaches to semantic-network semantics. In particular, propositional semantic networks (exemplified by SNePS) are discussed; it is argued that only a ...
William J. Rapaport
doaj  

Scalability using effects [PDF]

, 2013
This note is about using computational effects for scalability. With this method, the specification gets more and more complex while its semantics gets more and more correct.
Duval, Dominique
core   +1 more source

On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks [PDF]

, 2014
We analyse the expressiveness of the two-valued semantics of abstract argumentation frameworks, normal logic programs and abstract dialectical frameworks.
Strass, Hannes
core  

A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures [PDF]

, 2022
Enrico G. Beltrametti, María Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli   +4 more
openalex   +3 more sources

Context Semantics, Linear Logic and Computational Complexity

, 2006
We show that context semantics can be fruitfully applied to the quantitative analysis of proof normalization in linear logic. In particular, context semantics lets us define the weight of a proof-net as a measure of its inherent complexity: it is both an
Lago, Ugo Dal
core   +3 more sources

Modular Labelled Sequent Calculi for Abstract Separation Logics

, 2017
separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are "abstract" because they are independent of any particular concrete resource model.
Clouston, Ranald, Goré, Rajeev, Hóu, Zhé, Tiu, Alwen   +3 more
core   +1 more source

Intuitionistic computability logic [PDF]

, 2006
Computability logic (CL) is a systematic formal theory of computational tasks and resources, which, in a sense, can be seen as a semantics-based alternative to (the syntactically introduced) linear logic.
Japaridze, Giorgi
core   +2 more sources

Systematic Construction of Semantic Structure Computationally Digital Communication Systems As A Model

The Journal of Studies in Language, Culture and Society
Our study deals with the systematic construction of the structural representation of meaning, as it is based on a basic topic, which is structure, as it goes beyond the representation of meaning for its parts, as logical representations are usually used
Aida Haouchi
doaj