Back to Results
First PageMeta Content
Mathematical logic / Model theory / Richard Waldinger / Year of birth missing / Axiom / Regular expression / Theorem / Test / First-order logic / Logic / Mathematics / Philosophical logic


Pointing to places in a deductive geospatial theory Richard Waldinger Artificial Intelligence Center SRI International [removed]
Add to Reading List

Document Date: 2003-04-22 12:21:15

Open Document

File Size: 34,30 KB

Share Result on Facebook

City

Kandahar / Bangkok / Pretoria / Paris / Kansas City / Prague / Alexandria / Ruzyne / City / Arcturus / Chicago / Springfield / /

Company

IEEE Intelligent Systems / SRI International / ACM Special Interest Group / /

Country

Mexico / South Africa / Zimbabwe / Thailand / France / United States / Afghanistan / Canada / Czech Republic / /

/

Facility

Kestrel Institute / Ohio State University / /

IndustryTerm

by-product / coordinate systems / satellite images / search engine / /

Organization

Central Intelligence Agency / Ohio State University / Columbus / National Aeronautics and Space Administration / /

Person

John Fry / Richard Waldinger / Richard J. Waldinger / John Li / Robert Moore / John Bear / Douglas B. Lenat / Mark E. Stickel / Linda L. Hill / Lee Iverson / Lynn Cherny / Mohammed Atta / Nat Bletter / Douglas E. Appelt / Doug Appelt / Douglas Moran / Vinay K. Chaudhri / Adam Pease / Jerry Hobbs / Yvan G. LeClerc / Craig A. Knoblock / Michael R. Genesereth / R. V. Guha / Oliver M. Duschka / Arthur M. Keller / J. Mark Gawron / John Dowding / J. Frew / Q. Zheng / Steven Minton / Mark Stickel / Mabry Tyson / Zohar Manna / Martin Reddy / Chris Culy / Susanne Riehemann / David Martin / David L. Martin / Chris Barbee / /

ProgrammingLanguage

Common Lisp / /

ProvinceOrState

Kansas / Ohio / Illinois / Missouri / /

PublishedMedium

Computational Linguistics / IEEE Intelligent Systems / Communications of the ACM / /

Technology

DAML / search engine / artificial intelligence / /

URL

http /

SocialTag