Intelligent Backtracking in Plan-Based Deduction

Stanislaw Matwin; Tomasz Pietrzykowski

doi:10.1109/TPAMI.1985.4767724

Intelligent Backtracking in Plan-Based Deduction

科研成果: 期刊稿件 › 文章 › 同行评审

源语言	英语
页（从-至）	682-692
页数	11
期刊	IEEE Transactions on Pattern Analysis and Machine Intelligence
卷	PAMI-7
期	6
DOI	https://doi.org/10.1109/TPAMI.1985.4767724
出版状态	已出版 - 11月 1986
已对外发布	是

!!!ASJC Scopus Subject Areas

软件
人工智能
应用数学
计算机视觉和模式识别
计算理论与数学

访问文件

10.1109/TPAMI.1985.4767724

其它文件与链接

引用此

@article{32b43759ea40478aad6cd5e596ee9860,

title = "Intelligent Backtracking in Plan-Based Deduction",

keywords = "Automated deduction, backtracking, mechanical theorem proving",

author = "Stanislaw Matwin and Tomasz Pietrzykowski",

year = "1986",

month = nov,

doi = "10.1109/TPAMI.1985.4767724",

language = "English",

volume = "PAMI-7",

pages = "682--692",

journal = "IEEE Transactions on Pattern Analysis and Machine Intelligence",

issn = "0162-8828",

publisher = "IEEE Computer Society",

number = "6",

}

TY - JOUR

T1 - Intelligent Backtracking in Plan-Based Deduction

AU - Matwin, Stanislaw

AU - Pietrzykowski, Tomasz

PY - 1986/11

Y1 - 1986/11

KW - Automated deduction

KW - backtracking

KW - mechanical theorem proving

UR - http://www.scopus.com/inward/record.url?scp=0022149077&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0022149077&partnerID=8YFLogxK

U2 - 10.1109/TPAMI.1985.4767724

DO - 10.1109/TPAMI.1985.4767724

M3 - Article

AN - SCOPUS:0022149077

SN - 0162-8828

VL - PAMI-7

SP - 682

EP - 692

JO - IEEE Transactions on Pattern Analysis and Machine Intelligence

JF - IEEE Transactions on Pattern Analysis and Machine Intelligence

IS - 6

ER -

Intelligent Backtracking in Plan-Based Deduction

!!!ASJC Scopus Subject Areas

访问文件

其它文件与链接

指纹

引用此