Resolution for skeptical stable model semantics
From MaRDI portal
Publication:5956119
DOI10.1023/A:1011960831261zbMath0991.03016MaRDI QIDQ5956119
Publication date: 11 April 2002
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
03B35: Mechanization of proofs and logical operations
68N17: Logic programming
Related Items
Reasoning with infinite stable models, Erratum to: ``Reasoning with infinite stable models, Complexity results for answer set programming with bounded predicate arities and implications, On finitely recursive programs
Uses Software