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

Laura GIORDANO, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

Lingua originale	Inglese
Pagine	164-178
Numero di pagine	15
DOI	https://doi.org/10.1007/978-3-319-24309-2_13
Stato di pubblicazione	Pubblicato - 2015
Evento	XIVth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2015 - Ferrara Durata: 1 gen 2015 → …

???event.eventtypes.event.conference???	XIVth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2015
Città	Ferrara
Periodo	1/01/15 → …

Accesso al documento

@conference{cfe60464eff9450f8498b177d252e0da,

title = "A Multi-engine Theorem Prover for a Description Logic of Typicality",

author = "Laura GIORDANO and Valentina Gliozzi and Nicola Olivetti and Pozzato, \{Gian Luca\} and Luca Violanti",

year = "2015",

doi = "10.1007/978-3-319-24309-2\_13",

language = "English",

pages = "164--178",

note = "XIVth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2015 ; Conference date: 01-01-2015",

}

A Multi-engine Theorem Prover for a Description Logic of Typicality. / GIORDANO, Laura; Gliozzi, Valentina; Olivetti, Nicola et al.
2015. 164-178 Articolo presentato al XIVth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2015, Ferrara.

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

TY - CONF

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

AU - GIORDANO, Laura

AU - Gliozzi, Valentina

AU - Olivetti, Nicola

AU - Pozzato, Gian Luca

AU - Violanti, Luca

PY - 2015

Y1 - 2015

UR - https://iris.uniupo.it/handle/11579/71551

U2 - 10.1007/978-3-319-24309-2_13

DO - 10.1007/978-3-319-24309-2_13

M3 - Paper

SP - 164

EP - 178

T2 - XIVth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2015

Y2 - 1 January 2015

ER -