ACM SIGART Bulletin 2(3) June 1991 Special issue on implemented knowledge representation and reasoning systems (1991) |
- Alfred Kobsa (1991) Alfred Kobsa "First experiences with the SB-ONE knowledge representation workbench in natural-language applications" pp70-76
- Allen, James F. (1991) Allen, James F. "The RHET system" pp1-7
- Baader, Franz and Hollunder, Bernhard (1991) Baader, Franz and Hollunder, Bernhard "KRIS: Knowledge Representation and Inference System" pp8-14
- Crawford, J. M. and Kuipers, B. J. (1991) Crawford, J. M. and Kuipers, B. J. "Algernon?a tractable system for knowledge-representation" pp35-44
- Douglas B. Lenat and R. V. Guha (1991) Douglas B. Lenat and R. V. Guha "The evolution of CycL, the Cyc representation language" pp84-87
- Gaines, Brian R. (1991) Gaines, Brian R. "Empirical investigation of knowledge representation servers: design issues and applications experience with KRS"
- Ginsberg, Matthew L. (1991) Ginsberg, Matthew L. "The MVL theorem proving system"
- Guarino, Nicola (1991) Guarino, Nicola "A concise presentation of ITL" pp61-69
- Kramer, Bryan M. et al (1991) Kramer, Bryan M. et al "Implementing Telos" pp77-83
- MacGregor, Robert M. (1991) MacGregor, Robert M. "Inside the LOOM description classifier" pp88-92
- Patel-Schneider et al (1991) Patel-Schneider et al "The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale" pp108-113
- Peltason, Christof (1991) Peltason, Christof "The BACK system?an overview" pp114-119
- Rich, Charles (1991) Rich, Charles "CAKE: an implemented hybrid knowledge representation and limited reasoning system" pp120-127
- Robert Nado, Jeffrey Van Baalen, Richard Fikes (1991) Robert Nado, Jeffrey Van Baalen, Richard Fikes "JOSIE: an integration of specialized representation and reasoning tools" pp101-107
- Samuel Bayer and Marc Vilain (1991) Samuel Bayer and Marc Vilain "The relation-based knowledge representation of King Kong" pp15-21
|
|