6 citations · 12 across the 4 of their papers we have counts for
5 papers
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics
Daniel Gorín, Lutz Schröder
While reasoning in a logic extending a complete Boolean basis is coNP-hard, restricting to conjunctive fragments of modal languages sometimes allows for tractable reasoning even in…
Simulations and Bisimulations For Coalgebraic Modal Logics
Daniel Gorín, Lutz Schröder
We define a notion of Lambda-simulation for coalgebraic modal logics, parametric on the choice Lambda of predicate liftings for a functor T. We show this notion is adequate in seve…
A Software Tool for Legal Drafting
Daniel Gorín, Sergio Mera, Fernando Schapachnik
Although many attempts at automated aids for legal drafting have been made, they were based on the construction of a new tool, completely from scratch. This is at least curious, co…
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Guido de Caso, Diego Garbervetsky, Daniel Gorín
Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amount of rese…
The Question of Expressiveness in the Generation of Referring Expressions
Carlos Areces, Santiago Figueira, Daniel Gorín
We study the problem of generating referring expressions modulo different notions of expressive power. We define the notion of $\+L$-referring expression, for a formal language $\+…