掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
金卡工程
计算技术与自动化
中国信息技术教育
计算机教育
微型电脑应用
大众硬件
黑客防线
电脑开发与应用
信息与电脑
课堂内外·中学生电脑
更多>>
相关外文期刊
Natural language engineering
Journal of research and practice in information technology
International journal on digital libraries
Signal, Image and Video Processing
Annual Review in Control
Asian Journal of Control
Advances in software engineering
IEEE annals of the history of computing
Constraints
International journal of modeling, simulation and scientific computing
更多>>
相关中文会议
中国微计算机2000年年会、中国嵌入式系统主题研讨会
中国计算机事业创建50周年纪念大会暨2006中国计算机大会
第七届全国高校计算机网络教学暨网络工程专业建设研讨会
中南六省(区)自动化学会第29届学术年会
西南地区自动化、仪器仪表及电控技术学术年会
第十九届多国仪器仪表学术会议
第二届信息安全漏洞分析与风险评估大会
先进控制系统和仪表装置应用学术交流会
第十二届海峡两岸科技与经济论坛
2001年中国系统仿真学会学术年会
更多>>
相关外文会议
Mobile Data Management: Systems, Services and Middleware, 2009. MDM '09
International Conference on Advances in Mass Data Analysis of Signals and Images in Medicine Biotechnology and Chemistry(MDA 2006/2007); 200707018; Leipzig(DE)
9th International Symposium of Robotics Research (ISRR'99) was held from October 9-12, 1999, at Snowbird, Utah.
2013 26th International Conference on Software Engineering Education and Training
International Symposium on Computing and Its Applications in Information Science(ISCIAIS 2005); 20050815-19; Hefei(CN)
Network Architectures, Management, and Applications IV pt.2
Intelligent data engineering and automated learning-IDEAL 2009
Proceedings of the international conference on APL '91
2015 IEEE/ACM 1st International Workshop on TEchnical and LEgal aspects of data pRivacy and SEcurity
Evolutionary Computation in Combinatorial Optimization; Lecture Notes in Computer Science; 4446
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Logical foundations for knowledge representation in intelligent systems
机译:
智能系统中知识表示的逻辑基础
作者:
B R Gaines
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
2.
Taxonomic ambiguities in category variations needed to support machine conceptualization
机译:
支持机器概念化所需的类别变化中的分类歧义
作者:
L J Mazlack
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
3.
A model for self-adaptation in a robot colony
机译:
机器人群体中的自适应模型
作者:
T V D Kumar
;
N Parameswaran
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
4.
Viable inference systems
机译:
可行的推理系统
作者:
Joseph Deken
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
5.
Tree resolution and generalized semantic tree
机译:
树解析和广义语义树
作者:
S Kundu
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
6.
Spaceprobe: A system for representing complex knowledge
机译:
太空探针:代表复杂知识的系统
作者:
J Dinsmore
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
7.
Experimenting and theorizing in theory formation
机译:
理论形成中的实验和理论化
作者:
B W Koehn
;
J M Zytkow
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
8.
On learning and evaluation of decision rules in the context of rough sets
机译:
粗糙集背景下决策规则的学习与评估
作者:
S K M Wong
;
W Ziarko
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
9.
Challenges in applying artificial intelligence methodologies to military operations
机译:
将人工智能方法学应用于军事行动的挑战
作者:
L F Arrowood
;
M R Hilliard
;
H L Hwang
;
M L Emrich
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
10.
A framework for knowledge representation and use in pattern analysis
机译:
知识表示和模式分析中使用的框架
作者:
F Bergadano
;
A Giordana
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
11.
Prime rule-based methodologies give inadequate control
机译:
基于主要规则的方法无法充分控制
作者:
J R B Cockett
;
J Herrera
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
12.
A preliminary excursion into step-logics
机译:
逐步讲解逐步逻辑
作者:
J Drapkin
;
D Perlis
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
13.
Memory length as a feedback parameter in learning systems
机译:
记忆长度作为学习系统中的反馈参数
作者:
G Epstein
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
14.
Automated theorem proving: mapping logic into AI
机译:
自动定理证明:将逻辑映射到AI
作者:
D W Loveland
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
15.
Beginners' strategies in example based expert systems
机译:
基于示例的专家系统中的初学者策略
作者:
T Whalen
;
B Schott
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
16.
The concept of a generalized assignment statement and its application to commonsense reasoning
机译:
广义赋值语句的概念及其在常识推理中的应用
作者:
L A Zadeh
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
17.
Aggregating criteria with quantifiers
机译:
用量词聚合标准
作者:
R R Yager
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
18.
Acquisition of knowledge from data
机译:
从数据中获取知识
作者:
G C M Wiederhold
;
M Walker
;
R Blum
;
S Downs
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
19.
Design of an expert system for utilization research
机译:
利用研究专家系统的设计
作者:
A Zvieli
;
S K MacGregor
;
J Z Shapiro
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
20.
NESS: A coupled simulation expert system
机译:
NESS:耦合仿真专家系统
作者:
K Kawamura
;
G Beale
;
J Rodriquez-Moscoso
;
B J Hsieh
;
S Padalkar
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
21.
Recent developments in expert systems
机译:
专家系统的最新发展
作者:
B Buchanan
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
22.
The frame-definition language for customizing the Raffaello structure-editor in host expert systems
机译:
用于在主机专家系统中自定义Raffaello结构编辑器的帧定义语言
作者:
E Nissan
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
23.
Inference propagation in emitter, system hierarchies
机译:
发射器,系统层次结构中的推理传播
作者:
T Sudkamp
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
24.
A knowledge-based approach to online document retrieval system design
机译:
基于知识的在线文档检索系统设计方法
作者:
G Biswas
;
J C Bezdek
;
R L Oakman
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
25.
Induction of models under uncertainty
机译:
不确定性下的模型归纳
作者:
P Cheeseman
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
26.
Selecting expert system frameworks within the Bayesian theory
机译:
在贝叶斯理论中选择专家系统框架
作者:
S W Norton
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
27.
A decidable query answering algorithm for circumscriptive theories
机译:
外接理论的可判定查询回答算法
作者:
T C Przymusinski
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
28.
Algebraic properties of knowledge representation systems
机译:
知识表示系统的代数性质
作者:
J W Grzymala-Busse
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
29.
Notes on conceptual representations
机译:
关于概念表示的注意事项
作者:
E Knuth
;
L Hannak
;
A Hernadi
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
30.
Self-improvement in problem-solving
机译:
解决问题时的自我完善
作者:
R B Banerji
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
31.
An inference model for inheritance hierarchies with exceptions
机译:
带有继承的继承层次结构的推理模型
作者:
K Whitebread
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
32.
Analogical reasoning in planning and decision making
机译:
规划和决策中的类比推理
作者:
J Carbonell
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
33.
Simulations and symbolic explanations
机译:
模拟和符号说明
作者:
D H Helman
;
J L Bennett
;
A W Foster
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
34.
Emerging principles in machine learning
机译:
机器学习中的新兴原理
作者:
R Michalski
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
35.
Knowledge-based processing/interpretation of oceanographic satellite data
机译:
基于知识的海洋卫星数据处理/解释
作者:
M G Thomason
;
R E Blake
;
M Lybanon
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
36.
Algebraic versus probabilistic independence in decision theory
机译:
决策理论中的代数与概率独立性
作者:
S K M Wong
;
W Ziarko
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
37.
Approximating sets with equivalence relations
机译:
具有等价关系的近似集
作者:
W Marek
;
H Rasiowa
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
38.
Evidential logic and Dempster-Shafer theory
机译:
证据逻辑与Dempster-Shafer理论
作者:
S S Chen
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
39.
Generic tasks in knowledge-based reasoning: a level of abstraction that supports knowledge acquisition, system design and explanation
机译:
基于知识的推理中的通用任务:支持知识获取,系统设计和解释的抽象级别
作者:
B Chandrasekaran
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
40.
Knowledge base organization in expert systems
机译:
专家系统中的知识库组织
作者:
S Frediani
;
L Saitta
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
41.
An expert system for dynamic scheduling
机译:
动态调度专家系统
作者:
D Ford
;
S Floyd
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
42.
Expert system on a chip: an engine for real-time approximate reasoning
机译:
片上专家系统:实时近似推理的引擎
作者:
M Togai
;
H Watanabe
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
43.
Estimation of minimax values
机译:
极小极大值的估计
作者:
C H Tzeng
;
P Purdom
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
44.
Logic programming semantics using a compact data structure
机译:
使用紧凑数据结构的逻辑编程语义
作者:
M Fitting
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
45.
Towards an intelligent and personalized retrieval system
机译:
迈向智能和个性化的检索系统
作者:
S H Myaeng
;
R R Korfhage
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
46.
On the relationship between autoepistemic logic and parallel circumscription
机译:
论自流行逻辑与平行限制的关系。
作者:
M Gelfond
;
H Przymusinska
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
47.
A semantic and logical front-end to a database system
机译:
数据库系统的语义和逻辑前端
作者:
M Rajinikanth
;
P K Bose
会议名称:
《Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems》
|
1986年
意见反馈
回到顶部
回到首页