Fast algorithms for revision of some special propositional knowledge bases
From MaRDI portal
Recommendations
- A practical parallel algorithm for propositional knowledge base revision
- An algebraic approach to revising propositional rule-based knowledge bases
- Propositional knowledge base revision and minimal change
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- A programmable approach to revising knowledge bases
- Knowledge Base Revision in Description Logics
- Publication:5751985
- scientific article; zbMATH DE number 4094868
- Fast algorithms for implication bases and attribute exploration using proper premises
Cites work
- scientific article; zbMATH DE number 3976991 (Why is no real title available?)
- scientific article; zbMATH DE number 53086 (Why is no real title available?)
- scientific article; zbMATH DE number 3560737 (Why is no real title available?)
- scientific article; zbMATH DE number 4185089 (Why is no real title available?)
- Counterfactuals
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Reasoning about action. I: A possible worlds approach
- The complexity of theorem-proving procedures
- The unique Horn-satisfiability problem and quadratic Boolean equations.
- Unique satisfiability of Horn sets can be solved in nearly linear time
Cited in
(3)
This page was built for publication: Fast algorithms for revision of some special propositional knowledge bases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1415946)
