Pages that link to "Item:Q5504644"
From MaRDI portal
The following pages link to Twelve Definitions of a Stable Model (Q5504644):
Displaying 15 items.
- Stable models and circumscription (Q543596) (← links)
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty (Q1677438) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- Extensional Semantics for Higher-Order Logic Programs with Negation (Q2835890) (← links)
- Well-Supported Semantics for Logic Programs with Generalized Rules (Q2900549) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Combining Nonmonotonic Knowledge Bases with External Sources (Q3655190) (← links)
- RASP and ASP as a fragment of linear logic (Q4583307) (← links)
- The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
- (Q5020984) (← links)
- Quo Vadis Answer Set Programming? (Q5504648) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- Logic programming (Q6602251) (← links)