research
∙
05/12/2023
Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
Forgetting is an important concept in knowledge representation and autom...
share
research
∙
12/20/2019
A Paraconsistent ASP-like Language with Tractable Model Generation
Answer Set Programming (ASP) is nowadays a dominant rule-based knowledge...
research
∙
04/04/2009
