Patrick Blackburn

95 papers A* 1A 4B 10C 4Misc 1Journal 47Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Hybrid Partial Type Theory. J. Symb. Log. María Manzano, Antonia Huertas, Patrick Blackburn, Manuel A. Martins, Víctor Aranda
2025	J	`jnl`	Prior's ideal language. Math. Struct. Comput. Sci. Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod
2023	C	`conf`	An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. WoLLIC Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod
2022	A*	`conf`	Ethics consideration sections in natural language processing papers. EMNLP Luciana Benotti, Patrick Blackburn
2022	J	`jnl`	Exorcising the phantom zone. Inf. Comput. Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
2022	J	`jnl`	Logic and Interaction: Foreword to the Special Issue. J. Log. Lang. Inf. Patrick Blackburn, Emiliano Lorini
2021	—	`conf`	A recipe for annotating grounded clarifications. NAACL-HLT Luciana Benotti, Patrick Blackburn
2021	J	`jnl`	A recipe for annotating grounded clarifications. CoRR Luciana Benotti, Patrick Blackburn
2021	A	`conf`	Grounding as a Collaborative Process. EACL Luciana Benotti, Patrick Blackburn
2021	—	`conf`	Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. ThEdu@CADE Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn
2020	J	`jnl`	Being Deceived: Information Asymmetry in Second-Order False Belief Tasks. Top. Cogn. Sci. Torben Braüner, Patrick Blackburn, Irina Polyanskaya
2020	—	`conf`	Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper). IJCAR (1) Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen
2020	—	`conf`	Isabelle/HOL as a Meta-Language for Teaching Logic. ThEdu@IJCAR Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn
2019	—	`ed.`	Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings LORI Patrick Blackburn, Emiliano Lorini, Meiyun Guo
2019	C	`conf`	Rigid First-Order Hybrid Logic. WoLLIC Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
2018	B	`conf`	A logical investigation of false-belief tasks. CogSci Torben Braüner, Irina Polyanskaya, Patrick Blackburn
2017	J	`jnl`	Completeness and termination for a Seligman-style tableau system. J. Log. Comput. Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
2017	J	`jnl`	Modeling the clarification potential of instructions: Predicting clarification requests and other reactions. Comput. Speech Lang. Luciana Benotti, Patrick Blackburn
2017	J	`jnl`	The New Trivium. FLAP Patrick Blackburn
2016	J	`jnl`	Arthur Prior and 'Now'. Synth. Patrick Blackburn, Klaus Frovin Jørgensen
2016	B	`conf`	Linguistic recursion and Autism Spectrum Disorder. CogSci Irina Polyanskaya, Torben Braüner, Patrick Blackburn
2016	—	`conf`	Polite Interactions with Robots. Robophilosophy/TRANSOR Luciana Benotti, Patrick Blackburn
2016	B	`conf`	Recursive belief manipulation and second-order false-beliefs. CogSci Torben Braüner, Patrick Blackburn, Irina Polyanskaya
2016	J	`jnl`	Reichenbach, Prior and hybrid tense logic. Synth. Patrick Blackburn, Klaus Frovin Jørgensen
2016	C	`conf`	Second-Order False-Belief Tasks: Analysis and Formalization. WoLLIC Torben Braüner, Patrick Blackburn, Irina Polyanskaya
2016	B	`conf`	Synthetic completeness proofs for Seligman-style tableau systems. Advances in Modal Logic Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner
2014	J	`jnl`	Completeness in Hybrid Type Theory. J. Philos. Log. Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano
2014	—	`ch.`	Context and Implicature. Context in Computing Luciana Benotti, Patrick Blackburn
2013	B	`conf`	A Seligman-Style Tableau System. LPAR Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
2013	—	`conf`	Contextual Validity in Hybrid Logic. CONTEXT Patrick Blackburn, Klaus Frovin Jørgensen
2013	—	`ed.`	Modeling and Using Context - 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings CONTEXT Patrick Brézillon, Patrick Blackburn, Richard Dapoigny
2012	B	`conf`	Indexical Hybrid Tense Logic. Advances in Modal Logic Patrick Blackburn, Klaus Frovin Jørgensen
2011	—	`conf`	Classical Planning and Causal Implicatures. CONTEXT Luciana Benotti, Patrick Blackburn
2011	—	`ed.`	Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings TICTTL Patrick Blackburn, Hans van Ditmarsch, María Manzano, Fernando Soler-Toscano
2010	—	`conf`	Negotiating causal implicatures. SIGDIAL Conference Luciana Benotti, Patrick Blackburn
2010	J	`jnl`	Special Issue on Hybrid Logics. J. Appl. Log. Carlos Areces, Patrick Blackburn
2007	—	`conf`	Experiments in Theorem Proving for Topological Hybrid Logic. M4M Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn
2007	J	`jnl`	Generating models for temporal representations CoRR Patrick Blackburn, Sébastien Hinderer
2007	—	`book`	Handbook of Modal Logic. Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter
2007	—	`ch.`	Modal logic: a semantic perspective. Handbook of Modal Logic Patrick Blackburn, Johan van Benthem
2007	—	`ed.`	Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006 HyLo@FLoC Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
2007	—	`conf`	Terminating Tableau Calculi for Hybrid Logics Extending K. M4M Thomas Bolander, Patrick Blackburn
2007	J	`jnl`	Termination for Hybrid Tableaus. J. Log. Comput. Thomas Bolander, Patrick Blackburn
2006	J	`jnl`	Arthur Prior and Hybrid Logic. Synth. Patrick Blackburn
2006	—	`conf`	Preface. HyLo@FLoC Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
2006	J	`jnl`	Pure Extensions, Proof Rules, and Hybrid Axiomatics. Stud Logica Patrick Blackburn, Balder ten Cate
2006	J	`jnl`	The Language of Time: A Reader. Comput. Linguistics Patrick Blackburn
2005	J	`jnl`	PDL for Ordered Trees. J. Appl. Non Class. Logics Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke
2005	—	`conf`	Reichenbach, Prior and Montague: A Semantic Get-together. We Will Show Them! (1) Carlos Areces, Patrick Blackburn
2005	—	`book`	Representation and Inference for Natural Language - a First Course in Computational Semantics. Patrick Blackburn, Johan Bos
2004	J	`jnl`	Inference and Computational Semantics. J. Log. Lang. Inf. Patrick Blackburn, Michael Kohlhase
2003	J	`jnl`	Constructive interpolation in hybrid logic. J. Symb. Log. Patrick Blackburn, Maarten Marx
2003	—	`conf`	Handling Boolean A Boxes. Description Logics Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx
2003	—	`ed.`	Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings CONTEXT Patrick Blackburn, Chiara Ghidini, Roy M. Turner, Fausto Giunchiglia
2003	J	`jnl`	Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Log. Carlos Areces, Patrick Blackburn, Maarten Marx
2002	J	`jnl`	Editorial. J. Log. Lang. Inf. Patrick Blackburn
2002	—	`conf`	Hybrid Logic and Description Logic. Description Logics Patrick Blackburn
2002	J	`jnl`	Remarks on Gregory's "Actually" Operator. J. Philos. Log. Patrick Blackburn, Maarten Marx
2002	B	`conf`	Tableaux for Quantified Hybrid Logic. TABLEAUX Patrick Blackburn, Maarten Marx
2001	J	`jnl`	Bringing them all Together. J. Log. Comput. Carlos Areces, Patrick Blackburn
2001	J	`jnl`	Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. Carlos Areces, Patrick Blackburn, Maarten Marx
2001	C	`conf`	Hybrid Ockhamist Temporal Logic. TIME Patrick Blackburn, Valentin Goranko
2001	—	`book`	Modal Logic Patrick Blackburn, Maarten de Rijke, Yde Venema
2001	J	`jnl`	Modal Logic As Dialogical Logic. Synth. Patrick Blackburn
2001	Misc	`conf`	Situation Calculus as Hybrid Logic: First Steps. EPIA Patrick Blackburn, Jaap Kamps, Maarten Marx
2001	J	`jnl`	Third International Workshop on Hybrid Logic (HyLo'01). Log. J. IGPL Patrick Blackburn, Maarten Marx
2000	J	`jnl`	Editorial: Alan Turing and Artificial Intelligence. J. Log. Lang. Inf. Varol Akman, Patrick Blackburn
2000	J	`jnl`	Internalizing labelled deduction. J. Log. Comput. Patrick Blackburn
2000	J	`jnl`	Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Log. J. IGPL Patrick Blackburn
2000	J	`jnl`	The Computational Complexity of Hybrid Temporal Logics. Log. J. IGPL Carlos Areces, Patrick Blackburn, Maarten Marx
1999	B	`conf`	A Road-Map on Complexity for Hybrid Logics. CSL Carlos Areces, Patrick Blackburn, Maarten Marx
1999	J	`jnl`	Basic Model Theory, Kees Doets. J. Log. Lang. Inf. Patrick Blackburn
1999	J	`jnl`	Hybrid Languages and Temporal Logic. Log. J. IGPL Patrick Blackburn, Miroslava Tzakova
1998	J	`jnl`	Hybrid Completeness. Log. J. IGPL Patrick Blackburn, Miroslava Tzakova
1998	J	`jnl`	Hybridizing Concept Languages. Ann. Math. Artif. Intell. Patrick Blackburn, Miroslava Tzakova
1997	—	`ch.`	Logic, Language, and Information. Relational Methods in Computer Science Patrick Blackburn, Maarten de Rijke, Yde Venema
1997	J	`jnl`	Why Combine Logics? Stud Logica Patrick Blackburn, Maarten de Rijke
1997	J	`jnl`	Zooming In, Zooming Out. J. Log. Lang. Inf. Patrick Blackburn, Maarten de Rijke
1996	—	`conf`	Logical Aspects of Computational Linguistics: An Introduction. LACL Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Éric Villemonte de la Clergerie
1996	J	`jnl`	Special Issue on Combining Logics - Editor's Introduction. Notre Dame J. Formal Log. Patrick Blackburn, Maarten de Rijke
1996	B	`conf`	What Are Hybrid Languages? Advances in Modal Logic Patrick Blackburn, Jerry Seligman
1995	B	`conf`	A Proof System for Finite Trees. CSL Patrick Blackburn, Wilfried Meyer-Viol, Maarten de Rijke
1995	A	`conf`	A Specification Language for Lexical Functional Grammars. EACL Patrick Blackburn, Claire Gardent
1995	J	`jnl`	A specification language for Lexical Functional Grammars CoRR Patrick Blackburn, Claire Gardent
1995	J	`jnl`	Dynamic squares. J. Philos. Log. Patrick Blackburn, Yde Venema
1995	J	`jnl`	Hybrid Languages. J. Log. Lang. Inf. Patrick Blackburn, Jerry Seligman
1995	J	`jnl`	Introduction: Static and Dynamic Aspects of Syntactic Structure. J. Log. Lang. Inf. Patrick Blackburn
1994	—	`conf`	Back and Forth Through Time and Events. ICTL Patrick Blackburn, Claire Gardent, Maarten de Rijke
1994	J	`jnl`	Linguistics, Logic and Finite Trees. Log. J. IGPL Patrick Blackburn, Wilfried Meyer-Viol
1994	J	`jnl`	Tense, Temporal Reference, and Tense Logic. J. Semant. Patrick Blackburn
1993	J	`jnl`	A modal perspective on the computational complexity of attribute value grammar. J. Log. Lang. Inf. Patrick Blackburn, Edith Spaan
1993	J	`jnl`	Nominal Tense Logic. Notre Dame J. Formal Log. Patrick Blackburn
1993	A	`conf`	Talking About Trees. EACL Patrick Blackburn, Claire Gardent, Wilfried Meyer-Viol
1991	A	`conf`	A Logical Approach To Arabic Phonology. EACL Steven Bird, Patrick Blackburn
1990	—	`—`	Nominal tense logic and other sorted intensional frameworks. Patrick Blackburn