WorldCat Identities

Blackburn, Patrick 1959-

Overview
Works: 52 works in 127 publications in 4 languages and 2,169 library holdings
Genres: Conference proceedings  Handbooks, manuals, etc 
Roles: Author, Editor
Classifications: QA76.9.C65, 003.3
Publication Timeline
.
Most widely held works by Patrick Blackburn
Modal logic by Patrick Blackburn( Book )
29 editions published between 2001 and 2010 in English and held by 463 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( )
6 editions published in 2011 in English and held by 369 WorldCat member libraries worldwide
Annotation
Handbook of modal logic by Patrick Blackburn( )
8 editions published between 2006 and 2007 in English and held by 329 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 : 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 255 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
Modeling and using context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003 : proceedings by 2003, Stanford, Calif.) International and Interdisciplinary Conference on Modeling and Using Context (4( Book )
5 editions published in 2003 in English and held by 234 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
Specifying syntactic structures ( Book )
6 editions published in 1997 in English and held by 157 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
Representation and inference for natural language : a first course in computational semantics by Patrick Blackburn( Book )
5 editions published in 2005 in English and Spanish and held by 156 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
Learn prolog now! by Patrick Blackburn( Book )
4 editions published in 2006 in English and held by 48 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
Prolog, tout de suite by Patrick Blackburn( Book )
2 editions published in 2007 in French and held by 17 WorldCat member libraries worldwide
Hybrid logics : characterization, interpolation and complexity by Carlos Areces( Book )
2 editions published in 1999 in English and held by 8 WorldCat member libraries worldwide
Linguistics, logic and finite trees by Patrick Blackburn( Book )
1 edition published in 1993 in Dutch and held by 7 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."
A proof system for finite trees by Patrick Blackburn( Book )
3 editions published in 1995 in English and held by 7 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 )
3 editions published in 1995 in English and held by 6 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."
Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings by Patrick Brezillon( Book )
1 edition published in 2013 in English and held by 6 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
Two hybrid logics by Patrick Blackburn( Book )
2 editions published in 1997 in English and held by 5 WorldCat member libraries worldwide
Abstract: "In this paper we discuss two hybrid languages, L([for all]) and L([down arrow]⁰), and provide them with axiomatisations which we prove complete. Both languages combine features of modal and classical logic. Like modal languages, they contain modal operators and have a Kripke semantics. In addition, however, they contain state variables which can be explicitly bound by the binders [for all] and [down arrow]⁰. The primary purpose of this paper is to explore the consequences of hybridisation for completeness theory. As we shall show, the principle challenge is to find ways of blending the modal idea of canonical models with the classical idea of witnessed maximal consistent sets. The languages L([for all]) and L([down arrow]⁰) provide us with two extreme examples of the issues involved. In the case of L([for all]), we can combine these ideas relatively straightforwardly with the aid of the Barcan axioms coupled with a modal theory of labeling. In the case of L([down arrow]⁰), on the other hand, although we can still formulate a theory of labeling, the Barcan axioms are no longer valid. We show how this difficulty may be overcome by making use of COV*, an infinite collection of additional rules of inference which has been used in a number of investigations of extended modal logic."
The computational complexity of hybrid temporal logics by Carlos Areces( Book )
1 edition published in 2000 in English and held by 4 WorldCat member libraries worldwide
Constructive interpolation in hybrid logic by Patrick Blackburn( Book )
1 edition published in 2002 in English and held by 4 WorldCat member libraries worldwide
Situation calculus as hybrid logic: first steps by Patrick Blackburn( Book )
1 edition published in 2001 in English and held by 4 WorldCat member libraries worldwide
Nominal tense logic by Patrick Blackburn( Book )
2 editions published in 1990 in English and held by 4 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.47 for Prolog, to ... to 0.90 for Specifying ...)
Alternative Names
Blackburn, P.
Blackburn, Patric 1959-
Blackburn, Patrick R. 1959-
Languages
English (83)
French (2)
Spanish (1)
Dutch (1)
Covers