Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond

DOI10.1007/978-3-031-43619-2_3MaRDI QIDQ6545516zbMATH OpenFDO

Authors Vaishak Belle

Publication date 29 May 2024

Full work available at URL https://doi.org/10.1007/978-3-031-43619-2_3

zbMATH Keywords

first-order logicprobabilistic logicprograms

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Unifying logic and probability: a new dawn for AI?
• Logic, Probability and Action: A Situation Calculus Perspective
• Introduction to the special issue on probability, logic and learning
• Semirings for probabilistic and neuro-symbolic logic programming
• Algorithmic Learning Theory

Cites work

• A logic for reasoning about probabilities
• An analysis of first-order logics of probability
• Cheating husbands and other stories: A case study of knowledge, action, and communication
• Common sense, the Turing test, and the quest for real AI
• Concerning measures in first order calculi
• Dynamic epistemic logic
• Epistemic planning: perspectives on the special issue
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• GOLOG: A logic programming language for dynamic domains
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 1269592 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 2238781 (Why is no real title available?)
• scientific article; zbMATH DE number 3067647 (Why is no real title available?)
• ILP turns 20. Biography and future challenges
• Interactive epistemology. II: Probability
• John McCarthy's legacy
• Knowledge-based programs as plans. The complexity of plan verification
• Lifted generative learning of Markov logic networks
• Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
• Machine learning. A probabilistic perspective
• Planning and acting in partially observable stochastic domains
• Probabilistic logic
• Probabilistic logic programming for hybrid relational domains
• Reasoning about knowledge and probability
• Reasoning about noisy sensors and effectors in the situation calculus
• Statistical relational artificial intelligence: logic, probability, and computation
• The logic of knowledge bases

This page was built for publication: Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond

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