I'm a Research Associate at the Computer Science Department of the Universidad de Buenos Aires, working in the Logic, Language and Computability Research Group (GLyC).
UPDATE: Since April 2012 I'm at FAU Erlangen-Nürnberg, Germany. My page there is more up to date.
Contact
Oficina 13, Departamento de Computación
Pabellón I – Ciudad Universitaria
(C1428EGA) C. A. de Buenos Aires – Argentina
Tel: +54 11 4576-3390/6 ext. 705
Fax: +54 11 4576-3359
e-mail: dgorin (blah blah) dc . uba . ar
Research
My research interests are mainly in Computational Logic, in particular in the area of modal logics (including hybrid logics and coalgebraic modal logics). I'm interested in theoretical aspects and also in applications, especially software verification and the construction of provably correct programs in general.
Publications
- 2012
-
-
and
Integrated Program Verification Tools in Education.
Software: Practice & Experience,
to appear.
-
and
Extending ALCQ with bounded self-reference.
In
Advances in Modal Logic, vol. 9.
College Publications. To appear.
-
and
Narcissists are easy, stepmothers are hard.
In
FoSSaCS '12,
LNCS 7213,
pages 240–254.
Springer.
doi://10.1007/978-3-642-28729-9_16
-
and
Integrated Program Verification Tools in Education.
Software: Practice & Experience,
to appear.
- 2011
-
-
and
Unsorted functional translations.
In
M4M '11,
ENTCS 278, pages 3–16.
Elsevier.
doi://10.1016/j.entcs.2011.10.002
-
and
A Software Tool for Legal Drafting.
In
FLACOS '11,
EPTCS 68, pages 71–86.
Electronic Proceedings in Theoretical Computer Science.
doi://10.4204/EPTCS.68.7
-
and
Using Logic in the Generation of Referring Expressions.
In
LACL '11,
LNCS 6736, pages 17–32.
Springer.
doi://10.1007/978-3-642-22221-4_2
-
and
Pest: from the Lab to the Classroom.
In
TOPI '11,
ICSE Workshop Proceedings,
pages 5–8.
ACM.
doi://10.1145/1984708.1984711
-
and
On the expressive power of IF-logic with classical negation.
In
WoLLIC '11,
LNCS 6642,
pages 135–145.
Springer.
doi://10.1007/978-3-642-20920-8_16
-
and
Enforcing Structural Invariants Using Dynamic Frames.
In
TACAS '11,
LNCS 6605, pages 65–80.
Springer.
doi://10.1007/978-3-642-19835-9_8
-
and
Resolution with Order and Selection for Hybrid Logics.
Journal of Automated Reasoning,
46(1):1–42.
doi://10.1007/s10817-010-9167-0
-
and
Unsorted functional translations.
In
M4M '11,
ENTCS 278, pages 3–16.
Elsevier.
doi://10.1016/j.entcs.2011.10.002
- 2010
-
-
and
Model Checking Legal Documents.
In
JURIX '10,
Frontiers in Artificial Intelligence and Applications 223,
pages 151–154.
IOS Press.
doi://10.3233/978-1-60750-682-9-151
-
and
On the size of shortest modal descriptions.
In
Advances in Modal Logic, vol. 8,
pages 120–139.
College Publications.
-
and
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction).
Journal of Applied Logic,
8(4):305–318.
doi://10.1016/j.jal.2010.08.010
-
and
On the formal semantics of IF-like logics.
Journal of Computer and System Sciences,
76(5):333–346.
doi://10.1016/j.jcss.2009.10.006
-
and
Verificación automática de documentos normativos: ¿ficción o realidad?.
In
Anales del Simposio Argentino de Informática y Derecho (SID 2010) de las 39as Jornadas Argentinas de Informática (39JAIIO).
-
and
Model Checking Legal Documents.
In
JURIX '10,
Frontiers in Artificial Intelligence and Applications 223,
pages 151–154.
IOS Press.
doi://10.3233/978-1-60750-682-9-151
- 2009
-
-
Automated reasoning techniques for hybrid logics.
Phd. Thesis.
-
and
Testing Provers on a Grid – Framework Description .
In
DL '09,
CEUR Workshop Proceedings.
CEUR-WS.org.
-
and
Tableaux and model checking for Memory logics.
In
TABLEAUX '09,
LNCS 5607, pages 47–61.
Springer.
doi://10.1007/978-3-642-02716-1_5
-
and
Reducing the number of annotations in a verification-oriented imperative language.
In
APV '09.
-
Automated reasoning techniques for hybrid logics.
Phd. Thesis.
- 2008
-
-
and
On the formal semantics of IF-like logics.
In
WoLLIC '08,
LNCS 5110,
pages 164–178.
Springer.
doi://10.1007/978-3-540-69937-8_15
-
and
On the formal semantics of IF-like logics.
In
WoLLIC '08,
LNCS 5110,
pages 164–178.
Springer.
doi://10.1007/978-3-540-69937-8_15
- 2006
-
-
Hybrid Layering.
In
ESSLLI StuS '06.
-
Hybrid Layering.
In
ESSLLI StuS '06.
- 2005
-
-
and
Ordered resolution with selection for H(@).
In
LPAR '04,
LNCS 3452,
pages 125–141.
Springer.
doi://10.1007/978-3-540-32275-7_9
-
and
Ordered resolution with selection for H(@).
In
LPAR '04,
LNCS 3452,
pages 125–141.
Springer.
doi://10.1007/978-3-540-32275-7_9
- 2004
-
-
and
Resolución con orden y selección para la lógica H(@).
In
CLEI '04.
-
and
Resolución con orden y selección para la lógica H(@).
In
CLEI '04.