Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms

DOI10.1017/S1471068418000510zbMath1425.00114OpenAlexW2914338736MaRDI QIDQ5197746

No author found.

Publication date: 19 September 2019

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068418000510

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17)

Uses Software

• ASPIDE
• WASP
• Clingo
• onlineSPARC
• Kara
• SeaLion
• Web-STAR
• SWISH DataLab

Cites Work

• Conflict-driven answer set solving: from theory to practice
• Causal Graph Justifications of Logic Programs
• Advances in WASP
• Justifying answer sets using argumentation
• Stepwise debugging of answer-set programs
• Multi-shot ASP solving with clingo
• Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages

This page was built for publication: Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms