Search Results - "Special Issue on User-Oriented Logic Programming AND Reasoning Paradigms*"

Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms by ELLMAUTHALER, STEFAN, SCHULZ, CLAUDIA

“…With the rise of machine learning, and more recently the overwhelming interest in deep learning, knowledge representation and reasoning (KRR) approaches…”
Get full text

Answering the “why” in answer set programming – A survey of explanation approaches by FANDINNO, JORGE, SCHULZ, CLAUDIA

“…Artificial intelligence (AI) approaches to problem-solving and decision-making are becoming more and more complex, leading to a decrease in the…”
Get full text

Debugging Non-ground ASP Programs: Technique and Graphical Tools by DODARO, CARMINE, GASTEIGER, PHILIP, REALE, KRISTIAN, RICCA, FRANCESCO, SCHEKOTIHIN, KONSTANTIN

“…Answer set programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning. Despite that…”
Get full text

Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages by WIELEMAKER, JAN, RIGUZZI, FABRIZIO, KOWALSKI, ROBERT A., LAGER, TORBJÖRN, SADRI, FARIBA, CALEJO, MIGUEL

“…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…”
Get full text

Introducing Computer Science to High School Students Through Logic Programming by YUEN, TIMOTHY T., REYES, MARITZA, ZHANG, YUANLIN

“…This paper investigates how high school students in an introductory computer science (CS) course approach computing in the logic programming (LP) paradigm…”
Get full text

onlineSPARC: A Programming Environment for Answer Set Programming by MARCOPOULOS, ELIAS, ZHANG, YUANLIN

“…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…”
Get full text

Web-STAR: A Visual Web-based IDE for a Story Comprehension System by RODOSTHENOUS, CHRISTOS T., MICHAEL, LOIZOS

“…We present Web-STAR, an online platform for story understanding built on top of the STAR reasoning engine for STory comprehension through ARgumentation. The…”
Get full text