Pages that link to "Item:Q2389674"
From MaRDI portal
The following pages link to Semantic forgetting in answer set programming (Q2389674):
Displaying 21 items.
- Forgetting for knowledge bases in DL-lite (Q604910) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Reasoning under inconsistency: a forgetting-based approach (Q991019) (← links)
- Knowledge forgetting: properties and applications (Q1045992) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- A model of three-way decisions for knowledge harnessing (Q2310297) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- Preserving Strong Equivalence while Forgetting (Q2938510) (← links)
- ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS (Q3462270) (← links)
- Towards closed world reasoning in dynamic open worlds (Q3585167) (← links)
- Mathematical Logic for Life Science Ontologies (Q3638273) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Q5026182) (← links)
- A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) (← links)
- Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)
- Common equivalence and size of forgetting from Horn formulae (Q6661056) (← links)
