Suchergebnisse - "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-3081Veröffentlicht: Cambridge, UK Cambridge University Press 01.03.2019Veröffentlicht in 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) approaches …”
Volltext
Journal Article -
2
Answering the “why” in answer set programming – A survey of explanation approaches
ISSN: 1471-0684, 1475-3081Veröffentlicht: Cambridge, UK Cambridge University Press 01.03.2019Veröffentlicht in Theory and practice of logic programming (01.03.2019)“… Artificial intelligence (AI) approaches to problem-solving and decision-making are becoming more and more complex, leading to a decrease in the …”
Volltext
Journal Article -
3
Debugging Non-ground ASP Programs: Technique and Graphical Tools
ISSN: 1471-0684, 1475-3081Veröffentlicht: Cambridge, UK Cambridge University Press 01.03.2019Veröffentlicht in 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. Despite that …”
Volltext
Journal Article -
4
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
ISSN: 1471-0684, 1475-3081Veröffentlicht: Cambridge, UK Cambridge University Press 01.03.2019Veröffentlicht in 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 …”
Volltext
Journal Article -
5
Introducing Computer Science to High School Students Through Logic Programming
ISSN: 1471-0684, 1475-3081Veröffentlicht: Cambridge, UK Cambridge University Press 01.03.2019Veröffentlicht in Theory and practice of logic programming (01.03.2019)“… This paper investigates how high school students in an introductory computer science (CS) course approach computing in the logic programming (LP) paradigm …”
Volltext
Journal Article -
6
onlineSPARC: A Programming Environment for Answer Set Programming
ISSN: 1471-0684, 1475-3081Veröffentlicht: Cambridge, UK Cambridge University Press 01.03.2019Veröffentlicht in 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) has made it possible to teach it to general …”
Volltext
Journal Article -
7
Web-STAR: A Visual Web-based IDE for a Story Comprehension System
ISSN: 1471-0684, 1475-3081Veröffentlicht: Cambridge, UK Cambridge University Press 01.03.2019Veröffentlicht in 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. The …”
Volltext
Journal Article