( en | de | ru )

 

Disambiguation of "Gorín, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning with Bounded Self-reference Using Logical Interpreters.

, , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 689-703. CEUR-WS.org, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Gorin

Arseniy Gorin

Monika Gorin

Jérôme Gorin

Markus Heinrich Göring

 

Other publications of authors with the same name

Ordered Resolution with Selection for H(@)., and . LPAR, volume 3452 of Lecture Notes in Computer Science, page 125-141. Springer, (2004)Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics., and . Advances in Modal Logic, page 254-273. College Publications, (2014)Testing Provers on a Grid - Framework Description., , , and . Description Logics, volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)., , , , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 396-402. Springer, (2014)Integrated program verification tools in education., , and . Softw. Pract. Exp., 43 (4): 403-418 (2013)The Question of Expressiveness in the Generation of Referring Expressions, , and . CoRR, (2010)Model Checking Legal Documents., , and . JURIX, volume 223 of Frontiers in Artificial Intelligence and Applications, page 151-154. IOS Press, (2010)Extending ALCQ with Bounded Self-Reference., and . Advances in Modal Logic, page 300-316. College Publications, (2012)Unsorted Functional Translations., and . M4M/LAMAS, volume 278 of Electronic Notes in Theoretical Computer Science, page 3-16. Elsevier, (2011)Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)., and . J. Appl. Log., 8 (4): 305-318 (2010)