( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Legal linguistic templates and the tension between legal knowledge representation and reasoning.

. Frontiers Artif. Intell., (февраля 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Barbara Libal

Ulrike Libal

Amir Tomer

Raju Tomer

Alexandra-Maria Tomerius

 

Другие публикации лиц с тем же именем

A general proof certification framework for modal logic., и . CoRR, (2018)A Resolution Calculus for Second-order Logic with Eager Unification., и . PAAR@IJCAR, том 21 из EPiC Series in Computing, стр. 95. EasyChair, (2012)Do Lawyers Use Automated Reasoning? (invited paper).. ARQNL@IJCAR, том 3326 из CEUR Workshop Proceedings, стр. 1-10. CEUR-WS.org, (2022)NAI: The Normative Reasoner., и . ICAIL, стр. 262-263. ACM, (2019)Legal linguistic templates and the tension between legal knowledge representation and reasoning.. Frontiers Artif. Intell., (февраля 2023)Automated Reasoning in Normative Detachment Structures with Ideal Conditions., и . CoRR, (2018)Giving Examples Instead of Answering Questions: Introducing Legal Concept-Example Systems, и . IOS Press, (декабря 2023)The LegAi Editor: A Tool for the Construction of Legal Knowledge Bases.. JURIX, том 362 из Frontiers in Artificial Intelligence and Applications, стр. 286-289. IOS Press, (2022)A Simple Semi-automated Proof Assistant for First-order Modal Logics.. ARQNL@IJCAR, том 2095 из CEUR Workshop Proceedings, стр. 34-48. CEUR-WS.org, (2018)Bounded Higher-order Unification using Regular Terms.. UNIF, том 24 из EPiC Series in Computing, стр. 28-49. EasyChair, (2012)