Daniel Gorín

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 1

Top Topics

Coronary Heart Disease

Clinical Practice

Top Venues

Advances in Modal Logic

Description Logics

Publications

Daniel Gorín, Malte Meyn, Alexander Naumann, Miriam Polzer, Ulrich Rabenstein, Lutz Schröder
Ontological Modelling of a Psychiatric Clinical Practice Guideline. KI (2017)
Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann, Thorsten Wißmann
Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). IJCAR (2014)
Daniel Gorín, Lutz Schröder
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. Advances in Modal Logic (2014)
Santiago Figueira, Daniel Gorín, Rafael Grimson
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies. J. Comput. Syst. Sci. 80 (6) (2014)
Daniel Gorín, Lutz Schröder
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. CoRR (2014)
Daniel Gorín, Lutz Schröder
Simulations and Bisimulations for Coalgebraic Modal Logics. CALCO (2013)
Daniel Gorín, Lutz Schröder, Thorsten Wißmann
Reasoning with Bounded Self-reference Using Logical Interpreters. Description Logics (2013)
Daniel Gorín, Lutz Schröder
Simulations and Bisimulations For Coalgebraic Modal Logics CoRR (2013)
Facundo Carreiro, Daniel Gorín, Lutz Schröder
Coalgebraic Announcement Logics. ICALP (2) (2013)
Guido de Caso, Diego Garbervetsky, Daniel Gorín
Integrated program verification tools in education. Softw. Pract. Exp. 43 (4) (2013)
Daniel Gorín, Lutz Schröder
Extending ALCQ with Bounded Self-Reference. Advances in Modal Logic (2012)
Daniel Gorín, Lutz Schröder
Narcissists Are Easy, Stepmothers Are Hard. FoSSaCS (2012)
Santiago Figueira, Daniel Gorín, Rafael Grimson
On the Expressive Power of IF-Logic with Classical Negation. WoLLIC (2011)
Carlos Areces, Santiago Figueira, Daniel Gorín
Using Logic in the Generation of Referring Expressions. LACL (2011)
Guido de Caso, Diego Garbervetsky, Daniel Gorín
Pest: from the lab to the classroom. TOPI@ICSE (2011)
Daniel Gorín, Sergio Mera, Fernando Schapachnik
A Software Tool for Legal Drafting FLACOS (2011)
Diego Garbervetsky, Daniel Gorín, Ariel Neisen
Enforcing Structural Invariants Using Dynamic Frames. TACAS (2011)
Carlos Areces, Daniel Gorín
Resolution with Order and Selection for Hybrid Logics. J. Autom. Reason. 46 (1) (2011)
Carlos Areces, Daniel Gorín
Unsorted Functional Translations. Electron. Notes Theor. Comput. Sci. 278 (2011)
Guido de Caso, Diego Garbervetsky, Daniel Gorín
Reducing the Number of Annotations in a Verification-oriented Imperative Language CoRR (2010)
Santiago Figueira, Daniel Gorín, Rafael Grimson
On the formal semantics of IF-like logics. J. Comput. Syst. Sci. 76 (5) (2010)
Carlos Areces, Santiago Figueira, Daniel Gorín
The Question of Expressiveness in the Generation of Referring Expressions CoRR (2010)
Carlos Areces, Daniel Gorín
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction). J. Appl. Log. 8 (4) (2010)
Santiago Figueira, Daniel Gorín
On the Size of Shortest Modal Descriptions. Advances in Modal Logic (2010)
Daniel Gorín, Sergio Mera, Fernando Schapachnik
Model Checking Legal Documents. JURIX (2010)
Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera
Tableaux and Model Checking for Memory Logics. TABLEAUX (2009)
Carlos Areces, Daniel Gorín, Alejandra Lorenzo, Mariano Pérez Rodríguez
Testing Provers on a Grid - Framework Description. Description Logics (2009)
Santiago Figueira, Daniel Gorín, Rafael Grimson
On the Formal Semantics of IF-Like Logics. WoLLIC (2008)
Carlos Areces, Daniel Gorín
Ordered Resolution with Selection for H(@). LPAR (2004)