Boris Konev

1. 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