共 50 条
- [1] Knowledge forgetting in propositional μ-calculus [J]. Annals of Mathematics and Artificial Intelligence, 2023, 91 : 1 - 43
- [5] REVISION IN PROPOSITIONAL CALCULUS [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 272 - 276
- [7] Public and Secret Forgetting of Propositional Formulas [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE (CAEPIA 2015), 2015, 9422 : 139 - 149
- [9] Space complexity in propositional calculus [J]. SIAM JOURNAL ON COMPUTING, 2002, 31 (04) : 1184 - 1211