掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
European Workshop on Logics in Artificial Intelligence
European Workshop on Logics in Artificial Intelligence
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
On Arbitrary Selection Strategies for Basic Superposition
机译:
基于基本叠加的任意选择策略
作者:
Vladimir Aleksic
;
Anatoli Degtyarev
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
2.
On Herbrand’s Theorem for Intuitionistic Logic
机译:
关于直觉逻辑的Herbrand的定理
作者:
Alexander Lyaletski
;
Boris Konev
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
3.
Analytic Tableau Calculi for KLM Rational Logic R
机译:
KLM Rational Logic R的分析Tableau Calli
作者:
Laura Giordano
;
Valentina Gliozzi
;
Nicola Olivetti
;
Gian Luca Pozzato
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
4.
Tarfa: Tableaux and Resolution for Finite Abduction
机译:
Tarfa:用于有限绑架的Tableaux和分辨率
作者:
Fernando Soler-Toscano
;
Angel Nepomuceno-Fernandez
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
5.
On the Semantics of Logic Programs with Preferences
机译:
偏好逻辑程序的语义
作者:
Sergio Greco
;
Irina Trubitsyna
;
Ester Zumpano
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
6.
A Fault-Tolerant Default Logic
机译:
容错默认逻辑
作者:
Zhangang Lin
;
Yue Ma
;
Zuoquan Lin
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
7.
Model Representation over Finite and Infinite Signatures
机译:
有限和无限签名的模型表示
作者:
Christian G. Fermüller
;
Reinhard Pichler
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
8.
Decidable Fragments of Logic Programming with Value Invention
机译:
具有价值本发明的逻辑编程的可解除碎片
作者:
Francesco Calimeri
;
Susanna Cozza
;
Giovambattista Ianni
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
9.
Comparing Action Descriptions Based on Semantic Preferences
机译:
基于语义偏好的动作描述进行比较
作者:
Thomas Eiter
;
Esra Erdem
;
Michael Fink
;
Ján Senko
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
10.
Modal Logics of Negotiation and Preference
机译:
谈判与偏好的模态逻辑
作者:
Ulle Endriss
;
Eric Pacuit
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
11.
A Slicing Tool for Lazy Functional Logic Programs
机译:
用于惰性功能逻辑程序的切片工具
作者:
Claudio Ochoa
;
Josep Silva
;
Germán Vidal
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
12.
optsat : A Tool for Solving SAT Related Optimization Problems
机译:
Optsat:一种解决SAT相关优化问题的工具
作者:
Enrico Giunchiglia
;
Marco Maratea
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
13.
On Herbrand's Theorem for Intuitionistic Logic
机译:
关于直觉逻辑的Herbrand的定理
作者:
Alexander Lyaletski
;
Boris Konev
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
14.
A Tool for Answering Queries on Action Descriptions
机译:
用于在动作描述上应答查询的工具
作者:
Thomas Eiter
;
Michael Fink
;
Ján Senko
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
15.
Automatic Deductive Synthesis of Lisp Programs in the System ALISA
机译:
自动演绎System Alisa中的LISP程序
作者:
Yulia Korukhova
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
16.
Fuzzy Answer Set Programming
机译:
模糊答案集编程
作者:
Davy Van Nieuwenborgh
;
Martine De Cock
;
Dirk Vermeir
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
17.
Whatever You Say
机译:
不管你说什么
作者:
Luke Hunsberger
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
18.
Introducing Attempt in a Modal Logic of Intentional Action
机译:
介绍模态逻辑的故意行动的尝试
作者:
Emiliano Lorini
;
Andreas Herzig
;
Cristiano Castelfranchi
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
19.
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
机译:
通过整合决策程序和实例化策略来决定阵列理论的扩展
作者:
Silvio Ghilardi
;
Enrica Nicolini
;
Silvio Ranise
;
Daniele Zucchelli
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
20.
Inconsistencies in Ontologies
机译:
在本体中不一致
作者:
Andrei Voronkov
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
21.
An Event-Condition-Action Logic Programming Language
机译:
一个事件条件 - 动作逻辑编程语言
作者:
J. J. Alferes
;
F. Banti
;
A. Brogi
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
22.
Towards Top-k Query Answering in Description Logics: The Case of DL-Lite
机译:
在描述逻辑中对Top-K查询应答:DL-Lite的情况
作者:
Umberto Straccia
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
23.
Tableaux and Resolution for Finite Abduction
机译:
有限绑架的Tableaux和分辨率
作者:
Fernando Soler-Toscano
;
ángel Nepomuceno-Fernández
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
24.
Reasoning About an Agent Based on Its Revision History with Missing Inputs
机译:
基于缺失输入的修订历史的推理
作者:
Alexander Nittka
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
25.
A Logic-Based Tool for Semantic Information Extraction
机译:
基于逻辑的语义信息提取工具
作者:
Massimo Ruffolo
;
Marco Manna
;
Lorenzo Gallucci
;
Nicola Leone
;
Domenico Saccà
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
26.
Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
机译:
歧义传播不可行的逻辑和良好的语义
作者:
Frederick Maier
;
Donald Nute
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
27.
Anti-prenexing and Prenexing for Modal Logics
机译:
模态逻辑的反盆子和前兴
作者:
Cláudia Nalon
;
Clare Dixon
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
28.
A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC
机译:
描述逻辑ALC的确定性喇叭片段的自下而上方法
作者:
Linh Anh Nguyen
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
29.
Representing Action Domains with Numeric-Valued Fluents
机译:
表示具有数字值流畅的动作域
作者:
Esra Erdem
;
Alfredo Gabaldon
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
30.
Knowledge Base Revision in Description Logics
机译:
描述逻辑中的知识库修订版
作者:
Guilin Qi
;
Weiru Liu
;
David A. Bell
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
31.
cc T: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics
机译:
CC T:答案集语义下的逻辑程序的对应检查工具
作者:
Johannes Oetsch
;
Martina Seidl
;
Hans Tompits
;
Stefan Woltran
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
32.
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs
机译:
在非接地答案集计划中识别规则替换的实现
作者:
Thomas Eiter
;
Patrick Traxler
;
Stefan Woltran
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
33.
Distance-Based Repairs of Databases
机译:
基于距离的数据库维修
作者:
Ofer Arieli
;
Marc Denecker
;
Maurice Bruynooghe
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
34.
A Formal Analysis of KGP Agents
机译:
对KGP代理商进行正式分析
作者:
F. Sadri
;
F. Toni
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
35.
Representing Causal Information About a Probabilistic Process
机译:
代表有关概率过程的因果关系
作者:
Joost Vennekens
;
Marc Denecker
;
Maurice Bruynooghe
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
36.
Reasoning About Actions Using Description Logics with General TBoxes
机译:
使用描述逻辑与常规Tboxes的操作的推理
作者:
Hongkai Liu
;
Carsten Lutz
;
Maja Milicic
;
Frank Wolter
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
37.
A Modularity Approach for a Fragment of ALC
机译:
ALC片段的模块化方法
作者:
Andreas Herzig
;
Ivan Varzinczak
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
关键词:
Knowledge representation;
description logics;
modularity;
38.
A STIT-Extension of ATL
机译:
ATL的缩小延伸
作者:
Jan Broersen
;
Andreas Herzig
;
Nicolas Troquard
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
39.
On the Issue of Reinstatement in Argumentation
机译:
论论论恢复问题
作者:
Martin Caminada
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
40.
April – An Inductive Logic Programming System
机译:
四月 - 一种感应逻辑编程系统
作者:
Nuno A. Fonseca
;
Fernando Silva
;
Rui Camacho
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
41.
Incomplete Knowledge in Hybrid Probabilistic Logic Programs
机译:
混合概率逻辑计划中的不完整知识
作者:
Emad Saad
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
42.
A Tool to Facilitate Agent Deliberation
机译:
一种促进代理商审议的工具
作者:
Daniel Bryant
;
Paul Krause
;
Sotiris Moschoyiannis
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
43.
An Implementation of a Lightweight Argumentation Engine for Agent Applications
机译:
用于代理应用程序的轻量级论证引擎的实现
作者:
Daniel Bryant
;
Paul Krause
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
44.
The QBFEVAL Web Portal
机译:
QBFeval Web门户网站
作者:
Massimo Narizzano
;
Luca Pulina
;
Armando Tacchella
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
45.
Answer Set Programming: A Declarative Approach to Solving Search Problems
机译:
回答集编程:解决搜索问题的声明方法
作者:
Ilkka Niemela
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
46.
Hierarchical Argumentation
机译:
分层论证
作者:
S. Modgil
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
47.
From Inductive Logic Programming to Relational Data Mining
机译:
从归纳逻辑规划到关系数据挖掘
作者:
Saso Dzeroski
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
48.
Irrelevant Updates and Nonmonotonic Assumptions
机译:
无关紧要的更新和非单调假设
作者:
Ján sefránek
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
关键词:
foundations of logic-based AI systems;
nonmonotonic knowledge bases;
updates;
logic programming;
nonmonotonic reasoning;
49.
ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics
机译:
CCT:答案集语义下的逻辑程序的对应 - 检查工具
作者:
Johannes Oetsch
;
Martina Seidl
;
Hans Tompits
;
Stefan Woltran
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
50.
Automated Reasoning About Metric and Topology
机译:
关于度量和拓扑的自动推理
作者:
Ullrich Hustadt
;
Dmitry Tishkovsky
;
Frank Wolter
;
Michael Zakharyaschev
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
51.
On the Logic and Computation of Partial Equilibrium Models
机译:
关于部分均衡模型的逻辑与计算
作者:
Pedro Cabalar
;
Sergei Odintsov
;
David Pearce
;
Agustín Valverde
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
52.
Natural Deduction Calculus for Linear-Time Temporal Logic
机译:
用于线性时间时间逻辑的自然扣除微积分
作者:
Alexander Bolotov
;
Artie Basukoski
;
Oleg Grigoriev
;
Vasilyi Shangin
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2006年
53.
Multi-agent VSK Logic
机译:
多代理VSK逻辑
作者:
Michael Wooldridge
;
Alessio Lomuscio
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
54.
Reduction Theorems for Boolean Formulas Using Δ-Trees
机译:
使用δ树减少布尔公式的定理
作者:
Gloria Gutierrez
;
Inma P. de Guzman
;
Javier Martinez
;
Manuel Ojeda-Aciego
;
Agustin Valverde
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
55.
Topo-distance: Measuring the Difference between Spatial Patterns
机译:
热门距离:测量空间模式之间的差异
作者:
Marco Aiello
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
关键词:
Qualitative spatial reasoning, RCC, Mereotopology, Model comparison games;
56.
Monodic Epistemic Predicate Logic
机译:
单码认知谓词逻辑
作者:
Holger Sturm
;
Frank Wolter
;
Michael Zakharyaschev
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
57.
Considerations on Updates of Logic Programs
机译:
关于逻辑计划更新的介绍
作者:
Thomas Eiter
;
Michael Fink
;
Giuliana Sabbatini
;
Hans Tompits
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
58.
A General Approach to Multi-agent Minimal Knowledge
机译:
多种代理最小知识的一般方法
作者:
Wiebe van der Hoek
;
Jan Jaspars
;
Elias Thijsse
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
59.
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases
机译:
一种恢复不一致知识库的算法方法
作者:
Ofer Arieli
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
60.
Updates plus Preferences
机译:
更新加偏好
作者:
Jose Julio Alferes
;
Luis Moniz Pereira
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
61.
Capturing Stationary and Regular Extensions with Reiter's Extensions
机译:
使用Reiter的扩展捕获静止和常规扩展
作者:
Tomi Janhunen
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
62.
A Compilation of Brewka and Eiter's Approach to Prioritization
机译:
Brawka和Eiter的优先级方法的汇编
作者:
James P. Delgrande
;
Torsten Schaub
;
Hans Tompits
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
63.
The KeY Approach: Integrating Object Oriented Design and Formal Verification
机译:
关键方法:集成面向对象的设计和正式验证
作者:
Wolfgang Ahrendt
;
Thomas Baar
;
Bernhard Beckert
;
Martin Giese
;
Elmar Habermalz
;
Reiner Hahnle
;
Wolfram Menzel
;
Peter H. Schmitt
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
64.
A Modal Logic for Network Topologies
机译:
网络拓扑的模态逻辑
作者:
Rogier M. van Eijk
;
Frank S. de Boer
;
Wiebe van der Hoek
;
John-Jules Ch. Meyer
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
65.
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
机译:
条件知识库的默认推理中的新贸易案例
作者:
Thomas Eiter
;
Thomas Lukasiewicz
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
66.
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus
机译:
基于Lambek微积分的自然语言处理绑架机制
作者:
Antonio Frias Delgado
;
Jose Antonio Jimenez Millan
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
67.
A Framework for Belief Update
机译:
信仰更新的框架
作者:
Paolo Liberatore
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
68.
Avoiding Logical Omniscience by Using Subjective Situations
机译:
通过使用主观情况来避免逻辑不可用
作者:
Antonio Moreno
;
Ulises Cortes
;
Ton Sales
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
69.
Declarative Formalization of Strategies for Action Selection: Applications to Planning
机译:
行动选择策略的陈述形式化:计划申请
作者:
Josefina Sierra-Santibanez
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
70.
On Dialogue Systems with Speech Acts, Arguments, and Counterarguments
机译:
关于具有言语行为,论点和反逆向的对话系统
作者:
Henry Prakken
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
71.
Representing the Process Semantics in the Event Calculus
机译:
代表事件微积分中的过程语义
作者:
Chunping Li
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
72.
A Logic for Modeling Decision Making with Dynamic Preferences
机译:
用动态偏好建模决策的逻辑
作者:
Marina De Vos
;
Dirk Vermeir
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
73.
Simultaneous Rigid Sorted Unification
机译:
同时刚性排序统一
作者:
Pedro J. Martin
;
Antonio Gavilanes
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
74.
Acceptance Without Minimality
机译:
没有最小的接受
作者:
Abhaya C. Nayak
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
75.
Partially Adaptive Code Trees
机译:
部分自适应代码树
作者:
Alexandre Riazanov
;
Andrei Voronkov
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
关键词:
Automated theorem proving;
Code trees;
Term indexing;
Matching;
Subsumption;
76.
Credulous and Sceptical Argument Games for Preferred Semantics
机译:
为首选语义而轻信和怀疑的论点游戏
作者:
Gerard A.W. Vreeswijk
;
Henry Prakken
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
77.
Semi-qualitative Reasoning about Distances: A Preliminary Report
机译:
关于距离的半定性推理:初步报告
作者:
Holger Sturm
;
Nobu-Yuki Suzuki
;
Frank Wolter
;
Michael Zakharyaschev
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
78.
Hybrid Probabilistic Logic Programs as Residuated Logic Programs
机译:
混合概率逻辑程序作为静读逻辑程序
作者:
Carlos Viegas Damasio
;
Luis Moniz Pereira
会议名称:
《European Workshop on Logics in Artificial Intelligence》
|
2000年
意见反馈
回到顶部
回到首页