A first-order probabilistic logic with approximate conditional probabilities

[1]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

[2]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[3]  Wiebe van der Hoeck.  Some considerations on the logics PFD A logic combining modality and probability , 1997 .

[4]  Joseph Y. Halpern,et al.  From Statistical Knowledge Bases to Degrees of Belief , 1996, Artif. Intell..

[5]  Natasha Alechina,et al.  Logic with Probabilistic Operators , 1995 .

[6]  Thomas Lukasiewicz,et al.  Weak nonmonotonic probabilistic logics , 2004, Artif. Intell..

[7]  D. Scott,et al.  Assigning Probabilities to Logical Formulas , 1966 .

[8]  Miodrag Raskovic,et al.  A probabilistic extension of intuitionistic logic , 2003, Math. Log. Q..

[9]  Thomas Lukasiewicz,et al.  Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation , 2007, Int. J. Approx. Reason..

[10]  Didier Dubois,et al.  Nonmonotonic Reasoning, Conditional Objects and Possibility Theory , 1997, Artif. Intell..

[11]  Peter J. Hammond,et al.  Non-Archimedean Subjective Probabilities in Decision Theory and Games , 1997 .

[12]  Peter J. F. Lucas,et al.  Generalising the Interaction Rules in Probabilistic Logic , 2011, IJCAI.

[13]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[14]  Joseph Y. Halpern,et al.  Plausibility measures and default reasoning , 1996, JACM.

[15]  Miodrag Raskovic,et al.  A logic with approximate conditional probabilities that can model default reasoning , 2008, Int. J. Approx. Reason..

[16]  Z. Ognjanovic,et al.  A probabilistic approach to default reasoning , 2004, NMR.

[17]  Lluis Godo,et al.  A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach , 2004, JELIA.

[18]  Thomas Lukasiewicz,et al.  Probabilistic Default Reasoning with Conditional Constraints , 2000, Annals of Mathematics and Artificial Intelligence.

[19]  Franco Montagna,et al.  A logical and algebraic treatment of conditional probability , 2005, Arch. Math. Log..

[20]  Ken Satoh.  A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning , 1990, AAAI.

[21]  Thomas Lukasiewicz,et al.  Probabilistic logic under coherence: complexity and algorithms , 2005, Annals of Mathematics and Artificial Intelligence.

[22]  Nic Wilson.  A Logic of Extended Probability , 1999, ISIPTA.

[23]  Zoran Ognjanović,et al.  A first-order conditional probability logic with iterations , 2013 .

[24]  Martín Abadi,et al.  Decidability and Expressiveness for First-Order Logics of Probability , 1994, Inf. Comput..

[25]  Richard B. Scherl,et al.  Basing Probabilistic Logic on Gambles , 2005, ISIPTA.

[26]  Alessandro Saffiotti,et al.  Belief functions and default reasoning , 1995, Artif. Intell..

[27]  Zoran Ognjanović,et al.  COMPLETENESS THEOREM FOR A LOGIC WITH IMPRECISE AND CONDITIONAL PROBABILITIES , 2005 .

[28]  H. Keisler.  Foundations of infinitesimal calculus , 1976 .

[29]  Thomas Lukasiewicz,et al.  Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P , 2002, J. Appl. Non Class. Logics.

[30]  Miodrag Raskovic,et al.  Completeness theorem for propositional probabilistic models whose measures have only finite ranges , 2004, Arch. Math. Log..

[31]  Pedro M. Domingos,et al.  A Tractable First-Order Probabilistic Logic , 2012, AAAI.

[32]  Miodrag Raskovic,et al.  Some first-order probability logics , 2000, Theor. Comput. Sci..

[33]  Joseph Y. Halpern.  Lexicographic probability, conditional probability, and nonstandard probability , 2001, Games Econ. Behav..

[34]  H. Gaifman.  Concerning measures in first order calculi , 1964 .

[35]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[36]  Judea Pearl,et al.  Qualitative Probabilities for Default Reasoning, Belief Revision, and Causal Modeling , 1996, Artif. Intell..

[37]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[38]  Angelo Gilio,et al.  Probabilistic Reasoning Under Coherence in System P , 2002, Annals of Mathematics and Artificial Intelligence.

[39]  Joseph Y. Halpern.  An Analysis of First-Order Logics of Probability , 1989, IJCAI.

[40]  Carlos Uzcátegui,et al.  On representation theorems for nonmonotonic consequence relations , 2000, Journal of Symbolic Logic.

[41]  Fahiem Bacchus,et al.  Lp, a logic for representing and reasoning with statistical knowledge , 1990, Comput. Intell..

[42]  Miodrag Raskovic,et al.  Some Probability Logics with New Types of Probability Operators , 1999, J. Log. Comput..

[43]  Miodrag Raskovic,et al.  A Logic with Conditional Probabilities , 2004, JELIA.