Výsledky vyhledávání - "special issues 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) approaches…”
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)“…Artificial intelligence (AI) approaches to problem-solving and decision-making are becoming more and more complex, leading to a decrease in the…”
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. Despite that…”
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…”
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)“…This paper investigates how high school students in an introductory computer science (CS) course approach computing in the logic programming (LP) paradigm…”
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) has made it possible to teach it to general…”
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. The…”
Získat plný text
Journal Article