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

DOI10.1007/978-3-319-24309-2_13zbMath1430.68408OpenAlexW2269254491WikidataQ58207588 ScholiaQ58207588MaRDI QIDQ5215376

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

Publication date: 10 February 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24309-2_13

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

DysToPic

Uses Software

• leanTAP
• PreDeLo

This page was built for publication: A Multi-engine Theorem Prover for a Description Logic of Typicality