掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Workshop on Agent Theories, Architectures, and Languages
International Workshop on Agent Theories, Architectures, and Languages
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Agents and Roles: Refinement in Alternating-Time Temporal Logic
机译:
代理和角色:在交替时间逻辑中的细化
作者:
Mark Ryan
;
Pierre-Yves Schobbens
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
2.
KSACI: A Handheld Device Infrastructure for Agents Communication
机译:
KSACI:用于代理通信的手持设备基础架构
作者:
Ryan L. Albuquerque
;
Jomi F. Hubner
;
Gustavo E. de Paula
;
Jaime S. Sichman
;
Geber L. Ramalho
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
3.
Commitment machines
机译:
承诺机器
作者:
Pinar Yolum
;
Munindar P. Singh
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
4.
A Goal-Based Organizational Perspective on Multi-agent Architectures
机译:
基于目标的组织验证的组织视角
作者:
Manuel Kolp
;
Paolo Giorgini
;
John Mylopoulos
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
5.
A Formal Semantics for ProxyCommunicative Acts
机译:
ProxyComunicative行为的正式语义
作者:
Marcus J. Huber
;
Sanjeev Kumar
;
Philip R. Cohen
;
David R. McGee
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
6.
Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach
机译:
动态分布式资源分配:分布式约束满足方法
作者:
Pragnesh Jay Modi
;
Hyuchchul Jung
;
Milind Tambe
;
Wei-Min Shen
;
Shriniwas Kulkarni
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
7.
An Abstract Machine for Classes of Communicating Agents Based on Deduction
机译:
基于扣除的沟通代理课程的抽象机器
作者:
Pierre Bonzon
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
8.
The Ψ Calculus: An Algebraic Agent Language
机译:
ψ微分:代数代理语言
作者:
David Kinny
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
9.
Running AgentSpeak(L) Agents on SIM_AGENT
机译:
在Sim_Agent上运行代理代理(L)代理
作者:
Rodrigo Machado
;
Rafael H. Bordini
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
10.
Emotions and Personality in Agent Design and Modeling
机译:
代理设计与建模的情感与人格
作者:
Piotr J. Gmytrasiewicz
;
Christine L. Lisetti
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
11.
The Computational Complexity of Agent Verification
机译:
代理验证的计算复杂性
作者:
Michael Wooldridge
;
Paul E. Dunne
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
12.
Implicit Negotiation in Repeated Games
机译:
反复游戏中的隐含谈判
作者:
Michael L. Littman
;
Peter Stone
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
13.
Knowledge Level Software Engineering
机译:
知识水平软件工程
作者:
Fausto Giunchiglia
;
Anna Perini
;
Fabrizio Sannicolo
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
14.
Formal Theories of Negotiation
机译:
正式的谈判理论
作者:
Frank Dignum
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
15.
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
机译:
关于多元素系统规范计划的认识性可行性
作者:
Yves Lesperance
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
16.
Ontological Overhearing
机译:
本体解读
作者:
Marco Aiello
;
Paolo Busetta
;
Antonia Dona
;
Luciano Serafini
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
17.
KSACI: A Handheld Device Infrastructure for Agents Communication
机译:
KSACI:用于代理通信的手持设备基础架构
作者:
Ryan L. Albuquerque
;
Jomi F. Hubner
;
Gustavo E. de Paula
;
Jaime S. Sichman
;
Geber L. Ramalho
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
18.
FIPA-OS Agent Platform for Small-Footprint Devices
机译:
FIPA-OS代理平台用于小型设备
作者:
Mikko Laukkanen
;
Sasu Tarkoma
;
Jani Leinonen
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
19.
MINERVA - A Dynamic Logic Programming Agent Architecture
机译:
MINERVA - 一种动态逻辑编程代理架构
作者:
Joao Alexandre Leite
;
Jose Julio Alferes
;
Luis Moniz Pereira
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
20.
Simple negotiating Agents in Complex Games: Emergent Equilibria and Dominance of Strategies
机译:
复杂游戏中简单的谈判代理商:紧急均衡和策略的统治
作者:
Peyman Faratin
;
Mark Klein
;
Hiroki Sayama
;
Yaneer Bar-Yam
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
21.
Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems
机译:
演化大规模多代理系统的实时本地代理控制
作者:
Thomas Wagner
;
Victor Lesser
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
22.
Improving Optimality of n Agent Envy-Free Divisions
机译:
改善N代理的最优性无嫉妒分裂
作者:
Stephen W. Nuchia
;
Sandip Sen
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
23.
Formalizing a Language for Institutions and Norms
机译:
正式化机构和规范的语言
作者:
Marc Esteva
;
Julian Padget
;
Carles Sierra
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
24.
MINεRVA- A Dynamic Logic Programming Agent Architecture
机译:
minεrva-一种动态逻辑编程代理架构
作者:
Joao Alexandra Leite
;
Jose Julio Alferes
;
Luis Moniz Pereira
;
Lecture Notes in Artificial Intelligence 2333
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
25.
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
机译:
谈判对话:代理品种和对话序列
作者:
Fariba Sadri
;
Francesca Toni
;
Paolo Torroni
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
26.
Introduction
机译:
介绍
作者:
John-Jules Ch. Meyer
;
Milind Tambe
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
27.
Generating Bids for Group-Related Actions in the Context of Prior Commitments
机译:
在事先承诺的上下文中生成与组相关的行动的出价
作者:
Luke Hunsberger
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
关键词:
collaborative planning;
group decision making;
combinatorial auctions;
simple temporal networks;
bid generation;
temporal constraints;
28.
Antisocial Agents and Vickrey Auctions
机译:
反社会代理商和vickrey拍卖
作者:
Felix Brandt
;
Gerhard WeiB
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
29.
Optimal Negotiation Strategies for Agents with Incomplete Information
机译:
具有不完整信息的代理商的最佳谈判策略
作者:
S. Shaheen Fatima
;
Michael Wooldridge
;
Nicholas R. Jennings
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
30.
LEAP: A FIPA Platform for Handheld and Mobile Devices
机译:
飞跃:手持设备和移动设备的FIPA平台
作者:
Federico Bergenti
;
Agostino Poggi
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
31.
Agent Dialogues with Conflicting Preferences
机译:
具有冲突偏好的代理对话
作者:
Leila Amgound
;
Simon Parsons
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
32.
MINERVA-A Dynamic Logic Programming Agent Architecture
机译:
Minerva-A动态逻辑编程代理架构
作者:
Joao Alexandre Leite
;
Jose Julio Alferes
;
Luis Moniz Pereira
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
33.
A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains
机译:
一类任务导向域的联盟形成稳定而可行的薪酬司
作者:
Maria Victoria Belmonte
;
Ricardo Conejo
;
Jose Luis Perez-de-la-Cruz
;
Francisco Triguero
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
34.
Revisiting Asimov's First Law: A Response to the Call to Arms
机译:
重新审视Asimov的第一法:对武器呼吁的回应
作者:
David V. Pynadath
;
Milind Tambe
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
35.
On Multi-agent Systems Specification via Deontic Logic
机译:
通过语法逻辑的多智能体系规范
作者:
Alessio Lomuscio
;
Marek Sergot
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
36.
Trustworthiness of Information Sources and Information Pedigrees
机译:
信息来源的可信度和信息百分比
作者:
Wei Liu
;
Mary-Anne Williams
会议名称:
《International Workshop on Agent Theories, Architectures, and Languages》
|
2002年
意见反馈
回到顶部
回到首页