A practical parallel algorithm for propositional knowledge base revision (Q4229567)
From MaRDI portal
scientific article; zbMATH DE number 1252765
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A practical parallel algorithm for propositional knowledge base revision |
scientific article; zbMATH DE number 1252765 |
Statements
A practical parallel algorithm for propositional knowledge base revision (English)
0 references
23 August 1999
0 references
propositional knowledge base
0 references
