default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 61
Volume 61, Number 1, 1993
- Cees Witteveen, Gerhard Brewka:
Skeptical Reason Maintenance and Belief Revision. 1-36
- Charles Elkan, Russell Greiner:
D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 41-52 - Drew V. McDermott:
D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 53-63 - Robert Neches:
D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 65-79 - Douglas R. Skuce:
D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 81-94 - John F. Sowa:
D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 95-104 - William Croft:
Ernest Davis, Representations of Commonsense Knowledge. 105-112 - Daniel S. Weld:
Ernest Davis, Representations of Commonsense Knowledge. 113-120 - Mark S. Tuttle:
E. Davis, Representations of Commonsense Knowledge and D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representations and Inference in the Cyc Project. 121-148
- Ramanathan V. Guha, Douglas B. Lenat:
Re: CycLing Paper Reviews. 149-174 - Ernest Davis:
Representations of Commonsense Knowledge: Response to the Reviews. 175-179
Volume 61, Number 2, 1993
- Luis Enrique Sucar
, Duncan Fyfe Gillies, D. A. Gillies:
Objective Probabilities in Expert Systems. 187-208 - Robert K. Lindsay, Bruce G. Buchanan, Edward A. Feigenbaum, Joshua Lederberg:
DENDRAL: A Case Study of the First Expert System for Scientific Hypothesis Formation. 209-261 - Georg Gottlob, Christian G. Fermüller:
Removing Redundancy from a Clause. 263-289
- Kurt Ammon:
An Automatic Proof of Gödel's Incompleteness Theorem. 291-306 - Alberto Bertoni, Marco Dorigo:
Implicit Parallelism in Genetic Algorithms. 307-314 - Bjørnar Tessem:
Approximations for Efficient Computation in the Theory of Evidence. 315-329
- Richard P. Gabriel:
Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow, The Art of the Metaobject Protocol. 331-342 - Elisha Sacks:
What's in a Linkage? Review of: Glenn Kramer, Solving Geometric Constraint Systems. 343-349 - Zuliang Shen:
R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L. A. Zadeh. Artif. Intell. 61(2): 351-358 (1993)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
