Seán Matthews

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