Výsledky vyhledávání - Special Issue on User-Oriented Logic Programming and Reasoning Paradigms
-
1
Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.03.2019Vydáno v Theory and practice of logic programming (01.03.2019)“…With the rise of machine learning, and more recently the overwhelming interest in deep learning, knowledge representation and reasoning (KRR…”
Získat plný text
Journal Article -
2
Answering the “why” in answer set programming – A survey of explanation approaches
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.03.2019Vydáno v Theory and practice of logic programming (01.03.2019)“… a “right to explanation” for decisions made by AI systems. One of the AI paradigms that may be affected by this new regulation is answer set programming (ASP…”
Získat plný text
Journal Article -
3
Debugging Non-ground ASP Programs: Technique and Graphical Tools
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.03.2019Vydáno v Theory and practice of logic programming (01.03.2019)“…Answer set programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning…”
Získat plný text
Journal Article -
4
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.03.2019Vydáno v Theory and practice of logic programming (01.03.2019)“…Programming environments have evolved from purely text based to using graphical user interfaces, and now we see a move toward web-based interfaces, such as Jupyter…”
Získat plný text
Journal Article -
5
Introducing Computer Science to High School Students Through Logic Programming
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.03.2019Vydáno v Theory and practice of logic programming (01.03.2019)“…) course approach computing in the logic programming (LP) paradigm. This qualitative study shows how novice students operate within the LP paradigm while engaging in foundational computing concepts and skills…”
Získat plný text
Journal Article -
6
onlineSPARC: A Programming Environment for Answer Set Programming
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.03.2019Vydáno v Theory and practice of logic programming (01.03.2019)“…Recent progress in logic programming (e.g. the development of the answer set programming (ASP) paradigm…”
Získat plný text
Journal Article -
7
Web-STAR: A Visual Web-based IDE for a Story Comprehension System
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.03.2019Vydáno v Theory and practice of logic programming (01.03.2019)“…We present Web-STAR, an online platform for story understanding built on top of the STAR reasoning engine for STory comprehension through ARgumentation…”
Získat plný text
Journal Article