Daniel Gorín

Rafael Grimson

J. Comput. Syst. Sci., 2014

Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description).

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 10, 2014

2013

Integrated program verification tools in education.

[BibT_eX]

[DOI]

Guido de Caso

Softw. Pract. Exp., 2013

Coalgebraic Announcement Logics.

[BibT_eX]

[DOI]

Facundo Carreiro

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Reasoning with Bounded Self-reference Using Logical Interpreters.

[BibT_eX]

[DOI]

Thorsten Wißmann

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Simulations and Bisimulations for Coalgebraic Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

Narcissists Are Easy, Stepmothers Are Hard.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Extending ALCQ with Bounded Self-Reference.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 9, 2012

2011

Resolution with Order and Selection for Hybrid Logics.

[BibT_eX]

[DOI]

J. Autom. Reason., 2011

Unsorted Functional Translations.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Methods for Modalities, 2011

A Software Tool for Legal Drafting

[BibT_eX]

[DOI]

Sergio Mera

Fernando Schapachnik

Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011

On the Expressive Power of IF-Logic with Classical Negation.

[BibT_eX]

[DOI]

Rafael Grimson

Proceedings of the Logic, Language, Information and Computation, 2011

Enforcing Structural Invariants Using Dynamic Frames.

[BibT_eX]

[DOI]

Ariel Neisen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Using Logic in the Generation of Referring Expressions.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics, 2011

Pest: from the lab to the classroom.

[BibT_eX]

[DOI]

Guido de Caso

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

2010

On the formal semantics of IF-like logics.

[BibT_eX]

[DOI]

Rafael Grimson

J. Comput. Syst. Sci., 2010

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction).

[BibT_eX]

[DOI]

J. Appl. Log., 2010

Reducing the Number of Annotations in a Verification-oriented Imperative Language

[BibT_eX]

[DOI]

Guido de Caso

CoRR, 2010

The Question of Expressiveness in the Generation of Referring Expressions

[BibT_eX]

[DOI]

CoRR, 2010

Model Checking Legal Documents.

[BibT_eX]

[DOI]

Sergio Mera

Fernando Schapachnik

Proceedings of the Legal Knowledge and Information Systems, 2010

On the Size of Shortest Modal Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 8, 2010

2009

Tableaux and Model Checking for Memory Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Testing Provers on a Grid - Framework Description.

[BibT_eX]

[DOI]

Alejandra Lorenzo

Mariano Pérez Rodríguez

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2004

Ordered Resolution with Selection for H(@).

[BibT_eX]

[DOI]