×
斯特凡·埃尔马瑟勒（编辑）;克劳迪娅·舒尔茨（编辑）

介绍面向用户的逻辑编程和推理范例的TPLP专题。 （英语） Zbl 1425.00114号

理论与实践。日志。程序。 19，第2号，109-113（2019）.

MSC公司：

00B15号机组 杂项特定利益物品的收集
68-06 与计算机科学有关的会议记录、会议、收藏等
68N17号 逻辑编程

软件：

在线SPARC;Web-STAR网站;克林戈;海狮;SWISH数据实验室;卡拉;WASP公司;天基信息平台
PDF格式BibTeX公司 XML格式引用
\textit{S.Ellmauthaler}（编辑）和\textit{C.Schulz}（主编），理论与实践。日志。程序。19，第2号，109-113（2019；Zbl 1425.00114）
全文： 内政部

参考文献：

[1] Alkhalifa，E.M.2006年。学习者误解对学习的影响。国际信息社会发展协会（IADIS）数字时代认知和探索性学习国际会议论文集，123-128。
[2] Alviano，M.、Dodaro，C.、Leone，N.和Ricca，F.2015。WASP进展。《第13届逻辑编程和非单调推理国际会议论文集》（LPNMR’15），斯普林格国际出版社，40-54·Zbl 1467.68021号
[3] Baral，C.和Giacomo，G.D.2015。知识表示和推理：热门话题。第二十届美国人工智能学会人工智能会议论文集。AAAI出版社，4316-4317。
[4] 布莱克威尔，A.F.2015。与推理世界的交互：机器学习对人性化计算机交互的挑战。第五届十年奥胡斯关键替代方案会议记录（CA’15），169-180。
[5] Busoniu，P.-A.，Oetsch，J.，Pührer，J.、Skocovsky，P.和Tompits，H.2013。SeaLion：一个基于eclipse的IDE，用于支持高级调试的应答编程。逻辑程序设计的理论与实践13，4-5，657-673.10.1017/S147106841300041041078413000410
[6] Cabalar，P.、Fandinno，J.和Fink，M.，2014年。逻辑程序的因果图证明。逻辑程序设计的理论与实践14，4-5，603-618.10.1017/S147106841400023447106841000234·Zbl 1309.68028号
[7] 1997年本科科学教育委员会。重新考虑科学教学：手册。国家学院出版社，华盛顿特区。
[8] Dodaro，C.、Gasteiger，P.、Reale，K.、Ricca，F.和Schekothihin，K.2018。调试非地面ASP程序：技术和图形工具。逻辑程序设计理论与实践（面向用户的逻辑程序设计与推理范例专刊）。
[9] 范迪诺，J.和舒尔茨，C.2018。回答答案集编程中的“为什么”-解释方法的调查。逻辑程序设计理论与实践（面向用户的逻辑程序设计与推理范例专刊）。
[10] Febbraro，O.，Reale，K.和Ricca，F.2010。用于绘制ASP程序的可视化界面。《第25届意大利计算逻辑会议论文集》（CILC'10），CEUR-WS.org。
[11] Febbraro，O.，Reale，K.和Ricca，F.2011。ASPIDE：用于应答集编程的集成开发环境。第十一届逻辑程序设计与非单调推理国际会议（LPNMR’11）论文集，柏林-海德堡，317-330。
[12] Garnelo，M.、Arulkumaran，K.和Shanahan，M.2016。走向深层符号强化学习。CoRR腹肌/1609.05518。
[13] Gebser，M.，Kaminski，R.，Kaufmann，B.，Lühne，P.，Obermeier，P.、Ostrowski，M.、Romero，J.、Schaub，T.、Schellhorn，S.和Wanko，P.2018。波茨坦答案集求解集合5.0。KI-Künstliche Intelligenz智库32，2，181-182.10.1007/s13218-018-0528-x
[14] Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2012。实践中的答案集求解。Morgan&Claypool出版社10.2200/S00457ED1V01Y201211AIM019·Zbl 1251.68060号
[15] Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2014。Clingo=ASP+对照：初步报告。CoRR abs/1405.3694·Zbl 1486.68027号
[16] Haugeland，J.1985年。人工智能：创意。美国马萨诸塞州剑桥市麻省理工学院。
[17] Kloimüllner，C.，Oetsch，J.，Pührer，J.和Tompits，H.2011。卡拉（Kara）：一个可视化和可视化编辑应答程序解释的系统。在第19届国际声明性程序设计和知识管理应用会议（INAP’11）和第25届逻辑程序设计研讨会（WLP’11）的修订论文集中，325-344。
[18] Marcopoulos，E.和Zhang，Y.2018。onlineSPARC：用于答案集编程的编程环境。逻辑程序设计理论与实践（面向用户的逻辑程序设计与推理范例专刊）。
[19] Oetsch，J.、Pührer，J.和Tompits，H.2018。逐步调试应答程序。逻辑程序设计的理论与实践18，1，30-80.10.1017/S1471068417000217·Zbl 1425.68053号
[20] Riguzzi，F.和Cota，G.，2016年。概率逻辑编程教程。逻辑编程协会新闻稿29，1，1-1。
[21] Rodostenous，C.T.和Michael，L.2018。Web-star：一个基于Web的可视化IDE，用于故事理解系统。逻辑程序设计理论与实践（面向用户的逻辑程序设计与推理范例专刊）。
[22] Schulz，C.和Toni，F.2016。使用论证证明答案集的合理性。逻辑编程理论与实践16，01，59-110.10.1017/S1471068414000702S1471068414000702·Zbl 1379.68301号
[23] Shchekotykhin，K.M.2015年。ASP程序的基于查询的交互式调试。《第29届AAAI人工智能会议论文集》（AAAI'15），AAAI出版社，1597-1603。
[24] Shoham，2015年。为什么知识表示很重要。ACM59的通信，1，47-49.10.1145/2003170·数字对象标识代码：10.1145/2803170
[25] Vosinakis，S.、Anastasakis，G.和Koutsabasis，P.2016。使用交互式微世界表示在虚拟世界中教和学逻辑编程。英国教育技术杂志49，1，30-44.10.111/bjet.12531
[26] Wielemaker，J.、Riguzzi，F.、Kowalski，B.、Lager，T.、Sadri，F.和Calejo，M.2018。使用swish实现基于逻辑语言的交互式网络教程。逻辑程序设计理论与实践（面向用户的逻辑程序设计与推理范例专刊）·Zbl 1486.68029号
[27] Yuen，T.T.、Reyes，M.和Zhang，Y.2018。通过逻辑编程向高中生介绍计算机科学。逻辑程序设计理论与实践（面向用户的逻辑程序设计与推理范例专刊）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。