Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion Plugin-Reference-Cited by-同舟云学术

Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion Plugin

Published:2013 Issue: Volume: Page:323-328
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Frühstück Melanie,Pührer Jörg,Friedrich Gerhard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40564-8_32

Reference18 articles.

1. Gelfond, M., Leone, N.: Logic programming and knowledge representation - The A-Prolog perspective. Art. Intell. 138(1-2), 3–38 (2002)

2. Brain, M., De Vos, M.: Debugging logic programs under the answer set semantics. In: 3rd International Workshop on Answer Set Programming (ASP 2005). CEUR Workshop Proceedings, pp. 141–152 (2005)

3. Syrjänen, T.: Debugging inconsistent answer set programs. In: Proc. NMR 2006, pp. 77–83 (2006)

4. Gebser, M., Pührer, J., Schaub, T., Tompits, H.: A meta-programming technique for debugging answer-set programs. In: Proc. AAAI 2008, pp. 448–453. AAAI Press (2008)

5. Lecture Notes in Computer Science;R. Caballero,2008

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Answering the “why” in answer set programming – A survey of explanation approaches;Theory and Practice of Logic Programming;2019-01-15

2. Stepwise debugging of answer-set programs;Theory and Practice of Logic Programming;2017-10-17

3. Data repair of inconsistent nonmonotonic description logic programs;Artificial Intelligence;2016-10

4. Computing Repairs of Inconsistent DL-Programs over EL Ontologies;Journal of Artificial Intelligence Research;2016-07-27