Pages that link to "Item:Q5431427"
From MaRDI portal
The following pages link to Forgetting Literals with Varying Propositional Symbols (Q5431427):
Displaying 8 items.
- 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)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
- The ghosts of forgotten things: a study on size after forgetting (Q6560989) (← links)
- Common equivalence and size of forgetting from Horn formulae (Q6661056) (← links)
