Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Negation by default and unstratifiable logic programs
Selected papers of the workshop on Deductive database theory
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
An assumption-based framework for non-monotonic reasoning
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Dislop: Towards a Disjunctive Logic Programming System
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Parameterized Complexity
Fixed-parameter complexity of semantics for logic programs
ACM Transactions on Computational Logic (TOCL)
Fixed-Parameter Complexity of Semantics for Logic Programs
Proceedings of the 17th International Conference on Logic Programming
Computing stable models: worst-case performance estimates
Theory and Practice of Logic Programming
Hi-index | 0.00 |
In this paper, we focus on the problem of existence and computing of small and large stable models. We show that for every fixed integer k, there is a linear-time algorithm to decide the problem LSM (large stable models problem): does a logic program P have a stable model of size at least ∣P∣−k? In contrast, we show that the problem SSM (small stable models problem) to decide whether a logic program P has a stable model of size at most k is much harder. We present two algorithms for this problem but their running time is given by polynomials of order depending on k. We show that the problem SSM is fixed-parameter intractable by demonstrating that it is W[2]-hard. This result implies that it is unlikely an algorithm exists to compute stable models of size at most k that would run in time O(mc), where m is the size of the program and c is a constant independent of k. We also provide an upper bound on the fixed-parameter complexity of the problem SSM by showing that it belongs to the class W[3].