掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Logic programming and nonmonotonic reasoning
Logic programming and nonmonotonic reasoning
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算技术与自动化
微处理机
小型微型计算机系统
工矿自动化
计算机应用
自动化与仪表
电脑知识与技术
自动化应用
电脑入门
中国自动识别技术
更多>>
相关外文期刊
Neural Networks, IEEE Transactions on
International journal of information technology project management
International journal of electronic security and digital forensics
International journal of electronic democracy
IEEE transactions on visualization and computer graphics
Computer active
International Journal of Parallel and Distributed Systems & Networks
Computer architecture news
Data & Knowledge Engineering
Service Oriented Computing and Applications
更多>>
相关中文会议
2011年全国数字媒体技术专业建设与人才培养研讨会
第十八届全国网络与数据通信学术会议
第三届全国信息检索与内容安全学术会议
浙江省高校计算机教学研究会2012学术年会
'OA2003办公自动化国际学术研讨会
2004年全国第五届成像光谱技术与应用研讨会
第十五届全国测试与故障诊断技术研讨会
第六届中国信息融合大会
2016中国计算机辅助设计与图形学会大会
“互联网思维与传统防腐蚀领域技术的碰撞”研讨会
更多>>
相关外文会议
Robotic grinding, deburring and finishing
Advances in Databases: Concepts, Systems and Applications; Lecture Notes in Computer Science; 4443
IFIP 17th World Computer Congress - TC12 Stream on Intelligent Information Processing Aug 25-30, 2002 Montreal, Quebec, Canada
Multi-agent systems and agreement technologies
Twenty-Second International Conference on Translating and the Computer; Nov 16-17, 2000; London
World Congress on Intelligent Control and Automation(WCICA 2004) vol.4; 20040615-19; Hangzhou(CN)
2018 IEEE/ACM 5th International Workshop on Software Engineering Research and Industrial Practice
Machine Vision Applications in Character Recognition and Industrial Inspection
On the move to meaningful internet systems: OTM 2016 workshops
Proceedings of the 6th CIRP-sponsored international conference on digital enterprise technology
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
机译:
有限递归程序自下而上评估的魔术集
作者:
Francesco Calimeri
;
Susanna Cozza
;
Giovambattista Ianni
;
Nicola Leone
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
2.
CR-Prolog as a Specification Language for Constraint Satisfaction Problems
机译:
CR-Prolog作为约束满足问题的规范语言
作者:
Marcello Balduccini
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
3.
Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs
机译:
逻辑逻辑程序的推理复杂性的三分法结果
作者:
Miroslaw Truszczynski
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
4.
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming
机译:
使用答案集编程验证密码协议的通用方法
作者:
James P. Delgrande
;
Torsten Grote
;
Aaron Hunter
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
5.
An ASP-Based System for e-Tourism
机译:
基于ASP的电子旅游系统
作者:
Salvatore Maria Ielpa
;
Salvatore Iiritano
;
Nicola Leone
;
Francesco Ricca
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
6.
Computing Weighted Solutions in Answer Set Programming
机译:
在答案集编程中计算加权解决方案
作者:
Duygu Cakmak
;
Esra Erdem
;
Halit Erdogan
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
7.
Representing Multi-agent Planning in CLP
机译:
在CLP中代表多代理计划
作者:
Agostino Dovier
;
Andrea Formisano
;
Enrico Pontelli
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
8.
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
机译:
低复杂度描述逻辑的原型推理:初步结果
作者:
Laura Giordano
;
Valentina Gliozzi
;
Nicola Olivetti
;
Gian Luca Pozzato
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
9.
The Conflict-Driven Answer Set Solver clasp: Progress Report
机译:
冲突驱动的答案集求解器扣环:进度报告
作者:
Martin Gebser
;
Benjamin Kaufmann
;
Torsten Schaub
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
10.
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic
机译:
基于概率条件逻辑的信念改变操作的实现
作者:
Marc Finthammer
;
Christoph Beierle
;
Benjamin Berger
;
Gabriele Kern- Isberner
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
11.
On the Input Language of ASP Grounder Gringo
机译:
关于ASP Grounder Gringo的输入语言
作者:
Martin Gebser
;
Roland Kaminski
;
Max Ostrowski
;
Torsten Schaub
;
Sven Thiele
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
12.
System F2LP - Computing Answer Sets of First-Order Formulas
机译:
系统F2LP-计算一阶公式的答案集
作者:
Joohyung Lee
;
Ravi Palla
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
13.
Generating Optimal Code Using Answer Set Programming
机译:
使用答案集编程生成最佳代码
作者:
Tom Crick
;
Martin Brain
;
Marina De Vos
;
John Fitch
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
14.
HAPLO-ASP: Haplotype Inference Using Answer Set Programming
机译:
HAPLO-ASP:使用答案集编程的单倍型推断
作者:
Esra Erdem
;
Ozan Erdem
;
Ferhan Tuere
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
15.
Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System
机译:
支持智能监测的非单调推理无线传感器网络:SINDI系统
作者:
Alessandra Mileo
;
Davide Merico
;
Roberto Bisiani
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
16.
Some DLV Applications for Knowledge Management
机译:
一些DLV知识管理应用程序
作者:
Giovanni Grasso
;
Salvatore Iiritano
;
Nicola Leone
;
Francesco Ricca
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
17.
Optimal Multicore Scheduling: An Application of ASP Techniques
机译:
最佳多核调度:ASP技术的应用
作者:
Viren Kumar
;
James Delgrande
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
关键词:
ASP;
clingo;
multicore;
scheduling;
edge cover;
18.
The Second Answer Set Programming Competition
机译:
第二套答卷程序设计比赛
作者:
Marc Denecker
;
Joost Vennekens
;
Stephen Bond
;
Martin Gebser
;
Miroslaw Truszczynski
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
19.
Social Default Theories
机译:
社会默认理论
作者:
Chiaki Sakama
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
20.
Induction on Failure: Learning Connected Horn Theories
机译:
归纳失败:学习互联的喇叭理论
作者:
Tim Kimber
;
Krysia Broda
;
Alessandra Russo
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
关键词:
inductive logic programming;
inverse entailment;
abduction;
21.
A First Order Forward Chaining Approach for Answer Set Computing
机译:
用于答案集计算的一阶正向链接方法
作者:
Claire Lefevre
;
Pascal Nicolas
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
22.
Belief Revision with Bounded Treewidth
机译:
有界树宽的信仰修订
作者:
Reinhard Pichler
;
Stefan Ruemmele
;
Stefan Woltran
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
23.
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
机译:
模块化非单调逻辑程序的相关性驱动评估
作者:
Minh Dao-Tran
;
Thomas Eiter
;
Michael Fink
;
Thomas Krennwallner
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
24.
Present and Future Challenges for ASP Systems
机译:
ASP系统的当前和未来挑战
作者:
Agostino Dovier
;
Enrico Pontelli
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
25.
ASP: The Future Is Bright A Position Paper
机译:
ASP:未来是光明的立场文件
作者:
Marina De Vos
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
26.
Manifold Answer-Set Programs for Meta-reasoning
机译:
用于元推理的流形答案集程序
作者:
Wolfgang Faber
;
Stefan Woltran
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
27.
A Deductive System for FO(ID) Based on Least Fixpoint Logic
机译:
基于最小定点逻辑的FO(ID)演绎系统
作者:
Ping Hou
;
Marc Denecker
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
28.
Computing Stable Models via Reductions to Difference Logic
机译:
通过简化差分逻辑来计算稳定模型
作者:
Tomi Janhunen
;
Ilkka Niemelae
;
Mark Sevalnev
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
29.
Argumentation Context Systems: A Framework for Abstract Group Argumentation
机译:
论证上下文系统:抽象组论证的框架
作者:
Gerhard Brewka
;
Thomas Eiter
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
30.
Splitting a CR-Prolog Program
机译:
拆分CR-Prolog程序
作者:
Marcello Balduccini
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
31.
Contextual Argumentation in Ambient Intelligence
机译:
环境智能中的语境争论
作者:
Antonis Bikakis
;
Grigoris Antoniou
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
32.
The Logical Consequence Role in LPNMR: A Parameterized Computation Approach
机译:
逻辑后果在LPNMR中的作用:参数化计算方法
作者:
Mauricio Osorio Galindo
;
Simone Pascucci
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
33.
Gorgias-C: Extending Argumentation with Constraint Solving
机译:
Gorgias-C:通过约束解决扩展论证
作者:
Victor Noeel
;
Antonis Kakas
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
34.
The Complexity of Circumscriptive Inference in Post's Lattice
机译:
邮政格中外接推理的复杂性
作者:
Michael Thomas
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
35.
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
机译:
信念逻辑程序设计:不确定性推理与证据的相关性
作者:
Hui Wan
;
Michael Kifer
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
36.
The First Version of a New ASP Solver: ASPeRiX
机译:
新的ASP解算器的第一版:ASPeRiX
作者:
Claire Lefevre
;
Pascal Nicolas
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
37.
Bridging the Gap between High-Level Reasoning and Low-Level Control
机译:
弥合高级推理和低级控制之间的差距
作者:
Ozan Caldiran
;
Kadir Haspalamutgil
;
Abdullah Ok
;
Can Palaz
;
Esra Erdem
;
Volkan Patoglu
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
38.
Using Answer Set Programming to Enhance Operating System Discovery
机译:
使用答案集编程来增强操作系统发现
作者:
Francois Gagnon
;
Babak Esfandiari
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
39.
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions
机译:
舞台上的ccT:用于验证学生作业解决方案的通用统一等效性测试
作者:
Johannes Oetsch
;
Martina Seidl
;
Hans Tompits
;
Stefan Woltran
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
40.
Translating Preferred Answer Set Programs to Propositional Logic
机译:
将首选答案集程序转换为命题逻辑
作者:
Vernon Asuncion
;
Yan Zhang
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
关键词:
answer set semantics;
prioritized logic programs;
answer set computations;
41.
Weight Constraint Programs with Functions
机译:
具有功能的体重限制程序
作者:
Yisong Wang
;
Jia-Huai You
;
Li-Yan Yuan
;
Mingyi Zhang
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
42.
Layer Supported Models of Logic Programs
机译:
逻辑程序的层支持模型
作者:
Luis Moniz Pereira
;
Alexandre Miguel Pinto
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
关键词:
stable models;
relevance;
semantics;
ayering;
43.
Applying ASP to UML Model Validation
机译:
将ASP应用于UML模型验证
作者:
Mario Ornaghi
;
Camillo Fiorentini
;
Alberto Momigliano
;
Francesco Pagano
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
44.
AQL : A Query Language for Action Domains Modelled Using Answer Set Programming
机译:
AQL:使用答案集编程建模的行动域查询语言
作者:
Luke Hopton
;
Owen Cliffe
;
Marina De Vos
;
Julian Padget
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
45.
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs
机译:
权重约束和聚合程序的级别映射引发的循环公式
作者:
Guohua Liu
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
46.
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver
机译:
nfn2dlp和nfnsolve:标准格式嵌套程序编译器和求解器
作者:
Annamaria Bria
;
Wolfgang Faber
;
Nicola Leone
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
47.
An ASP System with Functions, Lists, and Sets
机译:
具有功能,列表和集合的ASP系统
作者:
Francesco Calimeri
;
Susanna Cozza
;
Giovambattista Ianni
;
Nicola Leone
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
48.
An ASP-Based Data Integration System
机译:
基于ASP的数据集成系统
作者:
Nicola Leone
;
Francesco Ricca
;
Giorgio Terracina
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
49.
ANTON: Composing Logic and Logic Composing
机译:
安东:构成逻辑与逻辑构成
作者:
Georg Boenn
;
Martin Brain
;
Marina De Vos
;
John ffitch
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
50.
Modelling Normative Frameworks Using Answer Set Programing
机译:
使用答案集编程为规范化框架建模
作者:
Owen Cliffe
;
Marina De Vos
;
Julian Padget
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
51.
A Simple Distributed Conflict-Driven Answer Set Solver
机译:
一个简单的分布式冲突驱动答案集求解器
作者:
Enrico Ellguth
;
Martin Gebser
;
Markus Gusowski
;
Benjamin Kaufmann
;
Roland Kaminski
;
Stefan Liske
;
Torsten Schaub
;
Lars Schneidenbach
;
Bettina Schnor
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
52.
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results
机译:
蛋白质结构确定中的逻辑编程技术:方法和结果
作者:
Alessandro Dal Palu
;
Agostino Dovier
;
Enrico Pontelli
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
53.
Exploiting ASP in Real-World Applications: Main Strengths and Challenges
机译:
在实际应用中利用ASP:主要优势和挑战
作者:
Nicola Leone
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
54.
From Data Integration towards Knowledge Mediation
机译:
从数据集成到知识中介
作者:
Gerhard Brewka
;
Thomas Eiter
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
55.
Integrating Answer Set Modules into Agent Programs
机译:
将答案集模块集成到座席程序中
作者:
Stefania Costantini
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
56.
What Next for ASP? (A Not-Entirely-Well-informed Opinion)
机译:
ASP的下一步是什么? (并非完全明智的意见)
作者:
James Delgrande
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
57.
A Default Approach to Semantics of Logic Programs with Constraint Atoms
机译:
具有约束原子的逻辑程序语义的默认方法
作者:
Yi-Dong Shen
;
Jia-Huai You
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
58.
On Reductive Semantics of Aggregates in Answer Set Programming
机译:
论答案集编程中聚合的归纳语义
作者:
Joohyung Lee
;
Yunsong Meng
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
59.
Knowledge Qualification through Argumentation
机译:
通过辩论进行知识鉴定
作者:
Loizos Michael
;
Antonis Kakas
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
60.
Simple Random Logic Programs
机译:
简单的随机逻辑程序
作者:
Gayathri Namasivayam
;
Miroslaw Truszczynski
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
61.
Max-ASP: Maximum Satisfiability of Answer Set Programs
机译:
Max-ASP:答案集程序的最大满意度
作者:
Emilia Oikarinen
;
Matti Jaervisalo
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
62.
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using C
机译:
在动作语言中建模多主体域:使用C的经验研究
作者:
Chitta Baral
;
Tran Cao Son
;
Enrico Pontelli
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
63.
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
机译:
具有投影的强等价项下的抛弃取和与否定
作者:
Joerg Puehrer
;
Hans Tompits
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
64.
Using Lightweight Inference to Solve Lightweight Problems
机译:
使用轻量级推理解决轻量级问题
作者:
Marc Denecker
;
Joost Vennekens
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
65.
Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode
机译:
使您的手变脏可以激发您的大脑!或如何将ASP切换到生产模式
作者:
Torsten Schaub
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
66.
Towards an Embedded Approach to Declarative Problem Solving in ASP
机译:
向ASP中声明式问题解决的嵌入式方法迈进
作者:
Jia-Huai You
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
67.
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
机译:
ASP在并行程序自动生成柔性多处理器系统中的应用。
作者:
Harold Ishebabi
;
Philipp Mahr
;
Christophe Bobda
;
Martin Gebser
;
Torsten Schaub
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
68.
Complexity of the Stable Model Semantics for Queries on Incomplete Databases
机译:
不完整数据库中查询稳定模型语义的复杂性
作者:
Jos de Bruijn
;
Stijn Heymans
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
69.
A Module-Based Framework for Multi-language Constraint Modeling
机译:
基于模块的多语言约束建模框架
作者:
Matti Jaervisalo
;
Emilia Oikarinen
;
Tomi Janhunen
;
Ilkka Niemelae
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
70.
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP
机译:
答案集编程的灵活性如何?在ASP中形式化常识的实验
作者:
Marcello Balduccini
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
71.
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming
机译:
PHYLO-ASP:具有答案集编程的系统发育系统学
作者:
Esra Erdem
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
72.
A Revised Concept of Safety for General Answer Set Programs
机译:
通用答案集程序的修订安全概念
作者:
Pedro Cabalar
;
David Pearce
;
Agustin Valverde
会议名称:
《Logic programming and nonmonotonic reasoning》
|
2009年
意见反馈
回到顶部
回到首页