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 QIDQ6545516

Vaishak Belle

Publication date: 29 May 2024

zbMATH Keywords

first-order logicprobabilistic logicprograms

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Planning and acting in partially observable stochastic domains
• Lifted generative learning of Markov logic networks
• ILP turns 20. Biography and future challenges
• John McCarthy's legacy
• An analysis of first-order logics of probability
• Dynamic epistemic logic
• Probabilistic logic
• Cheating husbands and other stories: A case study of knowledge, action, and communication
• Reasoning about noisy sensors and effectors in the situation calculus
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• Interactive epistemology. II: Probability
• A logic for reasoning about probabilities
• Concerning measures in first order calculi
• Probabilistic logic programming for hybrid relational domains
• Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
• Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
• Reasoning about knowledge and probability
• GOLOG: A logic programming language for dynamic domains
• Epistemic planning: perspectives on the special issue

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