HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:difference

Publications
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Franz Baader, Oliver Fernandez Gil and Maximilian Pensel
In:GCAI-2018. 4th Global Conference on Artificial Intelligence
Different Proofs are Good Proofs
Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness and Paulo Pinheiro da Silva
In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Copyright © 2012-2025 easychair.org. All rights reserved.