Founded semantics and constraint semantics of logic rules (Q1709704)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Founded semantics and constraint semantics of logic rules |
scientific article |
Statements
Founded semantics and constraint semantics of logic rules (English)
0 references
6 April 2018
0 references
Datalog
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
Fitting semantics
0 references
Kripke-Kleene semantics
0 references
supported model semantics
0 references
