Communication dans un congrès, LaHDAK, Informatique
Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving
Jieying Chen, Yue Ma, Dirk Walther. Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving. 31st International Workshop on Description Logics, Oct 2017, Tempe, Arizona, United States. ⟨hal-04423048⟩
