掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International joint conference on artificial intelligence;IJCAI-97
International joint conference on artificial intelligence;IJCAI-97
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
An Achievement Test for Knowledge-Based Systems: QUEM
机译:
基于知识的系统的成就测试:QUEM
作者:
Caroline Clarke Hayes
;
Michael I.Parzen
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
2.
An Aggregation Procedure for Building Episodic Memory
机译:
建立情节记忆的聚合程序
作者:
Olivier Ferret
;
Brigitte Grau
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
3.
An Average-Case Analysis of the k-Nearest Neighbor Classifier for Noisy Domains
机译:
噪声域的k最近邻分类器的平均情况分析
作者:
Seishi Okamoto
;
Yugami Nobuhiro
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
4.
An Evolutionary Algorithm Extended by Ecological Analogy and its Application to the Game of Go
机译:
生态类比扩展的进化算法及其在围棋中的应用
作者:
Takuya Kojima
;
Kazuhiro Ueda
;
Saburo Nagano
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
5.
An Expert System Using Nonmonotonic Techniques for Benefits Inquiry in the insurance Industry
机译:
保险行业中使用非单调技术进行收益查询的专家系统
作者:
Leora Morgenstern
;
Moninder Singh
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
6.
An Index Navigator for Understanding and Expressing User's Coherent Interest
机译:
索引导航器,用于理解和表达用户的一致兴趣
作者:
Yukio Ohsawa
;
Masahiko Yachida
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
7.
Analogy and Abduction in Automated Deduction
机译:
自动演绎中的类比与绑架
作者:
Gilles Defourneaux
;
Nicolas Peltier
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
8.
Analysis of Inheritance Mechanisms in Agent-Oriented Programming
机译:
面向代理编程中的继承机制分析
作者:
Lobel Crnogorac
;
Anand S.Rao
;
Kotagiri Ramamohanarao
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
9.
Anytime Belief Revision
机译:
随时信仰修订
作者:
Mary-Anne Williams
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
10.
Arc consistency for general constraint networks: preliminary results
机译:
一般约束网络的弧一致性:初步结果
作者:
Christian Bessiere
;
Jean-Charles Regin
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
11.
Autoepistemic Description Logics
机译:
自流行描述逻辑
作者:
Francesco M.Donini
;
Daniele Nardi
;
Riccardo Rosati
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
12.
Automation of Diagrammatic Reasoning
机译:
图解推理的自动化
作者:
Mateja Jamnik
;
Alan Bundy
;
Ian Green
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
13.
Can We Benefit from Metrics in KBS Development?
机译:
我们可以从KBS开发的指标中受益吗?
作者:
Stefan Kramer
;
Hermann Kaindl
;
Stefan Schlee
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
14.
Causality, Constraints and the Indirect Effects of Actions
机译:
因果关系,约束和行为的间接影响
作者:
Hector Geffner
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
15.
Challenge: How IJCAI 1999 can Prove the value of Ai by Using AI
机译:
挑战:IJCAI 1999如何通过使用AI证明Ai的价值
作者:
James Geller
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
16.
Challenge: What is the Impact of Bayesian Networks on Learning?
机译:
挑战:贝叶斯网络对学习有何影响?
作者:
Nir Friedman
;
Moises Goldszmidt
;
David Heckerman
;
Stuart Russell
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
17.
Challenges in bridging plan synthesis paradigms
机译:
桥接计划综合范式的挑战
作者:
Subbarao Kambhampati
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
18.
Circumscribing Inconsistency
机译:
限制不一致
作者:
Philippe Besnard
;
Torsten H.Schaub
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
19.
Comparative Analysis of Structurally Different Dynamical Systems
机译:
结构不同动力系统的比较分析
作者:
H. de Jong
;
F.van Raalte
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
20.
Compiling Prioritized Circumscription into Extended Logic Programs
机译:
将优先级限制编译为扩展逻辑程序
作者:
Toshiko Wakaki
;
Ken Satoh
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
21.
Compiling reasonign with and about preferences into default logic
机译:
将偏好设置以及关于偏好的原因编译为默认逻辑
作者:
James P.Delgrande
;
Torsten H.Schaub
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
22.
Computational Complexity of Multi-way, Dataflow Constraint Problems
机译:
多向数据流约束问题的计算复杂性
作者:
Gilles Trombettoni
;
Bertrand Neveu
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
23.
Constraint Satisfacition over Connected Row Convex Constraints
机译:
连通行凸约束的约束满足
作者:
Yves Deville
;
Olivier Barette
;
Pascal Van Hentenryck
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
24.
Cooperation Structures
机译:
合作结构
作者:
Mark dInverno
;
Michael Luck
;
Michael Wooldridge
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
25.
COSPEX: A System for constructing Private Digital Libraries
机译:
COSPEX:构建私有数字图书馆的系统
作者:
Masanori Sugimoto
;
Norio Katayama
;
Atsuhiro Takasu
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
26.
Diagnosing Tree Structured Systems
机译:
诊断树结构系统
作者:
Markus Stumptner
;
Franz Wotawa
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
关键词:
model-based diagnosis;
algorithms;
27.
Dynamic Prioritization of complex Agents in Distributed Constraint Satisfaction Problems
机译:
分布式约束满足问题中复杂主体的动态优先级排序
作者:
Aaron Armstrong
;
Edmund Durfee
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
28.
Discrete Lagrangian-Based Search for Solving MAX-SAT Problems
机译:
基于离散拉格朗日的搜索以解决MAX-SAT问题
作者:
Benjamin W.Wah
;
Yi Shang
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
29.
Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation
机译:
分布式视觉系统:机器人导航的感知信息基础架构
作者:
Hiroshi Ishiguro
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
30.
Efficiently Executing Information-Gathering Plans
机译:
有效地执行信息收集计划
作者:
Marc Friedman
;
Daniel S.Weld
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
31.
Equational Reasoning using AC Constraints
机译:
使用AC约束进行方程式推理
作者:
David A.Plaisted
;
Yunshan Zhu
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
32.
Event-Based Reasoning for Short circuit Diagnosis in Power Transmission Networks
机译:
输电网络中基于事件的短路诊断推理
作者:
Gianfranco Lamperti
;
Paolo Pogliano
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
33.
Exploiting domain knowledge for approximate diagnosis
机译:
利用领域知识进行近似诊断
作者:
Annette ten Teije
;
Frank van Harmelen
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
34.
Exploration and Adaptation in Multiagent Systems: A Model-based Approach
机译:
多主体系统中的探索和适应:一种基于模型的方法
作者:
David Carmel
;
Shaul Markovitch
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
35.
Formal Specifications for Hybrid Dynamical Systems
机译:
混合动力系统的正式规范
作者:
Pieter J.Mosterman
;
Gautam Biswas
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
36.
Fundamentals of Model-Based Diagnosis of Dynamic Systems
机译:
基于模型的动态系统诊断基础
作者:
Peter Struss
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
37.
Heuristics Based on Unit Propagation for satisfiability Problems
机译:
可满足性问题的基于单元传播的启发式
作者:
Chu Min L
;
Anbulagan
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
38.
Hidden Gold in Random Generation of SAT Satisfiable Instances
机译:
SAT可满足实例的随机生成中的隐藏金
作者:
Thierry Castell
;
Michel Cayrol
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
39.
High Performance ATP Systems by Combining Several AI Methods
机译:
结合几种AI方法的高性能ATP系统
作者:
Joerg Denzinger
;
Marc Fuchs
;
Matthias Fuchs
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
40.
How Similar is VERY YOUNG to 43 Years of Age? On the Representation and Comparison of Polymorphic Properties
机译:
年轻到43岁有多相似?多态性的表示与比较
作者:
Werner Dubitzky
;
Alfons Schuster
;
John G.Hughes
;
David A.Bell
;
Kenneth Adamson
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
41.
Implementing BDI-like Systems by Direct Execution
机译:
通过直接执行来实现类似于BDI的系统
作者:
Michael Fisher
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
42.
In the Quest of the Missing Link
机译:
在寻找缺失的环节
作者:
Guilherme Bittencourt
会议名称:
《》
|
1997年
43.
Learning Extended Logic Programs
机译:
学习扩展逻辑程序
作者:
Katsumi Inoue
;
Yoshimitsu Kudoh
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
44.
Learning Short-Term Weights for GSAT
机译:
学习GSAT的短期权重
作者:
Jeremy Frank
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
45.
Learning Strategies in Games by Anticipation
机译:
预期游戏中的学习策略
作者:
Christophe Meyer
;
Jean-Gabriel Ganascia
;
Jean-Daniel Zucker
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
46.
Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning
机译:
学习整合多个知识源,以进行基于案例的推理
作者:
David B.Leake
;
Andrew Kinley
;
David Wilson
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
47.
Local consistency for ternary numeric constraints
机译:
三元数值约束的局部一致性
作者:
Boi Faltings
;
Esther Gelle
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
48.
Locating Faults in Tree-Structured Networks
机译:
树状结构网络中的故障定位
作者:
Christopher Leckie
;
Michael Dale
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
49.
Managing decision resources in paln execution
机译:
在执行任务中管理决策资源
作者:
Michael Freed
;
Roger Remington
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
50.
Mental Tracking: A Computational Model of Spatial Development
机译:
心理跟踪:空间发展的计算模型
作者:
Kazuo Hiraki
;
Akio Sashima
;
Steven Phillips
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
51.
Merging constraint satisfaction subproblems to avoid redundant search
机译:
合并约束满足子问题以避免冗余搜索
作者:
Javier Larrosa
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
52.
Middle-Agents for the Internet
机译:
互联网中介
作者:
Keith Decker
;
Katia Sycara
;
Mike Williamson
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
53.
Multi-Perspective Modelling of the Air Campaign Planning process
机译:
空中战役计划过程的多角度建模
作者:
John Kingston
;
Anna Griffith
;
Terri Lydiard
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
54.
Nonmonotonic Reasonign and Multiple Belief Revision
机译:
非单调推理和多重信念修正
作者:
Dongmo Zhang
;
Shifu Chen
;
Wujia Zhu
;
Hongbing Li
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
55.
A Causal Time Ontology for qualitative Reasoning
机译:
定性推理的因果时间本体
作者:
Yoshinobu Kitamura
;
Mitsuru Ikeda
;
Riichiro Mizoguchi
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
56.
A Cumulative-Model Semantics for dynamic Preferences on Assumptions
机译:
假设动态偏好的累积模型语义
作者:
Ulrich Junker
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
关键词:
nonmonotonic reasoning;
common sense reasoning.;
57.
A default interpretation of defeasible network
机译:
可废止网络的默认解释
作者:
Xianchang Wang
;
Jia-Huai You
;
Li Yan Yuan
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
58.
A dynamic theory of incentives in multi-agent systems (Preliminary report)
机译:
多主体系统中激励机制的动态理论(初步报告)
作者:
Yoav Shoham
;
Katsumi Tanaka
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
59.
A Four-Valued Fuzzy Propositional Logic
机译:
四值模糊命题逻辑
作者:
Umberto Straccia
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
60.
A Functional Theory of Design Patterns
机译:
设计模式的功能理论
作者:
Sambasiva R.Bhatta
;
Ashok K.Goel
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
61.
A Learning System for Selective dissemination of Information
机译:
选择性传播信息的学习系统
作者:
Gianni Amati
;
Fabio Crestani
;
Flavio Ubaldini
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
62.
A Model of Strategy for the Game of Go Using Abstraction Mechanisms
机译:
使用抽象机制的围棋游戏策略模型
作者:
Patrick Ricaud
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
63.
A Set-theoretic Approach to Automated Deduction in Graded Modal Logics
机译:
分级模态逻辑中自动推论的集合理论方法
作者:
A.Montanari
;
A.Policriti
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
64.
A Static Model-Based Engine for Model-Based Reasoning
机译:
用于模型推理的基于模型的静态引擎
作者:
Peter Froehlich
;
Wolfgang
;
Nejdl
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
65.
A Web-Based Compositional Modeling System for Sharing of Physical Knowledge
机译:
基于Web的物理知识共享建模系统
作者:
Yumi Iwasaki
;
Adam Farquhar
;
Richard Fikes
;
James Rice
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
66.
Acquisition of Human Feelings in Music Arrangement
机译:
音乐编排中人类情感的获得
作者:
Masayuki Numao
;
Masashi Kobayashi
;
Katsuyuki Sakaniwa
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
67.
Action Localness, Genericity and Invariants in STRIPS
机译:
STRIPS中的动作局部性,通用性和不变量
作者:
Norman Y.Foo
;
Abhaya Nayak
;
Maurice Pagnucco
;
Pavlos Peppas
;
Yan Zhang
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
68.
Adaptive Personal Inforamtion Filtering System that Organizes Personal Profiles Automatically
机译:
自适应个人信息过滤系统,可自动组织个人资料
作者:
Toshiki Kindo
;
Hideyuki Yoshida
;
Tetsuro Morimoto
;
Taisuke Watanabe
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
69.
Adaptive Web Sites: an AI Challenge
机译:
adaptive websites: 按AI challenge
作者:
Mike Perkowitz
;
Oren Etzioni
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
70.
Aggregating Features and Matching Cases on Vague Linguistic Expressions
机译:
模糊语言表达的聚合特征和匹配格
作者:
Alfons Schuster
;
Werner Dubitzky
;
Philippe Lopes
;
Kenneth Adamson
;
David A.Bell
;
John G.Hughes
;
John A.White
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
71.
On evaluating decision procedures for modal logic
机译:
关于评估模态逻辑的决策程序
作者:
Ullrich Hustadt
;
Renate A.Schmidt
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
72.
On the Complexity of qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus
机译:
定性空间推理的复杂性:区域连接演算的最大可动片段
作者:
Jochen Renz
;
Bernhard Nebel
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
73.
On the Gains and Losses of Speculation in Equilibrium Markets
机译:
论均衡市场中投机的得失
作者:
Tuomas Sandholm
;
Fredrik Ygge
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
74.
Persuasion among Agents: An Approach to Implementing a Group Decision Support System Based on Multi-Agent Negotiation
机译:
主体之间的说服力:一种基于多主体协商的群体决策支持系统的实现方法
作者:
Takayuki Ito
;
Toramatsu Shintani
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
75.
Polynomial Temporal Band Sequences for Analog diagnosis
机译:
用于模拟诊断的多项式时间带序列
作者:
Etienne Loiez
;
Patrick Tailliberi
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
76.
Preduction: A Common Form of Induction and Analogy
机译:
预测:归纳法和类推法的一种常见形式
作者:
Jun Arima
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
77.
Prefixed Tableaux Systems for Modal Logics with Enriched Languages
机译:
带有丰富语言的模态逻辑的固定Tableaux系统
作者:
Philippe Balbiani
;
Stephane Demri
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
78.
Qualitative Analysis of Causal Graphs with Equilibrium Type-Transition
机译:
平衡类型转换的因果图的定性分析
作者:
Koichi Kurumatani
;
Mari Nakamura
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
79.
Qualitative Reasoning about Perception and Belief
机译:
知觉和信念的定性推理
作者:
Alvaro del Val
;
Pedrito Maynard-Reid II
;
Yoav Shoham
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
80.
Qualitative Relevance and Independence: A Roadmap
机译:
定性相关性和独立性:路线图
作者:
Didier Dubois
;
Luis Farinas del Cerro
;
Andreas Herzig
;
Henri Prade
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
81.
Reasonign Symbolically About Partially Matched Cases
机译:
部分匹配案例的象征性推理
作者:
Kevin D.Ashley
;
Vincent Aleven
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
82.
Recursive Plans for Inforamtion Gathering
机译:
信息收集的递归计划
作者:
Oliver M.Duschka
;
Alon Y.Levy
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
83.
Redesigning a Problem-Solver's Operators to Improve Solution Quality
机译:
重新设计问题解决者的操作员以提高解决方案质量
作者:
Eleni Stroulia
;
Ashok K.Goel
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
84.
Reifying Concepts in Description Logics
机译:
完善描述逻辑中的概念
作者:
Liviu Badea
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
85.
Representation Theorems for Multiple Belief Changes
机译:
多重信念变化的表示定理
作者:
Dongmo Zhang
;
Shifu Chen
;
Wujia Zhu
;
Zhaoqian Chen
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
86.
Rule-based Contact MOnitoring Using Examples Obtained by Task Demonstration
机译:
使用任务演示获得的示例进行基于规则的联系人监视
作者:
Pavan Sikka
;
Brenan J.McCarragher
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
87.
Search Versus Knowledge in Game-Playing Progrmas Revisited
机译:
重新研究游戏程序中的知识与知识
作者:
Andreas Junghanns
;
Jonathan Schaeffer
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
88.
Semantically Guided Theorem Proviing for Diagnosis Applications
机译:
语义指导定理在诊断中的应用
作者:
Peter Baumgartner
;
Peter Froehlich
;
Ulrich Furbach
;
Wolfgang Nejdl
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
89.
Semantics and conversations for an Agent Communication Language
机译:
座席通讯语言的语义和对话
作者:
Yannis Labrou
;
Tim Finin
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
90.
Semiring-based Contraint Logic Programming
机译:
基于半环的约束逻辑程序设计
作者:
Stefano Bistarelli
;
Ugo Montanari
;
Francesca Rossi
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
91.
Some Practicable Filtering Techniques for the Constraint Satisfaction Problem
机译:
约束满足问题的一些实用过滤技术
作者:
Romuald Debruyne
;
Christian Bessiere
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
92.
Strategies in Rigid-Variable Methdos
机译:
刚性变量方法的策略
作者:
Andrei Voronkov
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
93.
Structural Inferences from Massive Datasets
机译:
海量数据集的结构推断
作者:
Kenneth Yip
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
94.
Structuring Techniques for Contraint Satisfaction Problems
机译:
约束满足问题的构造技术
作者:
Rainer Weigel
;
Boi V.Faltings
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
95.
Task Ontology Makes It Easier To Use Authoring Tools
机译:
任务本体使创作工具更容易使用
作者:
Mitsuru Ikeda
;
Kazuhisa Seta
;
Riichiro Mizoguchi
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
96.
Ten Challenges in Propositional Reasoning and Search
机译:
命题推理和搜索的十大挑战
作者:
Bart Selman
;
Henry Kautz
;
David McAllester
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
97.
The Competence of Sub-Optimal Theories of Structure Mapping on Hard Analogies
机译:
硬类比下次优结构映射理论的胜任力
作者:
Tony Veale
;
Mark Keane
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
98.
The Complexity of Belief Update
机译:
信仰更新的复杂性
作者:
Paolo Liberatore
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
99.
The Effects of Runtime Coordination Strategies Within Static Organizations
机译:
静态组织中的运行时协调策略的效果
作者:
Edmund H.Durfee
;
Young-pa So
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
100.
The Predictive Toxicology Evaluation Challenge
机译:
预测毒理学评估挑战
作者:
A.Srinivasan
;
R.D.King
;
S.H.Muggleton
;
M.J.E.Sternberg
会议名称:
《International joint conference on artificial intelligence;IJCAI-97》
|
1997年
意见反馈
回到顶部
回到首页