Multiple total stable models are definitely needed to solve unique solution problems
- 1 June 1996
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 58 (5) , 249-254
- https://doi.org/10.1016/0020-0190(96)00067-1
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Why not negation by fixpoint?Journal of Computer and System Sciences, 1991
- Autoepistemic logicJournal of the ACM, 1991
- Languages that Capture Complexity ClassesSIAM Journal on Computing, 1987
- The complexity of facets (and some facets of complexity)Journal of Computer and System Sciences, 1984
- On the unique satisfiability problemInformation and Control, 1982
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982