The ghosts of forgotten things: a study on size after forgetting
From MaRDI portal
Publication:6560989
DOI10.1016/J.APAL.2024.103456MaRDI QIDQ6560989
Publication date: 24 June 2024
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Complexity of computation (including implicit computational complexity) (03D15) Classical propositional logic (03B05)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Boolean functions with a simple certificate for CNF complexity
- The complexity of Boolean formula minimization
- Removing redundancy from a clause
- Uniform interpolation and propositional quantifiers in modal logics
- Exclusive and essential sets of implicates of Boolean functions
- Knowledge forgetting: properties and applications
- The polynomial-time hierarchy
- Optimal compression of propositional Horn knowledge bases: Complexity and approximation
- The minimum equivalent DNF problem and shortest implicants
- What makes propositional abduction tractable
- Redundancy in logic. I: CNF propositional formulae
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- Horn clause contraction functions
- Forgetting for Defeasible Logic
- Minimal Representation of Directed Hypergraphs
- Two-level logic minimization: an overview
- A Knowledge Level Account of Forgetting
- A Syntactic Operator for Forgetting that Satisfies Strong Persistence
- Knowledge Forgetting in Answer Set Programming
- Forgetting Literals with Varying Propositional Symbols
- Decomposable negation normal form
- A Machine-Oriented Logic Based on the Resolution Principle
- A Computing Procedure for Quantification Theory
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
This page was built for publication: The ghosts of forgotten things: a study on size after forgetting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560989)
