| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 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...
|
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,...
|
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...
|
Oct 1 1985 |
|
|
|
|
|
| |
|
|
| |
|
|
