Advertentie
Fuxi
A N3-gebaseerde forward-chaining, DL-redener voor rdflib ...
Gemeenschappelijke LISP-redener
Gemeenschappelijke LISP-redener streeft ernaar een praktische technologie te creëren die de synergie tussen zijn drie belangrijke componenten exploiteert. ...
gewoon Gemeenschappelijke lisp Lisp redener Praktische technologie
Logische redener
Logische redener is een theoret-bewering voor eerst-orde logica met gelijkheid. ...
calculus Theorem Prover formule representatie subsumptieresolutie stelling