11 citations · 17 across the 10 of their papers we have counts for
3 papers · 1 filter
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
David Fuenmayor, Christoph Benzmüller
We present an approach towards the deep, pluralistic logical analysis of argumentative discourse that benefits from the application of state-of-the-art automated reasoning technolo…
Modelling Value-oriented Legal Reasoning in LogiKEy
Christoph Benzmüller, David Fuenmayor, Bertram Lomfeld
The logico-pluralist LogiKEy knowledge engineering methodology and framework is applied to the modelling of a theory of legal balancing in which legal knowledge (cases and laws) is…
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account
Walter Carnielli, Marcelo E. Coniglio, David Fuenmayor
It is customary to expect from a logical system that it can be algebraizable, in the sense that an algebraic companion of the deductive machinery can always be found. Since the inc…