5 citations · 13 across the 9 of their papers we have counts for
Showing 2019 · cs.AIShow all
2 papers · 2 filters
cs.AI2019★ 2 cited
The NAI Suite -- Drafting and Reasoning over Legal Texts
Tomer Libal, Alexander Steen
A prototype for automated reasoning over legal texts, called NAI, is presented. As an input, NAI accepts formalized logical representations of such legal texts that can be created…
cs.AI2019
Extensional Higher-Order Paramodulation in Leo-III
Alexander Steen, Christoph Benzmüller
Leo-III is an automated theorem prover for extensional type theory with Henkin semantics and choice. Reasoning with primitive equality is enabled by adapting paramodulation-based p…