Well-founded semantics
In logic programming, the well-founded semantics is one definition of how we can make conclusions from a set of logical rules. In logic programming, we give a computer a set of facts, and a set of "inference rules" about how these facts relate. There are several different ways that we might want the computer to apply these rules; the well-founded semantics is one of these ways.
- Comment
- enIn logic programming, the well-founded semantics is one definition of how we can make conclusions from a set of logical rules. In logic programming, we give a computer a set of facts, and a set of "inference rules" about how these facts relate. There are several different ways that we might want the computer to apply these rules; the well-founded semantics is one of these ways.
- Has abstract
- enIn logic programming, the well-founded semantics is one definition of how we can make conclusions from a set of logical rules. In logic programming, we give a computer a set of facts, and a set of "inference rules" about how these facts relate. There are several different ways that we might want the computer to apply these rules; the well-founded semantics is one of these ways.
- Hypernym
- Definition
- Is primary topic of
- Well-founded semantics
- Label
- enWell-founded semantics
- Link from a Wikipage to another Wikipage
- Category:Logic programming
- Inference
- Logic programming
- Proposition
- Stable model semantics
- Three-valued logic
- SameAs
- 4xcYn
- m.0bqxj7
- Q7981058
- Subject
- Category:Logic programming
- WasDerivedFrom
- Well-founded semantics?oldid=1089250970&ns=0
- WikiPageLength
- 2361
- Wikipage page ID
- 4225058
- Wikipage revision ID
- 1089250970
- WikiPageUsesTemplate
- Template:Citation needed
- Template:Formalmethods-stub
- Template:Reflist