掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Principles of Knowledge Representation and Reasoning
International Conference on Principles of Knowledge Representation and Reasoning
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
First-Order Loop Formulas for Normal Logic Programs
机译:
用于普通逻辑程序的一阶循环公式
作者:
Yin Chen
;
Fangzhen Lin
;
YisongWang
;
Mingyi Zhang
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
2.
Query Answering under the Any-World Assumption for Normal Logic Programs
机译:
在任何世界假设对正常逻辑计划下的回答
作者:
Umberto Straccia
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
3.
Replacements in Non-Ground Answer-Set Programming
机译:
非接地答案集编程中的替换
作者:
Thomas Eiter
;
Michael Fink
;
Hans Tompits
;
Patrick Traxler
;
Stefan Woltran
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
4.
Qualitative decision making with bipolar information
机译:
与双极信息的定性决策
作者:
Didier Dubois
;
Helene Fargier
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
5.
Heuristics for Planning with Penalties and Rewards using Compiled Knowledge
机译:
使用编译知识进行惩罚和奖励计划的启发式
作者:
Blai Bonet
;
Hector Geffner
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
6.
A Bad Day Surfing is Better than a Good Day Working: How to Revise a Total Preorder
机译:
糟糕的一天冲浪比工作的好日子好:如何修改总预购
作者:
Richard Booth
;
Thomas Meyer
;
Ka-Shu Wong
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
7.
Abductive Visual Perception with Feature Clouds
机译:
与特征云的绑架视觉感知
作者:
David Randell
;
Mark Witkowski
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
8.
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-order Extensions of Description Logic
机译:
关于描述逻辑的一阶扩展的混合推理的有序理论分辨率计算
作者:
Scott Sanner
;
Sheila McIlraith
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
9.
Strong and uniform equivalence of nonmonotonic theories-an algebraic approach
机译:
非单调理论的强大和均匀的等效性 - 代数方法
作者:
Miroslaw Truszczynski
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
10.
Foundations for Knowledge-Based Programs using ES
机译:
基于知识的计划的基础
作者:
Jens Classen
;
Gerhard Lakemeyer
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
11.
Decision-Theoretic GOLOG with Qualitative Preferences
机译:
具有定性偏好的决策理论golog
作者:
Christian Fritz
;
Sheila A. McIlraith
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
12.
A Theory of Vague Adjectives Grounded in Relevant Observables
机译:
在相关可观察到的模糊形容词理论
作者:
Brandon Bennett
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
13.
From Wine to Water: Optimizing Description Logic Reasoning for Nominals
机译:
从葡萄酒到水:优化描述名义上的逻辑推理
作者:
Evren Sirin
;
Bernardo Cuenca Grau
;
Bijan Parsia
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
14.
Reasoning About Knowledge of Unawareness
机译:
关于泛滥知识的推理
作者:
Joseph Y. Halpern
;
Leandro Chaves Rego
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
15.
Description Logics with Circumscription
机译:
描述逻辑与界面
作者:
Piero Bonatti
;
Carsten Lutz
;
FrankWolter
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
16.
Knowledgebase Compilation for Efficient Logical Argumentation
机译:
高效逻辑论证的知识库汇编
作者:
Philippe Besnard
;
Anthony Hunter
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
17.
Computational Properties of Epistemic Logic Programs
机译:
认知逻辑计划的计算属性
作者:
Yan Zhang
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
18.
Planning with Qualitative Temporal Preferences
机译:
规划定性时间偏好
作者:
Meghyn Bienvenu
;
Christian Fritz
;
Sheila A. McIlraith
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
19.
Semantical considerations for a logic of actions: an imperative manifesto
机译:
用于逻辑行动的语义考虑因素:一个必要的宣言
作者:
Victor Jauregui
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
20.
Grounding and the expression of belief
机译:
接地和信仰的表达
作者:
Benoit Gaudou
;
Andreas Herzig
;
Dominique Longin
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
关键词:
Modal logic;
Grounding;
Dialogue;
Speech acts;
Commitment;
BDI logic;
21.
Redoing the Foundations of Decision Theory
机译:
重做决策理论的基础
作者:
Lawrence E. Blume
;
David A. Easley
;
Joseph Y. Halpern
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
22.
A tree decomposition algorithm for Conceptual Graph projection
机译:
概念图投影的树分解算法
作者:
Madalina Croitoru
;
Ernesto Compatangelo
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
23.
Modularity and Web Ontologies
机译:
模块化和网络本体
作者:
Bernardo Cuenca Grau
;
Bijan Parsia
;
Evren Sirin
;
Aditya Kalyanpur
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
24.
DL+log: Tight Integration of Description Logics and Disjunctive Datalog
机译:
DL +日志:描述逻辑和解除数据的紧密集成
作者:
Riccardo Rosati
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
25.
Definitorially Complete Description Logics
机译:
终止完整描述逻辑
作者:
Balder ten Cate
;
Willem Conradie
;
Maarten Marx
;
Yde Venema
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
26.
Did I Damage my Ontology? A Case for Conservative Extensions in Description Logic
机译:
我损坏了我的本体论吗?描述逻辑中保守扩展的案例
作者:
Silvio Ghilardi
;
Carsten Lutz
;
FrankWolter
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
27.
On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information
机译:
关于行动理论的近似基于逼近和规划的完整性
作者:
Tran Cao Son
;
Phan Huy Tu
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
28.
Semantics for Dynamic Syntactic Epistemic Logics
机译:
动态句法认知逻辑的语义
作者:
Thomas A gotnes
;
Natasha Alechina
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
29.
Data Complexity of Query Answering in Description Logics
机译:
描述逻辑中查询应答的数据复杂性
作者:
Diego Calvanese
;
Giuseppe De Giacomo
;
Domenico Lembo
;
Maurizio Lenzerini
;
Riccardo Rosati
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
30.
Iterated revision as prioritized merging
机译:
迭代修订作为优先级合并
作者:
James Delgrande
;
Didier Dubois
;
Jerome Lang
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
31.
Constrained Argumentation Frameworks
机译:
受限论证框架
作者:
Sylvie Coste-Marquis
;
Caroline Devred
;
Pierre Marquis
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
32.
Users are always right…even when they are wrong: Making Knowledge Representation Useful and Usable
机译:
用户总是对的...即使他们错了:使知识表示有用和可用
作者:
Alan Rector
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
33.
Probabilistic Abduction Without Priors
机译:
没有前瞻的概率绑架
作者:
Didier Dubois
;
Angelo Gilio
;
Gabriele Kern-Isberner
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
34.
Actions as Special Cases
机译:
行动作为特殊情况
作者:
Selim T. Erdogan
;
Vladimir Lifschitz
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
35.
Expressive Power ofWeighted Propositional Formulas for Cardinal Preference Modelling
机译:
基准偏好建模的重量突出公式的表现力
作者:
Yann Chevaleyre
;
Ulle Endriss
;
Jerome Lang
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
36.
Lack of Finite Characterizations for the Distance-based Revision
机译:
对基于距离的修订缺乏有限特征
作者:
Jonathan Ben-Naim
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
37.
Propositional DAGs: a New Graph-Based Language for Representing Boolean Functions
机译:
命题DAG:一种代表布尔函数的新图形语言
作者:
MichaelWachter
;
Rolf Haenni
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
38.
Shapley Inconsistency Values
机译:
福利不一致价值
作者:
Anthony Hunter
;
Sebastien Konieczny
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
39.
Representing Policies for Quantified Boolean Formulae
机译:
代表量化布尔公式的政策
作者:
Sylvie Coste-Marquis
;
Helene Fargier
;
Jerome Lang
;
Daniel Le Berre
;
Pierre Marquis
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
40.
The Features-and-Fluents Semantics for the Fluent Calculus
机译:
流利微积分的特点和融合语义
作者:
Michael Thielscher
;
Thomas Witkowski
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
41.
Logical Foundations of Well-Founded Semantics
机译:
创立的语义良好的逻辑基础
作者:
Pedro Cabalar
;
Sergei Odintsov
;
David Pearce
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
关键词:
Well-founded semantics;
Partial stable models;
Equilibrium logic;
42.
Variable-Strength Conditional Preferences for Matchmaking in Description Logics
机译:
用于描述逻辑中的匹配的可变强度条件偏好
作者:
Thomas Lukasiewicz
;
Jorg Schellhase
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
43.
On the Limits of Planning over Belief States under Strict Uncertainty
机译:
论严格的不确定性规划对信仰国家的限制
作者:
Sebastian Sardina
;
Giuseppe De Giacomo
;
Yves Lesperance
;
Hector J. Levesque
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
44.
On planning with programs that sense
机译:
在计划中规划
作者:
Jorge A. Baier
;
Sheila A. McIlraith
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
45.
Non-deterministic semantics for first-order paraconsistent logics
机译:
一阶滞后逻辑的非确定性语义
作者:
Anna Zamansky
;
Arnon Avron
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
46.
Planning with Prioritized Goals
机译:
规划优先目标
作者:
Robert Feldmann
;
Gerhard Brewka
;
SandroWenzel
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
47.
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning
机译:
临时化基本方向:从约束满足计划
作者:
Marco Ragni
;
Stefan Woelfl
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
48.
The Even More Irresistible SROIQ
机译:
甚至更不可抗拒的sriiq
作者:
Ian Horrocks
;
Oliver Kutz
;
Ulrike Sattler
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
49.
Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and; Fuzzy Default Reasoning
机译:
可能性处理不确定的默认规则与应用程序持久化建模和;模糊默认推理
作者:
F. Dupin de Saint-Cyr
;
H. Prade
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
50.
Updating Description Logic Aboxes
机译:
更新描述逻辑aboxes
作者:
Hongkai Liu
;
Carsten Lutz
;
Maja Milicic
;
FrankWolter
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2006年
51.
Peer-to-Peer Query Answering with Inconsistent Knowledge
机译:
对等查询以不一致的知识回答
作者:
Arnold Binas
;
Sheila A. McIlraith
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
52.
Behavior Composition in the Presence of Failure
机译:
在发生故障存在下的行为组成
作者:
Sebastian Sardina
;
Fabio Patrizi
;
Giuseppe De Giacomo
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
53.
A Principled Framework for Modular Web Rule Bases and its Semantics
机译:
模块化Web规则基础的原则框架及其语义
作者:
Anastasia Analyti
;
Grigoris Antoniou
;
Carlos Viegas Damasio
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
54.
Relational Preference Rules for Control
机译:
控制的关系偏好规则
作者:
Ronen I. Brafman
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
55.
RIQ and SROIQ SHOIQ
机译:
Рииианнстойашояя
作者:
Yevgeny Kazakov
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
56.
Defaults and Normality in Causal Structures
机译:
因果结构中的默认值和正常性
作者:
Joseph Y. Halpern
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
57.
View-Based Query Answering over Description Logic Ontologies
机译:
基于视图的查询回答通过描述逻辑Intologies
作者:
Diego Calvanese
;
Giuseppe De Giacomo
;
Maurizio Lenzerini
;
Riccardo Rosati
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
58.
A Lexicographic Inference for Partially Preordered Belief Bases
机译:
部分预订信仰基地的词典推断
作者:
S. Yahi
;
S. Benferhat
;
S. Lagrue
;
M. Serayet
;
O. Papini
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
关键词:
Partially preordered belief bases;
Lexicographic inference;
Reasoning under inconsistency;
59.
Formalising Temporal Constraints on Part-Whole Relations
机译:
正式整体关系的时间限制
作者:
Alessandro Artale
;
Nicola Guarino
;
C. Maria Keet
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
60.
Complexity of Abduction in the EL Family of Lightweight Description Logics
机译:
EL系列轻量级描述逻辑中的绑架复杂性
作者:
Meghyn Bienvenu
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
61.
Horn Clause Belief Change: Contraction Functions
机译:
喇叭子句信仰变化:收缩功能
作者:
James P. Delgrande
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
62.
Beyond Nash Equilibrium: Solution Concepts for the 21st Century
机译:
超越纳什均衡:21世纪的解决方案概念
作者:
Joseph Y. Halpern
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
63.
Dynamic Logic on Games with Structured Strategies
机译:
具有结构化策略的游戏的动态逻辑
作者:
R. Ramanujam
;
Sunil Simon
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
64.
Preferences, Planning, and Control
机译:
偏好,规划和控制
作者:
Ronen I. Brafman
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
65.
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases
机译:
在本地完整数据库中近似查询回答的固定点方法的准确性和效率
作者:
Alvaro Cortes-Calabuig
;
Marc Denecker
;
Ofer Arieli
;
Maurice Bruynooghe
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
66.
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology
机译:
asher和vieu vieu的皮甲类病理学的理论理学特征
作者:
Torsten Hahmann
;
Michael Gruninger
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
67.
A Logical Framework to Represent and Reason about Graded Preferences and Intentions
机译:
一个逻辑框架来代表分级偏好和意图的理由
作者:
Ana Casali
;
Lluis Godo
;
Carles Sierra
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
68.
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction
机译:
有序分离的逻辑计划的强大等价的概念
作者:
Wolfgang Faber
;
Hans Tompits
;
Stefan Woltran
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
69.
Preference Modeling by Weighted Goals with Max Aggregation
机译:
首选使用MAX聚合的加权目标建模
作者:
Joel Uckelman
;
Ulle Endriss
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
70.
Improvement Operators
机译:
改进运营商
作者:
Sebastien Konieczny
;
Ramon Pino Perez
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
71.
On Loop Formulas with Variables
机译:
与变量的循环公式
作者:
Joohyung Lee
;
Yunsong Meng
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
72.
Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription
机译:
使用广义界定的定性偏好和基数推理
作者:
Patrick Doherty
;
Andrzej Szalas
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
73.
Measuring Inconsistency through Minimal Inconsistent Sets
机译:
通过最小不一致的集合测量不一致
作者:
Anthony Hunter
;
Sebastien Konieczny
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
74.
Can You Tell the Difference between DL-Lite Ontologies?
机译:
你能讲述DL-Lite Intolologies之间的区别吗?
作者:
Roman Kontchakov
;
Frank Wolter
;
Michael Zakharyaschev
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
75.
Equilibria in Social Belief Removal
机译:
在社会信仰中均衡
作者:
Richard Booth
;
Thomas Meyer
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
76.
Identifying Objects Over Time with Description Logics
机译:
随着描述逻辑识别对象
作者:
David Toman
;
Grant Weddell
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
77.
Inconsistency Management Policies
机译:
不一致的管理政策
作者:
Maria Vanina Martinez
;
Francesco Parisi
;
Andrea Pugliese
;
Gerardo I. Simari
;
V. S. Subrahmanian
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
78.
Approximate Reasoning in First-Order Logic Theories
机译:
一阶逻辑理论的近似推理
作者:
Johan Wittocx
;
Maarten Marien
;
Marc Denecker
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
79.
Semantic Preferential Subsumption
机译:
语义优惠载荷
作者:
Katarina Brit
;
Johannes Heidema
;
Thomas Meyer
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
80.
First-Order Strong Progression for Local-Effect Basic Action Theories
机译:
一阶强大的局部效应基本动作理论进展
作者:
Stavros Vassos
;
Gerhard Lakemeyer
;
Hector J. Levesque
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
81.
Reasoning About Agent Deliberation
机译:
关于代理商审议的推理
作者:
N. Alechina
;
M. Dastani
;
B. S. Logan
;
J. J. Ch. Meyer
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
82.
Making Decisions through Preference-Based Argumentation
机译:
通过基于偏好的论证来做出决定
作者:
Leila Amgoud
;
Yannis Dimopoulos
;
Pavlos Moraitis
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
83.
A Logic for Non-Terminating Golog Programs
机译:
非终止GOLOG程序的逻辑
作者:
Jens Classen
;
Gerhard Lakemeyer
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
84.
LTL over Description Logic Axioms
机译:
LTL通过描述逻辑公理
作者:
Franz Baader
;
Silvio Ghilardi
;
Carsten Lutz
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
85.
Default Theory of Defeasible Entailment
机译:
违约理论不可取的侵犯
作者:
Alexander Bochman
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
86.
Representing Structured Objects using Description Graphs
机译:
使用描述图表表示结构化对象
作者:
Boris Motik
;
Bernardo Cuenca Grau
;
Ian Horrocks
;
Ulrike Sattler
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
87.
Ontology Generation through the Fusion of Partial Reuse and Relation Extraction
机译:
通过融合部分重用和关系提取的本体生成
作者:
Nwe Ni Tun
;
Jin Song Dong
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
88.
An Abstract Argumentation Framework with Varied-Strength Attacks
机译:
一种抽象的论证框架,具有不同强度攻击
作者:
Diego C. Martinez
;
Alejandro J. Garcia
;
Guillermo R. Simari
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
89.
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic
机译:
将规则和本体与自身致血逻辑结合的嵌入方法
作者:
Jos de Bruijn
;
Thomas Eiter
;
Hans Tompits
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
90.
A Logical Account of Institutions: From Acceptances to Norms via Legislators
机译:
机构的逻辑叙述:从立法者接受到规范
作者:
Emiliano Lorini
;
Dominique Longin
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
91.
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond
机译:
Congolog,Sin Trans:将凝结性编译成规划和超越的基本动作理论
作者:
Christian Fritz
;
Jorge A. Baier
;
Sheila A. McIlraith
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
92.
On the Complexity of Planning Operator Subsumption
机译:
论规划运营商综合的复杂性
作者:
Patrick Eyerich
;
Michael Brenner
;
Bernhard Nebel
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
93.
Linking Iterated Belief Change Operations to Nonmonotonic Reasoning
机译:
将迭代信念变更操作与非单调推理联系起来
作者:
Gabriele Kern-Isberner
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
94.
Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis
机译:
从非标准分析的角度来看时代表示和时间推理
作者:
Philippe Balbiani
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
95.
On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle
机译:
论ADL和GOLOG的相对表达性:难题的最后一件
作者:
Gabriele Roger
;
Malte Helmert
;
Bernhard Nebel
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
96.
Deductive Planning with Inductive Loops
机译:
带电感循环的演绎规划
作者:
Martin Magnusson
;
Patrick Doherty
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
97.
Proving Goal Achievability
机译:
证明目标可实现性
作者:
Fangzhen Lin
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
98.
Unions of Conjunctive Queries in SHOQ
机译:
展示中的联合疑问的工会
作者:
Birte Glimm
;
Ian Horrocks
;
Ulrike Sattler
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
99.
Cartesian Situations and Knowledge Decomposition in the Situation Calculus
机译:
笛卡尔情况和知识分解在情况结石
作者:
Ronald P. A. Petrick
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
100.
Computing Loops with at Most One External Support Rule
机译:
在大多数外部支持规则中计算循环
作者:
Xiaoping Chen
;
Jianmin Ji
;
Fangzhen Lin
会议名称:
《International Conference on Principles of Knowledge Representation and Reasoning》
|
2009年
意见反馈
回到顶部
回到首页