Readings in Artificial Intelligence
Latest Publications

TOTAL DOCUMENTS

41

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Elsevier

9780934613033

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Some Philosophical Problems from the Standpoint of Artificial Intelligence

Readings in Artificial Intelligence ◽

10.1016/b978-0-934613-03-3.50033-7 ◽

1981 ◽

pp. 431-450 ◽

Cited By ~ 58

Author(s):

J. McCarthy ◽

P.J. Hayes

Keyword(s):

Artificial Intelligence

Download Full-text

Circumscription—A Form of Non-Monotonic Reasoning

Readings in Artificial Intelligence ◽

10.1016/b978-0-934613-03-3.50036-2 ◽

1981 ◽

pp. 466-472 ◽

Cited By ~ 4

Author(s):

John McCarthy

Download Full-text

Planning and Meta-Planning (MOLGEN: Part 2)

Readings in Artificial Intelligence ◽

10.1016/b978-0-934613-03-3.50023-4 ◽

1981 ◽

pp. 272-286 ◽

Cited By ~ 4

Author(s):

Mark Stefik

Download Full-text

A Deductive Approach to Program Synthesis

Readings in Artificial Intelligence ◽

10.1016/b978-0-934613-03-3.50015-5 ◽

1981 ◽

pp. 141-172 ◽

Cited By ~ 1

Author(s):

ZOHAR MANNA ◽

RICHARD WALDINGER

Keyword(s):

Program Synthesis

Download Full-text

Consistency in Networks of Relations

Readings in Artificial Intelligence ◽

10.1016/b978-0-934613-03-3.50009-x ◽

1981 ◽

pp. 69-78 ◽

Cited By ~ 1

Author(s):

Alan K. Mackworth

Download Full-text

A Truth Maintenance System**This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract number N00014-75-C-0643, and in part by NSF grant MCS77-04828.

Readings in Artificial Intelligence ◽

10.1016/b978-0-934613-03-3.50039-8 ◽

1981 ◽

pp. 496-516 ◽

Cited By ~ 8

Author(s):

Jon Doyle

Keyword(s):

Artificial Intelligence ◽

Naval Research ◽

Technology Support ◽

Massachusetts Institute Of Technology ◽

Artificial Intelligence Research ◽

Office Of Naval Research ◽

Truth Maintenance ◽

Institute Of Technology ◽

Artificial Intelligence Laboratory ◽

Research Contract

Download Full-text

REASONING ABOUT KNOWLEDGE AND ACTION

Readings in Artificial Intelligence ◽

10.1016/b978-0-934613-03-3.50037-4 ◽

1981 ◽

pp. 473-477 ◽

Cited By ~ 15

Author(s):

Robert C. Moore

Keyword(s):

Reasoning About Knowledge

Download Full-text

The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty

Readings in Artificial Intelligence ◽

10.1016/b978-0-934613-03-3.50029-5 ◽

1981 ◽

pp. 349-389 ◽

Cited By ~ 5

Author(s):

LEE D. ERMAN ◽

FREDERICK HAYES-ROTH ◽

VICTOR R. LESSER ◽

D. RAJ REDDY

Keyword(s):

Speech Understanding

Download Full-text

On Representations of Problems of Reasoning about Actions

Readings in Artificial Intelligence ◽

10.1016/b978-0-934613-03-3.50006-4 ◽

1981 ◽

pp. 2-22 ◽

Cited By ~ 2

Author(s):

Saul Amarel

Keyword(s):

Reasoning About Actions

Download Full-text

An Experiment in Knowledge-based Automatic Programming

Readings in Artificial Intelligence ◽

10.1016/b978-0-934613-03-3.50025-8 ◽

1981 ◽

pp. 289-312 ◽

Cited By ~ 1

Author(s):

David R. Barstow

Keyword(s):

Automatic Programming ◽

Knowledge Based

Download Full-text