Richard Fikes - PDFSEARCH.IO - Document Search Engine

Richard Fikes
Results: 6

#	Item
1	***DEMO*** POSTER A SILK Graphical UI for Defeasible Reasoning, with Biology Causal Process Example Benjamin Grosof, Mark Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan Add to Reading List Source URL: silk.semwebcentral.org Language: English* - Date: 2010-11-07 01:29:45 Knowledge representation Logic Knowledge engineering Semantic Web Defeasible reasoning Knowledge representation and reasoning Argument Ontology Richard Fikes Science Reasoning Knowledge
2	Artificial Intelligence59Elsevier 227 ARTINT 980 Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:34:28 Shakey the robot Planner Algorithm A* search algorithm Nils Nilsson Heuristic function Richard Fikes Heuristic Robot Artificial intelligence Automated planning and scheduling STRIPS
3	Articles Enabling Technology for Knowledge Sharing Robert Neches, Richard Fikes, Tim Finin, Thomas Gruber, Add to Reading List Source URL: tomgruber.org Language: English - Date: 2012-01-26 21:30:21 Ontology Technical communication Semantic Web Knowledge engineering Knowledge management Cyc Knowledge representation and reasoning Frame language Knowledge base Information Science Knowledge representation
4	http://oac.cdlib.org/findaid/ark:/13030/kt2s20358k No online items Guide to "Shakey the Robot" [videorecording] Daniel Hartwig Stanford University. Libraries.Department of Special Collections and University Archives Add to Reading List Source URL: pdf.oac.cdlib.org Language: English - Date: 2015-01-28 00:03:28 Year of birth missing Nils Nilsson Charles Rosen Richard Fikes Bertram Raphael Stanford University Artificial intelligence SRI International Shakey the robot
5	A Proof Markup Language for Semantic Web Services Paulo Pinheiro da Silva Deborah L. McGuinness Richard Fikes Knowledge Systems Laboratory, Stanford University Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2004-01-16 14:11:37 Formal systems Logical truth Deduction Rule of inference Inference Natural deduction Sequent Hindley–Milner Formal proof Logic Proof theory Logical syntax
6	An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL Richard Fikes Deborah L McGuinness Knowledge Systems Laboratory Computer Science Department Stanford University Add to Reading List Source URL: www.ksl.stanford.edu Language: English - Date: 2003-02-26 18:55:11 Semantic Web Model theory Z notation First-order logic Predicate logic Resource Description Framework S Axiom Type theory Mathematical logic Logic Mathematics