Founded semantics and constraint semantics of logic rules (Q5140329)
From MaRDI portal
scientific article; zbMATH DE number 7285901
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Founded semantics and constraint semantics of logic rules |
scientific article; zbMATH DE number 7285901 |
Statements
Founded semantics and constraint semantics of logic rules (English)
0 references
15 December 2020
0 references
Datalog
0 references
recursion
0 references
unrestricted negation
0 references
existential and universal quantifications
0 references
fixed-point semantics
0 references
constraints
0 references
well-founded semantics
0 references
stable model semantics
0 references
