Pages that link to "Item:Q4305624"

The following pages link to Logic programming and negation: A survey (Q4305624):

Displaying 9 items.

• A necessary condition for constructive negation in constraint logic programming (Q294756) (← links)
• Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
• What truth depends on (Q815014) (← links)
• Nonmonotonic abductive inductive learning (Q833734) (← links)
• Well-founded semantics for Boolean grammars (Q840701) (← links)
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
• A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
• Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443) (← links)
• A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)