Seán Matthews

John Hudzina

Dawn Sepehr

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2019

WestSearch Plus: A Non-factoid Question-Answering System for the Legal Domain.

[BibT_eX]

[DOI]

Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2019

A Latent Variable Model in Conflict Research.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

2000

Structuring Metatheory on Inductive Definitions.

[BibT_eX]

[DOI]

Inf. Comput., 2000

1998

Natural Deduction for Non-Classical Logics.

[BibT_eX]

[DOI]

Stud Logica, 1998

Labelled Modal Logics: Quantifiers.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1998

Scoped metatheorems.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

1997

Labelled Propositional Modal Logics: Theory and Practice.

[BibT_eX]

[DOI]

J. Log. Comput., 1997

Extending a Logical Framework with a Modal Connective for Validity.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Labelled Quantified Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

A New Method for Bounding the Complexity of Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

A Practical Implementation of Simple Consequence Relations Using Inductive Definitions.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1997

1996

Adding Metatheoretic Facilities to First-Order Theories.

[BibT_eX]

[DOI]

J. Log. Comput., 1996

Implementing Modal and Relevance Logics in a Logical Framework.

[BibT_eX]

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

A Topography of Labelled Modal Logics.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, 1996

Implementing FS<sub>0</sub> in Isabelle: Adding Structure at the Metalevel.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1993

A Framework for Program Development Based on Schematic Proof.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

A Conservative Extension of First-order Logic and Its Application to Theorem Proving.

[BibT_eX]

[DOI]