First results in robot road-following

  • Authors:
  • Richard Wallace;Anthony Stentz;Charles Thorpe;Hans Maravec;William Whittaker;Takeo Kanade

  • Affiliations:
  • Robotics Institute, Carnegie-Mellon University;Robotics Institute, Carnegie-Mellon University;Robotics Institute, Carnegie-Mellon University;Robotics Institute, Carnegie-Mellon University;Robotics Institute, Carnegie-Mellon University;Robotics Institute, Carnegie-Mellon University

  • Venue:
  • IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
  • Year:
  • 1985

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we present a type inference method for Prolog programs. The new idea is to describe a superset of the success set by associating a type substitution (an assignment of sets of ground terms to variables) with each head of definite clause. ...