Tomer Libal

According to our database, Tomer Libal authored at least 32 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2023

Legal linguistic templates and the tension between legal knowledge representation and reasoning.

Tomer Libal

Frontiers Artif. Intell., February, 2023

Giving Examples Instead of Answering Questions: Introducing Legal Concept-Example Systems.

Tomer Libal, Aleksander Smywinski-Pohl

Proceedings of the Legal Knowledge and Information Systems, 2023

2022

Functions-as-constructors higher-order unification: extended pattern unification.

Tomer Libal, Dale Miller

Ann. Math. Artif. Intell., 2022

The LegAi Editor: A Tool for the Construction of Legal Knowledge Bases.

Tomer Libal

Proceedings of the Legal Knowledge and Information Systems, 2022

Do Lawyers Use Automated Reasoning? (invited paper).

Tomer Libal

Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 2022

An Evaluation of Methodologies for Legal Formalization.

Tereza Novotná, Tomer Libal

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2022

2021

Towards Transparent Legal Formalization.

Tomer Libal, Tereza Novotná

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

2020

Towards Automated GDPR Compliance Checking.

Tomer Libal

Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020

A Bimodal Simulation of Defeasibility in the Normative Domain.

Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay

Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

Towards an Executable Methodology for the Formalization of Legal Texts.

Tomer Libal, Alexander Steen

Proceedings of the Logic and Argumentation - Third International Conference, 2020

A Meta-level Annotation Language for Legal Texts.

Tomer Libal

Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019

A general proof certification framework for modal logic.

Tomer Libal, Marco Volpe

Math. Struct. Comput. Sci., 2019

The NAI Suite - Drafting and Reasoning over Legal Texts.

Tomer Libal, Alexander Steen

Proceedings of the Legal Knowledge and Information Systems, 2019

NAI: The Normative Reasoner.

Tomer Libal, Alexander Steen

Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019

Automated reasoning in normative detachment structures with ideal conditions.

Tomer Libal, Matteo Pascucci

Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019

2018

A Simple Semi-automated Proof Assistant for First-order Modal Logics.

Tomer Libal

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

2017

Determinism in the Certification of UNSAT Proofs.

Tomer Libal, Xaviera Steele

Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017

2016

Certification of Prefixed Tableau Proofs for Modal Logic.

Tomer Libal, Marco Volpe

Proceedings of the Seventh International Symposium on Games, 2016

Functions-as-Constructors Higher-Order Unification.

Tomer Libal, Dale Miller

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers.

Tomer Libal, Alexander Steen

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

Proving Determinacy of the PharOS Real-Time Operating System.

Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

The Proof Certifier Checkers.

Zakaria Chihani, Tomer Libal, Giselle Reis

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Defining the meaning of TPTP formatted proofs.

Roberto Blanco, Tomer Libal, Dale Miller

Proceedings of the IWIL@LPAR 2015, 2015

Regular Patterns in Second-Order Unification.

Tomer Libal

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Advanced Proof Viewing in ProofTool.

Tomer Libal, Martin Riener, Mikheil Rukhaia

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.

Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

2013

Understanding Resolution Proofs through Herbrand's Theorem.

Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

2012

PROOFTOOL: a GUI for the GAPT Framework.

Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

System Feature Description: Importing Refutations into the GAPT Framework.

Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012

Bounded Higher-order Unification using Regular Terms.

Tomer Libal

Proceedings of the UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, 2012

A Resolution Calculus for Second-order Logic with Eager Unification.

Alexander Leitsch, Tomer Libal

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2010

System Description: The Proof Transformation System CERES.

Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010