Browse wiki

From Semantic Portal Wiki

Knowledge Systems, AI Laboratory, Stanford University

Modification dateThis property is a special property in this wiki.	3 May 2009 17:28:59  +
Name	Knowledge Systems, AI Laboratory, Stanford University  +
Categories	Organization, Thing

hide properties that link here

A first-order logic semantics for semantic web markup languages +, A proof markup language for semantic web services (tr) +, An axiomatic semantics for rdf, rdf schema, and daml+oil +, Combinable proof fragments for the web +, Daml-ont: an ontology language for the semantic web +, Explaining problem solver answers +, Exposing extracted knowledge supporting answers +, Inference web: portable explanations for the web +, Introspective predicates for explaining task execution in calo +, Ontologies come of age (2001) +, Ontology development 101: a guide to creating your first ontology +, Plan for explaining task execution in calo +, Ppdr: a proof protocol for deductive reasoning +, Semantic web tools for enhanced authoring +, Towards checking hybrid proofs +

Institution

 

Enter the name of the page to start browsing from.