Pages that link to "Item:Q1028651"
From MaRDI portal
The following pages link to Stable models and difference logic (Q1028651):
Displayed 5 items.
- Ordered completion for first-order logic programs on finite structures (Q420824) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- FO(FD): Extending classical logic with rule-based fixpoint definitions (Q3585169) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- ASP modulo CSP: The clingcon system (Q4911129) (← links)