Pages that link to "Item:Q1978008"
From MaRDI portal
The following pages link to Logic programs with stable model semantics as a constraint programming paradigm (Q1978008):
Displaying 28 items.
- Backdoors to Normality for Disjunctive Logic Programs (Q5277908) (← links)
- Logics in Artificial Intelligence (Q5394124) (← links)
- Disjunctive logic programs with existential quantification in rule heads (Q5398295) (← links)
- Fuzzy answer sets approximations (Q5398309) (← links)
- Answer set programming as a modeling language for course timetabling (Q5398311) (← links)
- Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach (Q5398314) (← links)
- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming (Q5458423) (← links)
- SMS and ASP: Hype or TST? (Q5504647) (← links)
- Quo Vadis Answer Set Programming? (Q5504648) (← links)
- Answer Set Programming without Unstratified Negation (Q5504649) (← links)
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (Q5504653) (← links)
- Lparse Programs Revisited: Semantics and Representation of Aggregates (Q5504666) (← links)
- Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)
- Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation (Q6063862) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- A general framework for preferences in answer set programming (Q6067052) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)
- Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics (Q6104767) (← links)
- Syntactic ASP forgetting with forks (Q6152659) (← links)
- Reasoning in assumption-based argumentation using tree-decompositions (Q6545531) (← links)
- Comparing planning domain models using answer set programming (Q6545534) (← links)
- Hamiltonian cycle reconfiguration with answer set programming (Q6545539) (← links)
- Recongo: bounded combinatorial reconfiguration with answer set programming (Q6545541) (← links)
- Computing MUS-based inconsistency measures (Q6545579) (← links)
- Combinatorial reconfiguration with answer set programming: algorithms, encodings, and empirical analysis (Q6575399) (← links)
- Logic programming (Q6602251) (← links)
- Computationally hard problems for logic programs under answer set semantics (Q6636616) (← links)
- IASCAR: incremental answer set counting by anytime refinement (Q6656460) (← links)