Marie Fortin
- Interpolants and Explicit Definitions in Extensions of the Description Logic EL
2022/02/15 by Marie Fortin, Fortin, Marie, Boris Konev +3 · 3 citations
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies