3 papers
cs.AI2024
Techniques for Measuring the Inferential Strength of Forgetting Policies
Patrick Doherty, Andrzej Szalas
The technique of forgetting in knowledge representation has been shown to be a powerful and useful knowledge engineering tool with widespread application. Yet, very little research…
cs.AI2023
Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
Patrick Doherty, Andrzej Szalas
Forgetting is an important concept in knowledge representation and automated reasoning with widespread applications across a number of disciplines. A standard forgetting operator,…
cs.LO2019
A Paraconsistent ASP-like Language with Tractable Model Generation
Andrzej Szalas
Answer Set Programming (ASP) is nowadays a dominant rule-based knowledge representation tool. Though existing ASP variants enjoy efficient implementations, generating an answer set…