Pages that link to "Item:Q1028651"
From MaRDI portal
The following pages link to Stable models and difference logic (Q1028651):
Displaying 16 items.
- Ordered completion for first-order logic programs on finite structures (Q420824) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- On the existence and unicity of stable models in normal residuated logic programs (Q2887039) (← links)
- SAT Modulo Graphs: Acyclicity (Q2938490) (← links)
- FO(FD): Extending classical logic with rule-based fixpoint definitions (Q3585169) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- (Q4202944) (← links)
- Stability and General Logics (Q4243913) (← links)
- Fuzzy answer set computation via satisfiability modulo theories (Q4592999) (← links)
- On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
- A model of intuitionistic affine logic from stable domain theory (Q4632438) (← links)
- ASP modulo CSP: The clingcon system (Q4911129) (← links)
- Safe Decomposition of Startup Requirements: Verification and Synthesis (Q5039507) (← links)
- Safe Formulas in the General Theory of Stable Models (Preliminary Report) (Q5504689) (← links)
- Optimal planning with expressive action languages as constraint optimization (Q6545569) (← links)
- Aspmc: new frontiers of algebraic answer set counting (Q6566624) (← links)