Founded semantics and constraint semantics of logic rules

DOI10.1007/978-3-319-72056-2_14zbMath1503.68178arXiv1606.06269OpenAlexW2962969935MaRDI QIDQ1709704

Yanhong A. Liu, Scott D. Stoller

Publication date: 6 April 2018

Full work available at URL: https://arxiv.org/abs/1606.06269

zbMATH Keywords

well-founded semanticsconstraintsDatalogFitting semanticsfixed-point semanticsstable model semanticsKripke-Kleene semanticsexistential and universal quantificationssupported model semanticsunrestricted negation

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (2)

Recursive rules with aggregation: a simple unified semantics ⋮ Unnamed Item

This page was built for publication: Founded semantics and constraint semantics of logic rules