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

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

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

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

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