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

Sutcliffe, Geoff

  1. Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
    2011/07/31 by Schneider, Michael, Sutcliffe, Geoff · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
  2. Automated Reasoning in Non-classical Logics in the TPTP World
    2022/02/20 by Steen, Alexander, Fuenmayor, David, Gleißner, Tobias +2 · 3 citations
    #03B45 #03B60 (Secondary) #68T30 (Primary) 68T27 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences