Keyword:Reasoner

Publications
An Intelligent Board of Security Countermeasure Cases in Prolog. Frank Appiah EasyChair Preprint 4496
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