Pages that link to "Item:Q1603743"
From MaRDI portal
The following pages link to Extending and implementing the stable model semantics (Q1603743):
Displaying 20 items.
- Answer Set Programming without Unstratified Negation (Q5504649) (← links)
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (Q5504653) (← links)
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)
- Lparse Programs Revisited: Semantics and Representation of Aggregates (Q5504666) (← links)
- Computable Functions in ASP: Theory and Implementation (Q5504670) (← links)
- Removing Redundancy from Answer Set Programs (Q5504694) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705920) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)
- Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells (Q6059225) (← links)
- Solution Enumeration by Optimality in Answer Set Programming (Q6063865) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- A general framework for preferences in answer set programming (Q6067052) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)
- Answer set programming made easy (Q6175107) (← links)
- Qualitative reasoning about 2D cardinal directions using answer set programming (Q6488805) (← links)
- An abstract view on optimizations in propositional frameworks (Q6496423) (← links)
- Logic programming (Q6602251) (← links)
- Integrating competencies into preventive maintenance scheduling with answer set optimization (Q6630212) (← links)
- Computationally hard problems for logic programs under answer set semantics (Q6636616) (← links)
