Search Results for author:
Found 3 papers, 0 papers with code
Techniques for Measuring the Inferential Strength of Forgetting Policies
The technique of forgetting in knowledge representation has been shown to be a powerful and useful knowledge engineering tool with widespread application.
Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
A standard forgetting operator, characterized in [Lin and Reiter'94] in terms of model-theoretic semantics and primarily focusing on the propositional case, opened up a new research subarea.
A Paraconsistent ASP-like Language with Tractable Model Generation
As we show in the paper, 4QL can be seen as a paraconsistent counterpart of ASP programs stratified with respect to default negation.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
