停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

JELIA 2004：葡萄牙里斯本

>主页 >会议和研讨会 >犹太教徒

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/2004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/2004
何塞·朱利奥·阿尔弗雷斯,约昂·亚历山大·莱特:
人工智能中的逻辑，第九届欧洲会议，JELIA 2004，葡萄牙里斯本，2004年9月27日至30日，会议记录。计算机科学课堂讲稿3229,施普林格 2004，国际标准图书编号3-540-23242-7

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Rossi04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Rossi04
弗朗西丝卡·罗西:
使用首选项进行表示和推理。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Bader04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Bader04
弗兰兹·巴德:
基于内容的信息表示的逻辑工程。 2-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Nebel04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Nebel04
伯恩哈德·内贝尔:
机器人学中的形式方法。 4

多代理系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/DastaniT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/DastaniT04
迈赫迪·达斯塔尼,Leendert W.N.van der Torre（林德特·范德托雷）:
认知代理游戏。 5-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/ChopraPP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/ChopraPP04
萨米尔·乔普拉,埃里克·帕奎特,罗希特·帕里赫:
知识——战略投票的理论属性。 18-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/EndrissMSTT04会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/EndrissMSTT04
乌尔里希·恩德里斯,保罗·曼卡雷拉,法里巴·萨德里,贾科莫·特雷尼,弗朗西丝卡·托尼:
约束外推逻辑程序设计的CIFF证明过程。 31-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/HeymansNV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/HeymansNV04
斯迪恩·海曼斯,戴维·范·纽文伯格,德克·弗梅尔:
自治代理的层次决策。 44-56
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/GordanoMS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/GiordanoMS04
劳拉·佐丹奴,阿尔贝托·马泰利,卡米拉·施温德:
在时序动作逻辑中通过模型检查验证通信代理。 57-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Wolfl04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Wolfl04
斯特凡·沃尔夫:
定性行为理论：交替时间逻辑和Kutschera-Belnap代理方法的语义比较。 70-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/FerreiraFH04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/FerreiraFH04
尼维娅·德·卡瓦略·费雷拉,迈克尔·菲希尔,威比·范德霍克:
不确定因素的实用推理。 82-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/AlechinaLW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/AlechinaLW04
娜塔莎·阿列奇纳,布莱恩·洛根,马克·惠特西:
在时间推理逻辑中建模通信代理。 95-107

逻辑程序设计与非单调推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/MarienGD04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/MarienGD04
马尔滕·马里恩,大卫·吉利斯,马克·德内克:
ID-Logic与答案集编程的关系。 108-120
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/惠勒04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/WheelerD04
格雷戈里·惠勒,卡洛斯·维加斯·达马西奥:
统计缺省逻辑的实现。 121-133
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/JanhunenO04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/JanhunenO04
托米·詹胡宁,艾米莉亚·奥卡里宁:
用虚拟逻辑程序捕获并行环境。 134-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/PearceV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/PearceV04
大卫·皮埃尔斯,阿古斯汀·瓦尔维德:
非单调推理的一阶平衡逻辑。 147-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Woltran04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Woltran04
斯特凡·沃尔特兰:
答案集编程中相对化等价概念的特征。 161-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/InoueS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/InoueS04
井上胜美,恰基·萨卡马:
更新中逻辑程序的等效性。 174-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Sirjanen04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Sirjanen04网址
托米·西尔贾宁:
基数约束程序。 187-199
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/FaberLP04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/FaberLP04
沃尔夫冈·费伯,尼古拉·利昂,杰拉尔德·菲弗:
析取逻辑程序中的递归聚合：语义和复杂性。 200-212

不确定性推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/MarchioniG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/MarchioniG04
恩里科·马尔基奥尼,路易斯·戈多:
相干条件概率推理逻辑：模态模糊逻辑方法。 213-225
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/RaskovicOM04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/RaskovicOM04网站
米奥德拉格·拉斯科维奇,佐兰·奥格尼亚诺维奇,佐兰·马尔科维奇:
具有条件概率的逻辑。 226-238
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/MateusS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/MateusS04
保罗·马特乌斯,Amílcar Sernadas公司:
关于量子系统的推理。 239-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/DamasioMO04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/DamasioMO04
卡洛斯·维耶加斯·达马西奥,杰苏斯·麦地那,曼纽尔·奥杰达·阿西戈:
排序多伴随逻辑程序：终止结果和应用。 252-265

逻辑程序设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Nguyen04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Nguyen04
林安阮:
模态逻辑编程系统MProlog。 266-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Moreno-NavarroM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Moreno-NavarroM04
胡安·何塞·莫雷诺-纳瓦罗,苏珊娜·穆尼奥斯·亨德斯:
Prolog“有效”否定的正确性和完整性。 279-293
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/CabaralL04会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/CabalarL04
佩德罗·卡巴拉尔,大卫·洛伦佐:
具有函数和默认值的逻辑程序。 294-306

行动和原因

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/RintanenHN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/RintanenHN04
尤西·林塔南,凯霍·赫尔扬科,伊尔卡·尼梅尔:
经典规划的并行编码作为可满足性。 307-319
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/FinziL04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/FinziL04
阿尔贝托·芬奇,托马斯·卢卡西维茨:
关系马尔可夫博弈。 320-333
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Browersen04会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Broersen04网址
简·M·布罗森:
论“实现rho的动机，在delta之前”的逻辑。 334-346

复杂性问题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/DunneH04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/DunneH04
保罗·邓恩,威比·范德霍克:
布尔博弈中的表示与复杂性。 347-359
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/DunneB04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/DunneB04
保罗·邓恩,特雷弗·J.M.长凳:
基于值的参数系统的复杂性。 360-371
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Kazakov04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Kazakov04
叶夫根尼·哈萨克夫:
带数字限制的二元保护片段到保护片段的多项式翻译。 372-384

描述逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Straccia04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Straccia04网站
翁贝托·斯特拉契亚:
将模糊描述逻辑转换为经典描述逻辑。 385-399
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BaderST04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BaderST04
弗兰兹·巴德,巴里斯·塞尔特卡亚,安妮·亚斯敏·图尔汗:
计算最小公共用户w.r.t.a背景术语。 400-412
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Schlobach04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Schlobach04
斯特凡·施洛巴赫:
用最优插值解释沉没。 413-425

信念修正

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/DelgrandS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/DelgrandeS04
詹姆斯·德尔格兰德,托尔斯滕·绍布:
合并知识库的两种方法。 426-438
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Flac04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Flax04
Lee亚麻:
信念收缩和非单调蕴涵的代数方法。 439-451
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Mengin04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Mengin04网站
杰罗姆·门根:
非单调性的逻辑连接词：基于选择函数的方法。 452-461
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/DoutreM04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/DoutreM04
西尔维·多特,杰罗姆·门根:
抽象论证系统的怀疑与轻信接受。 462-473

模态、空间和时间逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BalbianiT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BalbianiT04
菲利普·巴尔比亚尼,廷科·廷切夫:
欧氏平面中基于直线的仿射推理。 474-486
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Giritli公司04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Giritli04网址
Mehmet Giritli公司:
空间推理的度量逻辑。 487-499
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/LianLW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/LianLW04
埃斯彭·H·廉,托尔·兰霍姆,Arild Waaler公司:
只有信心水平的了解：减少和复杂性。 500-512
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BresolinMP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BresolinMP04
大卫·布雷索林,安吉洛·蒙塔纳里,加布里埃尔·普皮斯:
时间粒度和最终周期自动机。 513-525

定理证明

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Finger04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Finger04
马塞洛·芬格:
基于有限二价的全命题逻辑多项式逼近。 526-538
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Peltier04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Peltier04网址
尼古拉斯·佩尔蒂埃:
自由变量表中分支饱和的一些技巧。 539-551
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Wernhard公司04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Wernhard04网址
克里斯托夫·沃恩哈德:
语义知识划分。 552-564
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Nuyen04a会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Nguyen04a
林安阮:
否定超分辨率作为析取逻辑程序的程序语义。 565-577

应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/AngiulliGP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/AngiulliGP04
法布里齐奥·安吉乌利,吉安路易吉·格雷科,路易吉·帕洛波利:
通过逻辑编程发现证据知识中的异常。 578-590
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BaumgartnerB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BaumgartnerB04
鲍姆加特内,阿尔乔沙·伯查特:
FrameNet上推理的逻辑编程基础结构。 591-603
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Ben-NaimBPW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Ben-NaimBPW04
乔纳森·本·奈姆,塞勒姆·本费哈特,奥迪尔·帕皮尼,埃里克·沃贝尔:
优先删除集的答案集编程编码修订：在GIS中的应用。 604-616
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/阿曼多CL04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/ArmandoCL04
亚历山德罗·阿曼多,卢卡·孔帕尼亚,尤利亚·利勒:
将协议不安全问题自动编译为逻辑编程。 617-627
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/CadoliM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/CadoliM04
马可·卡多利,托尼·曼奇尼:
利用声明性问题规范中的功能依赖。 628-640
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/TinelliZ04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/TinelliZ04
塞萨尔·蒂内利,卡罗格罗·扎尔巴:
分类理论的组合决策程序。 641-653
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/HomersomLB04会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/HommersomLB04
Arjen Hommersom公司,彼得·J·F·卢卡斯,迈克尔·巴尔塞:
使用交互式定理证明对医疗指南质量进行元级验证。 654-666
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/DohertyKMS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/DohertyKMS04
帕特里克·多尔蒂,史蒂夫·科特斯,马丁·马格努森,安德烈·萨拉斯:
生物化学途径的逻辑分析。 667-679

系统会话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/EndrissMSTT04a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/EndrissMSTT04a
乌尔里希·恩德里斯,保罗·曼卡雷拉,法里巴·萨德里,贾科莫·特雷尼,弗朗西斯卡·托尼:
使用CIFF的诱拐逻辑编程：系统描述。 680-684
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/CostantiniT04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/CostantiniT04
斯蒂芬妮娅·科斯坦蒂尼,阿里安娜·托奇奥:
面向代理的DALI逻辑编程语言。 685-688
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Padovani公司P04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/PadovaniP04
卢卡·帕多瓦尼,亚历山德罗·普罗维蒂:
Qsmodels：交互式游戏环境中的ASP规划。 689-692
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/CalimeriIIPS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/CalimeriIIPS04
弗朗西斯科·卡利默里,乔瓦姆巴蒂斯塔·伊安尼,朱塞佩·埃尔帕,阿德里亚娜·皮埃特拉马拉,玛丽亚·卡梅拉·桑托罗:
带有模板答案集程序的系统。 693-697
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/CalimeriCCFLPP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/CalimeriCCFLP04
弗朗西斯科·卡利默里,曼努埃拉·西蒂尼诺,奇亚拉·坎博,沃尔夫冈·费伯,尼古拉·利昂,西蒙娜·佩里,杰拉尔德·菲佛:
用于数据集成的新DLV功能。 698-701
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/BoselLS04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/BoselLS04
安德烈亚斯·贝塞尔,林克,托尔斯滕·绍布:
评测答案集编程：noMoRe系统的可视化组件。 702-705
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/WakakiISN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/WakakiISN04
Wakaki先生,井上胜美,恰基·萨卡马,卡苏米·尼塔:
PLP系统。 706-709
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/FerreiraR04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/FerreiraR04
米歇尔·费雷拉,里卡多·罗查:
MyYapDB演绎数据库系统。 710-713
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Calejo04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Calejo04
米盖尔·卡列霍:
InterProlog：面向Java中逻辑编程的声明性嵌入。 714-717
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Camacho04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Camacho04
鲁伊·卡马乔:
IndLog-逻辑归纳。 718-721
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/CumboIR04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/CumboIR04
奇亚拉·坎博,萨尔瓦多伊里塔诺,帕斯夸尔·鲁洛:
OLEX-一种基于推理的文本分类器。 722-725
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Alpuent公司BF04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/AlpuenteBF04
玛丽亚·阿尔普奈特,黛米斯·巴利斯,莫雷诺·法拉斯基:
Verdi：网站验证的自动化工具。 726-729
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/ArmandoC04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/ArmandoC04
亚历山德罗·阿曼多,卢卡·孔帕尼亚:
SATMC：基于SAT的安全协议模型检查器。 730-733
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Valverde04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Valverde04
阿古斯汀·瓦尔维德:
tabeql：基于Tableau的平衡逻辑套件。 734-737
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/Ojeda-AciegoV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/Ojeda-AciegoV04
曼纽尔·奥杰达·阿西戈,阿古斯汀·瓦尔维德:
tascpl:经典命题逻辑的TAS解算器。 738-741

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。