Searching for authors named "Balder ten Cate" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
The Partition Semantics of Questions, Syntactically Chung-chieh Shan Harvard University
- …@(email omitted); Balder ten Cate Universiteit van Amsterdam b.ten.cate@(email omitted); Abstract. Groenendijk and Stokhof (1984…
- Add To MetaCart
-
The Dynamics of Information Exchange Dialogues
- …://www.elsevier.nl/locate/entcs/volume53.html 12 pages The dynamics of information exchange dialogues Balder ten Cate 1 Institute for Logic…
- Add To MetaCart
-
The complexity of query containment in expressive fragments of XPath 2.0
- …, including appendices, of the PODS’07 paper) Balder ten Cate ISLA – Informatics Institute Universiteit van…
- Cited by 8 (5 self) – Add To MetaCart
-
Interpolation for extended modal languages
- …INTERPOLATION FOR EXTENDED MODAL LANGUAGES BALDER TEN CATE Abstract. Several extensions…
- Cited by 8 (5 self) – Add To MetaCart
-
Expressivity of Extensions of Dynamic First-Order Logic
- …Expressivity of extensions of dynamic first-order logic Balder ten Cate 1 , Jan van Eijck 2…
- Add To MetaCart
-
On the complexity of hybrid logics with binders
- …On the Complexity of Hybrid Logics with Binders Balder ten Cate 1 and Massimo Franceschet 1,2 1…
- Cited by 11 (0 self) – Add To MetaCart
-
Question answering: From partitions to Prolog
- …Question Answering: From Partitions to Prolog ⋆ Balder ten Cate 1 and Chung-chieh Shan 2 1…
- Cited by 2 (2 self) – Add To MetaCart
-
Guarded fragments with constants
- …Guarded fragments with constants Balder ten Cate (balder.tencate@(email omitted);) Informatics Institute…
- Cited by 4 (1 self) – Add To MetaCart
-
The importance of being discrete
- …The Importance of Being Discrete Balder ten Cate and Tadeusz Litak Abstract The paper discusses…
- Cited by 1 (1 self) – Add To MetaCart
-
Transfer Results for Hybrid Logic - Part I: the case without satisfaction operators
- … Bezhanishvili and Balder ten Cate February 26, 2004 Abstract For every Kripke complete modal logic L we define…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
