掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
团队文献服务
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
)
清除
导出
共
327
条结果
1.
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;
2.
Typed Meta-interpretive Learning of Logic Programs
机译:
逻辑计划的类型的meta解释学习
作者:
Rolf Morel
;
Andrew Cropper
;
C.-H. Luke Ong
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
3.
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;
4.
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;
5.
Axiomatising Logics with Separating Conjunction and Modalities
机译:
具有分离结合和方式的公理逻辑
作者:
Stephane Demri
;
Raul Fervari
;
Alessio Mansutti
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
6.
A Possible World View and a Normal Form for the Constellation Semantics
机译:
可能的世界观和星座语义的正常形式
作者:
Stefano Bistarelli
;
Theofrastos Mantadelis
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
7.
A Bayesian Extension of the Description Logic ALC
机译:
描述逻辑ALC的贝叶斯扩展
作者:
Leonard Botha
;
Thomas Meyer
;
Rafael Penaloza
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
8.
Privacy-Preserving Ontology Publishing for εL Instance Stores
机译:
εl实例存储的隐私保留本体出版
作者:
Franz Baader
;
Francesco Kriegel
;
Adrian Nuradiansyah
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
9.
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;
10.
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;
11.
Taking Defeasible Entailment Beyond Rational Closure
机译:
违背理性关闭的不可避免的意外
作者:
Giovanni Casini
;
Thomas Meyer
;
Ivan Varzinczak
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
12.
Lower Bound Founded Logic of Here-and-There
机译:
下面的下界创立的逻辑 - 和那里
作者:
Pedro Cabalar
;
Jorge Fandinno
;
Torsten Schaub
;
Sebastian Schellhorn
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
13.
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;
14.
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年
15.
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年
16.
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;
17.
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年
18.
Well-Foundedness in Weighted Argumentation Frameworks
机译:
加权论证框架的良好
作者:
Stefano Bistarelli
;
Francesco Santini
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
19.
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;
20.
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年
21.
A Logic of Objective and Subjective Oughts
机译:
目标和主观的逻辑
作者:
Aldo Ivan Ramirez Abarca
;
Jan Broersen
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
22.
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;
23.
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;
24.
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年
25.
On the Complexity of Graded Modal Logics with Converse
机译:
论匡威分级模态逻辑的复杂性
作者:
Bartosz Bednarczyk
;
Emanuel Kieronski
;
Piotr Witkowski
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
26.
Advancements in Resource-Driven Substructural Defeasible Logic
机译:
资源驱动的子结构义逻辑的进步
作者:
Francesco Olivieri
;
Guido Governatori
;
Matteo Cristani
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
27.
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;
28.
Extending ALC with the Power-Set Construct
机译:
将ALC与电源组结构延伸
作者:
Laura Giordano
;
Alberto Policriti
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
29.
Abstraction for Non-ground Answer Set Programs
机译:
非接地答案设置程序的抽象
作者:
Zeynep G. Saribatur
;
Peter Schuller
;
Thomas Eiter
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
30.
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年
31.
Repairing Non-monotonic Knowledge Bases
机译:
修复非单调知识库
作者:
Markus Ulbricht
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Non-monotonic reasoning;
Inconsistency;
Abstract argumentation;
32.
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;
33.
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;
34.
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;
35.
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;
36.
SLD-Resolution Reduction of Second-Order Horn Fragments
机译:
二阶角碎片的SLD分辨率减少
作者:
Sophie Tourret
;
Andrew Cropper
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
37.
Vadalog: Recent Advances and Applications
机译:
VADALOG:最近的进展和应用
作者:
Georg Gottlob
;
Andreas Pieris
;
Emanuel Sallinger
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
38.
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年
39.
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;
40.
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;
41.
Multi-valued GRAPPA
机译:
多价格拉帕
作者:
Gerhard Brewka
;
Jorg Puhrer
;
Stefan Woltran
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
关键词:
Argumentation;
Nonmonotonic reasoning;
Multi-valued logics;
42.
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;
43.
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;
44.
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年
45.
The Hexlite Solver Lightweight and Efficient Evaluation of HEX Programs
机译:
Hexlite求解器轻量级和高效评估六角计划
作者:
Peter Schuller
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
46.
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;
47.
Chain Answer Sets for Logic Programs with Generalized Atoms
机译:
具有广义原子的逻辑程序的链答案集
作者:
Mario Alviano
;
Wolfgang Faber
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
48.
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;
49.
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;
50.
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;
51.
Explaining Actual Causation in Terms of Possible Causal Processes
机译:
在可能的因果过程方面解释实际因果关系
作者:
Marc Denecker
;
Bart Bogaerts
;
Joost Vennekens
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
52.
Reasoning About Cognitive Attitudes in a Qualitative Setting
机译:
关于定性设定中的认知态度的推理
作者:
Emiliano Lorini
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2019年
53.
Refinement of Intentions
机译:
提出意图
作者:
Andreas Herzig
;
Laurent Perrussel
;
Zhanhao Xiao
;
Dongmo Zhang
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
54.
GenB: A General Solver for AGM Revision
机译:
GENB:AGM修订的一般求解器
作者:
Aaron Hunter
;
Eric Tsang
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
55.
On Hierarchical Task Networks
机译:
在分层任务网络上
作者:
Andreas Herzig
;
Laurent Perrussel
;
Zhanhao Xiao
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
56.
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs
机译:
迭代支持的公式和强烈支持的Kleene答案集计划模型
作者:
Patrick Doherty
;
Jonas Kvarnstrom
;
Andrzej Szalas
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
57.
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
机译:
基于规则的内容中心网络智能管理的流推理
作者:
Harald Beck
;
Bruno Bierbaumer
;
Minh Dao-Tran
;
Thomas Eiter
;
Hermann Hellwagner
;
Konstantin Schekotihin
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
58.
Formalizing Goal Serializability for Evaluation of Planning Features
机译:
正式化目标序列化,用于评估规划特征
作者:
Reza Basseda
;
Michael Kifer
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
关键词:
Deductive planning;
STRIPS planning;
Transaction Logic;
59.
Measuring Inconsistency in Answer Set Programs
机译:
衡量答案设置程序中的不一致
作者:
Markus Ulbricht
;
Matthias Thimm
;
Gerhard Brewka
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
60.
A Two-Phase Dialogue Game for Skeptical Preferred Semantics
机译:
一个两阶段对话游戏,持怀疑态度的首选语义
作者:
Zohreh Shams
;
Nir Oren
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
61.
Inconsistency Management in Reactive Multi-context Systems
机译:
反应多语境系统中的不一致管理
作者:
Gerhard Brewka
;
Stefan Ellmauthaler
;
Ricardo Goncalves
;
Matthias Knorr
;
Joao Leite
;
Jorg Puhrer
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
62.
Forgetting in ASP: The Forgotten Properties
机译:
忘记ASP:被遗忘的属性
作者:
Ricardo Goncalves
;
Matthias Knorr
;
Joao Leite
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
63.
Kinetic Consistency and Relevance in Belief Revision
机译:
信仰修订中的动态一致性与相关性
作者:
Pavlos Peppas
;
Mary-Anne Williams
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
64.
Information Flow Under Budget Constraints
机译:
预算限制下的信息流量
作者:
Pavel Naumov
;
Jia Tao
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
65.
On Logics of Group Belief in Structured Coalitions
机译:
结构化联盟集团信仰的逻辑
作者:
Philippe Balbiani
;
David Pearce
;
Levan Uridia
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
66.
Prompt Interval Temporal Logic
机译:
提示间隔时间逻辑
作者:
Dario Delia Monica
;
Angelo Montanari
;
Aniello Murano
;
Pietro Sala
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
67.
Understanding the Abstract Dialectical Framework
机译:
了解抽象辩证框架
作者:
Sylwia Polberg
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
68.
Approximate Unification in the Description Logic FL_0
机译:
描述逻辑FL_0中的近似统一
作者:
Franz Baader
;
Pavlos Marantidis
;
Alexander Okhotin
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
69.
Writing Declarative Specifications for Clauses
机译:
为条款编写声明规范
作者:
Martin Gebser
;
Tomi Janhunen
;
Roland Kaminski
;
Torsten Schaub
;
Shahab Tasharrofi
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
70.
Efficient Reasoning for Inconsistent Horn Formulae
机译:
高效推理不一致的喇叭公式
作者:
Joao Marques-Silva
;
Alexey Ignatiev
;
Carlos Mencia
;
Rafael Penaloza
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
71.
A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics
机译:
基于稳定模型语义下的逻辑编程和一阶理论的概率推理工具
作者:
Matthias Nickles
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
关键词:
Artificial intelligence;
Answer set programming;
Probabilistic logic programming;
Statistical-relational learning;
SAT;
72.
Extensional Semantics for Higher-Order Logic Programs with Negation
机译:
具有否定的高阶逻辑程序的扩展语义
作者:
Panos Rondogiannis
;
Ioanna Symeonidou
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
73.
Reasoning About Justified Belief Based on the Fusion of Evidence
机译:
基于证据融合的理由信仰的推理
作者:
Tuan-Fang Fan
;
Churn-Jung Liau
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
74.
On Decidability of a Logic of Gossips
机译:
关于逻辑逻辑的可辨icability
作者:
Krzysztof R. Apt
;
Dominik Wojtczak
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
75.
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
机译:
不一致的宽容查询应答:合理性属性和计算复杂性分析
作者:
Jean Francois Baget
;
Salem Benferhat
;
Zied Bouraoui
;
Madalina Croitoru
;
Marie-Laure Mugnier
;
Odile Papini
;
Swan Rocher
;
Karim Tabia
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
76.
Pakota: A System for Enforcement in Abstract Argumentation
机译:
力量:抽象论证中的实施系统
作者:
Andreas Niskanen
;
Johannes P. Wallner
;
Matti Jarvisalo
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
77.
Metabolic Pathways as Temporal Logic Programs
机译:
代谢途径作为时间逻辑程序
作者:
Jean-Marc Alliot
;
Martin Dieguez
;
Luis Farinas del Cerro
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
78.
Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks
机译:
动态论证框架的确定性扩展的增量计算
作者:
Sergio Greco
;
Francesco Parisi
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
79.
Opposition Frameworks
机译:
反对框架
作者:
Cosmina Croitoru
;
Kurt Mehlhorn
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
80.
Temporal Here and There
机译:
在这里和那里
作者:
Philippe Balbiani
;
Martin Dieguez
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
81.
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks
机译:
在加权论证框架中放松内部冲突和防御
作者:
Stefano Bistarelli
;
Fabio Rossi
;
Francesco Santini
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
82.
Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
机译:
ockamist命题动态逻辑的可解除性和表征性
作者:
Joseph Boudou
;
Emiliano Lorini
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
83.
Correct Grounded Reasoning with Presumptive Arguments
机译:
用推定论点正确接地推理
作者:
Bart Verheij
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
84.
Characterizability in Horn Belief Revision
机译:
喇叭信仰修订的特色
作者:
Jon Yaggie
;
Gyorgy Turan
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
85.
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects
机译:
利用视觉对象混合分类的上下文知识
作者:
Thomas Eiter
;
Tobias Kaminski
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
86.
Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
机译:
使用标记的Sequent Calculi证明Craig和Lyndon插值
作者:
Roman Kuznets
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
关键词:
Craig interpolation;
Lyndon interpolation;
Labelled sequents;
Modal logic;
Geach formulas;
87.
On the Expressiveness of Temporal Equilibrium Logic
机译:
论时间均衡逻辑的表达力
作者:
Laura Bozzelli
;
David Pearce
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
88.
DRAT Proofs for XOR Reasoning
机译:
XOR推理的DRAT证明
作者:
Tobias Philipp
;
Adrian Rebola-Pardo
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
89.
Hilbert-Style Axiomatization for Hybrid XPath with Data
机译:
用于数据的Hilbert风格的公理化与数据的混合XPath
作者:
Carlos Areces
;
Raul Fervari
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
关键词:
XPath;
Modal logic;
Hybrid logic;
Data tree;
Axiomatization;
90.
Introducing Role Defeasibility in Description Logics
机译:
在描述逻辑中引入角色缺陷
作者:
Katarina Britz
;
Ivan Varzinczak
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
关键词:
Description Logics;
Defeasible reasoning;
Preferential semantics;
91.
Revising Possibilistic Knowledge Bases via Compatibility Degrees
机译:
通过兼容度修改可能性知识库
作者:
Yifan Jin
;
Kewen Wang
;
Zhe Wang
;
Zhiqiang Zhuang
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
92.
Standard Sequent Calculi for Lewis' Logics of Counterfactuals
机译:
Lewis的标准序列结算反应性的逻辑
作者:
Marianna Girlando
;
Bjorn Lellmann
;
Nicola Olivetti
;
Gian Luca Pozzato
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
93.
Reactive Policies with Planning for Action Languages
机译:
与行动语言规划的反应性政策
作者:
Zeynep G. Saribatur
;
Thomas Eiter
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
94.
A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems
机译:
三价抽象技术,用于验证多种代理系统中的认知性质
作者:
Francesco Belardinelli
;
Alessio Lomuscio
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2016年
关键词:
Logics in multi-agent systems;
Epistemic logic;
Formal verification by model checking;
95.
Logic Foundations of the OCL Modelling Language
机译:
OCL建模语言的逻辑基础
作者:
Enrico Franconi
;
Alessandro Mosca
;
Xavier Oriol
;
Guillem Rull
;
Ernest Teniente
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2014年
96.
Argumentative Aggregation of Individual Opinions
机译:
个人意见的争论聚集
作者:
Cosmina Croitoru
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2014年
97.
Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search
机译:
从区域连接微积分规范与本地搜索绘图欧拉图
作者:
Francois Schwarzentruber
;
Jin-Kao Hao
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2014年
98.
Revisiting Reductants in the Multi-adjoint Logic Programming Framework
机译:
重新探索多伴随逻辑编程框架中的还原剂
作者:
Pascual Julian-Iranzo
;
Jesus Medina
;
Manuel Ojeda-Aciego
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2014年
关键词:
Fuzzy Logic Programming;
Multi-adjoint Logic Programming;
Reductants;
99.
Constraint-Based Algorithm for Computing Temporal Invariants
机译:
基于约束的计算时间不变的算法
作者:
Jussi Rintanen
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2014年
100.
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance
机译:
ACUOS:具有亚型和继承的模块化ACU泛化系统
作者:
Maria Alpuente
;
Santiago Escobar
;
Javier Espert
;
Jose Meseguer
会议名称:
《European Conference on Logics in Artificial Intelligence》
|
2014年
上一页
1
2
3
4
下一页
意见反馈
回到顶部
回到首页