Pages that link to "Item:Q3983045"
From MaRDI portal
The following pages link to Stable semantics for disjunctive programs (Q3983045):
Displaying 21 items.
- Dual-normal logic programs – the forgotten class (Q4592993) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- Two simple characterizations of well-founded semantics (Q5096858) (← links)
- Complexity results for abductive logic programming (Q5101437) (← links)
- Characterizations of the stable semantics by partial evaluation (Q5101443) (← links)
- Loop checking and the well-founded semantics (Q5101446) (← links)
- Embedding circumscriptive theories in general disjunctive programs (Q5101461) (← links)
- Stable classes and operator pairs for disjunctive programs (Q5101462) (← links)
- Paracoherent Answer Set Semantics meets Argumentation Frameworks (Q5108496) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
- Stability, Supportedness, Minimality and Kleene Answer Set Programs (Q5172611) (← links)
- Preference-Based Diagnosis Selection in Multi-Context Systems (Q5172618) (← links)
- Strong and explicit negation in non-monotonic reasoning and logic programming (Q5236430) (← links)
- Characterizing D-WFS: Confluence and iterated GCWA (Q5236439) (← links)
- Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424875) (← links)
- Normal Form Nested Programs (Q5900402) (← links)
- Closed world assumption for disjunctive reasoning (Q5959358) (← links)
- On logics and semantics for general logic programs (Q6623792) (← links)
