Seán Matthews

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 4

Top Topics

Legal Reasoning

False Positives

Detection Accuracy

Top Venues

Publications

Seán Matthews, John Hudzina, Dawn Sepehr
Gender and Racial Stereotype Detection in Legal Opinion Word Embeddings. AAAI (2022)
Seán Matthews, John Hudzina, Dawn Sepehr
Gender and Racial Stereotype Detection in Legal Opinion Word Embeddings. CoRR (2022)
Gayle McElvain, George Sanchez, Seán Matthews, Don Teo, Filippo Pompili, Tonya Custis
WestSearch Plus: A Non-factoid Question-Answering System for the Legal Domain. SIGIR (2019)
Uwe M. Borghoff, Seán Matthews, Holger Prüßing, Christian T. Schäfer, Oliver Stuke
A Latent Variable Model in Conflict Research. EUROCAST (1) (2019)
David A. Basin, Seán Matthews
Structuring Metatheory on Inductive Definitions. Inf. Comput. 162 (1-2) (2000)
David A. Basin, Seán Matthews, Luca Viganò
Natural Deduction for Non-Classical Logics. Stud Logica 60 (1) (1998)
David A. Basin, Seán Matthews, Luca Viganò
Labelled Modal Logics: Quantifiers. J. Log. Lang. Inf. 7 (3) (1998)
David A. Basin, Seán Matthews
Scoped metatheorems. WRLA (1998)
Seán Matthews
Extending a Logical Framework with a Modal Connective for Validity. TACS (1997)
David A. Basin, Seán Matthews, Luca Viganò
Labelled Quantified Modal Logics. KI (1997)
David A. Basin, Seán Matthews, Luca Viganò
Labelled Propositional Modal Logics: Theory and Practice. J. Log. Comput. 7 (6) (1997)
Seán Matthews
A Practical Implementation of Simple Consequence Relations Using Inductive Definitions. CADE (1997)
David A. Basin, Seán Matthews, Luca Viganò
A New Method for Bounding the Complexity of Modal Logics. Kurt Gödel Colloquium (1997)
David A. Basin, Seán Matthews
Structuring Metatheory on Inductive Definitions. CADE (1996)
David A. Basin, Seán Matthews
Adding Metatheoretic Facilities to First-Order Theories. J. Log. Comput. 6 (6) (1996)
Seán Matthews
in Isabelle: Adding Structure at the Metalevel. DISCO (1996)
David A. Basin, Seán Matthews, Luca Viganò
A Topography of Labelled Modal Logics. FroCoS (1996)
David A. Basin, Seán Matthews, Luca Viganò
Implementing Modal and Relevance Logics in a Logical Framework. KR (1996)
David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews
A Framework for Program Development Based on Schematic Proof. IWSSD (1993)
David A. Basin, Seán Matthews
A Conservative Extension of First-order Logic and Its Application to Theorem Proving. FSTTCS (1993)