ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1705.06564
  4. Cited By
Stepwise Debugging of Answer-Set Programs

Stepwise Debugging of Answer-Set Programs

18 May 2017
J. Oetsch
Jörg Pührer
H. Tompits
    LRM
ArXiv (abs)PDFHTML

Papers citing "Stepwise Debugging of Answer-Set Programs"

5 / 5 papers shown
Title
Answering the "why" in Answer Set Programming - A Survey of Explanation
  Approaches
Answering the "why" in Answer Set Programming - A Survey of Explanation Approaches
Jorge Fandinno
Claudia Schulz
ELM
43
42
0
21 Sep 2018
Kara: A System for Visualising and Visual Editing of Interpretations for
  Answer-Set Programs
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
Christian Kloimüllner
J. Oetsch
Jörg Pührer
H. Tompits
79
29
0
19 Sep 2011
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary
  Report
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report
J. Oetsch
Jörg Pührer
H. Tompits
105
23
0
19 Sep 2011
Logic programs with propositional connectives and aggregates
Logic programs with propositional connectives and aggregates
P. Ferraris
97
71
0
08 Dec 2008
Justifications for Logic Programs under Answer Set Semantics
Justifications for Logic Programs under Answer Set Semantics
Enrico Pontelli
Tran Cao Son
Omar El-Khatib
KELMOffRL
78
94
0
03 Dec 2008
1