掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International conference on artificial intelligence : Methodology, systems, and applications
International conference on artificial intelligence : Methodology, systems, and applications
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
The gain of failures: using side-effects of anaphora resolution for term consistency checks
机译:
故障的收益:使用APAPHORA分辨率的副作用进行一期一致的一致性检查
作者:
G.Angelova
;
O.Kalaydjiev
;
W.von Hahn
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
2.
A framework for inductive learning based on subsumption lattices
机译:
基于归藏格子的归纳学习框架
作者:
Z.Markov
;
N.Pelov
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
3.
Dynamic learning - an approach to forgetting in ART2 neural networks
机译:
动态学习 - 艺术2神经网络遗忘的方法
作者:
A.Nachev
;
N.Griffith
;
A.Gerov
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
4.
Constraint solving in logic programming and in automated deduction: a comparison
机译:
在逻辑编程和自动扣除中解决的约束:比较
作者:
A.Armando
;
E.Melis
;
S.Ranise
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
5.
A new approach to learning bayesian network classifiers from data: using observed statistical frequencies
机译:
从数据学习贝叶斯网络分类器的新方法:使用观察到的统计频率
作者:
T.Tahseen
;
D.F.Gillies
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
6.
Study of symmetry in qualitative temporal interval networks
机译:
定性时间间隔网络对称性研究
作者:
B.Benhamou
;
A.Isli
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
关键词:
Efficiency;
Temporal reasoning;
Constraint satisfaction;
Solution search;
7.
Belief reconstruction in cooperative dialogues
机译:
合作对话中的信仰重建
作者:
L.Farinas del Cerro
;
A.Herzig
;
D.Longin
;
O.Rifi
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
8.
Knowledge granularity and action selection
机译:
知识粒度和行动选择
作者:
Y.Ye
;
J.K.Tsotsos
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
9.
Extension calculus and query answering in prioritized default logic
机译:
优先默认逻辑中的扩展微积分和查询应答
作者:
F.Benhammadi
;
P.Nicolas
;
T.Schaub
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
关键词:
Nonmonotonic reasoning;
knowledge representation;
logic for artificial intelligence;
default logic;
priorities;
10.
Learning multiple predicates
机译:
学习多个谓词
作者:
A.Kakas
;
E.Lamma
;
F.Riguzzi
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
11.
An agent model for NL dialog interfaces
机译:
NL对话框接口的代理模型
作者:
L.Ardissono
;
G.Boella
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
关键词:
Multi-Agent Systems;
NL Processing;
Dialog;
12.
An agent systtem for intelligetn situation assesment
机译:
智能情况评估的代理系统
作者:
Q.Yang
;
I.Abi-Zeid
;
L.Lamontagne
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
13.
System architecture of a distributed expert system for the management of a national data network
机译:
用于管理国家数据网络的分布式专家系统的系统架构
作者:
I.Vlahavas
;
N.Bassiliades
;
I.Sakellariou
;
M.Molina
;
S.Ossowski
;
I.Futo
;
Z.Pasztor
;
J.Szeredi
;
I.Velbitskiy
;
S.Yershov
;
S.Golub
;
I.Netesin
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
关键词:
Distributed expert systems;
agents;
network management;
distributed prolog.;
14.
A classification learning algorithm robust to irrelevant features
机译:
一种分类学习算法鲁棒到无关的功能
作者:
H.A.Guvenir
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
15.
Multicontext systems with importing contexts
机译:
具有导入上下文的多天文系统
作者:
C.Dichev
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
16.
Acquisition of useful lemma-knowledge in automated reasoning
机译:
在自动推理中获取有用的引发知识
作者:
J.Drueger
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
17.
A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming
机译:
一种新的抽象逻辑编程语言及其拆除逻辑编程的综合消除方法
作者:
I.Stephan
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
18.
A blackboard architecture for guiding interactive proofs
机译:
一个黑板架构,用于指导互动证明
作者:
C.Benzmuller
;
V.Sorge
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
19.
Modal reasoning and rough set theory
机译:
模态推理与粗糙集理论
作者:
C.-J.Liau
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
关键词:
Rough set;
modal logic;
epistemic logic;
20.
Formalizing belief reports - the approach and a case study
机译:
正式化信仰报告 - 方法和案例研究
作者:
M.Benerecetti
;
P.Bouquet
;
C.Ghidini
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
21.
Towards lifetime maintenance of case based indexes for continual case based reasoning
机译:
基于持续案例的推理的基于案例索引的寿命维护
作者:
Z.Zhang
;
Q.Yang
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
22.
Model theoretic semantics for information integration
机译:
信息集成模型理论语义
作者:
C.Ghidini
;
L.Serafini
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
23.
A new approach to linguistic negation of nuanced information in knowledge-based systems
机译:
基于知识系统中详细信息的语言否定新方法
作者:
D.Pacholczyk
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
24.
Knowledge Assimilation and proof restoration through the addition of goals
机译:
通过添加目标来证明同化和证明恢复
作者:
H.Hayashi
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
25.
Combining nonmonotonic reasoning and belief revision: a practical approach
机译:
结合非单调推理和信仰修正:一种实用的方法
作者:
B.Bessant
;
E.Gregoire
;
P.Marquis
;
L.Sais
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
26.
Theories and proofs in fault diagnosis
机译:
故障诊断的理论和证据
作者:
I.Cicekli
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
27.
Overcoming incomplete information in NLP systems-verb subcategorization
机译:
克服NLP系统中的不完整信息 - 动词子类别
作者:
J.G.Pereira Lopes
;
J.Balsa
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
28.
Modelling uncertainty with kripke's semantics
机译:
用克里普克的语义建模不确定性
作者:
V.Boeva
;
E.Tsiporkova
;
B.De Baets
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
29.
Tailorable interactive agents for scheduling meetings
机译:
可定制的互动代理用于调度会议
作者:
A.Cesta
;
M.Collia
;
D.DAloisi
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
30.
Abstraction as a form of elaboration tolerance
机译:
抽象作为制定宽容的一种形式
作者:
A.Villafiorita
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
31.
Version space retraction with instance-based boundary sets
机译:
基于实例的边界集的版本空间回归
作者:
E.N.Smirnov
;
P.J.Braspenning
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
32.
Strategy selection for automated theorem proving
机译:
自动定理证明的战略选择
作者:
A.Wolf
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
33.
Planning via model checking in deterministic domains: preliminary report
机译:
规划通过模型检查确定性域名:初步报告
作者:
M.Di Manzo
;
E.Giunchiglia
;
S.Ruffino
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
34.
An extension of SATPLAN for planning with constraints
机译:
Satplan延伸,用于规划限制
作者:
M.Baioletti
;
S.Marcugini
;
A.Milani
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
35.
Using linear temporal logic to model and solve planning problems
机译:
使用线性时间逻辑来模拟和解决规划问题
作者:
S.Cerrito
;
M.Cialdea Mayer
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
36.
Planning diagonalization proofs
机译:
规划对角证明
作者:
L.Cheikhrouhou
;
J.Siekmann
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
37.
Nonmonotonic reasoning under uncertain evidence
机译:
不确定证据下的非单调推理
作者:
C.Delrieux
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
38.
Constructing translations between individual vocabularies in multi-agent systems
机译:
构建多种代理系统中各个词汇的翻译
作者:
R.M.van Eijk
;
F.S.de Boer
;
W.van der Hoek
;
J.-J.Ch.Meyer
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
39.
Reasoning about generalized intervals
机译:
关于广义间隔的推理
作者:
P.Balbiani
;
J.-F.Condotta
;
L.Farinas del Cerro
;
A.Osnani
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
40.
SAT-Based decision procedures for normal modal logics: a theoretical framework
机译:
基于SAT的正常模态逻辑的决策程序:理论框架
作者:
R.Sebastiani
;
A.Villafiorita
会议名称:
《International conference on artificial intelligence : Methodology, systems, and applications》
|
1998年
意见反馈
回到顶部
回到首页