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