Sign in
Use and justification of algorithms for managing temporal knowledge in O-plan
Report

Use and justification of algorithms for managing temporal knowledge in O-plan

Colin E Bell and Artificial Intelligence Applications Institute
AIAI technical report series, AIAI-TR-6, Artificial Intelligence Applications Institute, University of Edinburgh
01/24/1985

View Online

Abstract

Automatic theorem proving

Details

Metrics

1 Record Views
Logo image