Pages that link to "Item:Q3651475"
From MaRDI portal
The following pages link to Variable Forgetting in Reasoning about Knowledge (Q3651475):
Displaying 10 items.
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← 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)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- (Q4411161) (← links)
- Forgetting-Based Inconsistency Measure (Q5268425) (← links)
- Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic (Q6118728) (← links)
- From forgetting signature elements to forgetting formulas in epistemic states (Q6163910) (← links)
- Propositional variable forgetting and marginalization: semantically, two sides of the same coin (Q6630192) (← links)