停止战争！

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

对于科学家来说：

默认搜索操作

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

询问他人

应用逻辑杂志，第7卷

>主页 >期刊销售 >应用逻辑杂志

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第7卷第1期，2009年3月

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/SchmidtSS09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/SchmidtSS09
雷娜特·施密特,杰夫·萨特克利夫,斯蒂芬·舒尔茨:
经验上成功的计算机推理。 1
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/KaufmannMRR09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/KaufmannMRR09
马特·考夫曼,J斯特罗瑟·摩尔,山迪雷,埃里克·里伯:
将外部扣除工具与ACL2集成。 3-25
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/WeberA09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/WeberA09
特贾克·韦伯,哈桑·阿姆贾德:
有效地检查HOL定理证明器中的命题反驳。 26-40
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/MengP09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/MengP09
贾蒙,劳伦斯·保尔森:
针对机器生成的解决方案问题的轻量级相关性筛选。 41-57
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/BaumgartnerFNT09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/BaumgartnerFNT09
鲍姆加特内,亚历山大·富克斯,汉斯·德尼维尔,塞萨尔·蒂内利:
通过简化为无函数子句逻辑计算有限模型。 58-74
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/WesselM09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/WesselM09
韦塞尔,拉尔夫·莫勒:
基于本体的信息系统的灵活软件架构。 75-99
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/Bos09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/Bos09
约翰·博斯:
将自动演绎应用于自然语言理解。 100-112
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/RabePSS09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/RabePSS09
弗洛里安·拉贝,彼得·普德拉克,杰夫·萨特克利夫,沈维娜（Weina Shen）:
解决100美元的模态逻辑挑战。 113-130

第7卷第2期，2009年6月

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/CozmanHRRWW09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/CozmanHRRWW09
法比奥·加利亚迪·科兹曼,罗尔夫·哈尼,Jan-Willem Romeijn公司,费德里卡·拉索,格雷戈里·惠勒,乔恩·威廉姆森:
结合概率和逻辑。 131-135
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/CamposCL09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/CamposCL09
凯西奥·波尔波·德·坎波斯,法比奥·加利亚迪·科兹曼,何塞·爱德华多·奥乔亚·卢纳:
在具有随机独立性的关系概率逻辑中组合一组一致的句子。 137-154
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/Haenni09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/Haenni09网站
罗尔夫·海尼:
概率论证。 155-176
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/Howson09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/Howson09
科林·豪森:
逻辑能与概率结合吗？可能。 177-187
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/Leuridan09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/Leuridan09
伯特·卢里丹:
因果发现和无知问题。自适应逻辑方法。 188-205
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/PfeiferK09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/PfeiferK09
尼基·菲弗,Gernot D.克莱特:
通过基于相干性的概率逻辑构建人类推理。 206-217
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/NgL09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/NgL09
Kee Siong Ng先生,约翰·劳埃德:
经典逻辑中的概率推理。 218-238
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/Sprenger09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/Sprenger09
简·斯普伦格:
归纳逻辑和经验科学之间的统计学。 239-250

第7卷第3期，2009年9月

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/KakasF09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/KakasF09
安东尼斯·卡卡斯,彼得·弗拉奇:
人工智能中的诱拐和诱导。 251
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/TranB09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/TranB09
Tran Hoai Nam公司,奇塔·巴拉尔:
关于信令网络的假设。 253-274
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/AlrajehRRU09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/AlrajehRRU09
达拉·阿拉杰,奥立弗·雷,亚历山德拉·拉索,塞巴斯蒂安·乌奇特尔:
使用诱因和归纳法细化操作需求。 275-288
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/BourneFM09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/BourgneFM09
高万·伯恩,Amal El Fallah Seghrouchni公司,尼古拉斯·莫代特:
通过传播来完善溯因或归纳假设。 289-306
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/IwanumaIN09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/IwanumaIN09
岩沼浩二,井上胜美,希德托莫·纳贝希玛:
用逐点限定重新考虑限定归纳法。 307-317
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/SakamaI09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/SakamaI09
恰基·萨卡马,井上胜美:
诱拐和诱导中的对等问题。 318-328
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/Ray09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/Ray09
奥立弗·雷:
非单调溯因归纳学习。 329-340
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/Christiansen09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/Christiansen09
亨宁·克里斯蒂安森:
使用Prolog和约束处理规则进行基于假设的推理的可执行规范。 341-362

第7卷第4期，2009年12月

专题论文

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/BonannoDLR09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/BonannoDLR09
贾科莫·博纳诺,詹姆斯·德尔格兰德,杰罗姆·朗,汉斯·罗特:
理性智能体中信念改变的形式模型专题。 363
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/Levi09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/Levi09
伊萨克·莱维:
为什么不确定概率是合理的。 364-376
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/Makinson09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/Makinson09网站
大卫·梅金森:
通过信件共享实现命题相关性。 377-387
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/Segerberg09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/Segerberg09
克里斯特·西格伯格:
动态道义逻辑蓝图。 388-402

常规论文

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/BodanzaT09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/BodanzaT09
古斯塔沃·阿德里安·博丹萨,费尔南多·托姆:
解决自攻论点和一般奇长攻击周期问题的两种方法。 403-420
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/MirankerZ09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/MirankerZ09
威拉德·L·米兰克,格雷格·扎克曼:
意识的数学基础。 421-440
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/CastroM09
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/CastroM09
巴勃罗·卡斯特罗,T.S.E.Maibaum公司:
道义行动逻辑、原子布尔代数和容错。 441-466

服务

管理网站设置

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