Back to Results
First PageMeta Content
Automated theorem proving / Rules of inference / Resolution / Logic programming / Propositional calculus / First-order logic / Derivation / SLD resolution / SL / Logic / Mathematical logic / Theoretical computer science


227 ARTIFICIAL INTELLIGENCE Linear Resolution with Selection Function Robert Kowalski and Donald Kuehnm
Add to Reading List

Document Date: 2006-12-18 06:42:49

Open Document

File Size: 2,74 MB

Share Result on Facebook

Company

Introduction Inference Systems / North-Holland Publishing Company / /

Facility

University of Edinburah Recommended / /

IndustryTerm

and/~./ search tret / search strategies / search spaces / search strategy / t-linear search space / heuristic search / t-linear search tree / linear resolution search space / search tree / ristic search / search trees / diagonal search / linear resolution systems / search space / /

Organization

University of Edinburah Recommended / Donald Kuehnm Metamathematics Unit / I-I Artificial Intelligence / /

Person

Donald Loveland / DONALD KUEHNER / Robert Kowalski / Michael Gordon / Donald Kuehnm / Raymond Reiter / /

Position

model / /

Technology

artificial intelligence / /

SocialTag