scientific article; zbMATH DE number 7530708
From MaRDI portal
Publication:5078314
zbMath1494.03078MaRDI QIDQ5078314
Publication date: 23 May 2022
Full work available at URL: https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-34-number-5-6-2020/mvlsc-34-5-6-p-423-450/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
probabilistic reasoningprobabilistic programmingbelief basesreasoning with uncertaintymultiple-valued logicsdoxastic reasoning
Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Logic in computer science (03B70) Logic programming (68N17) Many-valued logic (03B50)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the expressivity of inconsistency measures
- Inconsistency measures for probabilistic logics
- Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
- Truth and falsehood. An inquiry into generalized logical values
- An analysis of first-order logics of probability
- Probabilistic (logic) programming concepts
- Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig
- Measuring inconsistency with many-valued logics
- Conservative belief and rationality
- A paraconsistent logic programming approach for querying inconsistent databases
- Probabilistic inductive logic programming. Theory and applications
- Propositional calculus for contradictory deductive systems
- Probabilistic logics and probabilistic networks
- Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
- Probabilistic Databases
- Representing Causal Information About a Probabilistic Process
- Probabilistic reasoning with answer sets
- Inconsistency Management from the Standpoint of Possibilistic Logic
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- How an agent might think
- Modeling and Reasoning with Paraconsistent Rough Sets
- CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge
This page was built for publication:
