HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Fred Freitas

Publications
A Roadmap to Gradually Compare and Benchmark Description Logic Calculi
Fred Freitas
In:Selected Student Contributions and Workshop Papers of LuxLogAI 2018
RACCOON: A Connection Reasoner for the Description Logic ALC
Dimas Melo Filho, Fred Freitas and Jens Otten
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

ALC, automated reasoning, connection method2, Description Logic2, description logic benchmarking, Reasoner2.

Copyright © 2012-2025 easychair.org. All rights reserved.