Tomer Libal

Orcid: 0000-0003-3261-0180

According to our database1, Tomer Libal authored at least 33 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Enhancing Legal Argument Retrieval with Optimized Language Model Techniques.
Proceedings of the New Frontiers in Artificial Intelligence, 2024

2023
Legal linguistic templates and the tension between legal knowledge representation and reasoning.
Frontiers Artif. Intell., February, 2023

Giving Examples Instead of Answering Questions: Introducing Legal Concept-Example Systems.
Proceedings of the Legal Knowledge and Information Systems, 2023

2022
Functions-as-constructors higher-order unification: extended pattern unification.
Ann. Math. Artif. Intell., 2022

The LegAi Editor: A Tool for the Construction of Legal Knowledge Bases.
Proceedings of the Legal Knowledge and Information Systems, 2022

Do Lawyers Use Automated Reasoning? (invited paper).
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.
Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2022

2021
Towards Transparent Legal Formalization.
Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

2020
Towards Automated GDPR Compliance Checking.
Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020

A Bimodal Simulation of Defeasibility in the Normative Domain.
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.
Proceedings of the Logic and Argumentation - Third International Conference, 2020

A Meta-level Annotation Language for Legal Texts.
Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019
A general proof certification framework for modal logic.
Math. Struct. Comput. Sci., 2019

The NAI Suite - Drafting and Reasoning over Legal Texts.
Proceedings of the Legal Knowledge and Information Systems, 2019

NAI: The Normative Reasoner.
Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019

Automated reasoning in normative detachment structures with ideal conditions.
Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019

2018
A Simple Semi-automated Proof Assistant for First-order Modal Logics.
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.
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017

2016
Certification of Prefixed Tableau Proofs for Modal Logic.
Proceedings of the Seventh International Symposium on Games, 2016

Functions-as-Constructors Higher-Order Unification.
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.
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.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015
The Proof Certifier Checkers.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Defining the meaning of TPTP formatted proofs.
Proceedings of the IWIL@LPAR 2015, 2015

Regular Patterns in Second-Order Unification.
Proceedings of the Automated Deduction - CADE-25, 2015

2014
Advanced Proof Viewing in ProofTool.
Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

2013
Understanding Resolution Proofs through Herbrand's Theorem.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

2012
PROOFTOOL: a GUI for the GAPT Framework.
Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

System Feature Description: Importing Refutations into the GAPT Framework.
Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012

Bounded Higher-order Unification using Regular Terms.
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.
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2010
System Description: The Proof Transformation System CERES.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010


  Loading...