The Community for Technology Leaders
Green Image
Issue No. 04 - April (vol. 25)
ISSN: 0018-9340

IEEE Computer Society (PDF)

pp. c2

Trends in Artificial Intelligence (PDF)

A.D.C. Holden , Department of Electrical Engineering and Computer Science, University of Washington
pp. 313-316

A Definition-Driven Theorem Prover (Abstract)

G.W. Ernst , Department of Computing and Information Sciences, Case Western Reserve University
pp. 317-322

A Semantically Guided Deductive System for Automatic Theorem Proving (Abstract)

R. Reiter , Department of Computer Science, University ty of British Columbia
pp. 328-334

A Hole in Goal Trees: Some Guidance from Resolution Theory (Abstract)

D.W. Loveland , Department of Computer Science, Duke University
pp. 335-341

A Model for Control Structures for Artificial Intelligence Programming Languages (Abstract)

D.G. Bobrow , Computer Science Laboratory, Xerox Palo Alto Research Center
pp. 347-353

Clisp: Conversational Lisp (Abstract)

W. Teitelman , Xerox Palo Alto Research Center
pp. 354-357

D-Script: A Computational Theory of Descriptions (Abstract)

R.C. Moore , Artificial Intelligence Laboratory, Massachusetts Institute of Technology
pp. 366-373

Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions (Abstract)

A.K. Joshi , Department of Computer and Information Science, The Moore School of Electrical Engineering, University of Pennsylvania, Philadelphia, PA and the Department of Linguistics, University of Pennsylvania
pp. 374-389

The Architecture of Coherent Information System: A General Problem Solving System (Abstract)

C.V. Srinivasan , Department of Computer Science, Rutgers University
pp. 390-402

The Hearsay-I Speech Understanding System: An Example of the Recognition Process (Abstract)

D.R. Reddy , Department of Computer Science, Carnegie-Mellon University
pp. 422-431

Speech Understanding Through Syntactic and Semantic Analysis (Abstract)

D.E. Walker , Artificial Intelligence Center, Stanford Research Institute
pp. 432-439

Computer Description of Curved Objects (Abstract)

G.J. Agin , Stanford Research Institute
pp. 439-449

Finding Picture Edges Through Collinearity of Feature Points (Abstract)

F. O'Gorman , Laboratory of Experimental Psychology, University of Sussex
pp. 449-456
94 ms
(Ver 3.3 (11022016))