Daniel Gorín

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