| xASP: An Explanation Generation System for Answer Set Programming | | | | 2022 |
| exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules | | | | 2021 |
| A System for Explainable Answer Set Programming | | | | 2020 |
| Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming | Theory and Practice of Logic Programming |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
- Science: Mathematics
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| | 2020 |
| Answering the “why” in answer set programming – A survey of explanation approaches | Theory and Practice of Logic Programming |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
- Science: Mathematics
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| | 2019 |