Richard Waldinger - PDFSEARCH.IO - Document Search Engine

Richard Waldinger
Results: 8

#	Item
1	Pointing to places in a deductive geospatial theory ∗ Richard Waldinger Artificial Intelligence Center SRI International Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2003-04-14 20:27:32
2	Using Deduction to Choreograph Multiple Data Sources ∗ Richard Waldinger and Peter Jarvis Jennifer Dungan Artificial Intelligence Center, SRI International Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2003-10-01 19:18:36
3	Accessing Information and Services on the DAML-Enabled Web Grit Denker, Jerry R. Hobbs, David Martin, Srini Narayanan, Richard Waldinger SRI International Menlo Park, California, USA , fhobbs, martin, Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2001-05-10 09:14:28
4	Accessing Information and Services on the DAML-Enabled Web David Martin Grit Denker, Jerry R. Hobbs, Srini Narayanan, Richard Waldinger Add to Reading List Source URL: semanticweb2001.aifb.uni-karlsruhe.de Language: English - Date: 2005-02-16 05:04:08
5	Introduction to the COMTEX Microfiche Edition of the SRI Artificial Intelligence Center Technical Notes Nils J. Nilsson AI Center Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-05-14 18:27:02 Year of birth missing Turing Award laureates Automated planning and scheduling Planner Computational neuroscience Lisp programming language Richard Waldinger Nils Nilsson MIT Computer Science and Artificial Intelligence Laboratory Artificial intelligence Science Computing
6	Accessing Information and Services on the DAML-Enabled Web Grit Denker, Jerry R. Hobbs, David Martin, Srini Narayanan, Richard Waldinger SRI International Menlo Park, California, USA [removed], fhobbs, martin, Add to Reading List Source URL: CEUR-WS.org Language: English - Date: 2001-05-10 09:14:28 Computing Markup languages Ontology Technical communication DARPA Agent Markup Language Richard Waldinger James Hendler Upper ontology Query language Semantic Web Information Knowledge representation
7	Pointing to places in a deductive geospatial theory Richard Waldinger Artificial Intelligence Center SRI International [removed] Add to Reading List Source URL: kornai.com Language: English - Date: 2003-04-22 12:21:15 Mathematical logic Model theory Richard Waldinger Year of birth missing Axiom Regular expression Theorem Test First-order logic Logic Mathematics Philosophical logic
8	PDF Document Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2003-07-03 23:51:49 Automated theorem proving Formal systems Model theory Z notation Richard Waldinger SNARK Logic programming Axiom First-order logic Logic Mathematics Mathematical logic

UPDATE