|
1654
|
Foundations of Logic Programming
– Lloyd
- 1984
|
|
1342
|
A translation approach to portable ontology specifications, Knowledge Acquisition 5
– Gruber
- 1998
|
|
1235
|
A Mathematical Theory of Evidence
– Shafer
- 1976
|
|
556
|
The Art of Prolog
– Sterling, Shapiro
- 1986
|
|
545
|
The Common Object Request Broker: architecture and specification
– OMG
|
|
399
|
Institutions: Abstract model theory for specification and programming
– Goguen, Burstall
- 1992
|
|
387
|
Logic programming
– Apt
- 1990
|
|
334
|
Knowledge interchange format, version 3.0 reference manual
– Genesereth, Fikes
- 1992
|
|
322
|
The Ontolingua Server: a Tool for Collaborative Ontology Construction
– Farquhar, Fikes, et al.
- 1996
|
|
314
|
Probabilistic logic
– Nilsson
|
|
293
|
Logic programming in a fragment of Intuitionistic Linear Logic
– Hodas, Miller
- 1994
|
|
260
|
Ontologies: principles, methods and applications
– Uschold, Gruninger
- 1996
|
|
157
|
From Logic Programming to Prolog
– Apt
- 1997
|
|
151
|
General logics
– Meseguer
- 1989
|
|
148
|
Real Analysis and Probability
– Dudley
- 2002
|
|
132
|
Toward distributed use of large-scale ontologies
– Swartout, Patil, et al.
- 1996
|
|
112
|
Introduction to Expert Systems
– Jackson
- 1999
|
|
69
|
Reusable Components for Knowledge Modelling
– Motta
- 1999
|
|
68
|
An Ontology for Engineering Mathematics
– Gruber, Olsen
- 1994
|
|
59
|
Intuitionistic logic
– Dalen
- 1986
|
|
46
|
An overview of kqml: A knowledge query and manipulation language
– Finin, Wiederhold
- 1992
|
|
39
|
Ontology Reuse and Application
– Uschold, Healy, et al.
|
|
38
|
Entailment-- the Logic of Relevance and Necessity, volume 1
– Anderson, Jr
- 1975
|
|
33
|
Incidence calculus: a mechanism for probabilistic reasoning
– Bundy
- 1985
|
|
27
|
A historical introduction to substructural logics
– Dosen
- 1993
|
|
23
|
Does prior knowledge facilitate the development of knowledge-based systems
– Cohen, Chaudhri, et al.
- 1999
|
|
23
|
Knowledge sharing technology project overview
– Fikes, Cutkosky, et al.
- 1991
|
|
16
|
The lambda calculus: its syntax and semantics. Number 103
– Barendregt
- 1984
|
|
16
|
Where are the killer apps
– Uschold
- 1998
|
|
14
|
Implementation and Development Issues for the Linear Logic Programming Language Lygon
– Winikoff, Harland
- 1995
|
|
11
|
A Proposal for a new KQML Speci
– Labrou, Finin
- 1997
|
|
8
|
Automated Reasoning with Uncertainties
– Silva, Robertson, et al.
- 1992
|
|
6
|
der Gaag. Bayesian belief networks: Odds and ends
– van
- 1996
|
|
5
|
Using Formal Metadata Descriptions for Automated Ecological Modeling
– Brilhante
- 1999
|
|
5
|
Knowledge representation: Features of knowledge
– Delgrande, Mylopoulos
- 1986
|
|
5
|
Uber die Bausteine der mathematischen Logik. Mathematische Annalen
– Schon
- 1924
|
|
3
|
Correa da Silva. Automated Reasoning with Uncertainties
– S
- 1992
|
|
3
|
Knowledge Sharing Between a Probabilistic Logic and Bayesian Belief Networks
– Silva, Araujo, et al.
- 2000
|
|
3
|
A Rational Reconstruction of Incidence Calculus
– Silva, Bundy
- 1991
|
|
3
|
Why Ontologies are not Enough for Knowledge Sharing
– Silva, Vasconcelos, et al.
- 1999
|
|
3
|
A Lightweight Capability Communication Mechanism
– Robertson, Agusti-Cullel, et al.
- 2000
|
|
2
|
Cooperation Between Knowledge-Based Systems
– Silva, Vasconcelos, et al.
- 1998
|
|
2
|
Ontolingua to Prolog Syntax Translation. Available at http://ksl-web.stanford.edu/people/axf/ol-to-prolog.txt
– Farquhar
- 1995
|
|
2
|
Towards Structurally-Free Theorem Proving
– Finger
- 1998
|
|
2
|
et al. KRAFT { Knowledge Reuse and Fusion/Transformation. http://www.csd.abdn.ac.uk/apreece/Research/KRAFT/ KRAFTinfo.html
– Gray
- 1998
|
|
2
|
The Knowledge Sharing Eort. http:// www-ksl.stanford.edu/ knowledge-sharing/ papers/ kse-overview.html
– Neches, Gunning
- 1999
|
|
2
|
A Heterogeneous Reasoning and Mediator System. http://www.cs.umd.edu/projects/ hermes/index.html
– HERMES
- 1999
|
|
1
|
Using formal data descriptions for ecological modelling guidance. Discussion Paper 197
– Brilhante
- 1998
|
|
1
|
Environmental Information Systems in Industry and Public Administration, chapter Metadatasupported Automated Ecological Modelling
– Brilhante, Robertson
- 2001
|
|
1
|
Sharing Resource-Sensitive Knowledge using Combinator Logics
– Finger, Vasconcelos
- 2000
|
|
