HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Dimas Melo Filho

Publications
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 method, Description Logic, Reasoner.

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