swMATH6309MaRDI QIDQ18440FDOQ18440
Author name not available (Why is that?)
Official website: http://www.dlvsystem.com/dlvsystem/index.php/ASPIDE
Cited In (38)
- clingraph
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- Introducing computer science to high school students through logic programming
- Justifying answer sets using argumentation
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- DLV
- VIDEAS
- PROLEG
- Debugging non-ground ASP programs: technique and graphical tools
- MRtrix
- Harvey
- Alice
- Tweety
- PENGASP
- ASPVIZ
- APE
- ASPDoc
- ASPUnit
- iGROM
- IDPDraw
- Kara
- onlineSPARC
- Lana
- LoIDE
- OntoDLV
- SeaLion
- SWISH DataLab
- spock
- Web-STAR
- Uhura
- xorro
- Testing in ASP: revisited language and programming environment
- Answering the ``why in answer set programming -- a survey of explanation approaches
- 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
- Annotating answer-set programs in LANA
- onlineSPARC: a programming environment for answer set programming
This page was built for software: ASPIDE
