ASPIDE

swMATH6309MaRDI QIDQ18440FDOQ18440

Author name not available (Why is that?)

Cited In (12)

• 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
• Debugging Non-ground ASP Programs: Technique and Graphical Tools
• Answering the “why” in answer set programming – A survey of explanation approaches
• Justifying answer sets using argumentation
• Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
• Annotating answer-set programs in <scp>Lana</scp>
• onlineSPARC: A Programming Environment for Answer Set Programming
• Testing in ASP: revisited language and programming environment
• Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
• Introducing Computer Science to High School Students Through Logic Programming

This page was built for software: ASPIDE