Keyword:difference

Papers
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 In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions