Tomer Libal

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 28

Top Topics

Top Venues

Publications

Aleksander Smywinski-Pohl, Tomer Libal
Enhancing Legal Argument Retrieval with Optimized Language Model Techniques. JSAI-isAI (2024)
Tomer Libal, Aleksander Smywinski-Pohl
Giving Examples Instead of Answering Questions: Introducing Legal Concept-Example Systems. JURIX (2023)
Tomer Libal
Legal linguistic templates and the tension between legal knowledge representation and reasoning. Frontiers Artif. Intell. 6 (2023)
Tomer Libal, Dale Miller
Functions-as-constructors higher-order unification: extended pattern unification. Ann. Math. Artif. Intell. 90 (5) (2022)
Tomer Libal
Do Lawyers Use Automated Reasoning? (invited paper). ARQNL@IJCAR (2022)
Tomer Libal
The LegAi Editor: A Tool for the Construction of Legal Knowledge Bases. JURIX (2022)
Tereza Novotná, Tomer Libal
An Evaluation of Methodologies for Legal Formalization. EXTRAAMAS@AAMAS (2022)
Tomer Libal, Tereza Novotná
Towards Transparent Legal Formalization. EXTRAAMAS@AAMAS (2021)
Tomer Libal, Alexander Steen
Towards an Executable Methodology for the Formalization of Legal Texts. CLAR (2020)
Tomer Libal
Towards Automated GDPR Compliance Checking. TAILOR (2020)
Tomer Libal
A Meta-level Annotation Language for Legal Texts. CLAR (2020)
Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay
A Bimodal Simulation of Defeasibility in the Normative Domain. FCR@KI (2020)
Tomer Libal, Alexander Steen
The NAI Suite - Drafting and Reasoning over Legal Texts. JURIX (2019)
Tomer Libal, Alexander Steen
NAI: The Normative Reasoner. ICAIL (2019)
Tomer Libal, Matteo Pascucci
Automated reasoning in normative detachment structures with ideal conditions. ICAIL (2019)
Tomer Libal, Marco Volpe
A general proof certification framework for modal logic. Math. Struct. Comput. Sci. 29 (8) (2019)
Tomer Libal, Alexander Steen
The NAI Suite - Drafting and Reasoning over Legal Texts. CoRR (2019)
Tomer Libal, Matteo Pascucci
Automated Reasoning in Normative Detachment Structures with Ideal Conditions. CoRR (2018)
Tomer Libal, Marco Volpe
A general proof certification framework for modal logic. CoRR (2018)
Tomer Libal
A Simple Semi-automated Proof Assistant for First-order Modal Logics. ARQNL@IJCAR (2018)
Tomer Libal, Xaviera Steele
Determinism in the Certification of UNSAT Proofs. PxTP (2017)
Tomer Libal, Dale Miller
Functions-as-Constructors Higher-Order Unification. FSCD (2016)
Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz
Proving Determinacy of the PharOS Real-Time Operating System. ABZ (2016)
Tomer Libal, Marco Volpe
Certification of Prefixed Tableau Proofs for Modal Logic. GandALF (2016)
Tomer Libal, Alexander Steen
Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers. PAAR@IJCAR (2016)
Roberto Blanco, Tomer Libal, Dale Miller
Defining the meaning of TPTP formatted proofs. IWIL@LPAR (2015)
Tomer Libal
Regular Patterns in Second-Order Unification. CADE (2015)
Zakaria Chihani, Tomer Libal, Giselle Reis
The Proof Certifier Checkers. TABLEAUX (2015)
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. ARQNL@IJCAR (2014)
Tomer Libal, Martin Riener, Mikheil Rukhaia
Advanced Proof Viewing in ProofTool. UITP (2014)
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. CoRR (2014)
Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia
Understanding Resolution Proofs through Herbrand's Theorem. TABLEAUX (2013)
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
System Feature Description: Importing Refutations into the GAPT Framework. PxTP (2012)
Tomer Libal
Bounded Higher-order Unification using Regular Terms. UNIF (2012)
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
PROOFTOOL: a GUI for the GAPT Framework. UITP (2012)
Alexander Leitsch, Tomer Libal
A Resolution Calculus for Second-order Logic with Eager Unification. PAAR@IJCAR (2012)
Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo
System Description: The Proof Transformation System CERES. IJCAR (2010)