vix.ing · top · new · best · stats · spec

Simon Guilloud

  1. Verified and Optimized Implementation of Orthologic Proof Search
    2025/01/16 by Simon Guilloud, Guilloud, Simon, Clément Pit-Claudel +1 · 2 citations
    Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Semantic Web and Ontologies