Programming with P-Shell

This publication has 10 references indexed in Scilit:

• Programming in Prolog
  Published by Springer Nature ,1984
• A prolog extension for handling negative knowledge
  New Generation Computing, 1983
• R1: A rule-based configurer of computer systems
  Artificial Intelligence, 1982
• The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty
  ACM Computing Surveys, 1980
• Logic and semantic networks
  Communications of the ACM, 1979
• A model-based method for computer-aided medical decision-making
  Artificial Intelligence, 1978
• An Overview of KRL, a Knowledge Representation Language
  Cognitive Science, 1977
• Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths"
  ACM SIGART Bulletin, 1972
• A Formal Basis for the Heuristic Determination of Minimum Cost Paths
  IEEE Transactions on Systems Science and Cybernetics, 1968
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965