Combining existential rules and description logics
Amarilli, A
Benedikt, M
IJCAI International Joint Conference on Artificial Intelligence
volume 2015-January
2691-2697
(01 Jan 2015)
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
Cattaruzza, D
Abate, A
Schrammel, P
Kroening, D
volume 9291
312-331
(2015)
Logical Approaches to Query Optimization over Web-Based Sources.
Benedikt, M
AMW
volume 1189
(2014)
Abstract Tensor Systems as Monoidal Categories
Kissinger, A
Lecture Notes in Computer Science
volume 8222
235-252
(2014)
Tensors, !-graphs, and non-commutative quantum structures
Kissinger, A
Quick, D
Electronic Proceedings in Theoretical Computer Science
volume 172
56-67
(28 Dec 2014)
Contextuality, Cohomology and Paradox.
Abramsky, S
Barbosa, R
Kishida, K
Lal, R
Mansfield, S
CSL
volume 41
211-228
(2015)
Games for Dependent Types
Abramsky, S
Jagadeesan, R
Vákár, M
Lecture Notes in Computer Science
volume 9135
31-43
(20 Jun 2015)
Relational Databases and Bell’s Theorem
Abramsky, S
Lecture Notes in Computer Science
volume 8000
13-35
(2013)
Semantic Unification - A Sheaf Theoretic Approach to Natural Language.
Abramsky, S
Sadrzadeh, M
Categories and Types in Logic, Language, and Physics
volume 8222
1-13
(2014)
Full Abstraction for PCF (extended abstract)
Abramsky, S
Malacaria, P
Jagadeesan, R
Lecture Notes in Computer Science
volume 789
1-15
(31 May 1994)