掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International joint conference on artificial intelligence;IJCAI-89
International joint conference on artificial intelligence;IJCAI-89
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Towards a General Framework for Composing Disjunctive and Iterative Macro-operators
机译:
建立构成析取和迭代宏运算符的一般框架
作者:
Peter Shell
;
Jaime Carbonell
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
2.
Selective Learning of Macro-operators with Perfect Causality
机译:
具有完美因果关系的宏观经营者的选择性学习
作者:
Seiji Yamada
;
Saburo Tsuji
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
3.
Learning Subgoal Sequences for Planning
机译:
学习计划的子目标序列
作者:
David Ruby
;
Dennis Kibler
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
4.
A STUDY OF EMPIRICAL LEARNING FOR AN INVOLVED PROBLEM
机译:
涉及问题的实证学习研究
作者:
Larry Rendell
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
5.
A Problem Space Approach to Expert System Specification
机译:
专家系统规范的问题空间方法
作者:
Gregg R. Yost
;
Allen Newell
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
6.
On The Road To Automatic Knowledge Engineering
机译:
在自动知识工程的道路上
作者:
Jitu Patel
会议名称:
《》
|
1989年
7.
Comparing the Conceptual Systems of Experts
机译:
比较专家的概念系统
作者:
Brian R Gaines
;
Mildred L G Shaw
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
8.
Learning DNF by Decision Trees
机译:
通过决策树学习DNF
作者:
Giulia Pagallo
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
9.
The Specialization and Transformation of Constructive Existence Proofs
机译:
构造存在证明的专业化与转换。
作者:
Peter Madden
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
10.
A Theorem Prover for Prioritized Circumscription
机译:
优先割礼的定理证明
作者:
Andrew B. Baker
;
Matthew L. Ginsberg
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
11.
Circumscribing Equality
机译:
限制平等
作者:
Peter K. Rathmann
;
Marianne Winslett
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
12.
A NEW METAPHOR FOR THE GRAPHICAL EXPLANATION OF FORWARD-CHAINING RULE EXECUTION
机译:
图形化解释前向规则执行的新方法
作者:
John Domingue
;
Marc Eisenstadt
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
13.
Reconstructive Explanation: Explanation as Complex Problem Solving
机译:
重构解释:作为复杂问题解决的解释
作者:
Michael R. Wick
;
William B. Thompson
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
14.
Adaptation-Based Explanation: Extending Script /Frame Theory To Handle Novel Input
机译:
基于适应的解释:扩展脚本/框架理论以处理新颖的输入
作者:
Alex Kass
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
15.
A Vectorization Technique for Prolog without Explosion
机译:
一种无爆炸的序言矢量化技术
作者:
Yasusi Kanada
;
Masahiro Sugaya
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
16.
Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking
机译:
具有依赖项定向回溯的逻辑程序的无限制且并行执行
作者:
Nikos Drakos
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
17.
A Sequential View of AND-parallelism Through Partial AND-Processes
机译:
通过部分AND进程的AND并行性顺序视图
作者:
Bernd Schend
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
18.
Unsupervised Learning by Backward Inhibition
机译:
向后抑制的无监督学习
作者:
Tomas Hrycej
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
19.
On Multi-layered Connectionist Models: Adding Layers vs. Increasing Width
机译:
在多层Connectionist模型上:增加层与增加宽度
作者:
Chung-jen Ho
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
20.
Symbols and subsymbols for representing knowledge: a catalogue raisonne
机译:
表示知识的符号和子符号:目录raisonne
作者:
Marcello Frixione
;
Giuseppe Spinelli
;
Salvatore Gaglio
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
21.
A Symbol Is Not A Symbol
机译:
符号不是符号
作者:
Nils Dahlbaeck
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
22.
Execution architectures and compilation
机译:
执行架构和编译
作者:
Stuart J. Russell
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
23.
Parallel Iterative A~* Search : An Admissible Distributed Heuristic Search Algorithm
机译:
并行迭代A〜*搜索:一种可允许的分布式启发式搜索算法
作者:
Shie-rei Huang
;
Larry S. Davis
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
24.
Correct Parallel Status Assignment for the Reason Maintenance System
机译:
原因维护系统的正确并行状态分配
作者:
Rosanne M. Fulcomer
;
William E. Ball
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
25.
Single-Agent Parallel Window Search: A Summary of Results
机译:
单代理并行窗口搜索:结果摘要
作者:
Curt Powley
;
Richard E. Korf
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
26.
Searching Game Trees in Parallel Using SSS~*
机译:
使用SSS〜*并行搜索游戏树
作者:
Subir Bhattacharya
;
A. Bagchi
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
27.
Platypus: a Constraint-Based Reasoning System
机译:
鸭嘴兽:一种基于约束的推理系统
作者:
William S. Havens
;
Paul Stephen Rehfuss
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
28.
Domain Dependence in Parallel Constraint Satisfaction
机译:
并行约束满足中的域依赖
作者:
Paul R. Cooper
;
Michael J. Swain
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
29.
A Universal Programming Language
机译:
通用编程语言
作者:
Hans Werner Guesgen
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
30.
Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter
机译:
使用分层元解释器解释基于Prolog的专家系统
作者:
Leon Sterling
;
L. UEmit Yalcinalp
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
31.
Simulation of Hybrid Circuits in Constraint Logic Programming
机译:
约束逻辑编程中混合电路的仿真
作者:
Thomas Graf
;
Pascal Van Hentenryck
;
Claudine Pradelles
;
Laurent Zimmer
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
32.
A framework for network modeling in Prolog
机译:
Prolog中的网络建模框架
作者:
Zdravko I. Markov
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
33.
An Evaluation of DRete on CUPID for OPS5 Matching
机译:
在CUPID上对DRete进行OPS5匹配的评估
作者:
Michael A. Kelly
;
Rudolph E. Seviora
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
34.
A technique for customizing object-oriented knowledge representation systems, with an application to network problem management
机译:
定制面向对象的知识表示系统的技术及其在网络问题管理中的应用
作者:
Lisiane Goffaux
;
Robert Mathonet
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
35.
Contexts: Dynamic Identification of Common Parameters in Distributed Analysis of Complex Devices
机译:
上下文:复杂设备分布式分析中公共参数的动态识别
作者:
Sanjaya Addanki
;
Roberto Cremonini
;
J. Scott Penberthy
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
36.
A Knowledge-Based Software Information System
机译:
基于知识的软件信息系统
作者:
Premkumar Devanbu
;
Peter G. Selfridge
;
Bruce W. Ballard
;
Ronald J. Brachman
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
37.
Chart Parsing of Flowgraphs
机译:
流程图的图表解析
作者:
Rudi Lutz
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
38.
Call-Graph Caching: Transforming Programs into Networks
机译:
调用图缓存:将程序转换为网络
作者:
Mark Perlin
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
39.
EXPERIMENTAL EVALUATION OF PREPROCESSING TECHNIQUES IN CONSTRAINT SATISFACTION PROBLEMS
机译:
约束满足问题中预处理技术的实验评估
作者:
Rina Dechter
;
Itay Meiri
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
40.
Partial Constraint Satisfaction
机译:
部分约束满足
作者:
Eugene C. Freuder
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
41.
An Algebraic Approach to Constraint Satisfaction Problems
机译:
约束满足问题的代数方法
作者:
Igor Rivin
;
Ramin Zabih
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
42.
A COMPARISON OF ATMS AND CSP TECHNIQUES
机译:
ATMS和CSP技术的比较
作者:
Johan de Kleer
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
43.
Fast Recursive Formulations for Best-First Search That Allow Controlled Use of Memory
机译:
最佳优先搜索的快速递归公式,可控制使用内存
作者:
Anup K. Sen
;
A. Bagchi
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
44.
Towards Finding Optimal Solutions with Non-Admissible Heuristics: a New Technique
机译:
寻求使用不可容许的启发式方法寻找最佳解决方案的新技术
作者:
Henry W. Davis
;
Anna Bramanti-Gregor
;
Xiaofeng Chen
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
45.
Constrained Heuristic Search
机译:
约束启发式搜索
作者:
Mark S. Fox
;
Norman Sadeh
;
Can Baykan
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
46.
Multi-Dimensional Heuristic Searching
机译:
多维启发式搜索
作者:
Peter C. Nelson
;
Lawrence J. Henschen
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
47.
THE REASON FOR THE BENEFITS OF MINIMAX SEARCH
机译:
MINIMAX搜索优势的原因
作者:
Anton Scheucher
;
Hermann Kaindl
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
48.
Generalized Game Trees
机译:
广义博弈树
作者:
Richard E. Korf
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
49.
On Optimal Game-Tree Search using Rational Meta-Reasoning
机译:
基于理性元推理的最优博弈树搜索
作者:
Stuart Russell
;
Eric Wefald
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
50.
Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving
机译:
共谋数和搜索和/或树的缓存和定理证明
作者:
Charles Elkan
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
51.
Preprocessing Search Spaces for Branch and Bound Search
机译:
预处理搜索空间以进行分支和边界搜索
作者:
Qiang Yang
;
Dana S. Nau
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
52.
AND-OR GRAPHS APPLIED TO RUE RESOLUTION
机译:
适用于RUE决议的AND-OR GRAPHS
作者:
Vincent J. Digricoli
;
James J. Lu
;
V. S. Subrahmanian
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
53.
A Rational Reconstruction and Extension of Recursion Analysis
机译:
递归分析的合理重构和扩展
作者:
Alan Bundy
;
Frank van Harmelen
;
Jane Hesketh
;
Alan Smaill
;
Andrew Stevens
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
54.
Recognizing Unnecessary Inference
机译:
识别不必要的推断
作者:
Dan Benanav
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
55.
Abstract Theorem Proving
机译:
抽象定理证明
作者:
Fausto Giunchiglia
;
Toby Walsh
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
56.
Structuring Computer Generated Proofs
机译:
构建计算机生成的证明
作者:
Christoph Lingenfelder
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
57.
A COMPUTATIONAL STRUCTURE FOR THE PROPOSITIONAL CALCULUS
机译:
命题计算的计算结构
作者:
M. J. Shensa
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
58.
Program Derivation Using Analogy
机译:
使用类比推导程序
作者:
Mehdi T. Harandi
;
Sanjay Bhansali
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
59.
LOGIC PROGRAMMING WITH GENERAL CLAUSES AND DEFAULTS BASED ON MODEL ELIMINATION
机译:
基于模型消除的一般子句和缺省逻辑编程
作者:
Marco A. Casanova
;
Ramiro Guerreiro
;
Andrea Silva
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
60.
Reducing the Derivation of Redundant Clauses in Reasoning Systems
机译:
减少推理系统中冗余子句的推导
作者:
Rolf Socher-Ambrosius
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
61.
Explanation Based Program Transformation
机译:
基于说明的程序转换
作者:
Maurice Bruynooghe
;
Luc De Raedt
;
Danny De Schreye
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
62.
Neural-Net Implementation of Complex Symbol-Processing in a Mental Model Approach to Syllogistic Reasoning
机译:
三段论思维的心理模型方法中复杂符号处理的神经网络实现
作者:
John A. Barnden
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
63.
A Probabilistic Approach to Marker Propagation
机译:
标记传播的概率方法
作者:
Dekai Wu
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
64.
Automated Synthesis of Constrained Generators
机译:
约束发电机的自动综合
作者:
Wesley Braudaway
;
Chris Tong
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
65.
Using and Refining Simplifications: Explanation-based Learning of Plans in Intractable Domains
机译:
使用和完善简化:难解领域中基于解释的计划学习
作者:
Steve A. Chien
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
66.
Constructive Induction On Decision Trees
机译:
决策树的建设性归纳
作者:
Christopher J. Matheus
;
Larry A. Rendell
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
67.
Principled Constructive Induction
机译:
原则性的建设性归纳法
作者:
Pankaj Mehra
;
Larry A. Rendell
;
Benjamin W. Wah
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
68.
Improving Efficiency by Learning Intermediate Concepts
机译:
通过学习中级概念来提高效率
作者:
James Wogulis
;
Pat Langley
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
69.
Coping With Uncertainty in Map Learning
机译:
应对地图学习中的不确定性
作者:
Kenneth Basye
;
Thomas Dean
;
Jeffrey Scott Vitter
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
70.
Learning Novel Domains Through Curiosity and Conjecture
机译:
通过好奇心和猜想学习小说领域
作者:
Paul D. Scott
;
Shaul Markovitch
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
71.
Rule Creation and Rule Learning through Environmental Exploration
机译:
通过环境探索制定规则和学习规则
作者:
Wei-Min Shen
;
Herbert A. Simon
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
72.
Abstraction in Problem Solving and Learning
机译:
解决问题和学习中的抽象
作者:
Amy Unruh
;
Paul S. Rosenbloom
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
73.
Acquiring Recursive Concepts with Explanation-Based Learning
机译:
通过基于解释的学习来获取递归概念
作者:
Jude W. Shavlik
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
74.
Lazy Explanation-Based Learning: A Solution to the Intractable Theory Problem
机译:
基于懒惰解释的学习:难以解决的理论问题的解决方案
作者:
Prasad Tadepalli
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
75.
Discovering Admissible Heuristics by Abstracting and Optimizing: A Transformational Approach
机译:
通过抽象和优化发现可允许的启发式方法:一种转换方法
作者:
Jack Mostow
;
Armand E. Prieditis
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
76.
INDUCTION IN AN ABSTRACTION SPACE: A FORM OF CONSTRUCTIVE INDUCTION
机译:
抽象空间中的感应:一种结构性感应的形式
作者:
George Drastal
;
Gabor Czako
;
Stan Raatz
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
77.
Generation, Local Receptive Fields and Global Convergence Improve Perceptual Learning in Connectionist Networks
机译:
生成,局部接受域和全局融合可改善连接主义网络中的感知学习。
作者:
Vasant Honavar
;
Leonard Uhr
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
78.
Beyond PDP: the Frequency Modulation Neural Network Architecture
机译:
超越PDP:调频神经网络架构
作者:
Hideto Tomabechi
;
Hiroaki Kitano
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
79.
INTEGRATING KNOWLEDGE-BASED SYSTEM AND NEURAL NETWORK TECHNIQUES FOR ROBOTIC SKILL ACQUISITION
机译:
集成基于知识的系统和神经网络技术进行机器人技能获取
作者:
David A. Handelman
;
Stephen H. Lane
;
Jack J. Gelfand
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
80.
Experiences Implementing a Parallel ATMS on a Shared-Memory Multiprocessor
机译:
在共享内存多处理器上实现并行ATMS的经验
作者:
Edward Rothberg
;
Anoop Gupta
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
81.
NEURAL COMPUTING ON A ONE DIMENSIONAL SIMD ARRAY
机译:
一维模拟数组上的神经计算
作者:
Stephen S. Wilson
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
82.
The Elint Application on Poligon: The Architecture and Performance of a Concurrent Blackboard System
机译:
Elint在Poligon上的应用:并行黑板系统的体系结构和性能
作者:
James Rice
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
83.
The Implementation of Expert, Knowledge-Based Systems
机译:
专家级,基于知识的系统的实施
作者:
John Debenham
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
84.
Knowledge Base Compilation
机译:
知识库编译
作者:
F. D. Highland
;
C. T. Iwaskiw
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
85.
Rapid Retrieval Algorithms for Case-Based Reasoning
机译:
基于案例的推理快速检索算法
作者:
Richard H. Stottler
;
Andrea L. Henke
;
James A. King
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
86.
Minimizing Response Times In Real Time Planning And Search
机译:
最大限度地减少实时计划和搜索中的响应时间
作者:
Shashi Shekhar
;
Soumitra Dutta
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
87.
Intelligent Monitoring and Control
机译:
智能监控
作者:
Barbara Hayes-Roth
;
Richard Washington
;
Rattikorn Hewett
;
Micheal Hewett
;
Adam Seiver
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
88.
Input Data Management in Real-Time AI Systems
机译:
实时AI系统中的输入数据管理
作者:
Richard Washington
;
Barbara Hayes-Roth
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
89.
Real-Time AI Systems: A Definition and An Architecture
机译:
实时AI系统:定义和体系结构
作者:
Rajendra Dodhiawala
;
N. S. Sridharan
;
Peter Raulefs
;
Cynthia Pickering
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
90.
Node Aggregation for Distributed Inference in Bayesian Networks
机译:
贝叶斯网络中用于分布式推理的节点聚合
作者:
Kuo-Chu Chang
;
Robert Fung
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
91.
On Wu's Method for Proving Constructive Geometric Theorems
机译:
吴的证明构造几何定理的方法
作者:
Dongming Wang
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
92.
ON THE DECIDABILITY OF FORMULAE INVOLVING CONTINUOUS AND CLOSED FUNCTIONS
机译:
关于连续和闭函数的公式的可判定性
作者:
Domenico Cantone
;
Eugenio G. Omodeo
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
93.
An Approximate Solver for Symbolic Equations
机译:
符号方程的近似解法
作者:
Elisha Sacks
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
94.
LOCK, LINEAR λ-PARAMODDLATION IN OPERATOR FUZZY LOGIC
机译:
运算符模糊逻辑中的锁定线性λ参数调制
作者:
Liu XuHua
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
95.
MODAL THEOREM PROVING : AN EQUATIONAL VIEWPOINT
机译:
模态定理证明:一个平等的观点
作者:
Yves AUFFRAY
;
Patrice ENJALBERT
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
96.
Extending Reflective Architectures
机译:
扩展反射架构
作者:
Timothy M. Lownie
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
97.
Maximum Entropy in Nilsson's Probabilistic Logic
机译:
尼尔森概率逻辑中的最大熵
作者:
Thomas B. Kane
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
98.
How to Represent Opaque Sentences in First Order Logic
机译:
如何用一阶逻辑表示不透明句子
作者:
Bijan Arbab
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
99.
A Computational Framework for Granularity and its Application to Educational Diagnosis
机译:
粒度计算框架及其在教育诊断中的应用
作者:
Jim Greer
;
Gordon McCalla
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
100.
The Generation of 'Critical Problems' By Abstract Interpretations of Student Models
机译:
学生模型的抽象解释产生“关键问题”
作者:
Rick Evertsz
会议名称:
《International joint conference on artificial intelligence;IJCAI-89》
|
1989年
意见反馈
回到顶部
回到首页