Pages that link to "Item:Q1354026"

The following pages link to Generalized disjunctive well-founded semantics for logic programs. (Q1354026):

Displaying 22 items.

• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
• Semantics of Horn and disjunctive logic programs (Q1177928) (← links)
• Stable and extension class theory for logic programs and default logics (Q1197387) (← links)
• Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
• A semantics for a class of non-deterministic and causal production system programs (Q1340964) (← links)
• An alternative approach to the semantics of disjunctive logic programs and deductive databases (Q1344892) (← links)
• Generalized disjunctive well-founded semantics for logic programs. (Q1354026) (← links)
• Computational complexity and constraint logic programming languages (Q1354033) (← links)
• Disjunctive logic and semantics of disjunctive logic programs (Q1368240) (← links)
• Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
• Jack Minker --- A profile (Q1924718) (← links)
• Static semantics for normal and disjunctive logic programs (Q1924728) (← links)
• On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
• Disjunctive logic programs, answer sets, and the cut rule (Q2085572) (← links)
• To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
• (Q3760513) (← links)
• (Q4798005) (← links)
• Characterizing D-WFS: Confluence and iterated GCWA (Q5236439) (← links)
• Comparisons and computation of well-founded semantics for disjunctive logic programs (Q5277723) (← links)
• Logic Programming and Nonmonotonic Reasoning (Q5424885) (← links)
• Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (Q5504688) (← links)
• Generalized well-founded semantics for logic programs (Q6488525) (← links)