掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
European Conference on Artificial Intelligence
European Conference on Artificial Intelligence
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
2248
条结果
1.
Gosu: computing GOal SUpport with commitments in multiagent systems
机译:
GOSU:计算目标支持与多读系统中的承诺
作者:
Ozgur Kafali
;
Akin Gunay
;
Pinar Yolum
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
2.
Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction
机译:
模型检查拍卖作为工匠系统:通过有限抽象的可解密性
作者:
Francesco Belardinelli
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
3.
Width-based Algorithms for Classical Planning: New Results
机译:
基于宽度的古典规划算法:新结果
作者:
Nir Lipovetzky
;
Hector Geffner
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
4.
Simultaneous Tracking and Activity Recognition (STAR) using Advanced Agent-Based Behavioral Simulations
机译:
使用基于高级代理的行为模拟的同时跟踪和活动识别(Star)
作者:
Arsene Fansi T.
;
Vincent Thomas
;
Olivier Buffet
;
Fabien Flacher
;
Alain Dutech
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
5.
Schedule Generation Schemes for Job Shop Problems with Fuzziness
机译:
安排制作模糊的工作店问题的生成方案
作者:
Juan Jose Palacios
;
Camino R. Vela
;
Ines Gonzalez-Rodriguez
;
Jorge Puente
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
6.
Learning Association Rules from Data through Domain Knowledge and Automation
机译:
通过域知识和自动化从数据学习协会规则
作者:
Jan Rauch
;
Milan Simunek
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
7.
Integrating BDI Agents into a MATSim Simulation
机译:
将BDI代理商集成在发病案件中
作者:
Lin Padgham
;
Kai Nagel
;
Dhirendra Singh
;
Qingyu Chen
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
8.
Characterising Semantic Relatedness using Interpretable Directions in Conceptual Spaces
机译:
在概念空间中使用可解释的方向表征语义相关性
作者:
Joaquin Derrac
;
Steven Schockaert
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
9.
A Single-Agent Approach to Multiagent Planning
机译:
一种单一的多级规划方法
作者:
Matthew Crosby
;
Anders Jonsson
;
Michael Rovatsos
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
10.
Quality-based Rewards for Monte-Carlo Tree Search Simulations
机译:
Monte-Carlo树搜索模拟的质量奖励
作者:
Tom Pepels
;
Mandy J.W. Tak
;
Marc Lanctot
;
Mark H. M. Winands
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
11.
Knowledge-based Specification of Robot Motions
机译:
基于知识的机器人运动规范
作者:
Moritz Tenorth
;
Georg Bartels
;
Michael Beetz
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
12.
Trustworthy Advice
机译:
值得信赖的建议
作者:
Nardine Osman
;
Patricia Gutierrez
;
Carles Sierra
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
13.
An Agent-Based Model of Procrastination
机译:
基于代理的拖延模型
作者:
Ruurdje Procee
;
Bart A. Kamphorst
;
Arlette van Wissen
;
John-Jules Meyer
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
14.
Conflict Resolution in Partially Ordered OWL DL Ontologies
机译:
部分有序OWL DL本体中的冲突解决
作者:
Qiu Ji
;
Zhiqiang Gao
;
Zhisheng Huang
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
15.
Scoring Rules for the Allocation of Indivisible Goods
机译:
分配不可分割商品的规则
作者:
Dorothea Baumeister
;
Sylvain Bouveret
;
Jerome Lang
;
Nhan-Tam Nguyen
;
Trung Thanh Nguyen
;
Jorg Rothe
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
16.
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK
机译:
从默认和自动抑制逻辑到析出答案通过GK的逻辑设置程序
作者:
Jianmin Ji
;
Hannes Strass
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
17.
Multi-valued Argumentation Frameworks
机译:
多价争论框架
作者:
Pierpaolo Dondio
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
关键词:
Abstract Argumentation;
Multi-valued Logic;
Possibility Theory;
18.
GRAPPA: A Semantical Framework for Graph-Based Argument Processing
机译:
格拉巴:基于图形的参数处理的语义框架
作者:
Gerhard Brewka
;
Stefan Woltran
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
19.
Pattern-based Explanation for Automated Decisions
机译:
基于模式的自动决策解释
作者:
Ingrid Nunes
;
Simon Miles
;
Michael Luck
;
Simone Barbosa
;
Carlos Lucena
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
20.
Symmetry-Driven Decision Diagrams for Knowledge Compilation
机译:
关于知识编译的对称驱动的决策图
作者:
Anicet Bart
;
Frederic Koriche
;
Jean-Marie Lagniez
;
Pierre Marquis
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
21.
Automating Godel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers
机译:
以高阶自动定理普罗维尔方式自动化戈德尔的存在的本体存在
作者:
Christoph Benzmuller
;
Bruno Woltzenlogel Paleo
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
22.
Multi Agent Learning of Relational Action Models
机译:
关系动作模型的多代理学习
作者:
Christophe Rodrigues
;
Henry Soldano
;
Gauvain Bourgne
;
Celine Rouveirol
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
23.
A Privacy-preserving Model for the Multi-agent Propositional Planning Problem
机译:
多智能经统命题规划问题的隐私保留模型
作者:
Andrea Bonisoli
;
Alfonso E. Gerevini
;
Alessandro Saetti
;
Ivan Serina
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
24.
Exploiting the Semantic Web for Systems Diagnosis
机译:
利用语义Web进行系统诊断
作者:
Anika Schumann
;
Freddy Lecue
;
Joern Ploennigs
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
25.
Extending Semantic Sensor Networks for Automatically Tackling Smart Building Problems
机译:
扩展语义传感器网络,用于自动解决智能建筑问题
作者:
Joern Ploennigs
;
Anika Schumann
;
Freddy Lecue
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
26.
Argumentation Accelerated Reinforcement Learning for Cooperative Multi-Agent Systems
机译:
协同多助理系统的论证加速钢筋学习
作者:
Yang Gao
;
Francesca Toni
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
27.
Graph abstraction for closed pattern mining in attributed networks
机译:
闭合模式挖掘在归属网络中的图表抽象
作者:
Henry Soldano
;
Guillaume Santini
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
28.
How Hard is it to Compute Majority-Preserving Judgment Aggregation Rules?
机译:
计算多数保存判断汇总规则是多么努力?
作者:
Jerome Lang
;
Marija Slavkovik
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
29.
Combining Engineering and Qualitative Models to Fault Diagnosis in Air Handling Units
机译:
将工程和定性模型结合在空气处理单元中的故障诊断
作者:
Peter Struss
;
Raymond Sterling
;
Jesus Febres
;
Umbreen Sabir
;
Marcus M. Keane
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
30.
A Process for Knowledge Transformation and Knowledge Representation of Patent Law
机译:
专利法的知识转型和知识代表的过程
作者:
Shashishekar Ramakrishna
;
Adrian Paschke
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
关键词:
Elementary Pragmatics;
LegalDocML;
SBVR;
Structured English;
Legal Norms;
LegalRuleML;
31.
Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes
机译:
具有轴对齐矩形多台的布尔组合的声明性空间推理
作者:
Carl Schultz
;
Mehul Bhatt
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
32.
Combining Restarts, Nogoods and Decompositions for Solving CSPs
机译:
结合重启,Nogoods和分解来解决CSP
作者:
Philippe Jegou
;
Cyril Terrioux
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
33.
ParkinsonCheck Smart Phone App
机译:
Parkinsoncheck智能手机应用程序
作者:
Aleksander Sadikov
;
Vida Groznik
;
Jure Zabkar
;
Martin Mozina
;
Dejan Georgiev
;
Zvezdan Pirtosek
;
Ivan Bratko
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
34.
Reducing global consistency to local consistency in Ontology-based Data Access
机译:
降低基于本体的数据访问中的本地一致性的全局一致性
作者:
Marco Console
;
Maurizio Lenzerini
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
35.
Comparing Data Distribution Using Fading Histograms
机译:
使用衰落直方图进行比较数据分布
作者:
Raquel Sebastiao
;
Joao Gama
;
Teresa Mendonca
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
36.
Efficient Policy Iteration for Periodic Markov Decision Processes
机译:
定期马尔可夫决策过程的高效政策迭代
作者:
Takayuki Osogami
;
Rudy Raymond
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
37.
A finite-valued solver for disjunctive fuzzy answer set programs
机译:
用于析出模糊答案集计划的有限求解求解器
作者:
Mushthofa Mushthofa
;
Steven Schockaert
;
Martine De Cock
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
38.
Computing Skypattern Cubes
机译:
计算Skypattern立方体
作者:
Willy Ugarte
;
Patrice Boizumault
;
Samir Loudni
;
Bruno Cremilleux
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
39.
Social Computing in JaCaMo
机译:
Jacamo中的社交计算
作者:
Matteo Baldoni
;
Cristina Baroglio
;
Federico Capuzzimati
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
40.
Quality in Quantity - Relative Direction Constraints using Sector Sets around Oriented Points
机译:
数量的质量 - 使用扇区设置的相对方向约束
作者:
Andre van Delden
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
41.
Spatio-Temporal Stream Reasoning with Incomplete Spatial Information
机译:
空间信息不完整的时空流推理
作者:
Fredrik Heintz
;
Daniel de Leng
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
42.
Belief merging within fragments of propositional logic
机译:
信仰在命题逻辑的碎片内融合
作者:
Nadia Creignou
;
Odile Papini
;
Stefan Rummele
;
Stefan Woltran
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
43.
Multi-objective learning of hybrid classifiers
机译:
混合分类器的多目标学习
作者:
Rok Piltaver
;
Mitja Lustrek
;
Jernej Zupancic
;
Saso Dzeroski
;
Matjaz Gams
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
44.
Self-decomposable Global Constraints
机译:
自我分解的全球约束
作者:
Jean-Guillaume Fages
;
Xavier Lorca
;
Thierry Petit
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
45.
An Evolutionary Spatial Game-based Approach for the Self-regulation of Social Exchanges in MAS
机译:
基于进化的空间游戏,用于MAS中社会交流的自我调节方法
作者:
Luis F. K. Macedo
;
Gracaliz P. Dimuro
;
Marilton S. Aguiar
;
Helder Coelho
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
46.
An Efficient Bayesian Network Structure Learning Algorithm in the Presence of Deterministic Relations
机译:
确定性关系存在的高效贝叶斯网络结构学习算法
作者:
Ahmed Mabrouk
;
Christophe Gonzales
;
Karine Jabet-Chevalier
;
Eric Chojnacki
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
47.
An Algorithm for the Penalized Multiple Choice Knapsack Problem
机译:
一种惩罚多项选择背包问题的算法
作者:
Elizabeth M. Hilliard
;
Amy Greenwald
;
Victor Naroditskiy
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
48.
VMAP: A Visual Schema Mapping Tool
机译:
VMAP:视觉架构映射工具
作者:
Florin Chertes
;
Ingo Feinerer
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
49.
Collective Rationality in Graph Aggregation
机译:
图形聚合中的集体理性
作者:
Ulle Endriss
;
Umberto Grandi
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
50.
A Practical, Integer-Linear Programming Model for the Delete-Relaxation in Cost-Optimal Planning
机译:
一种实用的整数线性编程模型,用于在成本最佳规划中删除放松
作者:
Tatsuya Imai
;
Alex Fukunaga
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
51.
A Logical Characterization of a Reactive System Language
机译:
反应系统语言的逻辑表征
作者:
Robert Kowalski
;
Fariba Sadri
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
关键词:
Reactive systems;
Model generation;
Completeness;
LPS;
KELPS;
52.
From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach
机译:
从技术系统的正式要求完成设计 - 整体方法
作者:
Bjorn Bottcher
;
Natalia Moriz
;
Oliver Niggemann
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
53.
Lattice-based biclustering using Partition Pattern Structures
机译:
基于格子的双板使用分区图案结构
作者:
Victor Codocedo
;
Amedeo Napoli
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
54.
Social network data analysis for event detection
机译:
事件检测的社交网络数据分析
作者:
Dario Garcia-Gasulla
;
Sergio Alvarez-Napagao
;
Arturo Tejeda-Gomez
;
Luis Oliva-Felipe
;
Ignasi Gomez-Sebastia
;
Javier Bejar
;
Javier Vazquez-Salceda
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
55.
Coordinated Team Learning and Difference Rewards for Distributed Intrusion Response
机译:
协调团队学习和分布式入侵响应的差异奖励
作者:
Kleanthis Malialis
;
Sam Devlin
;
Daniel Kudenko
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
56.
Assertional-based Prioritized Removed Sets Revision of DL-Lite_R Knowledge Bases
机译:
基于自信的优先级删除了DL-Lite_R知识库的修订版
作者:
Salem Benferhat
;
Zied Bouraoui
;
Odile Papini
;
Eric Wurbel
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
57.
ADS2: Anytime Distributed Supervision of Distributed Systems that Face Unreliable or Costly Communication
机译:
ADS2:随时对沟通或昂贵的沟通的分布式系统的分布式监控
作者:
Cedric Herpson
;
Amal El Fallah Seghrouchni
;
Vincent Corruble
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
58.
A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning
机译:
混合诊断方法,结合了黑箱和白盒推理
作者:
Mingmin Chen
;
Shizhuo Yu
;
Nico Franz
;
Shawn Bowers
;
Bertram Ludascher
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
59.
Syntactic Possibilistic Goal Generation
机译:
句法可能的目标生成
作者:
Celia da Costa Pereira
;
Andrea G. B. Tettamanzi
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
60.
An Integrated Reconfigurable System for Maritime Situational Awareness
机译:
综合可重构系统的海上态势意识
作者:
Marina Velikova
;
Peter Novak
;
Bas Huijbrechts
;
Jan Laarhuis
;
Jesper Hoeksma
;
Steffen Michels
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
61.
Adaptive Active Learning as a Multi-armed Bandit Problem
机译:
自适应主动学习作为多武装强盗问题
作者:
Wojciech M. Czarnecki
;
Igor T. Podolak
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
62.
Statistical Constraints
机译:
统计约束
作者:
Roberto Rossi
;
Steven Prestwich
;
S. Armagan Tarim
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
63.
Effective and Robust Natural Language Understanding for Human-Robot Interaction
机译:
对人机互动的有效和强大的自然语言理解
作者:
Emanuele Bastianelli
;
Giuseppe Castellucci
;
Danilo Croce
;
Roberto Basili
;
Daniele Nardi
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
64.
Proactive and Reactive Reconfiguration for the Robust Execution of Multi Modality Plans
机译:
主动和反应重新配置,用于多模态计划的强大执行
作者:
Enrico Scala
;
Pietro Torasso
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
65.
On Verifying Reactive Rules Using Rewriting Logic
机译:
在使用重写逻辑验证反应规则
作者:
Katerina Ksystra
;
Nikos Triantafyllou
;
Petros Stefaneas
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
关键词:
Reactive Rules;
Verification;
Rewrite Theory Specification;
Theorem Proving;
Model Checking;
Structure Errors;
Safety properties;
66.
Controlling Two-Stage Voting Rules
机译:
控制两阶段投票规则
作者:
Jiong Guo
;
Yash Raj Shrestha
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
67.
'Distance'? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability
机译:
“距离”?谁在乎?剪裁合并和缩小启发式以检测无法解决
作者:
Jorg Hoffmann
;
Peter Kissmann
;
Alvaro Torralba
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
68.
Analyzing the tradeoff between efficiency and cost of norm enforcement in stochastic environments
机译:
随机环境中规范强制效率与成本的折衷
作者:
Moser Silva Fagundes
;
Sascha Ossowski
;
Felipe Meneguzzi
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
69.
A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database
机译:
在序列数据库中发现鉴别图案的分解方法
作者:
David Lesaint
;
Deepak Mehta
;
Barry OSullivan
;
Vincent Vigneron
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
70.
Basics for a Grammar Engine to Verbalize Logical Theories in isiZulu
机译:
语法引擎的基础知识,以isizulu的语言理论
作者:
C. Maria Keet
;
Langa Khumalo
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
71.
Utility-Based HTN Planning
机译:
基于实用的HTN规划
作者:
Ilche Georgievski
;
Alexander Lazovik
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
72.
Probabilistic Active Learning: A Short Proposition
机译:
概率主动学习:简短的命题
作者:
Georg Krempl
;
Daniel Kottke
;
Myra Spiliopoulou
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
73.
Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology
机译:
使用本体的正式规则表示和验证自然语言要求
作者:
Driss Sadoun
;
Catherine Dubois
;
Yacine Ghamri-Doudane
;
Brigitte Grau
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
关键词:
Knowledge representation;
OWL ontology;
NL requirements;
Formal verification;
74.
Requirement Compound Mining and Analysis
机译:
需求复合挖掘和分析
作者:
Juyeon Kang
;
Patrick Saint-Dizier
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
75.
Video Event Recognition by Dempster-Shafer Theory
机译:
Dempster-Shafer理论的视频事件识别
作者:
Xin Hong
;
Yan Huang
;
Wenjun Ma
;
Paul Miller
;
Weiru Liu
;
Huiyu Zhou
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
76.
A Logic of Part and Whole for Buffered Geometries
机译:
缓冲几何形状的一部分和整体的逻辑
作者:
Heshan Du
;
Natasha Alechina
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
77.
On support relations in abstract argumentation as abstractions of inferential relations
机译:
论抽象论证的支持关系作为推论关系的抽象
作者:
Henry Prakken
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
78.
Stop-Free Strategies for Traffic Networks: Decentralized On-line Optimization
机译:
交通网络的停止策略:分散的在线优化
作者:
Mohamed Tlig
;
Olivier Buffet
;
Olivier Simonin
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
79.
Semantical Information Graph Model toward Fast Information Valuation in Large Teamwork
机译:
大型团队合作中快速信息估值的语义信息图模型
作者:
Yulin Zhang
;
Yang Xu
;
Haixiao Hu
;
Xianggen Liu
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
80.
Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations
机译:
基于树的概念不相似性编辑距离和形态扩张
作者:
Felix Distel
;
Jamal Atif
;
Isabelle Bloch
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
81.
Post-processing a classifier's predictions: Strategies and empirical evaluation
机译:
后处理分类器的预测:策略和实证评估
作者:
Salem Benferhat
;
Karim Tabia
;
Mouaad Kezih
;
Mahmoud Taibi
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
82.
How much trust is enough to trust? A market-adaptive trust threshold setting for e-marketplaces
机译:
信任足以信任?电子市场的市场自适应信任阈值设置
作者:
Zeinab Noorian
;
Mohsen Mohkami
;
Julita Vassileva
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
83.
Optimal Planning in the Presence of Conditional Effects: Extending LM-Cut with Context Splitting
机译:
有条件效果存在的最佳规划:用上下文分裂延伸LM-CUT
作者:
Gabriele Roger
;
Florian Pommerening
;
Malte Helmert
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
84.
Bargaining for Coalition Structure Formation
机译:
联盟结构形成讨价还价
作者:
Shaheen Fatima
;
Tomasz Michalak
;
Michael Wooldridge
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
85.
Bicycle Route Planning with Route Choice Preferences
机译:
自行车路线规划与路线选择偏好
作者:
Jan Hrncir
;
Qing Song
;
Pavol Zilecky
;
Marcel Nemet
;
Michal Jakob
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
86.
Monte-Carlo Tree Search: To MC or to DP?
机译:
Monte-Carlo树搜索:到MC或DP?
作者:
Zohar Feldman
;
Carmel Domshlak
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
87.
Finding good stochastic factored policies for factored Markov decision processes
机译:
寻找代表性马尔可夫决策过程的良好随机因素政策
作者:
Julia Radoszycki
;
Nathalie Peyrard
;
Regis Sabbadin
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
88.
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems
机译:
GPU实施大邻域搜索解决约束优化问题
作者:
F. Campeotto
;
A. Dovier
;
F. Fioretto
;
E. Pontelli
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
89.
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus
机译:
在有界情况微积分中感测的在线执行的LTL验证
作者:
Giuseppe De Giacomo
;
Yves Lesperance
;
Fabio Patrizi
;
Stavros Vassos
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
90.
On Combinatorial Actions and CMABs with Linear Side Information
机译:
关于组合动作和线性侧信息的CMAB
作者:
Alexander Shleyfman
;
Antonin Komenda
;
Carmel Domshlak
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
91.
Probabilistic Argumentation with Incomplete Information
机译:
不完整信息的概率论证
作者:
Anthony Hunter
;
Matthias Thimm
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
92.
The Complexity of Reasoning with Relative Directions
机译:
相对方向推理的复杂性
作者:
Jae Hee Lee
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
93.
Decidability of model checking multi-agent systems against a class of EHS specifications
机译:
针对一类EHS规范检查多种子体系统的模型的可解除性
作者:
Alessio R. Lomuscio
;
Jakub Michaliszyn
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
94.
Fuzzy Logic for Preferences expressible by convolutions
机译:
卷积表示的偏好模糊逻辑
作者:
Krystian Jobczyk
;
Maroua Bouzid
;
Antoni Ligeza
;
Jerzy Karczmarczuk
会议名称:
《European Conference on Artificial Intelligence》
|
2014年
95.
Advances in Distributed Branch and Bound
机译:
分布式分支和绑定的进步
作者:
Lars Otten
;
Rina Dechter
会议名称:
《European Conference on Artificial Intelligence》
|
2012年
96.
WeMiT: Web-Mining for Translation
机译:
WEMIT:翻译网站挖掘
作者:
Mathieu Roche
;
Oana Mihaela Garbasevschi
会议名称:
《European Conference on Artificial Intelligence》
|
2012年
97.
AGENTFLY: Multi-Agent Simulation of Air-Traffic Management
机译:
Agentfly:空中交通管理多功能仿真
作者:
David Sislak
;
Premysl Volf
;
Dusan Pavlicek
;
Michal Pechoucek
会议名称:
《European Conference on Artificial Intelligence》
|
2012年
98.
Practical Reformulations With Table Constraints
机译:
表约束的实用重新装饰
作者:
Olivier Lhomme
会议名称:
《European Conference on Artificial Intelligence》
|
2012年
99.
A Novel Way to Connect BnB-ADOPT~+ with Soft AC
机译:
用软交流连接BNB采用〜+的新方法
作者:
Patricia Gutierrez
;
Pedro Meseguer
会议名称:
《European Conference on Artificial Intelligence》
|
2012年
100.
Training Crisis Managers with PANDORA
机译:
培训欺骗管理人员与潘多拉
作者:
Liz Bacon
;
Amedeo Cesta
;
Luca Coraci
;
Gabriella Cortellessa
;
Riccardo De Benedictis
;
Sara Grilli
;
Jure Polutnik
;
Keith Strickland
会议名称:
《European Conference on Artificial Intelligence》
|
2012年
上一页
1
2
3
4
5
6
7
8
9
10
11
下一页
意见反馈
回到顶部
回到首页