( en | de | ru )

 

Disambiguation of "Matthews, Seán"

Author of the publication

copydeleteadd this publication to your clipboard
WestSearch Plus: A Non-factoid Question-Answering System for the Legal Domain.

, , , , , and . SIGIR, page 1361-1364. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ralph Matthews

Donoghue Sean

James Matthews

Danny Matthews

Hanna Matthews

 

Other publications of authors with the same name

Implementing FS0 in Isabelle: Adding Structure at the Metalevel.. DISCO, volume 1128 of Lecture Notes in Computer Science, page 228-239. Springer, (1996)A Practical Implementation of Simple Consequence Relations Using Inductive Definitions.. CADE, volume 1249 of Lecture Notes in Computer Science, page 306-320. Springer, (1997)A Framework for Program Development Based on Schematic Proof., , , and . IWSSD, page 162-171. IEEE Computer Society, (1993)WestSearch Plus: A Non-factoid Question-Answering System for the Legal Domain., , , , , and . SIGIR, page 1361-1364. ACM, (2019)Adding Metatheoretic Facilities to First-Order Theories., and . J. Log. Comput., 6 (6): 835-849 (1996)Gender and Racial Stereotype Detection in Legal Opinion Word Embeddings., , and . AAAI, page 12026-12033. AAAI Press, (2022)Structuring Metatheory on Inductive Definitions., and . CADE, volume 1104 of Lecture Notes in Computer Science, page 171-185. Springer, (1996)Extending a Logical Framework with a Modal Connective for Validity.. TACS, volume 1281 of Lecture Notes in Computer Science, page 491-514. Springer, (1997)A Conservative Extension of First-order Logic and Its Application to Theorem Proving., and . FSTTCS, volume 761 of Lecture Notes in Computer Science, page 151-160. Springer, (1993)Structuring Metatheory on Inductive Definitions., and . Inf. Comput., 162 (1-2): 80-95 (2000)