Logic and artificial intelligence
Open Access
- 1 January 1991
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 47 (1-3) , 31-56
- https://doi.org/10.1016/0004-3702(91)90049-p
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Intelligence without representationPublished by Elsevier ,2003
- Intention is choice with commitmentArtificial Intelligence, 1990
- Multivalued logics: a uniform approach to reasoning in artificial intelligenceComputational Intelligence, 1988
- TEAM: An experiment in the design of transportable natural-language interfacesArtificial Intelligence, 1987
- A blackboard architecture for controlArtificial Intelligence, 1985
- The use of design descriptions in automated diagnosisArtificial Intelligence, 1984
- Eurisko: A program that learns new heuristics and domain conceptsArtificial Intelligence, 1983
- Theory formation by heuristic searchArtificial Intelligence, 1983
- The nature of heuristicsArtificial Intelligence, 1982
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971