Cited By
View all- Hallonquist N(2024)A Logical Consequence Informed by ProbabilityLogica Universalis10.1007/s11787-024-00359-x18:3(395-429)Online publication date: 7-Oct-2024
Technical Perspective: Combining logic and probability
Authors: 
Henry Kautz, 
Parag SinglaAuthors Info & Claims
Abstract
No abstract available.
Index Terms
- Technical Perspective: Combining logic and probability
Recommendations
Combining Equilibrium Logic and Dynamic Logic
LPNMR 2013: Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning - Volume 8148We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. These atomic programs are combined by the usual dynamic logic program ...
Conditional p-adic probability logic
In this paper we present the proof-theoretical approach to p-adic valued conditional probabilistic logics. We introduce two such logics denoted by CPL Z p and CPL Q p fin . Each of these logics extends classical propositional logic with a list of binary ...
Probability and logic
Special issue on combining probability and logicThe paper is an attempt to show that the formalism of subjective probability has a logical interpretation of the sort proposed by Frank Ramsey: as a complete set of constraints for consistent distributions of partial belief. Though Ramsey proposed this ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
July 2016
118 pages
Copyright © 2016 Owner/Author.
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 24 June 2016
Published in CACM Volume 59, Issue 7
Check for updates
Qualifiers
- Other
- Research
- Refereed
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 5,404Total Downloads
- Downloads (Last 12 months)311
- Downloads (Last 6 weeks)29
Reflects downloads up to 14 Dec 2024
Other Metrics
Citations
Cited By
View all- Hallonquist N(2024)A Logical Consequence Informed by ProbabilityLogica Universalis10.1007/s11787-024-00359-x18:3(395-429)Online publication date: 7-Oct-2024
View Options
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderDigital Edition
View this article in digital edition.
Digital EditionMagazine Site
View this article on the magazine site (external)
Magazine SiteLogin options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in