Knowledge of uncertain worlds: programming with logical constraints

DOI10.1007/978-3-030-36755-8_8MaRDI QIDQ2177583zbMATH OpenOpenAlexFDO

Authors Yanhong A. Liu, Scott D. Stoller

Publication date 6 May 2020

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

zbMATH Keywords

constraint semanticsDatalogfounded semanticsknowledge unitmeta-constraintsunrestricted negation and quantification

Mathematics Subject Classification ID

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

Recommendations

• Knowledge of uncertain worlds: programming with logical constraints
• Logic Programming
• Reasoning with uncertainty in deductive databases and logic programs
• scientific article; zbMATH DE number 4084980
• Knowledge representation and reasoning under uncertainty. Logic at work
• Any-world assumptions in logic programming
• Logical structures for representation of knowledge and uncertainty
• scientific article; zbMATH DE number 1265035
• Logics for epistemic programs

Cited in

(5)

• Theory and practice of uncertain programming
• Recursive rules with aggregation: a simple unified semantics
• Knowledge of uncertain worlds: programming with logical constraints
• Founded semantics and constraint semantics of logic rules
• Hypergraphs in logic programming

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177583)