Founded semantics and constraint semantics of logic rules (Q1709704)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6856648
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Founded semantics and constraint semantics of logic rules |
scientific article; zbMATH DE number 6856648 |
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
0.99999976
0 references
0.9120336
0 references
0.9050637
0 references
0.90310407
0 references
0.90186584
0 references
0.8999434
0 references
