[HTML][HTML] Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies
This paper analyses and compares some of the automated reasoners that have been used
in recent research for compliance checking. Although the list of the considered reasoners is …
in recent research for compliance checking. Although the list of the considered reasoners is …
How to build your own ASP-based system?!
R Kaminski, J Romero, T Schaub… - Theory and Practice of …, 2023 - cambridge.org
Answer Set Programming, or ASP for short, has become a popular and sophisticated
approach to declarative problem solving. Its popularity is due to its attractive modeling …
approach to declarative problem solving. Its popularity is due to its attractive modeling …
Answering the “why” in answer set programming–A survey of explanation approaches
J Fandinno, C Schulz - Theory and Practice of Logic Programming, 2019 - cambridge.org
Artificial intelligence (AI) approaches to problem-solving and decision-making are becoming
more and more complex, leading to a decrease in the understandability of solutions. The …
more and more complex, leading to a decrease in the understandability of solutions. The …
Explaining non-acceptability in abstract argumentation
ZG Saribatur, JP Wallner, S Woltran - ECAI 2020, 2020 - ebooks.iospress.nl
Abstract Argumentation frameworks (AFs) provide a central approach to perform reasoning
in many formalisms within argumentation in Artificial Intelligence (AI). Semantics for AFs …
in many formalisms within argumentation in Artificial Intelligence (AI). Semantics for AFs …
[HTML][HTML] Finding explanations of inconsistency in multi-context systems
Interlinking knowledge sources to enable information exchange is basic means to build
enriched knowledge-based systems, which gains importance with the spread of the Internet …
enriched knowledge-based systems, which gains importance with the spread of the Internet …
Rushing and strolling among answer sets–navigation made easy
Answer set programming (ASP) is a popular declarative programming paradigm with a wide
range of applications in artificial intelligence. Oftentimes, when modeling an AI problem with …
range of applications in artificial intelligence. Oftentimes, when modeling an AI problem with …
Catching the ouroboros: On debugging non-ground answer-set programs
An important issue towards a broader acceptance of answer-set programming (ASP) is the
deployment of tools which support the programmer during the coding phase. In particular …
deployment of tools which support the programmer during the coding phase. In particular …
[HTML][HTML] ASP and subset minimality: Enumeration, cautious reasoning and MUSes
Abstract Answer Set Programming (ASP) is a well-known logic-based formalism that has
been used to model and solve a variety of AI problems. For several years, ASP …
been used to model and solve a variety of AI problems. For several years, ASP …
[HTML][HTML] Abstraction for non-ground answer set programs
Abstraction is an important technique utilized by humans in model building and problem
solving, in order to figure out key elements and relevant details of a world of interest. This …
solving, in order to figure out key elements and relevant details of a world of interest. This …
Justifications for logic programming
Understanding why and how a given answer to a query is generated from a deductive or
relational database is fundamental to obtain justifications, assess trust, and detect …
relational database is fundamental to obtain justifications, assess trust, and detect …