ASPIDE
From MaRDI portal
Software:18440
No author found.
Related Items (12)
Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version ⋮ Justifying answer sets using argumentation ⋮ Annotating answer-set programs in <scp>Lana</scp> ⋮ Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ Introducing Computer Science to High School Students Through Logic Programming ⋮ onlineSPARC: A Programming Environment for Answer Set Programming ⋮ Debugging Non-ground ASP Programs: Technique and Graphical Tools ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ Uhura: an authoring tool for specifying answer-set programs using controlled natural language ⋮ Testing in ASP: revisited language and programming environment ⋮ Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
This page was built for software: ASPIDE
