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

DOI10.1007/978-3-319-24309-2_13zbMath1430.68408WikidataQ58207588 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

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)

Related Items

DysToPic

Uses Software

• leanTAP
• PreDeLo