Pages that link to "Item:Q1311405"
From MaRDI portal
The following pages link to Dualities between alternative semantics for logic programming and nonmonotonic reasoning (Q1311405):
Displaying 21 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Tightly integrated probabilistic description logic programs for representing ontology mappings (Q429437) (← links)
- Ultimate approximation and its application in nonmonotonic knowledge representation systems (Q598245) (← links)
- A non-ground realization of the stable and well-founded semantics (Q671655) (← links)
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- Iterative belief revision in extended logic programming (Q672058) (← links)
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- A simple fixed point characterization of three-valued stable model semantics (Q1183439) (← links)
- Stable and extension class theory for logic programs and default logics (Q1197387) (← links)
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- Autoepistemic logic of first order and its expressive power (Q1344888) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Interdefinability of defeasible logic and logic programming under the well-founded semantics (Q2845124) (← links)
- Privacy Preservation Using Multi-context Systems and Default Logic (Q2900519) (← links)
- Oscillating Behavior of Logic Programs (Q2900531) (← links)
- Approved Models for Normal Logic Programs (Q3498486) (← links)
- (Q4955346) (← links)
- Stable classes and operator pairs for disjunctive programs (Q5101462) (← links)
- Collaborative vs. Conflicting Learning, Evolution and Argumentation (Q5302474) (← links)
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics (Q5958767) (← links)
