掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
European Conference on Logics in Artificial Intelligence
European Conference on Logics in Artificial Intelligence
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Confluence Operators
机译:
Confluence运营商
作者:
Sebastien Konieczny
;
Ramon Pino Perez
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2008年
2.
Strongly Equivalent Temporal Logic Programs
机译:
强烈等效的时间逻辑计划
作者:
Felicidad Aguado
;
Pedro Cabalar
;
Gilberto Perez
;
Concepcion Vidal
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2008年
3.
On the Credal Structure of Consistent Probabilities
机译:
关于一致概率的闭合结构
作者:
Fabio Cuzzolin
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2008年
4.
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
机译:
用于修订编程的声明性语义和与活动完整性约束的连接
作者:
Luciano Caroprese
;
Miroslaw Truszczynski
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2008年
5.
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks
机译:
抽象论证框架半稳态语义的计算复杂性
作者:
Paul E. Dunne
;
Martin Caminada
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2008年
6.
Recovering Consistency by Forgetting Inconsistency
机译:
通过忘记不一致恢复一致性
作者:
Sylvie Coste-Marquis
;
Pierre Marquis
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2008年
7.
Stable Belief Sets Revisited
机译:
重新审视稳定的信念集
作者:
Costas D. Koutras
;
Yorgos Zikos
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
关键词:
Modal epistemic logic;
Stable belief sets;
Nonmonotonic logics;
8.
Parametrized Logic Programming
机译:
参数化逻辑编程
作者:
Ricardo Gongalves
;
Jose Julio Alferes
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
9.
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic
机译:
在因果建模中拥抱事件:CP逻辑中的干预和反事实
作者:
Joost Vennekens
;
Maurice Bruynooghe
;
Marc Denecker
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
10.
Similarity-Based Inconsistency-Tolerant Logics
机译:
基于相似性的不一致宽容逻辑
作者:
Ofer Arieli
;
Anna Zamansky
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
11.
A Logical Semantics for Description Logic Programs
机译:
描述逻辑程序的逻辑语义
作者:
Michael Fink
;
David Pearce
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
12.
Efficient Inferencing for OWL EL
机译:
高效推断为猫头鹰el
作者:
Markus Krotzsch
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
13.
Coala: A Compiler from Action Languages to ASP
机译:
煤炭煤炭:从动作语言到ASP的编译器
作者:
Martin Gebser
;
Torsten Grote
;
Torsten Schaub
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
14.
Extensional Higher-Order Logic Programming
机译:
扩展高阶逻辑编程
作者:
Angelos Charalambidis
;
Konstantinos Handjopoulos
;
Panos Rondogiannis
;
William W. Wadge
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
15.
Sets of Boolean Connectives That Make Argumentation Easier
机译:
一套布尔连接,使论证更容易
作者:
Nadia Creignou
;
Johannes Schmidt
;
Michael Thomas
;
Stefan Woltran
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
16.
dl2asp: Implementing Default Logic via Answer Set Programming
机译:
DL2ASP:通过答案集编程实现默认逻辑
作者:
Yin Chen
;
Hai Wan
;
Yan Zhang
;
Yi Zhou
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
17.
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
机译:
预处理BDD在概率上下文中的布尔公式
作者:
Theofrastos Mantadelis
;
Ricardo Rocha
;
Angelika Kimmig
;
Gerda Janssens
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
关键词:
Boolean Formula Manipulation;
Binary Decision Diagrams;
ProbLog;
Probabilistic Logic Learning;
18.
Nonmonotonic Tools for Argumentation
机译:
争论的非单调工具
作者:
Gerhard Brewka
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
19.
Preference-Based Inconsistency Assessment in Multi-Context Systems
机译:
基于偏好的多语境系统不一致评估
作者:
Thomas Eiter
;
Michael Fink
;
Antonius Weinzierl
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
关键词:
Inconsistency Management;
Multi-Context Systems;
Hybrid Reasoning Systems;
Nonmonotonic Reasoning;
Preferences;
20.
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
机译:
命题界定的反例引导抽象细化算法
作者:
Mikolas Janota
;
Radu Grigore
;
Joao Marques-Silva
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
21.
A Decidable Constructive Description Logic
机译:
可判定的建设性描述逻辑
作者:
Loris Bozzato
;
Mauro Ferrari
;
Camillo Fiorentini
;
Guido Fiorino
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
22.
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
机译:
基于追溯血统的逻辑计划评估
作者:
Flavio Cruz
;
Ricardo Rocha
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
关键词:
Tabled Evaluation;
Call Subsumption;
Implementation;
23.
An Incremental Answer Set Programming Based System for Finite Model Computation
机译:
基于增量答案设置编程的有限模型计算系统
作者:
Martin Gebser
;
Orkunt Sabuncu
;
Torsten Schaub
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
24.
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
机译:
用于分布式非单调多语境系统的DMCS求解器
作者:
Seif El-Din Bairakdar
;
Minh Dao-Tran
;
Thomas Eiter
;
Michael Fink
;
Thomas Krennwallner
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
25.
Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference
机译:
放松,补偿,然后恢复:任何时间的理论,近似推断
作者:
Adnan Darwiche
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
26.
The MCS-IE System for Explaining Inconsistency in Multi-Context Systems
机译:
用于解释多上下文系统中的不一致的MCS-IE系统
作者:
Markus Bogl
;
Thomas Eiter
;
Michael Fink
;
Peter Schuller
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
27.
Decomposition of Distributed Nonmonotonic Multi-Context Systems
机译:
分布式非单调多语境系统的分解
作者:
Seif El-Din Bairakdar
;
Minh Dao-Tran
;
Thomas Eiter
;
Michael Fink
;
Thomas Krennwallner
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
28.
A Dynamic-Programming Based ASP-Solver
机译:
基于动态编程的ASP-Solver
作者:
Michael Morak
;
Reinhard Pichler
;
Stefan Rummele
;
Stefan Woltran
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
29.
A Logical Account of Lying
机译:
躺着的逻辑帐户
作者:
Chiaki Sakama
;
Martin Caminada
;
Andreas Herzig
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
30.
Minimal Knowledge and Belief via Minimal Topology
机译:
通过最小拓扑的最小知识和信仰
作者:
David Pearce
;
Levari Uridia
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
31.
DLV~(MC): Enhanced Model Checking in DLV
机译:
DLV〜(MC):增强DLV的模型检查
作者:
Marco Maratea
;
Francesco Ricca
;
Pierfrancesco Veltri
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
32.
ALC_(ALC): A Context Description Logic
机译:
ALC_(ALC):一个上下文描述逻辑
作者:
Szymon Klarman
;
Victor Gutierrez-Basulto
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
33.
Rational Closure for Defeasible Description Logics
机译:
有理封闭,用于缺陷描述逻辑
作者:
Giovanni Casini
;
Umberto Straccia
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
34.
Translating First-Order Causal Theories into Answer Set Programming
机译:
将一阶因果理论转换为答案集编程
作者:
Vladimir Lifschitz
;
Fangkai Yang
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
35.
A Normal Form for Linear Temporal Equilibrium Logic
机译:
线性时间均衡逻辑的正常形式
作者:
Pedro Cabalar
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
36.
Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases
机译:
桥接可能的条件知识库和部分订购的基础
作者:
Salem Benferhat
;
Sylvain Lagrue
;
Safa Yahi
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
37.
An Approximative Inference Method for Solving {exist}{arbitrary}SO Satisfiability Problems
机译:
求解{存在的近似推理方法{任意}所以满足性问题
作者:
Hanne Vlaeminck
;
Johan Wittocx
;
Joost Vennekens
;
Marc Denecker
;
Maurice Bruynooghe
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
38.
Tabling with Answer Subsumption: Implementation, Applications and Performance
机译:
带答案归档:实施,应用和性能
作者:
Terrance Swift
;
David S. Warren
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
39.
Horn Contraction via Epistemic Entrenchment
机译:
喇叭萎缩通过认知壕沟
作者:
Zhi Qiang Zhuang
;
Maurice Pagnucco
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2010年
40.
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics
机译:
用于颞污染逻辑的无缺陷的Calluli和关系语义
作者:
Kees van Berkel
;
Tim Lyon
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Labelled sequent calculi;
Cut-free completeness;
Temporal logic;
Multi-agent STIT logic;
Relational semantics;
41.
Typed Meta-interpretive Learning of Logic Programs
机译:
逻辑计划的类型的meta解释学习
作者:
Rolf Morel
;
Andrew Cropper
;
C.-H. Luke Ong
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
42.
Epistemic Answer Set Programming
机译:
认知答案集编程
作者:
Ezgi Iraz Su
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Answer set programming;
Epistemic specifications;
Modal logic s5;
Stable models;
Answer sets;
World views;
Autoepistemic equilibrium models;
43.
Empirical Study on Human Evaluation of Complex Argumentation Frameworks
机译:
复杂争论框架人类评估的实证研究
作者:
Marcos Cramer
;
Mathieu Guillaume
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Abstract argumentation;
Argumentation semantics;
Empirical cognitive study;
44.
Axiomatising Logics with Separating Conjunction and Modalities
机译:
具有分离结合和方式的公理逻辑
作者:
Stephane Demri
;
Raul Fervari
;
Alessio Mansutti
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
45.
A Possible World View and a Normal Form for the Constellation Semantics
机译:
可能的世界观和星座语义的正常形式
作者:
Stefano Bistarelli
;
Theofrastos Mantadelis
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
46.
A Bayesian Extension of the Description Logic ALC
机译:
描述逻辑ALC的贝叶斯扩展
作者:
Leonard Botha
;
Thomas Meyer
;
Rafael Penaloza
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
47.
Privacy-Preserving Ontology Publishing for εL Instance Stores
机译:
εl实例存储的隐私保留本体出版
作者:
Franz Baader
;
Francesco Kriegel
;
Adrian Nuradiansyah
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
48.
Uhura: An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language
机译:
Uhura:用于使用受控自然语言指定答案设置程序的创作工具
作者:
Tobias Kain
;
Hans Tompits
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Answer-set programming;
Program development;
Controlled natural language;
49.
Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs
机译:
具有非接地答案集计划的投影的特征在于依赖强度等效
作者:
Tobias Geibinger
;
Hans Tompits
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Answer-set programming;
Program equivalence;
Model-theoretic characterisations;
50.
Taking Defeasible Entailment Beyond Rational Closure
机译:
违背理性关闭的不可避免的意外
作者:
Giovanni Casini
;
Thomas Meyer
;
Ivan Varzinczak
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
51.
Lower Bound Founded Logic of Here-and-There
机译:
下面的下界创立的逻辑 - 和那里
作者:
Pedro Cabalar
;
Jorge Fandinno
;
Torsten Schaub
;
Sebastian Schellhorn
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
52.
Counting Strategies for the Probabilistic Description Logic ALL~(ME) Under the Principle of Maximum Entropy
机译:
在最大熵原则下计算概率描述逻辑逻辑逻辑逻辑逻辑的策略
作者:
Marco Wilhelm
;
Gabriele Kern-Isberner
;
Andreas Ecke
;
Franz Baader
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Probabilistic description logics;
Aggregating semantics;
Principle of maximum entropy;
Domain-lifted inference;
53.
Possibilistic Logic: From Certainty-Qualified Statements to Two-Tiered Logics - A Prospective Survey
机译:
可能主义的逻辑:从确定性合格的陈述到双层逻辑 - 预期调查
作者:
Didier Dubois
;
Henri Prade
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
54.
Algorithm Selection for Paracoherent Answer Set Computation
机译:
副术答案集计算的算法选择
作者:
Giovanni Amendola
;
Carmine Dodaro
;
Wolfgang Faber
;
Luca Pulina
;
Francesco Ricca
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
55.
Interval Temporal Logic Decision Tree Learning
机译:
间隔时间逻辑决策树学习
作者:
Andrea Brunello
;
Guido Sciavicco
;
Ionel Eduard Stan
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Decision trees;
Interval temporal logics;
Symbolic learning;
56.
ACUOS~2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
机译:
ACUOS〜2:具有亚型和继承的模块化ACU泛化的高性能系统
作者:
Maria Alpuente
;
Demis Ballis
;
Angel Cuenca-Ortega
;
Santiago Escobar
;
Jose Meseguer
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
57.
Well-Foundedness in Weighted Argumentation Frameworks
机译:
加权论证框架的良好
作者:
Stefano Bistarelli
;
Francesco Santini
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
58.
Computational Complexity of Core Fragments of Modal Logics T, K4, and S4
机译:
模态逻辑T,K4和S4的核心碎片的计算复杂性
作者:
Przemyslaw Andrzej Walega
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Modal logic;
Sub-propositional fragments;
Computational complexity;
59.
Closed-World Semantics for Conjunctive Queries with Negation over εLH_⊥Ontologies
机译:
封闭式世界语义,用于否定εlh_ðontologies否定的联合疑问
作者:
Stefan Borgwardt
;
Walter Forkel
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
60.
A Logic of Objective and Subjective Oughts
机译:
目标和主观的逻辑
作者:
Aldo Ivan Ramirez Abarca
;
Jan Broersen
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
61.
Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence
机译:
有条件的知识的系统产生基于重命名和等价
作者:
Christoph Beierle
;
Steven Kutsch
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Conditional;
Normal form conditional;
Canonical normal form conditional;
Conditional knowledge base;
Equivalence;
Elementwise equivalence;
Renaming;
Isomorphism;
Generation of knowledge bases;
62.
Nested Sequents for the Logic of Conditional Belief
机译:
条件信念逻辑的嵌套顺序
作者:
Marianna Girlando
;
Bjorn Lellmann
;
Nicola Olivetti
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Nested sequent calculus;
Conditional doxastic logic;
Belief revision;
Multi-agent epistemic logic;
63.
Interpolation and Beth Definability in Default Logics
机译:
默认逻辑中的插值和Beth可定义
作者:
Valentin Cassano
;
Raul Fervari
;
Carlos Areces
;
Pablo F. Castro
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
64.
On the Complexity of Graded Modal Logics with Converse
机译:
论匡威分级模态逻辑的复杂性
作者:
Bartosz Bednarczyk
;
Emanuel Kieronski
;
Piotr Witkowski
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
65.
Advancements in Resource-Driven Substructural Defeasible Logic
机译:
资源驱动的子结构义逻辑的进步
作者:
Francesco Olivieri
;
Guido Governatori
;
Matteo Cristani
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
66.
Manipulating Skeptical and Credulous Consequences When Merging Beliefs
机译:
合并信仰时操纵持怀疑态度和轻信的后果
作者:
Adrian Haret
;
Johannes P. Wallner
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Belief merging;
Manipulation;
Complexity;
67.
Extending ALC with the Power-Set Construct
机译:
将ALC与电源组结构延伸
作者:
Laura Giordano
;
Alberto Policriti
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
68.
Abstraction for Non-ground Answer Set Programs
机译:
非接地答案设置程序的抽象
作者:
Zeynep G. Saribatur
;
Peter Schuller
;
Thomas Eiter
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
69.
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic
机译:
直观时间逻辑的公理系统和拓扑语义
作者:
Joseph Boudou
;
Martin Dieguez
;
David Fernandez-Duque
;
Fabian Romero
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
70.
Repairing Non-monotonic Knowledge Bases
机译:
修复非单调知识库
作者:
Markus Ulbricht
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Non-monotonic reasoning;
Inconsistency;
Abstract argumentation;
71.
Memory-Saving Evaluation Plans for Datalog
机译:
数据存储记忆的评估计划
作者:
Carlo Allocca
;
Roberta Costabile
;
Alessio Fiorentino
;
Simona Perri
;
Jessica Zangari
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Datalog;
Query answering;
Ontologies;
Query-plan;
Data indexing;
72.
Stable-Ordered Models for Propositional Theories with Order Operators
机译:
订单运营商的命题理论稳定订购型号
作者:
Johannes Oetsch
;
Juan-Carlos Nieves
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Stable-model semantics;
Temporal logic;
Nonmonotonic reasoning;
Knowledge representation;
73.
The Weak Completion Semantics Can Model Inferences of Individual Human Reasoners
机译:
弱完成语义可以模拟个体人类资料的推论
作者:
Christian Breu
;
Axel Ind
;
Julia Mertesdorf
;
Marco Ragni
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Logic programming;
Weak completion semantics;
Lukasiewicz logic;
Non-monotonic logic;
WST;
Cognitive modelling;
74.
Extending Bell Numbers for Parsimonious Chase Estimation
机译:
扩展响铃数字以获取报告追逐估计
作者:
Giovanni Amendola
;
Cinzia Marte
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
OBQA;
Existential rules;
Parsimonious chase;
Bell numbers;
75.
SLD-Resolution Reduction of Second-Order Horn Fragments
机译:
二阶角碎片的SLD分辨率减少
作者:
Sophie Tourret
;
Andrew Cropper
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
76.
Vadalog: Recent Advances and Applications
机译:
VADALOG:最近的进展和应用
作者:
Georg Gottlob
;
Andreas Pieris
;
Emanuel Sallinger
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
77.
The Dynamic Logic of Policies and Contingent Planning
机译:
政策的动态逻辑和队伍规划
作者:
Thomas Bolander
;
Thorsten Engesser
;
Andreas Herzig
;
Robert Mattmuller
;
Bernhard Nebel
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
78.
AGM Meets Abstract Argumentation: Contraction for Dung Frameworks
机译:
agm遇到抽象的论证:粪便框架的收缩
作者:
Ringo Baumann
;
Felix Linker
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Abstract argumentation;
Argumentation frameworks;
Belief contraction;
Belief revision;
Knowledge representation;
79.
Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs
机译:
学习描述从离散概率分布的逻辑公理通过描述图形
作者:
Francesco Kriegel
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Data mining;
Knowledge acquisition;
Probabilistic description logic;
Knowledge base;
Probabilistic interpretation;
Concept inclusion;
80.
Multi-valued GRAPPA
机译:
多价格拉帕
作者:
Gerhard Brewka
;
Jorg Puhrer
;
Stefan Woltran
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Argumentation;
Nonmonotonic reasoning;
Multi-valued logics;
81.
A Logic-Based Question Answering System for Cultural Heritage
机译:
文化遗产的基于逻辑的问答系统
作者:
Bernardo Cuteri
;
Kristian Reale
;
Francesco Ricca
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Question answering;
Answer set programming;
Cultural heritage;
82.
Learning Ontologies with Epistemic Reasoning: The εL Case
机译:
学习与认知推理的本体:εl案例
作者:
Ana Ozaki
;
Nicolas Troquard
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Exact learning;
Epistemic logic;
Description logic;
83.
Computing Minimal Projection Modules for εLH~r-Terminologies
机译:
用于εlH〜r-inglinologies的最小投影模块
作者:
Jieying Chen
;
Michel Ludwig
;
Yue Ma
;
Dirk Walther
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
84.
The Hexlite Solver Lightweight and Efficient Evaluation of HEX Programs
机译:
Hexlite求解器轻量级和高效评估六角计划
作者:
Peter Schuller
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
85.
Preprocessing Argumentation Frameworks via Replacement Patterns
机译:
通过替换模式预处理论证框架
作者:
Wolfgang Dvorak
;
Matti Jarvisalo
;
Thomas Linsbichler
;
Andreas Niskanen
;
Stefan Woltran
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Abstract argumentation;
Preprocessing;
Extension enumeration;
86.
Chain Answer Sets for Logic Programs with Generalized Atoms
机译:
具有广义原子的逻辑程序的链答案集
作者:
Mario Alviano
;
Wolfgang Faber
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
87.
Unifying Reasoning and Core-Guided Search for Maximum Satisfiability
机译:
统一推理和核心引导搜索最大可靠性
作者:
Jeremias Berg
;
Matti Jarvisalo
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Maximum satisfiability;
Core-guided reasoning;
Preprocessing;
Instance transformations;
Inprocessing;
88.
Facets of Distribution Identities in Probabilistic Team Semantics
机译:
概率团队语义中的分布界面
作者:
Miika Hannula
;
Asa Hirvonen
;
Juha Kontinen
;
Vadim Kulikov
;
Jonni Virtema
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Team semantics;
Probabilistic logic;
Conditional independence;
89.
Explaining Actual Causation via Reasoning About Actions and Change
机译:
通过推理行动和变革解释实际因果关系
作者:
Emily LeBlanc
;
Marcello Balduccini
;
Joost Vennekens
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Causal reasoning;
Reasoning about actions and change;
Knowledge representation and reasoning;
90.
Explaining Actual Causation in Terms of Possible Causal Processes
机译:
在可能的因果过程方面解释实际因果关系
作者:
Marc Denecker
;
Bart Bogaerts
;
Joost Vennekens
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
91.
Reasoning About Cognitive Attitudes in a Qualitative Setting
机译:
关于定性设定中的认知态度的推理
作者:
Emiliano Lorini
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
92.
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
机译:
关于双向疏忽级定性推理阶数的辨别性
作者:
Joanna Golinska-Pilarek
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2012年
关键词:
Multi-modal logic;
Qualitative reasoning;
Order-of-magnitu-de reasoning;
Bidirectional negligibility;
Knowledge representation;
Decidability;
93.
Minimal Proof Search for Modal Logic K Model Checking
机译:
Modal Logic K模型检查的最小证明搜索
作者:
Abdallah Saffidine
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2012年
94.
Deciding the Bisimilarity Relation between Datalog Goals
机译:
决定Datalog目标之间的双模关系
作者:
Philippe Balbiani
;
Antoun Yaacoub
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2012年
关键词:
Logic programming;
Datalog;
Equivalence of goals;
Bisimulation;
Decision method;
Computational complexity;
95.
A Framework for Semantic-Based Similarity Measures for εLH-Concepts
机译:
εlh概念的语义相似措施框架
作者:
Karsten Lehmann
;
Anni-Yasmin Turhan
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2012年
96.
Exact Query Reformulation with First-Order Ontologies and Databases
机译:
使用一阶本体和数据库进行精确查询重构
作者:
Enrico Franconi
;
Volha Kerhet
;
Nhung Ngo
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2012年
97.
A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information
机译:
具有不一致信息的耐级化推理的优惠框架
作者:
Anna Zamansky
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2012年
98.
PTL: A Propositional Typicality Logic
机译:
PTL:一个命题典型逻辑
作者:
Richard Booth
;
Thomas Meyer
;
Ivan Varzinczak
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2012年
关键词:
Nonmonotonic reasoning;
Typicality;
Belief revision;
Rationality;
99.
Sequent Systems for Lewis' Conditional Logics
机译:
lewis的顺序系统有条件逻辑
作者:
Bjorn Lellmann
;
Dirk Pattinson
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2012年
100.
Using Satisfiability for Non-optimal Temporal Planning
机译:
利用满足非最佳时间计划
作者:
Masood Feyzbakhsh Rankooh
;
Ali Mahjoob
;
Gholamreza Ghassem-Sani
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2012年
关键词:
Satisfiability checking;
AI planning;
Temporal planning;
Simple Temporal Networks;
意见反馈
回到顶部
回到首页