Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Amarel, Saul

, None
  Follow this Reviewer
Date Reviewed  
- 3 of 3 reviews

  Constuction of a model for reasoning by analogy
Chouraqui E.  Progress in artificial intelligence (, Orsay, France, 1831985. Type: Proceedings

This paper describes a method for reasoning by analogy, which is intended to provide the basis for one of the components of an AI system called ARCHES. This component is to be used whenever the deductive component of ARCHES is unable to solve a gi...

May 1 1986  
  Knowledge-based programming: an overview of data and control structure refinement
Goldberg A., Kotik G.  Software validation: inspection-testing-verification-alternatives (, Darmstadt, West Germany, 3091984. Type: Proceedings

This paper presents an overview of research on automatic programming at Kestrel’s CHI project. The long-term goal of the project is to develop methods for generating efficient low-level implementations of high-level program specifications, a...

Nov 1 1985  
  The complexity of some polynomial network consistency algorithms for constraint satisfaction problems
Mackworth A., Freuder E. (ed)  Artificial Intelligence 25(1): 65-74, 1985. Type: Article

This paper is concerned with properties of filtering algorithms for Constraint Satisfaction Problems (CSP). Problems in this class have the following form: Given a finite set of variables, each with an associated finite domain of val...

Oct 1 1985  
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy