file.pdf (703.41 kB)

A hole in goal trees : some guidance from resolution theory

journal contribution

posted on 2015-07-01, 00:00 authored by Donald W. Loveland, M. E.(Mark E.) Stickel

Computer Science Department

History

Publisher Statement

Copyright © 2015 International Joint Conferences on Artificial Intelligence

Date

2015-07-01

Usage metrics

Categories

Information and Computing Sciences not elsewhere classified

Keywords

Artificial intelligence.Problem solving Data processing.Automatic theorem proving.Trees (Graph theory)

Licence

Exports