The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrick Blackburn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Carlos Areces, Patrick Blackburn
    Reichenbach, Prior and Montague: A Semantic Get-together. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:77-88 [Conf]
  2. Carlos Areces, Patrick Blackburn, Maarten Marx
    A Road-Map on Complexity for Hybrid Logics. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:307-321 [Conf]
  3. Patrick Blackburn, Wilfried Meyer-Viol, Maarten de Rijke
    A Proof System for Finite Trees. [Citation Graph (0, 0)][DBLP]
    CSL, 1995, pp:86-105 [Conf]
  4. Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx
    Handling Boolean A Boxes. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  5. Steven Bird, Patrick Blackburn
    A Logical Approach To Arabic Phonology. [Citation Graph (0, 0)][DBLP]
    EACL, 1991, pp:89-94 [Conf]
  6. Patrick Blackburn, Claire Gardent
    A Specification Language for Lexical Functional Grammars. [Citation Graph (0, 0)][DBLP]
    EACL, 1995, pp:39-44 [Conf]
  7. Patrick Blackburn, Claire Gardent, Wilfried Meyer-Viol
    Talking About Trees. [Citation Graph (0, 0)][DBLP]
    EACL, 1993, pp:21-29 [Conf]
  8. Patrick Blackburn, Jaap Kamps, Maarten Marx
    Situation Calculus as Hybrid Logic: First Steps. [Citation Graph (0, 0)][DBLP]
    EPIA, 2001, pp:253-260 [Conf]
  9. Patrick Blackburn, Claire Gardent, Maarten de Rijke
    Back and Forth Through Time and Events. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:225-237 [Conf]
  10. Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Eric Villemonte de la Clergerie
    Logical Aspects of Computational Linguistics: An Introduction. [Citation Graph (0, 0)][DBLP]
    LACL, 1996, pp:1-20 [Conf]
  11. Patrick Blackburn, Maarten Marx
    Tableaux for Quantified Hybrid Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:38-52 [Conf]
  12. Patrick Blackburn, Valentin Goranko
    Hybrid Ockhamist Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:183-188 [Conf]
  13. Patrick Blackburn, Miroslava Tzakova
    Hybridizing Concept Languages. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:24, n:1-4, pp:23-49 [Journal]
  14. Carlos Areces, Patrick Blackburn, Maarten Marx
    Repairing the interpolation theorem in quantified modal logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:124, n:1-3, pp:287-299 [Journal]
  15. Patrick Blackburn
    The Language of Time: A Reader. [Citation Graph (0, 0)][DBLP]
    Computational Linguistics, 2006, v:32, n:3, pp:445-446 [Journal]
  16. Patrick Blackburn, Claire Gardent
    A specification language for Lexical Functional Grammars [Citation Graph (0, 0)][DBLP]
    CoRR, 1995, v:0, n:, pp:- [Journal]
  17. Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:1-2 [Journal]
  18. Carlos Areces, Patrick Blackburn, Maarten Marx
    The Computational Complexity of Hybrid Temporal Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:5, pp:- [Journal]
  19. Patrick Blackburn
    Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]
  20. Patrick Blackburn, Maarten Marx
    Third International Workshop on Hybrid Logic (HyLo'01). [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:5, pp:- [Journal]
  21. Patrick Blackburn, Miroslava Tzakova
    Hybrid Completeness. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:4, pp:625-650 [Journal]
  22. Patrick Blackburn, Miroslava Tzakova
    Hybrid Languages and Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:1, pp:27-54 [Journal]
  23. Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke
    PDL for Ordered Trees. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2005, v:15, n:2, pp:115-135 [Journal]
  24. Varol Akman, Patrick Blackburn
    Editorial: Alan Turing and Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2000, v:9, n:4, pp:391-395 [Journal]
  25. Patrick Blackburn
    Editorial. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2002, v:11, n:1, pp:1- [Journal]
  26. Patrick Blackburn
    Introduction: Static and Dynamic Aspects of Syntactic Structure. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1995, v:4, n:1, pp:1-4 [Journal]
  27. Patrick Blackburn
    Basic Model Theory, Kees Doets. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:2, pp:258-261 [Journal]
  28. Patrick Blackburn, Michael Kohlhase
    Inference and Computational Semantics. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2004, v:13, n:2, pp:117-120 [Journal]
  29. Patrick Blackburn, Maarten de Rijke
    Zooming In, Zooming Out. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:1, pp:5-31 [Journal]
  30. Patrick Blackburn, Jerry Seligman
    Hybrid Languages. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1995, v:4, n:3, pp:251-272 [Journal]
  31. Carlos Areces, Patrick Blackburn, Maarten Marx
    Hybrid Logics: Characterization, Interpolation and Complexity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:977-1010 [Journal]
  32. Patrick Blackburn, Maarten Marx
    Constructive interpolation in hybrid logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:2, pp:463-480 [Journal]
  33. Patrick Blackburn
    Internalizing labelled deduction. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:1, pp:137-168 [Journal]
  34. Carlos Areces, Patrick Blackburn
    Bringing them all Together. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:5, pp:657-669 [Journal]
  35. Patrick Blackburn
    Nominal Tense Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:1, pp:56-83 [Journal]
  36. Patrick Blackburn, Maarten de Rijke
    Special Issue on Combining Logics - Editor's Introduction. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:161-166 [Journal]
  37. Patrick Blackburn, Maarten de Rijke
    Why Combine Logics? [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:59, n:1, pp:5-27 [Journal]
  38. Patrick Blackburn, Sébastien Hinderer
    Generating models for temporal representations [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  39. Thomas Bolander, Patrick Blackburn
    Termination for Hybrid Tableaus. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:3, pp:517-554 [Journal]

  40. The Proper Treatment of Events Michiel van Lambalgen and Fritz Hamm (University of Amsterdam and University of Tübingen) Blackwell Publishing (Explorations in semantics series, edited by Susan Rothstein), 2005, xii+252 pp; hardbound, ISBN 1-40 [Citation Graph (, )][DBLP]


  41. Experiments in Theorem Proving for Topological Hybrid Logic. [Citation Graph (, )][DBLP]


  42. Terminating Tableau Calculi for Hybrid Logics Extending K. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002