Sciweavers

ENTCS
2011
125views more  ENTCS 2011»
13 years 2 months ago
A Hybrid Public Announcement Logic with Distributed Knowledge
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
Jens Ulrik Hansen
ENTCS
2011
134views more  ENTCS 2011»
13 years 2 months ago
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
We revisit the connection between three notions of computation: Moggi’s monads, Hughes’s arrows and McBride and Paterson’s idioms (also called applicative functors). We show...
Sam Lindley, Philip Wadler, Jeremy Yallop
ENTCS
2011
120views more  ENTCS 2011»
13 years 5 months ago
Game Semantics for Quantum Data
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...
Yannick Delbecque
ENTCS
2011
105views more  ENTCS 2011»
13 years 5 months ago
Bridges from Language to Logic: Concepts, Contexts and Ontologies
This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attentio...
Valeria de Paiva
ENTCS
2011
72views more  ENTCS 2011»
13 years 5 months ago
Abstract Interpretation of Dynamics of Biological Regulatory Networks
Loïc Paulevé, Morgan Magnin, Olivier R...
ENTCS
2011
102views more  ENTCS 2011»
13 years 5 months ago
DES: A Deductive Database System
Fernando Sáenz-Pérez
ENTCS
2011
85views more  ENTCS 2011»
13 years 5 months ago
Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada We show that an equation follows from the axioms of dagger ...
Peter Selinger
ENTCS
2011
130views more  ENTCS 2011»
13 years 5 months ago
Bell States and Negative Sentences in the Distributed Model of Meaning
We use Bell states to provide compositional distributed meaning for negative sentences of English. The lexical meaning of each word of the sentence is a context vector obtained wi...
Anne Preller, Mehrnoosh Sadrzadeh
ENTCS
2011
89views more  ENTCS 2011»
13 years 5 months ago
Information Processing in Convex Operational Theories
Howard Barnum, Alexander Wilce
ENTCS
2011
77views more  ENTCS 2011»
13 years 5 months ago
Quantum Circuits: From a Network to a One-Way Model
Abstract—We present elements of quantum circuits translations from the (standard) network or circuit model to the one-way one. We present a translation scheme, give an account of...
Larisse Voufo