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

Authors
Publication date
1 January 2015
Publisher
CEUR Workshop Proceedings

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Institutional Research Information System University of Turin

    redirect
    oaioai:iris.unito.it:2318/1526106
    Last time updated on 18/04/2020