掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Workshop on Computational Logic for Multi-Agent Systems
International Workshop on Computational Logic for Multi-Agent Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
机译:
司法延迟是正义剥夺:批准赔偿和法律合规性的逻辑
作者:
Guido Governatori
;
Antonino Rotolo
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
2.
A Dynamic Logic of Institutional Actions
机译:
机构行动的动态逻辑
作者:
Andreas Herzig
;
Emiliano Lorini
;
Nicolas Troquard
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
3.
A Formal Semantics for Brahms
机译:
Brahms的正式语义
作者:
Richard Stocker
;
Maarten Sierhuis
;
Louise Dennis
;
Clare Dixon
;
Michael Fisher
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
4.
A Geometric Look at Manipulation
机译:
几何看操作
作者:
Jan van Eijck
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
5.
Probabilistic Action and Deontic Logic
机译:
概率动作和语言逻辑
作者:
Jan Broersen
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
6.
A Modal Framework for Relating Belief and Signed Information
机译:
有关信仰和签名信息的模态框架
作者:
Emiliano Lorini
;
Laurent Perrussel
;
Jean-Marc Thevenin
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
7.
Abduction-Based Search for Cooperative Answers
机译:
基于绑架的合作答案的搜索
作者:
Samy Sa
;
Joao Alcantara
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
8.
Some Thoughts on Using Argumentation to Handle Trust
机译:
一些关于使用论证处理信任的思考
作者:
Simon Parsons
;
Yuqing Tang
;
Kai Cai
;
Elizabeth Sklar
;
Peter McBurney
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
9.
Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic
机译:
信息来源信任的传递与传播:模态逻辑的分析
作者:
Robert Demolombe
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
10.
Applications of Logic in Social Choice Theory
机译:
逻辑在社交选择理论中的应用
作者:
Ulle Endriss
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
11.
Reasoning about Joint Action and Coalitional Ability in K_n with Intersection
机译:
交叉口K_N联合行动与联盟能力的推理
作者:
Thomas Agotnes
;
Natasha Alechina
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
12.
Making Golog Norm Compliant
机译:
使Golog Norm兼容
作者:
Alfredo Gabaldon
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
13.
Three Steps
机译:
三个步骤
作者:
Hans van Ditmarsch
;
Fernando Soler-Toscano
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
14.
Acting on Norm Constrained Plans
机译:
作用于规范约束计划
作者:
Nir Oren
;
Wamberto Vasconcelos
;
Felipe Meneguzzi
;
Michael Luck
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
关键词:
Norms;
Plans;
Constraints;
15.
Normative Systems Represented as Hybrid Knowledge Bases
机译:
指定为混合知识库的规范系统
作者:
Marco Alberti
;
Ana Sofia Gomes
;
Ricardo Goncalves
;
Joao Leite
;
Martin Slota
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
16.
Verifying Team Formation Protocols with Probabilistic Model Checking
机译:
使用概率模型检查验证团队形成协议
作者:
Taolue Chen
;
Marta Kwiatkowska
;
David Parker
;
Aistis Simaitis
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
17.
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts
机译:
解放规范冲突的滞后多代理框架
作者:
Mathieu Beirlaen
;
Christian Strasser
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
18.
Reasoning about Exceptions to Contracts
机译:
关于合同的例外的推理
作者:
Ozgur Kafali
;
Francesca Toni
;
Paolo Torroni
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
19.
The Functional Dependence Relation on Hypergraphs of Secrets
机译:
秘密超图的功能依赖关系
作者:
Sara Miner More
;
Pavel Naumov
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
20.
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models
机译:
有限认知模型的模拟性和双模性的可定性
作者:
Hans van Ditmarsch
;
David Fernandez-Duque
;
Wiebe van der Hoek
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
21.
Ontology Merging as Social Choice
机译:
作为社交选择的本体融合
作者:
Daniele Porello
;
Ulle Endriss
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
22.
Alternating-Time Temporal Announcement Logic
机译:
交替时间时间公告逻辑
作者:
Tiago de Lima
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
关键词:
Logics for coalitional ability;
Epistemic Logic;
Dynamic Epistemic Logic;
Coalition Logic;
Alternating-time Temporal Logic;
23.
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information
机译:
用不完整信息综合均质多种子体系统的策略
作者:
Jan Calta
;
Dmitry Shkatov
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
24.
Social Commitment Delegation and Monitoring
机译:
社会承诺代表团和监测
作者:
Ozgur Kafali
;
Paolo Torroni
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
25.
Probabilistic Rule Learning in Nonmonotonic Domains
机译:
非单调域中的概率规则学习
作者:
Domenico Corapi
;
Daniel Sykes
;
Katsumi Inoue
;
Alessandra Russo
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2011年
关键词:
Inductive Logic Programming;
Probabilistic Logic Programming;
Answer Set Programming;
Hypothetical Reasoning;
Planning;
26.
Programming Multi-agent Systems
机译:
编程多代理系统
作者:
Mehdi Dastani
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2009年
27.
Easy Yet Hard: Model Checking Strategies of Agents
机译:
易于努力:模型检查代理商的策略
作者:
Wojciech Jamroga
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2009年
28.
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
机译:
将线性时间时间逻辑嵌入无限逻辑:用于切割消除的多毒者无限性认罪线性时间呈现时间逻辑
作者:
Norihiro Kamide
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2009年
29.
Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant
机译:
电子商务的基于参数的决策和谈判:为计算机装配厂承包土地租赁
作者:
Phan Minh Dung
;
Phan Minh Thang
;
Nguyen Duy Hung
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2009年
30.
Verifying Agents' Conformance with Multiparty Protocols
机译:
验证代理商与多方协议一致性
作者:
Laura Giordano
;
Alberto Martelli
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2009年
31.
Run-Time Semantics of a Language for Programming Social Processes
机译:
用于编程社会流程的语言的运行时语义
作者:
Juan M. Serrano
;
Sergio Saugar
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2009年
32.
Bounded-Resource Reasoning as (Strong or Classical) Planning
机译:
界资源推理为(强或古典)规划
作者:
Alexandre Albore
;
Natasha Alechina
;
Piergiorgio Bertoli
;
Chiara Ghidini
;
Brian Logan
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2009年
33.
Contracts Violation: Justification via Argumentation
机译:
违规行为:通过论证的理由
作者:
Stefania Costantini
;
Arianna Tocchio
;
Panagiota Tsintza
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2009年
34.
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
机译:
用于用户中心控制的正式框架,概率多代理网络物理系统
作者:
Marius C. Bujorianu
;
Manuela L. Bujorianu
;
Howard Barringer
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2009年
关键词:
Multi agent systems;
Cyber-physical systems;
User centric control;
Stochastic model checking;
Bisimulation;
Runtime analysis;
Symmetries;
35.
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
机译:
通过同步和完美召回重新审视CTLK的可靠性和模型检查
作者:
Catalin Dima
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2009年
36.
Expressing Properties of Resource-Bounded Systems: The Logics RTL and RTL
机译:
表达资源有限系统的属性:逻辑RTL和RTL
作者:
Nils Bulling
;
Berndt Farwer
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2010年
37.
A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier
机译:
用成本量化的PCTL混合策略纳什均衡的表征
作者:
Pedro Arturo Gongora
;
David A. Rosenblueth
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2010年
38.
Argumentation-Based Preference Modelling with Incomplete Information
机译:
基于论证的偏好建模与不完整信息
作者:
Wietske Visser
;
Koen V. Hindriks
;
Catholijn M. Jonker
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2010年
关键词:
Qualitative Preferences;
Argumentation;
Incomplete Information;
39.
Model Checking Normative Agent Organisations
机译:
模型检查规范代理组织
作者:
Louise Dennis
;
Nick Tinnemeier
;
John-Jules Meyer
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2010年
40.
InstQL: A Query Language for Virtual Institutions Using Answer Set Programming
机译:
安装:使用答案集编程的虚拟机构查询语言
作者:
Luke Hopton
;
Owen Cliffe
;
Marina De Vos
;
Julian Padget
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2010年
41.
On the Implementation of Speculative Constraint Processing
机译:
关于推测约束处理的实施
作者:
Jiefei Ma
;
Alessandra Russo
;
Krysia Broda
;
Hiroshi Hosobe
;
Ken Satoh
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2010年
42.
Operational Semantics for BDI Modules in Multi-agent Programming
机译:
多代理编程中BDI模块的运行语义
作者:
Mehdi Dastani
;
Bas R. Steunebrink
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2010年
43.
Reasoning about Multi-agent Domains Using Action Language C: A Preliminary Study
机译:
使用Action语言C:初步研究
作者:
Chitta Baral
;
Tran Cao Son
;
Enrico Pontelli
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2010年
44.
Interacting Answer Sets
机译:
交互答案集
作者:
Chiaki Sakama
;
Tran Cao Son
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2010年
45.
Planning for Multiagent Using ASP-Prolog
机译:
使用ASP-PROLOG规划多元素
作者:
Tran Cao Son
;
Enrico Pontelli
;
Ngoc-Hieu Nguyen
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2010年
46.
Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation
机译:
完全杂交μ-微积分,其双刺激不变性和争论应用
作者:
Cristian Gratie
;
Adina Magda Florea
;
John-Jules Ch. Meyer
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2012年
关键词:
Full hybrid mu-calculus;
Argumentation;
Bisimulation;
47.
Distributed Defeasible Speculative Reasoning in Ambient Environment
机译:
在环境环境中分布缺陷的推测推理
作者:
Ho-Pun Lam
;
Guido Governatori
;
Ken Satoh
;
Hiroshi Hosobe
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2012年
48.
MKNF Knowledge Bases in Multi-Context Systems
机译:
MKNF知识库在多语境系统中
作者:
Martin Homola
;
Matthias Knorr
;
Joao Leite
;
Martin Slota
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2012年
49.
A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents
机译:
用于表征目标界限代理的时间位元逻辑
作者:
Isaac Pinyol
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2012年
50.
Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report
机译:
双极论证框架与职责义务相反,初步报告
作者:
Dov Gabbay
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2012年
51.
Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters
机译:
使用演化图来描述大集群中的拓扑感知预测模型
作者:
Matei Popovici
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2012年
关键词:
Temporal knowledge representation;
Temporal logic;
High-performance computing;
52.
Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning
机译:
使用答案集规划在多智能运动动作语言中实现可逆流程
作者:
Ben Wright
;
Enrico Pontelli
;
Tran Cao Son
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2012年
关键词:
Knowledge Representation;
Action Languages;
Multi-agent systems;
Answer Set Programming;
53.
Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach
机译:
提高基于目标的要求一致性:基于论证的方法
作者:
Isabelle Mirbel
;
Serena Villata
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2012年
54.
Epistemic ATL with Perfect Recall, Past and Strategy Contexts
机译:
认识到完美召回,过去和战略背景
作者:
Dimitar P. Guelev
;
Catalin Dima
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2012年
55.
A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks
机译:
机会网络中最佳网络拓扑的游戏理论方法
作者:
Nils Bulling
;
Michael Koster
;
Matei Popovici
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2012年
56.
A Formal Semantics for Agent (Re) Organization
机译:
代理(重新)组织的正式语义
作者:
Frank Dignum
;
Virginia Dignum
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2012年
57.
A Numerical Approach to the Merging of Argumentation Networks
机译:
论论论争论网络合并的数值方法
作者:
Dov Gabbay
;
Odinaldo Rodrigues
会议名称:
《International Workshop on Computational Logic for Multi-Agent Systems》
|
2012年
意见反馈
回到顶部
回到首页