Tomer Libal - RankMe

41 papers A 2B 3C 8Journal 8Unranked 20

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