| Name
| Type
|
| 20040302
| Person
|
| 62.31.224.1
| Person
|
| 65.5.128.20
| Person
|
| 80.102.194.52
| Person
|
| A Computing Procedure for Quantification Theory. JACM 7(3), 201-215
| Publication
|
| A Machine Program for Theorem-Proving, CACM 5(7), pp. 394-397
| Publication
|
| A Machine-Oriented Logic Based on the Resolution Principle, JACM 12(1), pp. 23-41
| Publication
|
| A Relational Model of Data for Large Shared Data Banks
| Publication
|
| A Summary of Inference Rules Used by Argonne Automated Deduction Software
| Publication
|
| Addison-Wesley Publishing Company
| Organization
|
| Alexandre Riazanov
| Person
|
| Andrei Voronkov
| Person
|
| Anne S. Troelstra
| Person
|
| Anthony Appleyard
| Person
|
| Arbeitsbereich Softwaresysteme, Technische Universitaet Hamburg, Deutschland
| Organization
|
| Artificial Intelligence Center, SRI International
| Organization
|
| Artificial Intelligence Research Group, Information Sciences Institute
| Organization
|
| Artificial Intelligence: A Modern Approach
| Publication
|
| Association for Computing Machinery
| Organization
|
| Basic Proof Theory
| Publication
|
| Beland
| Person
|
| Bill MacCartney
| Person
|
| Boeing Company, The
| Organization
|
| Branimir Boguraev
| Person
|
| Bruce W. Porter
| Person
|
| Cambridge University Press, Cambridge, United Kingdom.
| Organization
|
| Carlos Figueira Filho
| Person
|
| Centre de Recherche en Informatique de Lens, Universite dArtois
| Organization
|
| Centro de Informatica - Universidade Federal de Pernambuco
| Organization
|
| Chris Welty
| Person
|
| Cognitive Assistant that Learns and Organizes
| Agent
|
| Comprehensive Intelligent Agent Descriptions For DC-Train 4.0 (technical report)
| Publication
|
| Computer Laboratory, University of Cambridge, UK
| Organization
|
| Computer Science Department, Courant Institute of Mathematical Sciences, NYU
| Organization
|
| Computer Science Division, University of California, Berkeley
| Organization
|
| Craig Knoblock
| Person
|
| Dan Brickley
| Person
|
| Dan Connolly
| Person
|
| Daniel F. Carson
| Person
|
| Daniel Le Berre
| Person
|
| DARPA Agent Markup Language, The
| Organization
|
| DARPA Markup Language specification development team (partial list)
| Team
|
| Dave Beckett
| Person
|
| Dave Fried
| Person
|
| David C. Wilkins
| Person
|
| DC-Train User
| Person
|
| DCA Expert Model: Vocabulary and Rule Knowledge for DC-Train 4.0 (Technical Report)
| Publication
|
| Deborah L. McGuinness
| Person
|
| Department of Computer Science, Concordia University, Canada
| Organization
|
| Department of Computer Science, Duke University, NC
| Organization
|
| Department of Computer Science, University of Manchester, UK
| Organization
|
| Department of Computer Science, University of Texas, Austin
| Organization
|
| Department of Mathematics, University of California, San Diego
| Organization
|
| Department of Philosophy, Harvard University
| Organization
|
| Design of an Expert Critiquing System for Crisis Decision-Making (MS Thesis)
| Publication
|
| Digital DC-Train Representation (Technical Report)
| Publication
|
| Donald W. Loveland
| Person
|
| Edgar F. Codd
| Person
|
| Elsevier Science B. V.
| Organization
|
| Eric Miller
| Person
|
| Ernest J. Friedman-Hill
| Person
|
| Ewing (Rusty) Lusk
| Person
|
| Fetch Technologies Inc.
| Organization
|
| Frank Manola
| Person
|
| Friviere
| Person
|
| Geber Ramalho
| Person
|
| GEON Portal User
| Person
|
| George A. Robinson
| Person
|
| George Logemann
| Person
|
| Gerhard Gentzen
| Person
|
| Gerona Agent Development Team
| Team
|
| Gerona Team
| Team
|
| Gleb Frank
| Person
|
| GMT - The Generic Mapping Tools Team
| Team
|
| Google, Inc
| Organization
|
| Graham Klyne
| Person
|
| Handbook of Proof Theory
| Publication
|
| Hans Chalupsky
| Person
|
| Helmut Schwichtenberg
| Person
|
| Hilary Putnam
| Person
|
| HP Labs
| Organization
|
| Ian Horrocks
| Person
|
| IBM Knowledge Structures Group
| Organization
|
| IBM Research
| Organization
|
| IBM Sample Document
| Publication
|
| IBM UIMA
| Team
|
| Including Domain-Specific Reasoners with Reusable Ontologies
| Publication
|
| Inference Web development team
| Team
|
| Institute for Human and Machine Cognition
| Organization
|
| Institute for Learning and Research Technology, University of Bristol
| Organization
|
| Institute of Logic, Language and Information, University of Amsterdam
| Organization
|
| Isabelle development team
| Team
|
| ISI Information Agents Research Group
| Team
|
| J. William Murdock
| Person
|
| Jan Grant
| Person
|
| Jeremy Carroll
| Person
|
| Jessica Jenkins
| Person
|
| Jose Luis Ambite
| Person
|
| JTP axioms for DARPA Agent Markup Language
| Language Axiom Set
|
| JTP axioms for SUMO
| Language Axiom Set
|
| JTP axioms for W3C RDF
| Language Axiom Set
|
| KBS Orientation to the Damage Control Domain: The DDG-53 and the DCA (Technical Report)
| Publication
|
| Knowledge Based Systems Group at University of Illinois
| Organization
|
| Knowledge Ontology Structures for DC-Train 4.0 (Technical Report)
| Publication
|
| Knowledge Systems Laboratory, Stanford University
| Organization
|
| Krzysztof Czuba
| Person
|
| KSL JTP Inference engine development team
| Team
|
| Laboratory for Satellite Altimetry at the National Oceanic and Atmospheric Administration (NOAA)
| Organization
|
| Larry Wos
| Person
|
| Lawrence C. Paulson
| Person
|
| Leon Shalla
| Person
|
| Loom/Powerloom development team
| Team
|
| Mark E. Stickel
| Person
|
| Martin Davis
| Person
|
| Mary Neff
| Person
|
| Mathematics and Computer Science Division, Argonne National Laboratory
| Organization
|
| Mathematischen Institut der Ludwig-Maximilians, Universitat Muenchen
| Organization
|
| Michael R. Genesereth
| Person
|
| Mrcurly
| Person
|
| Negative Paramodulation, Proceedings of CADE-8, Lecture Notes in Computer Science 230, pp. 229-239
| Publication
|
| Nokia Research Center
| Organization
|
| Object Services and Consulting, Inc.
| Organization
|
| Olga Shumsky Matlin
| Person
|
| Ora Lassila
| Person
|
| Otter development team
| Team
|
| Pan-American Center for Earth and Environmental Studies
| Organization
|
| Patrick Hayes
| Person
|
| Paul Wessel
| Person
|
| Paulo Pinheiro da Silva
| Person
|
| Peter E. Clark
| Person
|
| Peter Norvig
| Person
|
| PPDR: A Proof Protocol for Deductive Reasoning
| Publication
|
| Prentice Hall , Inc., Upper Saddle River, New Jersey 07458
| Organization
|
| Qing Zhou
| Person
|
| RACER development team
| Team
|
| Ralf Moeller
| Person
|
| Ralph R. Swick
| Person
|
| Ramanathan V. Guha
| Person
|
| RDF specification development team (partial list)
| Team
|
| Richard Fikes
| Person
|
| Richard Waldinger
| Person
|
| Rie Ando
| Person
|
| Ross Overbeek
| Person
|
| Samuel R. Buss
| Person
|
| Sandia National Laboratories in Livermore, CA
| Organization
|
| Sandro Hawke
| Person
|
| School of Computer Science, Carnegie Mellow University
| Organization
|
| School of Ocean and Earth Science and Technology at The University of Hawaii at Manoa
| Organization
|
| SDS Team
| Team
|
| Semantic Web Tutorial Using N3
| Publication
|
| SNARK development team
| Team
|
| SPARK Team
| Team
|
| Springer-Verlag Heidelberg
| Organization
|
| Stanford Linear Accelerator Center
| Organization
|
| Stanford University
| Organization
|
| Steven Minton
| Person
|
| Stuart Russell
| Person
|
| Swap Test Document
| Publication
|
| SWI, University of Amsterdam
| Organization
|
| SWI-Prolog Foundation, The
| Organization
|
| TAMI Team
| Team
|
| The Concept of Demodulation in Theorem Proving, JACM 14(4), pp. 698-709
| Publication
|
| The Illinois Physical Ship Simulator for DC-Train 4.0: Summary of current functionality for DC-Train
| Publication
|
| The Knowledge Machine development team
| Team
|
| Theorem Proving Group, Technische Universitaet Muenchen, Deutschland
| Organization
|
| Thomas A. Russ
| Person
|
| Tim Berners-Lee
| Person
|
| Tobias Nipkow
| Person
|
| Training for Crisis Decision Making: Psychological Issues and Computer-Based Solutions - Journal of
| Publication
|
| TUF-KAT
| Person
|
| Universidade de Fortaleza - Grupo de Aquisicao de Conhecimento
| Team
|
| University of Wisconsin, Madison
| Organization
|
| USS John Paul Jones (DDG 53) Instruction 3541.1B. Repair Party Manual and Main Space Firefighting
| Publication
|
| UTEP Team
| Team
|
| Vampire development team
| Team
|
| Volker Haarslev
| Person
|
| Walter Smith
| Person
|
| William McCune
| Person
|
| World Wide Web Consortium
| Organization
|
| X.Org
| Organization
|
| Youngja Park
| Person
|
