scientific article; zbMATH DE number 1946872
From MaRDI portal
Publication:4411161
Recommendations
- scientific article; zbMATH DE number 1931668
- Knowledge forgetting in propositional \(\mu\)-calculus
- On the computational consequences of independence in propositional logic
- scientific article; zbMATH DE number 1670829
- Variable Forgetting in Reasoning about Knowledge
- Logics for propositional determinacy and independence
- Forgetting Literals with Varying Propositional Symbols
- Propositional logics of dependence
- Independence of countable sets of formulas of the propositional logic.
Cited in
(58)- Introspective forgetting
- Knowledge forgetting: properties and applications
- Minimal sets on propositional formulae. Problems and reductions
- Conditional independence in propositional logic.
- Constrained consequence
- A logic-algebraic tool for reasoning with knowledge-based systems
- On syntactic forgetting under uniform equivalence
- Similarity measures based on compiled arguments
- On the limits of forgetting in answer set programming
- Explicating logical independence
- Definability for model counting
- FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions
- A model of three-way decisions for knowledge harnessing
- Forgetting in multi-agent modal logics
- On propositional definability
- What makes propositional abduction tractable
- Semantic forgetting in answer set programming
- Solving logic program conflict through strong and weak forgettings
- Redundancy in logic. I: CNF propositional formulae
- On the query complexity of selecting minimal sets for monotone predicates
- Knowledge forgetting in propositional \(\mu\)-calculus
- Forgetting in ASP: the forgotten properties
- Component properties of forgetting and progression in the situation calculus
- Eliminating concepts and roles from ontologies in expressive descriptive logics
- Dependencies Between Players in Boolean Games
- Rule Calculus: Semantics, Axioms and Applications
- Formal Properties of Modularisation
- Effectivity functions and efficient coalitions in Boolean games
- Projection and scope-determined circumscription
- When you must forget: Beyond strong persistence when forgetting in answer set programming
- Lost in translation: language independence in propositional logic -- application to belief change
- On quantifying literals in Boolean logic and its applications to explainable AI
- A syntactic operator for forgetting that satisfies strong persistence
- On the computational complexity of non-dictatorial aggregation
- How to deal with unbelievable assertions
- Forgetting-Based Inconsistency Measure
- Forgetting Literals with Varying Propositional Symbols
- Belief extrapolation (or how to reason about observations and unpredicted change)
- Information Acquisition Under Resource Limitations in a Noisy Environment
- Forgetting for knowledge bases in DL-lite
- Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions
- Logic-based ontology comparison and module extraction, with an application to DL-Lite
- On the role of logical separability in knowledge compilation
- A new class of explanations for classifiers with non-binary features
- Boosting definability bipartition computation using SAT witnesses
- The ghosts of forgotten things: a study on size after forgetting
- Reasoning about action and change
- Propositional variable forgetting and marginalization: semantically, two sides of the same coin
- Common equivalence and size of forgetting from Horn formulae
- Dynamic blocked clause elimination for projected model counting
- Epistemic skills: logical dynamics of knowing and forgetting
- Forgetting in abstract argumentation: limits and possibilities
- Forgetting in answer set programming -- a survey
- Epistemic skills: reasoning about knowledge and oblivion
- Semantic forgetting in expressive description logics
- Propositional relevance through letter-sharing
- Dependencies between players in Boolean games
- Reasoning under inconsistency: a forgetting-based approach
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411161)
