HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:connection method

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
Copyright © 2012-2025 easychair.org. All rights reserved.