Sotabase

Career

· Associate Professor, Stanford University1979–
· Founder, CommerceNet
· Ph.D. in Applied Mathematics, Harvard University
· Sc.B. in Physics, Massachusetts Institute of Technology
· Founder, Mergent Systems
· Founder, Symbium
· Founder, Teknowledge

Publications (335)

Logical foundations of artificial intelligence
1987
1,655
cited
CACM · 1994
1,453
cited
Knowledge Interchange Format
International Conference on Principles of Knowledge Representation and Reasoning · 1991
670
cited
629
cited
485
cited
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems · 1997
342
cited
International Joint Conference on Artificial Intelligence · 1985
338
cited
AAAI Conference on Artificial Intelligence · 1986
236
cited
The Journal of Logic Programming · 2000
217
cited
ACM Symposium on Applied Computing · 1997
132
cited
Diagnosis Using Hierarchical Design Models
AAAI Conference on Artificial Intelligence · 1982
119
cited
Artificial Intelligence · 1985
118
cited
An Overview of Meta-Level Architecture
AAAI Conference on Artificial Intelligence · 1983
111
cited
An agent-based framework for interoperability
1997
109
cited
International Journal of Cooperative Information Systems · 1995
82
cited
The Relevance of Irrelevance
International Joint Conference on Artificial Intelligence · 1987
77
cited
Sotabase