[PDF][PDF] The Ultimate Guide to Forgetting in Answer Set Programming.

R Gonçalves, M Knorr, J Leite - KR, 2016 - cdn.aaai.org
Many approaches for forgetting in Answer Set Programming (ASP) have been proposed in
recent years, in the form of specific operators, or classes of operators, following different …

Forgetting in answer set programming–a survey

R Gonçalves, M Knorr, J Leite - Theory and Practice of Logic …, 2023 - cambridge.org
Forgetting–or variable elimination–is an operation that allows the removal, from a
knowledge base, of middle variables no longer deemed relevant. In recent years, many …

You can't always forget what you want: On the limits of forgetting in answer set programming

R Gonçalves, M Knorr, J Leite - ECAI 2016, 2016 - ebooks.iospress.nl
Selectively forgetting information while preserving what matters the most is becoming an
increasingly important issue in many areas, including in knowledge representation and …

NoHR: An overview: Reasoning with ontologies and nonmonotonic rules

V Kasalica, M Knorr, J Leite, C Lopes - KI-Künstliche Intelligenz, 2020 - Springer
Abstract Description logic ontologies, such as ontologies written in OWL, and non-monotonic
rules, as known in Logic Programming, are two major approaches in Knowledge …

[PDF][PDF] Answer Update for Rule-Based Stream Reasoning.

H Beck, M Dao-Tran, T Eiter - IJCAI, 2015 - Citeseer
Stream reasoning is the task of continuously deriving conclusions on streaming data. To get
results instantly one evaluates a query repeatedly on recent data chunks selected by …

When you must forget: Beyond strong persistence when forgetting in answer set programming

R Gonçalves, M Knorr, J Leite… - Theory and Practice of …, 2017 - cambridge.org
Among the myriad of desirable properties discussed in the context of forgetting in Answer
Set Programming, strong persistence naturally captures its essence. Recently, it has been …

Efficient paraconsistent reasoning with ontologies and rules

T Kaminski, M Knorr, J Leite - … of the 24th International Conference on …, 2015 - dl.acm.org
Description Logic (DL) based ontologies and nonmonotonic rules provide complementary
features whose combination is crucial in many applications. In hybrid knowledge bases …

[HTML][HTML] On updates of hybrid knowledge bases composed of ontologies and rules

M Slota, J Leite, T Swift - Artificial Intelligence, 2015 - Elsevier
Throughout the last decade, two distinct knowledge representation paradigms have been
standardised to capture rich metadata on the Web: ontology languages based on Classical …

[HTML][HTML] On the limits of forgetting in answer set programming

R Gonçalves, M Knorr, J Leite, S Woltran - Artificial Intelligence, 2020 - Elsevier
Selectively forgetting information while preserving what matters the most is becoming an
increasingly important issue in many areas, including in knowledge representation and …

A bird's-eye view of forgetting in answer-set programming

J Leite - … : 14th International Conference, LPNMR 2017, Espoo …, 2017 - Springer
Forgetting is an operation that allows the removal, from a knowledge base, of middle
variables no longer deemed relevant, while preserving all relationships (direct and indirect) …