Luca Violanti

According to our database¹, Luca Violanti authored at least 2 papers in 2015.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2015

DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

A Multi-engine Theorem Prover for a Description Logic of Typicality.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015