×

zbMATH — the first resource for mathematics

Introduction to the TPLP special issue on user-oriented logic programming and reasoning paradigms. (English) Zbl 1425.00114
MSC:
00B15 Collections of articles of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N17 Logic programming
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Alkhalifa, E. M.2006. Effects of learner misconceptions on learning. In Proceedings of the IADIS International Conference Cognition and Exploratory Learning in Digital Age, International Association for Development of the Information Society (IADIS), 123-128.
[2] Alviano, M., Dodaro, C., Leone, N. and Ricca, F.2015. Advances in WASP. In Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’15), Springer International Publishing, 40-54. · Zbl 1467.68021
[3] Baral, C. and Giacomo, G. D.2015. Knowledge representation and reasoning: What’s hot. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI Press, 4316-4317.
[4] Blackwell, A. F.2015. Interacting with an inferred world: The challenge of machine learning for humane computer interaction. In Proceedings of the Fifth Decennial Aarhus Conference on Critical Alternatives (CA’15), 169-180.
[5] Busoniu, P.-A., Oetsch, J., Pührer, J., Skocovsky, P. and Tompits, H.2013. SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support. Theory and Practice of Logic Programming13, 4-5, 657-673. doi:10.1017/S1471068413000410 S1471068413000410
[6] Cabalar, P., Fandinno, J. and Fink, M.2014. Causal graph justifications of logic programs. Theory and Practice of Logic Programming14, 4-5, 603-618. doi:10.1017/S1471068414000234 S1471068414000234 · Zbl 1309.68028
[7] Science Teaching Reconsidered: A Handbook, (1997), National Academy Press: National Academy Press, Washington, DC
[8] Dodaro, C., Gasteiger, P., Reale, K., Ricca, F. and Schekothihin, K.2018. Debugging non-ground ASP programs: Technique and graphical tool. Theory and Practice of Logic Programming (Special Issue on User-Oriented Logic Programming and Reasoning Paradigms).
[9] Fandinno, J. and Schulz, C.2018. Answering the “why” in answer set programming - A survey of explanation approaches. Theory and Practice of Logic Programming (Special Issue on User-Oriented Logic Programming and Reasoning Paradigms).
[10] Febbraro, O., Reale, K. and Ricca, F.2010. A visual interface for drawing ASP programs. In Proceedings of the 25th Italian Conference on Computational Logic (CILC’10), CEUR-WS.org.
[11] Febbraro, O., Reale, K. and Ricca, F.2011. ASPIDE: Integrated development environment for answer set programming. In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’11), Springer-Verlag Berlin Heidelberg, 317-330.
[12] Garnelo, M., Arulkumaran, K. and Shanahan, M.2016. Towards deep symbolic reinforcement learning. CoRR abs/1609.05518.
[13] Gebser, M., Kaminski, R., Kaufmann, B., Lühne, P., Obermeier, P., Ostrowski, M., Romero, J., Schaub, T., Schellhorn, S. and Wanko, P.2018. The potsdam answer set solving collection 5.0. KI - Künstliche Intelligenz 32, 2, 181-182. doi:10.1007/s13218-018-0528-x
[14] Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T.2012. Answer Set Solving in Practice. Morgan & Claypool Publishers. doi:10.2200/S00457ED1V01Y201211AIM019 · Zbl 1251.68060
[15] Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T.2014. Clingo = ASP + control: Preliminary report. CoRR abs/1405.3694.
[16] Haugeland, J., Artificial Intelligence: The Very Idea, (1985), Massachusetts Institute of Technology: Massachusetts Institute of Technology, Cambridge, MA, USA
[17] Kloimüllner, C., Oetsch, J., Pührer, J. and Tompits, H.2011. Kara: A system for visualising and visual editing of interpretations for answer-set programs. In Revised Selected Papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP’11) and the 25th Workshop on Logic Programming (WLP’11), 325-344.
[18] Marcopoulos, E. and Zhang, Y.2018. onlineSPARC: A programming environment for answer set programming. Theory and Practice of Logic Programming (Special Issue on User-Oriented Logic Programming and Reasoning Paradigms).
[19] Oetsch, J., Pührer, J. and Tompits, H.2018. Stepwise debugging of answer-set programs. Theory and Practice of Logic Programming18, 1, 30-80. doi:10.1017/S1471068417000217 S1471068417000217 · Zbl 1425.68053
[20] Riguzzi, F. and Cota, G.2016. Probabilistic logic programming tutorial. The Association for Logic Programming Newsletter29, 1, 1-1.
[21] Rodosthenous, C. T. and Michael, L.2018. Web-star: A visual web-based IDE for a story comprehension system. Theory and Practice of Logic Programming (Special Issue on User-Oriented Logic Programming and Reasoning Paradigms).
[22] Schulz, C. and Toni, F.2016. Justifying answer sets using argumentation. Theory and Practice of Logic Programming16, 01, 59-110. doi:10.1017/S1471068414000702 S1471068414000702 · Zbl 1379.68301
[23] Shchekotykhin, K. M.2015. Interactive query-based debugging of ASP programs. In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI’15), AAAI Press, 1597-1603.
[24] Shoham, Y., Why knowledge representation matters, Communications of the ACM, 59, 1, 47-49, (2015)
[25] Vosinakis, S., Anastassakis, G. and Koutsabasis, P.2016. Teaching and learning logic programming in virtual worlds using interactive microworld representations. British Journal of Educational Technology49, 1, 30-44. doi:10.1111/bjet.12531
[26] Wielemaker, J., Riguzzi, F., Kowalski, B., Lager, T., Sadri, F. and Calejo, M.2018. Using swish to realise interactive web based tutorials for logic based languages. Theory and Practice of Logic Programming (Special Issue on User-Oriented Logic Programming and Reasoning Paradigms).
[27] Yuen, T. T., Reyes, M. and Zhang, Y.2018. Introducing computer science to high school students through logic programming. Theory and Practice of Logic Programming (Special Issue on User-Oriented Logic Programming and Reasoning Paradigms).
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.