Pages that link to "Item:Q3586017"
From MaRDI portal
The following pages link to Thirteen Definitions of a Stable Model (Q3586017):
Displaying 14 items.
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- A multiparametric view on answer set programming (Q2317973) (← links)
- First-order stable model semantics with intensional functions (Q2321299) (← links)
- Capturing equilibrium models in modal logic (Q2447178) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Epistemic logic programs: a study of some properties (Q2694560) (← links)
- Semantics for conditional literals via the SM operator (Q2694573) (← links)
- Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Q2835899) (← links)
- The Modal Logic of Equilibrium Models (Q3172888) (← links)
- Temporal equilibrium logic: a survey (Q4583305) (← links)
- Characterizing and extending answer set semantics using possibility theory (Q4592973) (← links)
- (Q5020542) (← links)
- Stability, Supportedness, Minimality and Kleene Answer Set Programs (Q5172611) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
