WorldCat Identities

Blackburn, Patrick 1959-

Overview
Works: 77 works in 214 publications in 4 languages and 2,303 library holdings
Genres: Conference proceedings  Handbooks, manuals, etc  Juvenile works  Criticism, interpretation, etc 
Roles: Editor
Classifications: QA76.9.C65, 003.3
Publication Timeline
Key
Publications about  Patrick Blackburn Publications about Patrick Blackburn
Publications by  Patrick Blackburn Publications by Patrick Blackburn
Most widely held works by Patrick Blackburn
Modal logic by Patrick Blackburn ( Book )
28 editions published between 2001 and 2010 in English and held by 447 WorldCat member libraries worldwide
Now available in paperback, this is a popular graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists. The book is both for novices and for more experienced readers, with two distinct tracks through the work, clearly signposted at the start of each chapter. The development is mathematical, with prerequisites clearly identified in the appendices. Theoretical concepts are clearly presented and applications to many issues in logic and computer science are emphasised
Tools for teaching logic third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings by International Congress on Tools for Teaching Logic ( )
9 editions published in 2011 in English and held by 408 WorldCat member libraries worldwide
Annotation
Handbook of modal logic by Patrick Blackburn ( )
16 editions published between 2006 and 2008 in English and held by 295 WorldCat member libraries worldwide
The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth
Modeling and using context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003 : proceedings by Patrick Blackburn ( Book )
12 editions published in 2003 in English and held by 259 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 4th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2003, held in Stanford, CA, USA in June 2003. The 31 full papers and 15 short papers presented were carefully reviewed, selected, and revised for inclusion in the book. The papers presented deal with the interdisciplinary topic of modeling and using context from various points of view, ranging through cognitive science, formal logic, artifical intelligence, computational intelligence, philosophical and psychological aspects, and information processing. Highly general philosophical and theoretical issues are complemented by specific applications in various fields
Modeling and using context : 8th international and interdisciplinary conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013 by International and Interdisciplinary Conference on Modeling and Using Context ( )
1 edition published in 2013 in English and held by 193 WorldCat member libraries worldwide
This book constitutes the proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2013, held in Annecy, France, in October/November 2013. The 23 full papers and 9 short papers presented were carefully reviewed and selected from numerous submissions. In addition the book contains two keynote speeches and 9 poster papers. They cover cutting-edge results from the wide range of disciplines concerned with context, including: Cognitive Sciences (Linguistics, Psychology, Computer Science, Neuroscience), and computer science (artificial intelligence, logics, ubiquitous and pervasive computing, context-awareness systems), and the Social Sciences and Organizational Sciences, as well as the Humanities and all application areas, including Medicine and Law
Representation and inference for natural language : a first course in computational semantics by Patrick Blackburn ( Book )
9 editions published in 2005 in English and Spanish and held by 170 WorldCat member libraries worldwide
The authors explain the underlying theoretical issues and fundamental techniques for computing semantic representations for fragments of natural language. This volume will be an useful text for computer scientists, linguists, and anyone interested in thedevelopment of computational semantics
Specifying syntactic structures ( Book )
5 editions published in 1997 in English and held by 154 WorldCat member libraries worldwide
The papers collected here belong to a new wave of the logical tradition. Either directly or indirectly, they address the shortcomings of the earlier work, and develop the tradition in a variety of new and important directions. Topics discussed include: how to build feature structures over structured entities, how descriptive complexity results can link the logical approach with the Chomsky hierarchy, how to combine categorial and featural information, why it is that multiple categorial systems can be made to communicate in a controlled way, how to deal with cross-serial dependencies in unification formalisms, and what category theory has to tell us about HPSG
Learn prolog now! by Patrick Blackburn ( Book )
5 editions published between 2006 and 2008 in English and held by 45 WorldCat member libraries worldwide
Modeling and using context : 4th international and interdisciplinary conference, CONTEXT 2003, Stanford, CA, USA, June, 2003 : proceedings by International and Interdisciplinary Conference on Modeling and Using Context ( Book )
4 editions published in 2003 in English and held by 25 WorldCat member libraries worldwide
Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings by Patrick Brezillon ( )
4 editions published in 2013 in English and held by 19 WorldCat member libraries worldwide
This book constitutes the proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2013, held in Annecy, France, in October/November 2013. The 23 full papers and 9 short papers presented were carefully reviewed and selected from numerous submissions. In addition the book contains two keynote speeches and 9 poster papers. They cover cutting-edge results from the wide range of disciplines concerned with context, including: Cognitive Sciences (Linguistics, Psychology, Computer Science, Neuroscience), and computer science (artificial intelligence, logics, ubiquitous and pervasive computing, context-awareness systems), and the Social Sciences and Organizational Sciences, as well as the Humanities and all application areas, including Medicine and Law
A proof system for finite trees by Patrick Blackburn ( Book )
7 editions published in 1995 in English and held by 19 WorldCat member libraries worldwide
Abstract: "In this paper we introduce a description language for finite trees. Although we briefly note some of its intended applications, the main goal of the paper is to provide it with a sound and complete proof system. We do so using standard axioms from modal provability logic and modal logics of programs, and prove completeness by extending techniques due to Van Benthem and Meyer-Viol [2] and Blackburn and Meyer-Viol [5]. We conclude with a proof of the EXPTIME-completeness of the satisfiability problem, and a discussion of issues related to complexity and theorem proving."
Relational methods in logic, language and information by Patrick Blackburn ( Book )
7 editions published between 1994 and 1995 in English and held by 17 WorldCat member libraries worldwide
Abstract: "This paper discusses the use of relational methods in the interdisciplinary field of Logic, Language and Information. We first sketch the developments that lead up to the current focus on dynamics in the area. After that we give examples of logics of transition that natually arise in this setting, and we identify more general themes such as bisimulations, relativisations and dynamic modes of inference. We conclude with a discussion of newly emerging themes, and the limitations of the relational perspective."
Science fiction by Francis Blackburn ( Book )
1 edition published in 1975 in English and held by 17 WorldCat member libraries worldwide
Modeling and using context : 4th international and interdisciplinary conference, Stanford, CA, USA, June 23-25, 2003 ; proceedings ( Book )
1 edition published in 2003 in English and held by 15 WorldCat member libraries worldwide
The algebra of modal logic by Patrick Blackburn ( Book )
7 editions published in 1994 in English and held by 15 WorldCat member libraries worldwide
Abstract: "Our main aim is to review the frame semantics and axiomatics of modal logic from the perspective of the duality between (Kripke) frames and boolean algebras with operators as defined by Jónsson and Tarski. To this end, we introduce modal languages and their interpretation in models and frames in Part II. We define and discuss the notion of a modal formula characterizing a class of frames or models, and give the Sahlqvist algorithm which yields, given a suitable modal formula as input, the corresponding first-order condition on the class of frames characterized by the formula. We define the concept of a normal modal logic and explain the canonical frame method for proving completeness of a logic with respect to classes of frames. In Part III we develop the algebraic perspective on modal logic. We introduce boolean algebras with operators and show how they arise naturally in both the semantic and the axiomatic approach towards algebraizing modal logic. We discuss in detail how the category of boolean algebras with operators and homomorphisms links up with the category of frames with so-called bounded morphisms. Finally, we apply this duality to give easy proofs for some important and well- known results from modal logic."
Linguistics, logic, and finite trees by Patrick Blackburn ( Book )
4 editions published between 1993 and 1994 in English and Dutch and held by 14 WorldCat member libraries worldwide
Abstract: "A modal logic is developed to deal with finite ordered binary trees as they are used in (computational) linguistics. A modal language is introduced with operators for the 'mother of', 'first daughter of' and 'second daughter of' relations together with their transitive reflexive closures. The relevant class of tree models is defined and three linguistic applications of this language are discussed: context free grammars, command relations, and trees decorated with feature structures. An axiomatic proof system is given for which completeness is shown with respect to the class of finite ordered binary trees. A number of decidability results follow."
Prolog, tout de suite by Patrick Blackburn ( Book )
2 editions published in 2007 in French and held by 14 WorldCat member libraries worldwide
Why combine logics? by Patrick Blackburn ( Book )
6 editions published in 1995 in English and held by 14 WorldCat member libraries worldwide
Abstract: "Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailored made [sic] logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standard languages. By analysing a number of applications where combined logics arise, we argue that combined logics are a potentially valuable tool in applied logic, and that endorsements of standard languages often miss the point. Using the history of quantified modal logic as our main example, we also show that the use of combined structures and logics is a recurring theme in the analysis of existing logical systems."
Zooming in, zooming out by Patrick Blackburn ( Book )
6 editions published in 1994 in English and held by 13 WorldCat member libraries worldwide
Abstract: "This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness."
Hybrid languages and temporal logic by Patrick Blackburn ( Book )
2 editions published in 1998 in English and held by 8 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.06 for Science fi ... to 0.92 for Specifying ...)
Alternative Names
Blackburn, P.
Blackburn, Patric 1959-
Blackburn, Patrick R. 1959-
Languages
English (132)
French (2)
Spanish (1)
Dutch (1)
Covers