Knowledge of uncertain worlds: programming with logical constraints

DOI10.1093/LOGCOM/EXAA077MaRDI QIDQ5028316zbMATH OpenOpenAlexFDO

Authors Yanhong A. Liu, Scott D. Stoller

Publication date 8 February 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exaa077

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) 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

(6)

• 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
• Integrating logic rules with everything else, seamlessly

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 Q5028316)