29 citations · 35 across the 5 of their papers we have counts for
5 papers
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…
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,…
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…
Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
Jan Maluszynski, Andrzej Szalas
The paper discusses properties of a DATALOG-like query language 4QL, originally outlined in [MS10]. Negated literals in heads of rules naturally lead to inconsistencie…
Optimal Tableau Decision Procedures for PDL
Linh Anh Nguyen, Andrzej Szałas
We reformulate Pratt's tableau decision procedure of checking satisfiability of a set of formulas in PDL. Our formulation is simpler and more direct for implementation. Extending t…