ASPIDE
From MaRDI portal
Cited in
(38)- DLV
- Testing in ASP: revisited language and programming environment
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
- VIDEAS
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
- PROLEG
- MRtrix
- Harvey
- Tweety
- Alice
- PENGASP
- onlineSPARC
- ASPVIZ
- LoIDE
- iGROM
- Kara
- SeaLion
- Web-STAR
- SWISH DataLab
- APE
- Lana
- ASPDoc
- ASPUnit
- IDPDraw
- spock
- OntoDLV
- Uhura
- xorro
- Justifying answer sets using argumentation
- Annotating answer-set programs in LANA
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- 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
- clingraph
This page was built for software: ASPIDE
