Knowledge of uncertain worlds: programming with logical constraints

DOI10.1007/978-3-030-36755-8_8OpenAlexW2995445566MaRDI QIDQ2177583

Yanhong A. Liu, Scott D. Stoller

Publication date: 6 May 2020

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

zbMATH Keywords

Datalogconstraint semanticsmeta-constraintsfounded semanticsknowledge unitunrestricted negation and quantification

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

Recursive rules with aggregation: a simple unified semantics

This page was built for publication: Knowledge of uncertain worlds: programming with logical constraints