Marianna Nicolosi Asmundo

CoRR, 2018

An optimized KE-tableau-based system for reasoning in the description logic \shdlssx.

[BibT_eX]

[DOI]

CoRR, 2018

A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2018

A Set-Based Reasoner for the Description Logic DL4, xD.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, 2018

An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

2017

Herbrand-satisfiability of a Quantified Set-theoretic Fragment.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

A \textsf{C++} reasoner for the description logic $\shdlssx$.

[BibT_eX]

[DOI]

CoRR, 2017

A set-theoretical approach for ABox reasoning services (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

A Set-Theoretic Approach to ABox Reasoning Services.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

The Shape of a Benedictine Monastery: The SaintGall Ontology.

[BibT_eX]

[DOI]

Claudia Cantale

Manuela Lupica Rinato

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

A C++ Reasoner for the Description Logic DL-4X(D).

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

2016

Conjunctive Query Answering via a Fragment of Set Theory (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2016

An OWL Framework for Rule-based Recognition of Places in Italian Non-structured Text.

[BibT_eX]

[DOI]

Andrea Fornaia

Emiliano Tramontana

Proceedings of the 2nd International Workshop on Knowledge Discovery on the WEB, 2016

Conjunctive Query Answering via a Fragment of Set Theory.

[BibT_eX]

[DOI]

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

2015

The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations.

[BibT_eX]

[DOI]

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

Web Ontology Representation and Reasoning via Fragments of Set Theory.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Ontoceramic: an OWL ontology for ceramics classification.

[BibT_eX]

[DOI]

Francesca Trapani

Proceedings of the 30th Italian Conference on Computational Logic, 2015

2014

A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics.

[BibT_eX]

[DOI]

Joanna Golinska-Pilarek

Proceedings of the Hybrid Artificial Intelligence Systems - 9th International Conference, 2014

Herbrand-Satisfiability of a Quantified Set-theoretical Fragment.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013

On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

On the satisfiability problem for a 3-level quantified syllogistic

[BibT_eX]

[DOI]

CoRR, 2013

2012

A graphical representation of relational formulae with complementation.

[BibT_eX]

[DOI]

Andrea Formisano

Eugenio Giovanni Omodeo

RAIRO Theor. Informatics Appl., 2012

On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version)

[BibT_eX]

[DOI]

CoRR, 2012

On the Elimination of Quantifiers through Descriptors in Predicate Logic.

[BibT_eX]

[DOI]

Eugenio G. Omodeo

Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011

Dual tableau-based decision procedures for relational logics with restricted composition operator.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 2011

2010

A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

Dual Tableau-based Decision Procedures for Some Relational Logics.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

2007

A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

2006

An efficient relational deductive system for propositional non-classical logics.

[BibT_eX]

[DOI]

Andrea Formisano

J. Appl. Non Class. Logics, 2006

2003

Consistent Integration for Sequential Abstract State Machines.

[BibT_eX]

[DOI]

Elvinia Riccobene

Proceedings of the Abstract State Machines, 2003

1998

A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998

1997

Global Skolemization with Grouped Quantifiers.

[BibT_eX]