Results 1-20 of 42.
((uid:50031912))

Bookmark and Share    
Full Text
Peer Reviewed
See detailThe Higher-Order Prover Leo-III (Highlight paper)
Steen, Alexander UL; Benzmüller, Christoph UL

in Proceedings of the 24th European Conference on Artificial Intelligence (in press)

Detailed reference viewed: 22 (0 UL)
Full Text
See detailOn Reductions of Hintikka Sets for Higher-Order Logic
Steen, Alexander UL; Benzmüller, Christoph UL

E-print/Working paper (2020)

Detailed reference viewed: 70 (2 UL)
Full Text
Peer Reviewed
See detailTowards an Executable Methodology for the Formalization of Legal Texts
Libal, Tomer UL; Steen, Alexander UL

in Dastani, Mehdi; Dong, Huimin; van der Torre, Leon (Eds.) Logic and Argumentation. CLAR 2020 (2020, March)

A methodology for the formalization of legal texts is presented. This methodology is based on features of the NAI Suite, a recently developed formalization environment for legal texts. The ability of the ... [more ▼]

A methodology for the formalization of legal texts is presented. This methodology is based on features of the NAI Suite, a recently developed formalization environment for legal texts. The ability of the tool to execute queries is used in order to drive a correct formalization until all queries are validated. The approach is studied on a fragment of the Smoking Prohibition (Children in Motor Vehicles) (Scotland) Act 2016 of the Scottish Parliament. [less ▲]

Detailed reference viewed: 32 (1 UL)
Full Text
Peer Reviewed
See detailNAI: Towards Transparent and Usable Semi-Automated Legal Analysis
Libal, Tomer UL; Steen, Alexander UL

in Schweighöfer, Erich; Hötzendorfer, Walter; Kummer, Franz (Eds.) et al Verantwortungsbewusste Digitalisierung, Tagungsband des 23. Internationalen Rechtsinformatik Symposions IRIS 2020 (2020, February 27)

A prototype for automated reasoning over legal documents, called NAI, is presented. It uses formalized representations of legal documents that are created using a graphical editor that is also provided as ... [more ▼]

A prototype for automated reasoning over legal documents, called NAI, is presented. It uses formalized representations of legal documents that are created using a graphical editor that is also provided as part of NAI. The prototype supports several automated reasoning procedures over the given formalizations, including the execution of user queries. The application of NAI is studied using a fragment of the Scottish Smoking Prohibition (Children in Motor Vehicles) Act 2016. [less ▲]

Detailed reference viewed: 52 (6 UL)
Full Text
Peer Reviewed
See detailExtensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
Steen, Alexander UL

in KI – Künstliche Intelligenz (2020), 34(1), 105-108

Detailed reference viewed: 53 (8 UL)
Full Text
See detailConsistent Rational Argumentation in Politics (CRAP)
Benzmüller, Christoph UL; Steen, Alexander UL

Poster (2019, November)

Detailed reference viewed: 23 (1 UL)
See detailLeo-III 1.4
Steen, Alexander UL

Software (2019)

Detailed reference viewed: 12 (1 UL)
Full Text
Peer Reviewed
See detailProceedings of the Deduktionstreffen 2019
Schon, Claudia; Steen, Alexander UL

Scientific Conference (2019, September 23)

The annual meeting Deduktionstreffen is the prime activity of the Special Interest Group on Deduction Systems (FG DedSys) of the AI Section of the German Society for Informatics (GI-FBKI). It is a meeting ... [more ▼]

The annual meeting Deduktionstreffen is the prime activity of the Special Interest Group on Deduction Systems (FG DedSys) of the AI Section of the German Society for Informatics (GI-FBKI). It is a meeting with a familiar, friendly atmosphere, where everyone interested in deduction can report on their work in an informal setting. [less ▲]

Detailed reference viewed: 43 (2 UL)
See detailRuleML+RR 2019 Doctoral Consortium and Rule Challenge
Soylu, Ahmet; Moschoyiannis, Sotiris; Governatori, Guido et al

Book published by CEUR-WS.org (2019)

Detailed reference viewed: 20 (1 UL)
Full Text
Peer Reviewed
See detailHigher-Order Theorem Proving and its Applications
Steen, Alexander UL

in IT-Information Technology (2019), 61(4), 187-191

Detailed reference viewed: 76 (3 UL)
See detailChallenges in Higher-Order Theorem Proving
Steen, Alexander UL

Article for general public (2019)

Detailed reference viewed: 29 (3 UL)
See detailThe Higher-Order Prover Leo-III
Steen, Alexander UL

Presentation (2019, April 26)

Detailed reference viewed: 19 (0 UL)
Full Text
See detailExtensional Higher-Order Paramodulation in Leo-III
Steen, Alexander UL; Benzmüller, Christoph UL

E-print/Working paper (2019)

Detailed reference viewed: 26 (1 UL)
Full Text
Peer Reviewed
See detailThe Higher-Order Prover Leo-III (Extended Abstract)
Steen, Alexander UL; Benzmüller, Christoph UL

in Benzmüller, Christoph; Stuckenschmidt, Heiner (Eds.) {KI} 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (2019)

Detailed reference viewed: 41 (1 UL)
Full Text
Peer Reviewed
See detailNAI: The Normative Reasoner
Libal, Tomer UL; Steen, Alexander UL

in Bex, Floris (Ed.) Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law (2019)

Detailed reference viewed: 28 (5 UL)
Full Text
Peer Reviewed
See detailThe NAI Suite - Drafting and Reasoning over Legal Texts
Libal, Tomer UL; Steen, Alexander UL

in Araszkiewicz, Michal; Rodriguez-Doncel, Victor (Eds.) Legal Knowledge and Information Systems - JURIX2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019 (2019)

Detailed reference viewed: 14 (0 UL)
See detailNAI – The Normative Reasoner
Libal, Tomer UL; Steen, Alexander UL

Software (2019)

Detailed reference viewed: 13 (0 UL)
Full Text
See detailExtensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
Steen, Alexander UL

Book published by AKA-Verlag (2018)

Detailed reference viewed: 71 (4 UL)
Full Text
Peer Reviewed
See detailSystem Demonstration: The Higher-Order Prover Leo-III
Steen, Alexander UL; Benzmüller, Christoph UL

in CEUR Workshop Proceedings (2018), 2095

Detailed reference viewed: 31 (15 UL)