Patrick Blackburn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
13
Active years
1991–2023
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | WoLLIC | An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. | Patrick Blackburn, Torben Braner, Julie Lundbak Kofod |
| 2022 | EMNLP | Ethics consideration sections in natural language processing papers. | Luciana Benotti, Patrick Blackburn |
| 2021 | EACL | Grounding as a Collaborative Process. | Luciana Benotti, Patrick Blackburn |
| 2021 | NAACL | A recipe for annotating grounded clarifications. | Luciana Benotti, Patrick Blackburn |
| 2020 | CADE | Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper). | Asta Halkjr From, Patrick Blackburn, Jrgen Villadsen |
| 2019 | WoLLIC | Rigid First-Order Hybrid Logic. | Patrick Blackburn, Manuel A. Martins, Mara Manzano, Antonia Huertas |
| 2018 | CogSci | A logical investigation of false-belief tasks. | Torben Braner, Irina Polyanskaya, Patrick Blackburn |
| 2016 | AiML | Synthetic completeness proofs for Seligman-style tableau systems. | Klaus Frovin Jrgensen, Patrick Blackburn, Thomas Bolander, Torben Braner |
| 2016 | CogSci | Recursive belief manipulation and second-order false-beliefs. | Torben Braner, Patrick Blackburn, Irina Polyanskaya |
| 2016 | CogSci | Linguistic recursion and Autism Spectrum Disorder. | Irina Polyanskaya, Torben Braner, Patrick Blackburn |
| 2016 | WoLLIC | Second-Order False-Belief Tasks: Analysis and Formalization. | Torben Braner, Patrick Blackburn, Irina Polyanskaya |
| 2013 | LPAR | A Seligman-Style Tableau System. | Patrick Blackburn, Thomas Bolander, Torben Braner, Klaus Frovin Jrgensen |
| 2012 | AiML | Indexical Hybrid Tense Logic. | Patrick Blackburn, Klaus Frovin Jrgensen |
| 2010 | SIGdial | Negotiating causal implicatures. | Luciana Benotti, Patrick Blackburn |
| 2002 | TABLEAUX | Tableaux for Quantified Hybrid Logic. | Patrick Blackburn, Maarten Marx |
| 2001 | EPIA | Situation Calculus as Hybrid Logic: First Steps. | Patrick Blackburn, Jaap Kamps, Maarten Marx |
| 2001 | TIME | Hybrid Ockhamist Temporal Logic. | Patrick Blackburn, Valentin Goranko |
| 1999 | CSL | A Road-Map on Complexity for Hybrid Logics. | Carlos Areces, Patrick Blackburn, Maarten Marx |
| 1996 | AiML | What Are Hybrid Languages? | Patrick Blackburn, Jerry Seligman |
| 1995 | CSL | A Proof System for Finite Trees. | Patrick Blackburn, Wilfried Meyer-Viol, Maarten de Rijke |
| 1995 | EACL | A Specification Language for Lexical Functional Grammars. | Patrick Blackburn, Claire Gardent |
| 1993 | EACL | Talking About Trees. | Patrick Blackburn, Claire Gardent, Wilfried Meyer-Viol |
| 1991 | EACL | A Logical Approach To Arabic Phonology. | Steven Bird, Patrick Blackburn |