Industrial and Intellectual Property
-
BEACON: An efficient SAT-based tool for debugging εL+ ontologies [2016]
- Category:
- Ponencias
- Authors:
- J. Marques-Silva , R. Peñaloza , N. Manthey , A. Ignatiev , Carlos Mencía Cascallana , M. F. Arif
- Date:
- 01 of January of 2016
- It Is a Part of:
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)