Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Patrick Blackburn

Papers on DiSC'02


Hybrid Ockhamist Temporal Logic

Publications


Note: Links lead to the DBLP on the Web.

Patrick Blackburn

16 Patrick Blackburn, Maarten Marx : Tableaux for Quantified Hybrid Logic. TABLEAUX 2002 : 38-52

15 Patrick Blackburn, Jaap Kamps , Maarten Marx : Situation Calculus as Hybrid Logic: First Steps. EPIA 2001 : 253-260

14 Patrick Blackburn, Valentin Goranko : Hybrid Ockhamist Temporal Logic. TIME 2001 : 183-188

13 Patrick Blackburn: Internalizing labelled deduction. Journal of Logic and Computation 10 (1): 137-168 (2000)

12 Varol Akman , Patrick Blackburn: Editorial: Alan Turing and Artificial Intelligence. Journal of Logic, Language and Information 9 (4): 391-395 (2000)

11 Carlos Areces , Patrick Blackburn, Maarten Marx : A Road-Map on Complexity for Hybrid Logics. CSL 1999 : 307-321

10 Patrick Blackburn: Basic Model Theory, Kees Doets. Journal of Logic, Language and Information 8 (2): 258-261 (1999)

9 Patrick Blackburn, Miroslava Tzakova : Hybridizing Concept Languages. Annals of Mathematics and Artificial Intelligence 24 (1-4): 23-49 (1998)

8 Patrick Blackburn, Maarten de Rijke : Zooming In, Zooming Out. Journal of Logic, Language and Information 6 (1): 5-31 (1997)

7 Patrick Blackburn, Marc Dymetman , Alain Lecomte , Aarne Ranta , Christian Retoré , Eric Villemonte de la Clergerie : Logical Aspects of Computational Linguistics: An Introduction. LACL 1996 : 1-20

6 Patrick Blackburn, Maarten de Rijke : Special Issue on Combining Logics - Editor's Introduction. Notre Dame Journal of Formal Logic 37 (2): 161-166 (1996)

5 Patrick Blackburn, Wilfried Meyer-Viol , Maarten de Rijke : A Proof System for Finite Trees. CSL 1995 : 86-105

4 Patrick Blackburn: Introduction: Static and Dynamic Aspects of Syntactic Structure. Journal of Logic, Language and Information 4 (1): 1-4 (1995)

3 Patrick Blackburn, Jerry Seligman : Hybrid Languages. Journal of Logic, Language and Information 4 (3): 251-272 (1995)

2 Patrick Blackburn, Claire Gardent , Maarten de Rijke : Back and Forth Through Time and Events. ICTL 1994 : 225-237

1 Patrick Blackburn: Nominal Tense Logic. Notre Dame Journal of Formal Logic 34 (1): 56-83 (1993)




DiSC'02 © 2003 Association for Computing Machinery