A Multi-engine Theorem Prover for a Description Logic of Typicality
From MaRDI portal
Publication:5215376
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
68T27: Logic in artificial intelligence
68T30: Knowledge representation
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Related Items
Uses Software