Pages that link to "Item:Q1391128"
From MaRDI portal
The following pages link to On compact representations of propositional circumscription (Q1391128):
Displaying 14 items.
- The complexity of circumscriptive inference in Post's lattice (Q692903) (← links)
- Compiling propositional weighted bases (Q814606) (← links)
- Reasoning under minimal upper bounds in propositional logic (Q861253) (← links)
- Closed-world databases and circumscription (Q1079022) (← links)
- Reducing belief revision to circumscription (and vice versa) (Q1402725) (← links)
- Preprocessing of intractable problems (Q1854544) (← links)
- The size of a revised knowledge base (Q1978467) (← links)
- Definability for model counting (Q2303508) (← links)
- Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete (Q2367539) (← links)
- Redundancy in logic. I: CNF propositional formulae (Q2457681) (← links)
- Knowledge compilation for closed world reasoning and circumscription (Q2761752) (← links)
- Circumscription and projection as primitives of logic programming (Q2883093) (← links)
- (Q3804645) (← links)
- (Q4418672) (← links)