skip to main content
Skip header Section
Reasoning about UncertaintyOctober 2003
Publisher:
  • MIT Press
  • 55 Hayward St.
  • Cambridge
  • MA
  • United States
ISBN:978-0-262-08320-1
Published:01 October 2003
Skip Bibliometrics Section
Bibliometrics
Abstract

No abstract available.

Cited By

  1. Bohrer R and Islam B (2022). Cyber–Physical Verification of Intermittently Powered Embedded Systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41:11, (4361-4372), Online publication date: 1-Nov-2022.
  2. Corsi E, Flaminio T and Hosni H Towards a Unified View on Logics for Uncertainty Scalable Uncertainty Management, (329-337)
  3. Tagliaferri M Using Justified True Beliefs to Explore Formal Ignorance Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, (400-417)
  4. Aman B and Ciobanu G Interval Probability for Sessions Types Logic, Language, Information, and Computation, (123-140)
  5. Zhang S and Sridharan M (2022). A survey of knowledge‐based sequential decision‐making under uncertainty, AI Magazine, 43:2, (249-266), Online publication date: 23-Jun-2022.
  6. Moore E Soundness and Completeness Results for LEA and Probability Semantics Logical Foundations of Computer Science, (198-216)
  7. Kawamoto Y (2021). An epistemic approach to the formal specification of statistical machine learning, Software and Systems Modeling (SoSyM), 20:2, (293-310), Online publication date: 1-Apr-2021.
  8. Bílková M, Frittella S, Majer O and Nazari S Belief Based on Inconsistent Information Dynamic Logic. New Trends and Applications, (68-86)
  9. Leung C, Elias J, Minuk S, Roy R. de Jesus A and Cuzzocrea A An Innovative Fuzzy Logic-Based Machine Learning Algorithm for Supporting Predictive Analytics on Big Transportation Data 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), (1-8)
  10. Peñaloza R Introduction to Probabilistic Ontologies Reasoning Web. Declarative Artificial Intelligence, (1-35)
  11. Danial S, Smith J, Khan F and Veitch B (2019). Situation awareness modeling for emergency management on offshore platforms, Human-centric Computing and Information Sciences, 9:1, (1-26), Online publication date: 1-Dec-2019.
  12. Danial S, Smith J, Veitch B and Khan F (2019). On the realization of the recognition-primed decision model for artificial agents, Human-centric Computing and Information Sciences, 9:1, (1-38), Online publication date: 1-Dec-2019.
  13. Kawamoto Y Towards Logical Specification of Statistical Machine Learning Software Engineering and Formal Methods, (293-311)
  14. Ahn S, Couture S, Cuzzocrea A, Dam K, Grasso G, Leung C, McCormick K and Wodi B A Fuzzy Logic Based Machine Learning Tool for Supporting Big Data Business Analytics in Complex Artificial Intelligence Environments 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), (1-6)
  15. ACM
    Keppens J Explainable Bayesian Network Query Results via Natural Language Generation Systems Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, (42-51)
  16. Sridharan M, Gelfond M, Zhang S and Wyatt J (2019). REBA, Journal of Artificial Intelligence Research, 65:1, (87-180), Online publication date: 1-May-2019.
  17. Jacobs B (2019). The mathematics of changing one's mind, via Jeffrey's or via Pearl's update rule, Journal of Artificial Intelligence Research, 65:1, (783-806), Online publication date: 1-May-2019.
  18. Riguzzi F and Swift T A survey of probabilistic logic programming Declarative Logic Programming, (185-228)
  19. Beierle C, Eichhorn C, Kern-Isberner G and Kutsch S (2018). Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem, Annals of Mathematics and Artificial Intelligence, 83:3-4, (247-275), Online publication date: 1-Aug-2018.
  20. Camara R, Cuzzocrea A, Grasso G, Leung C, Powell S, Souza J and Tang B Fuzzy Logic-Based Data Analytics on Predicting the Effect of Hurricanes on the Stock Market 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), (1-8)
  21. Chen L, Roggenbach M and Tucker J An Algebraic Theory for Data Linkage Recent Trends in Algebraic Development Techniques, (47-66)
  22. Coletti G, Petturiti D and Vantaggi B (2017). Fuzzy memberships as likelihood functions in a possibilistic framework, International Journal of Approximate Reasoning, 88:C, (547-566), Online publication date: 1-Sep-2017.
  23. Ceylan I, Darwiche A and Van Den Broeck G Open-world probabilistic databases Proceedings of the 26th International Joint Conference on Artificial Intelligence, (4796-4800)
  24. Zhuang Z, Delgrande J, Nayak A and Sattar A A unifying framework for probabilistic belief revision Proceedings of the 26th International Joint Conference on Artificial Intelligence, (1370-1376)
  25. Belle V and Lakemeyer G Reasoning about probabilities in unbounded first-order dynamical domains Proceedings of the 26th International Joint Conference on Artificial Intelligence, (828-836)
  26. ACM
    Su C, Fan T and Liau C (2017). Possibilistic Justification Logic, ACM Transactions on Computational Logic, 18:2, (1-21), Online publication date: 23-Jun-2017.
  27. Besold T, Garcez A, Stenning K, Torre L and Lambalgen M (2017). Reasoning in Non-probabilistic Uncertainty, Minds and Machines, 27:1, (37-77), Online publication date: 1-Mar-2017.
  28. Ragni M, Eichhorn C, Bock T, Kern-Isberner G and Tse A (2017). Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning, Minds and Machines, 27:1, (79-117), Online publication date: 1-Mar-2017.
  29. Harrison-Trainor M, Holliday W and Icard T Preferential structures for comparative probabilistic reasoning Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, (1135-1141)
  30. Chhogyal K and Nayak A An Empirical Study of a Simple Naive Bayes Classifier Based on Ranking Functions AI 2016: Advances in Artificial Intelligence, (324-331)
  31. Wan W, Bentahar J, Yahyaoui H and Ben Hamza A (2016). Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications, Applied Intelligence, 45:3, (747-776), Online publication date: 1-Oct-2016.
  32. Beierle C Systems and Implementations for Solving Reasoning Problems in Conditional Logics Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems - Volume 9616, (83-94)
  33. Potyka N, Beierle C and Kern-Isberner G (2015). A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics, Journal of Applied Logic, 13:4, (414-440), Online publication date: 1-Dec-2015.
  34. ACM
    Davis E and Marcus G (2015). Commonsense reasoning and commonsense knowledge in artificial intelligence, Communications of the ACM, 58:9, (92-103), Online publication date: 24-Aug-2015.
  35. Krieger H and Schulz S A Modal Representation of Graded Medical Statements Proceedings of the 20th and 21st International Conferences on Formal Grammar - Volume 9804, (130-146)
  36. Fan T and Liau C A logic for reasoning about justified uncertain beliefs Proceedings of the 24th International Conference on Artificial Intelligence, (2948-2954)
  37. Delgrande J and Renne B The logic of qualitative probability Proceedings of the 24th International Conference on Artificial Intelligence, (2904-2910)
  38. Zhou C and Feng Y Extend transferable belief models with probabilistic priors Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, (962-971)
  39. Shiqi Zhang , Sridharan M and Wyatt J (2015). Mixed Logical Inference and Probabilistic Planning for Robots in Unreliable Worlds, IEEE Transactions on Robotics, 31:3, (699-713), Online publication date: 1-Jun-2015.
  40. Kronprasert N and Talvitie A Belief Reasoning Model for Mapping Public Participation in Transport Planning Proceedings of the Third International Conference on Belief Functions: Theory and Applications - Volume 8764, (143-152)
  41. Koehler H and Link S Logics for Approximating Implication Problems of Saturated Conditional Independence Proceedings of the 14th European Conference on Logics in Artificial Intelligence - Volume 8761, (224-238)
  42. Finthammer M and Beierle C A Two-Level Approach to Maximum Entropy Model Computation for Relational Probabilistic Logic Based on Weighted Conditional Impacts Proceedings of the 8th International Conference on Scalable Uncertainty Management - Volume 8720, (162-175)
  43. Cintula P and Noguera C Modal Logics of Uncertainty with Two-Layer Syntax Proceedings of the 21st International Workshop on Logic, Language, Information, and Computation - Volume 8652, (124-136)
  44. Zhou C, Wang M and Qin B Belief-kinematics Jeffrey's rules in the theory of evidence Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, (917-926)
  45. Koehler H and Link S Saturated conditional independence with fixed and undetermined sets of incomplete random variables Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, (410-419)
  46. Bjorndahl A, Halpern J and Pass R Axiomatizing rationality Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, (178-187)
  47. Primiero G, Raimondi F and Rungta N Model checking degrees of belief in a system of agents Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems, (133-140)
  48. Rens G, Meyer T and Lakemeyer G A Logic for Specifying Stochastic Actions and Observations Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems - Volume 8367, (305-323)
  49. ACM
    Chaudhuri S, Farzan A and Kincaid Z (2014). Consistency analysis of decision-making programs, ACM SIGPLAN Notices, 49:1, (555-567), Online publication date: 13-Jan-2014.
  50. ACM
    Chaudhuri S, Farzan A and Kincaid Z Consistency analysis of decision-making programs Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (555-567)
  51. Cozman F, Polastro R, Takiyama F and Revoredo K Computing Inferences for Relational Bayesian Networks Based on $$\mathcal {ALC}$$ Constructs Revised Selected Papers of the ISWC International Workshops on Uncertainty Reasoning for the Semantic Web III - Volume 8816, (21-40)
  52. ACM
    Walkinshaw N Using evidential reasoning to make qualified predictions of software quality Proceedings of the 9th International Conference on Predictive Models in Software Engineering, (1-10)
  53. Debenham J Managing Emergent Processes with Information-Based Agents Proceedings of the Second Joint International Conference on Technology-Enabled Innovation for Democracy, Government and Governance - Volume 8061, (72-86)
  54. Kontinen J, Link S and Väänänen J Independence in Database Relations Proceedings of the 20th International Workshop on Logic, Language, Information, and Computation - Volume 8071, (179-193)
  55. Halpern J Weighted regret-based likelihood Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, (266-277)
  56. Cozman F and di Ianni L Probabilistic satisfiability and coherence checking through integer programming Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, (145-156)
  57. Flaminio T, Godo L and Marchioni E (2013). Logics for belief functions on MV-algebras, International Journal of Approximate Reasoning, 54:4, (491-512), Online publication date: 1-Jun-2013.
  58. Atencia M, Borgida A, Euzenat J, Ghidini C and Serafini L A formal semantics for weighted ontology mappings Proceedings of the 11th international conference on The Semantic Web - Volume Part I, (17-33)
  59. Cozman F, Polastro R, Takiyama F and Revoredo K Computing Inferences for Relational Bayesian Networks Based on Constructs Uncertainty Reasoning for the Semantic Web III, (21-40)
  60. Finthammer M and Beierle C How to exploit parametric uniformity for maximum entropy reasoning in a relational probabilistic logic Proceedings of the 13th European conference on Logics in Artificial Intelligence, (189-201)
  61. Finthammer M and Beierle C Instantiation restrictions for relational probabilistic conditionals Proceedings of the 6th international conference on Scalable Uncertainty Management, (598-605)
  62. Hsu T, Liau C and Wang D A probabilistic hybrid logic for sanitized information systems Proceedings of the 6th international conference on Scalable Uncertainty Management, (500-513)
  63. Biskup J, Hartmann S and Link S Probabilistic conditional independence under schema certainty and uncertainty Proceedings of the 6th international conference on Scalable Uncertainty Management, (365-378)
  64. van der Hoek W and Wooldridge M (2012). Logics for Multiagent Systems, AI Magazine, 33:3, (92-105), Online publication date: 1-Sep-2012.
  65. ACM
    Agarwal P, Cheng S and Yi K (2012). Range searching on uncertain data, ACM Transactions on Algorithms, 8:4, (1-17), Online publication date: 1-Sep-2012.
  66. Romeijn J (2012). Conditioning and Interpretation Shifts, Studia Logica, 100:3, (583-606), Online publication date: 1-Jun-2012.
  67. Han T, Saptawijaya A and Moniz Pereira L Moral reasoning under uncertainty Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning, (212-227)
  68. Perović A, Doder D and Ognjanović Z On real-valued evaluation of propositional formulas Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems, (264-277)
  69. Krämer A and Beierle C On lifted inference for a relational probabilistic conditional logic with maximum entropy semantics Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems, (224-243)
  70. Wang J, Byrnes J, Valtorta M and Huhns M (2012). On the combination of logical and probabilistic models for information analysis, Applied Intelligence, 36:2, (472-497), Online publication date: 1-Mar-2012.
  71. DvurečEnskij A, Kowalski T and Montagna F (2011). State morphism MV-algebras, International Journal of Approximate Reasoning, 52:8, (1215-1228), Online publication date: 1-Nov-2011.
  72. Fedel M, Hosni H and Montagna F (2011). A logical characterization of coherence for imprecise probabilities, International Journal of Approximate Reasoning, 52:8, (1147-1170), Online publication date: 1-Nov-2011.
  73. Nishida T Talking with uncertainty Proceedings of the 2011 international conference on Integrated uncertainty in knowledge modelling and decision making, (1-6)
  74. ACM
    Zomlot L, Sundaramurthy S, Luo K, Ou X and Rajagopalan S Prioritizing intrusion analysis using Dempster-Shafer theory Proceedings of the 4th ACM workshop on Security and artificial intelligence, (59-70)
  75. Panella A and Gmytrasiewicz P A partition-based first-order probabilistic logic to represent interactive beliefs Proceedings of the 5th international conference on Scalable uncertainty management, (233-246)
  76. Janning R and Beierle C Transformation rules for first-order probabilistic conditional logic yielding parametric uniformity Proceedings of the 34th Annual German conference on Advances in artificial intelligence, (157-168)
  77. ACM
    Chaudhuri S, Gulwani S, Lublinerman R and Navidpour S Proving programs robust Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, (102-112)
  78. Giang P Dynamic consistency and decision making under vacuous belief Proceedings of the Twenty-Seventh Conference on Uncertainty in Artificial Intelligence, (230-237)
  79. ACM
    Baltag A, Gierasimczuk N and Smets S Belief revision as a truth-tracking process Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, (187-190)
  80. ACM
    Huang X, Luo C and van der Meyden R Symbolic model checking of probabilistic knowledge Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, (177-186)
  81. Baioletti M, Coletti G, Petturiti D and Vantaggi B (2011). Inferential models and relevant algorithms in a possibilistic framework, International Journal of Approximate Reasoning, 52:5, (580-598), Online publication date: 1-Jul-2011.
  82. Coletti G, Scozzafava R and Vantaggi B A bridge between probability and possibility in a comparative framework Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty, (557-568)
  83. Pernici B and Siadat S A fuzzy service adaptation based on QoS satisfaction Proceedings of the 23rd international conference on Advanced information systems engineering, (48-61)
  84. ACM
    Conti G, Watson P, Shape N, De Amicis R and Prandi F Enabling the "Internet of Places" Proceedings of the 2nd International Conference on Computing for Geospatial Research & Applications, (1-8)
  85. Damásio C and Moura J Modularity of P-log programs Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning, (13-25)
  86. Casali A, Godo L and Sierra C (2011). A graded BDI agent model to represent and reason about preferences, Artificial Intelligence, 175:7-8, (1468-1478), Online publication date: 1-May-2011.
  87. Schr??der L and Pattinson D (2011). Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra, Mathematical Structures in Computer Science, 21:2, (235-266), Online publication date: 1-Apr-2011.
  88. Ghosh S and Velázquez-Quesada F A qualitative approach to uncertainty Proceedings of the 4th Indian conference on Logic and its applications, (90-104)
  89. Nieves J and Confalonieri R (2011). A Possibilistic Argumentation Decision Making Framework with Default Reasoning, Fundamenta Informaticae, 113:1, (41-61), Online publication date: 1-Jan-2011.
  90. Zimmermann J and Cremers A The quest for uncertainty Rainbow of computer science, (270-283)
  91. Cuzzolin F (2010). Three alternative combinatorial formulations of the theory of evidence, Intelligent Data Analysis, 14:4, (439-464), Online publication date: 1-Dec-2010.
  92. ACM
    Bencomo N, Whittle J, Sawyer P, Finkelstein A and Letier E Requirements reflection Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, (199-202)
  93. ACM
    Carvalho E, Cruz J and Barahona P Probabilistic constraints for reliability problems Proceedings of the 2010 ACM Symposium on Applied Computing, (2055-2060)
  94. Dian J (2010). A meaning based information theory - informalogical space, Information Sciences: an International Journal, 180:6, (984-994), Online publication date: 1-Mar-2010.
  95. ACM
    Chaudhuri S, Gulwani S and Lublinerman R Continuity analysis of programs Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (57-70)
  96. ACM
    Chaudhuri S, Gulwani S and Lublinerman R (2010). Continuity analysis of programs, ACM SIGPLAN Notices, 45:1, (57-70), Online publication date: 2-Jan-2010.
  97. ACM
    Zweigle O, van de Molengraft R, d'Andrea R and Häussermann K RoboEarth Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human, (184-191)
  98. Beierle C and Kern-Isberner G (2009). Formal similarities and differences among qualitative conditional semantics, International Journal of Approximate Reasoning, 50:9, (1333-1346), Online publication date: 1-Nov-2009.
  99. Clarkson M, Myers A and Schneider F (2009). Quantifying information flow with beliefs, Journal of Computer Security, 17:5, (655-701), Online publication date: 1-Oct-2009.
  100. Debenham J and Simoff S Believable Electronic Trading Environments on the Web Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01, (631-638)
  101. Delgado C and Benevides M Verification of epistemic properties in probabilistic multi-agent systems Proceedings of the 7th German conference on Multiagent system technologies, (16-28)
  102. Luo G, Yin C and Hu P An algorithm for calculating the satisfiability degree Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7, (322-326)
  103. Yin C, Luo G and Hu P Backtracking search algorithm for satisfiability degree calculation Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 2, (3-7)
  104. ACM
    Baltag A and Smets S Group belief dynamics under iterated revision Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, (41-50)
  105. Cozman F and Polastro R Complexity analysis and variational inference for interpretation-based probabilistic description logics Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence, (117-125)
  106. Resconi G and Kovalerchuk B Agents in neural uncertainty Proceedings of the 2009 international joint conference on Neural Networks, (2448-2455)
  107. Guarino S, Pfautz J, Cox Z and Roth E (2009). Modeling human reasoning about meta-information, International Journal of Approximate Reasoning, 50:3, (437-449), Online publication date: 1-Mar-2009.
  108. ACM
    Yorke-Smith N and Gervet C (2009). Certainty closure, ACM Transactions on Computational Logic, 10:1, (1-41), Online publication date: 1-Jan-2009.
  109. ACM
    Halpern J and O'Neill K (2008). Secrecy in Multiagent Systems, ACM Transactions on Information and System Security, 12:1, (1-47), Online publication date: 1-Oct-2008.
  110. Koriche F (2008). Learning to assign degrees of belief in relational domains, Machine Language, 73:1, (25-53), Online publication date: 1-Oct-2008.
  111. de Carvalho Ferreira N, Fisher M and van der Hoek W (2008). Specifying and reasoning about uncertain agents, International Journal of Approximate Reasoning, 49:1, (35-51), Online publication date: 1-Sep-2008.
  112. Cozman F, de Campos C and Ferreira da Rocha J (2008). Probabilistic logic with independence, International Journal of Approximate Reasoning, 49:1, (3-17), Online publication date: 1-Sep-2008.
  113. Su K and Sattar A An extended interpreted system model for epistemic logics Proceedings of the 23rd national conference on Artificial intelligence - Volume 1, (554-559)
  114. ACM
    Wasserkrug S, Gal A, Etzion O and Turchin Y Complex event processing over uncertain data Proceedings of the second international conference on Distributed event-based systems, (253-264)
  115. Ma J and Liu W A General Model for Epistemic State Revision using Plausibility Measures Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, (356-360)
  116. Iklé M and Goertzel B Probabilistic Quantifier Logic for General Intelligence Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference, (188-199)
  117. Goertzel B and Pennachin C How Might Probabilistic Reasoning Emerge from the Brain? Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference, (149-160)
  118. ACM
    Koch C Approximating predicates and expressive queries on probabilistic databases Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (99-108)
  119. Tang Y and Parsons S A dialogue mechanism for public argumentation using conversation policies Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1, (445-452)
  120. Sierra C and Debenham J Information-based deliberation Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2, (689-696)
  121. Ide J and Cozman F (2008). Approximate algorithms for credal networks with binary variables, International Journal of Approximate Reasoning, 48:1, (275-296), Online publication date: 1-Apr-2008.
  122. Wheeler G Two puzzles concerning measures of uncertainty and the positive Boolean connectives Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence, (170-180)
  123. Osorio M and Nieves J Pstable semantics for possibilistic logic programs Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence, (294-304)
  124. Burdick D, Doan A, Ramakrishnan R and Vaithyanathan S OLAP over imprecise data with domain constraints Proceedings of the 33rd international conference on Very large data bases, (39-50)
  125. Schröder L and Pattinson D Modular algorithms for heterogeneous modal logics Proceedings of the 34th international conference on Automata, Languages and Programming, (459-471)
  126. ACM
    Baltag A and Smets S From conditional probability to the logic of doxastic actions Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge, (52-61)
  127. ACM
    Pucella R (2007). Alternative Logics: a book review, ACM SIGACT News, 38:2, (75-86), Online publication date: 1-Jun-2007.
  128. ACM
    Halpern J and Pucella R (2007). Characterizing and reasoning about probabilistic and non-probabilistic expectation, Journal of the ACM, 54:3, (15-es), Online publication date: 1-Jun-2007.
  129. Resconi G and Kovalerchuk B Hierarchy of Logics of Irrational and Conflicting Agents Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications, (179-188)
  130. Nieves J, Osorio M and Cortés U Semantics for possibilistic disjunctive programs Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning, (315-320)
  131. Asnar Y, Giorgini P and Zannone N Reasoning about risk in agent's deliberation process Proceedings of the 8th international conference on Agent-oriented software engineering VIII, (118-131)
  132. Pralet C, Verfaillie G and Schiex T (2007). An algebraic graphical model for decision with uncertainties, feasibilities, and utilities, Journal of Artificial Intelligence Research, 29:1, (421-489), Online publication date: 1-May-2007.
  133. Baral C and Hunsaker M Using the probabilistic logic programming language P-log for causal and counterfactual reasoning and non-naive conditioning Proceedings of the 20th international joint conference on Artifical intelligence, (243-249)
  134. Cozman F, de Campos C and da Rocha J Probabilistic logic with strong independence Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence, (612-621)
  135. Trevizan F, Cozman F and de Barros L Unifying nondeterministic and probabilistic planning through imprecise markov decision processes Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence, (502-511)
  136. Debenham J and Simoff S Managing emergent processes Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I, (228-235)
  137. d'Avila Garcez A, Lamb L and Gabbay D (2006). Connectionist computations of intuitionistic reasoning, Theoretical Computer Science, 358:1, (34-55), Online publication date: 31-Jul-2006.
  138. Schubert L Turing's dream and the knowledge challenge proceedings of the 21st national conference on Artificial intelligence - Volume 2, (1534-1538)
  139. Lee S Reasoning about uncertainty in metric spaces Proceedings of the Twenty-Second Conference on Uncertainty in Artificial Intelligence, (289-297)
  140. Wasserkrug S, Gal A and Etzion O A taxonomy and representation of sources of uncertainty in active systems Proceedings of the 6th international conference on Next Generation Information Technologies and Systems, (174-185)
  141. ACM
    Sierra C and Debenham J Trust and honour in information-based agency Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, (1225-1232)
  142. Green T and Tannen V Models for incomplete and probabilistic information Proceedings of the 2006 international conference on Current Trends in Database Technology, (278-296)
  143. de C. Ferreira N, Fisher M and van der Hoek W Logical implementation of uncertain agents Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence, (536-547)
  144. ACM
    Lorenz M, Gehrke J, Langer H, Timm I and Hammer J Situation-aware risk management in autonomous agents Proceedings of the 14th ACM international conference on Information and knowledge management, (363-364)
  145. Kurzynski M Combining rule-based and sample-based classifiers – probabilistic approach Proceedings of the First international conference on Brain, Vision, and Artificial Intelligence, (298-307)
  146. Cozman F and Walley P (2005). Graphoid properties of epistemic irrelevance and independence, Annals of Mathematics and Artificial Intelligence, 45:1-2, (173-195), Online publication date: 1-Oct-2005.
  147. Felici M Modeling safety case evolution – examples from the air traffic management domain Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques, (81-96)
  148. Debenham J Foundations for automated trading — its the information that matters Proceedings of the 16th international conference on Database and Expert Systems Applications, (534-543)
  149. Debenham J An information-based agent Proceedings of the Second international conference on Holonic and Multi-Agent Systems for Manufacturing, (64-75)
  150. ACM
    van Otterloo S The value of privacy Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, (1015-1022)
  151. ACM
    Debenham J A multiagent system manages collaboration in emergent processes Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, (175-182)
  152. ACM
    Sayrafi B and Van Gucht D Differential constraints Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (348-357)
  153. Cooper K, Cangussu J, Lin R, Sankaranarayanan G, Soundararadjane R and Wong E An empirical study on the specification and selection of components using fuzzy logic Proceedings of the 8th international conference on Component-Based Software Engineering, (155-170)
  154. Debenham J A negotiation agent Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence, (910-916)
  155. Debenham J Auctions and bidding with information Proceedings of the 6th AAMAS international conference on Agent-Mediated Electronic Commerce: theories for and Engineering of Distributed Mechanisms and Systems, (115-128)
  156. Schubert L A new characterization of probabilities in Bayesian networks Proceedings of the 20th conference on Uncertainty in artificial intelligence, (495-503)
  157. Giang P and Sandilya S Decision making for symbolic probability Proceedings of the 20th conference on Uncertainty in artificial intelligence, (185-192)
  158. Halpern J and Pucella R Reasoning about expectation Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence, (207-215)
  159. Ali M, Tamir D, Rishe N and Kandel A Complex intuitionistic fuzzy classes 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), (2027-2034)
Contributors
  • Cornell University

Recommendations

Reviews

Aladdin Ayesh

This interesting book presents a wide-ranging view of its subject. However, the sequence of chapters could have been organized better for increased readability. After an introductory chapter on the issue of uncertainty, the second chapter provides a review of modeling techniques. I found this chapter easy to read and a very good starting point. However, the author seems to have neglected giving fuzzy logic and multi-valued logics their own sections, as he did in his review of techniques, such as belief functions and possible worlds. Nonetheless, references to fuzzy logic are provided in the references section at the end of the book. Chapter 3 covers the issues of conditioning uncertainty measures: belief, possibility, and plausibility. This chapter seems to come too early. A discussion of updating belief would perhaps be better placed before a discussion of belief revision (chapter 9). Similarly, chapters 7 and 10 would be better placed at an earlier place in the text, namely, after chapter 2. While chapter 4 covers Bayesian networks, including different versions, chapter 5 covers the likelihood representation of uncertainty. Chapter 6 appears earlier than expected. It covers the issues of uncertainty in multiagent systems. Agents rely heavily on the notion of belief in their knowledge representation. Given that this book is heavily biased toward notions of belief and plausibility in modeling uncertainty, I would expect it to cover multiagents. However, it would have been better to put the chapter on multi-agents at the end, where different elements of belief modeling and systems are covered. Chapters 7, 8, and 9 make up the most logically continuous part of the book. They cover the logical aspects of modeling belief, starting from propositional logic, and leading to modal epistemic logic. Chapter 8 covers the logical aspects of belief inferencing, such as defaults, conditional logics, and counterfactuals. Chapter 9 is a continuation of chapter 8, covering belief revision. Belief revision is one of the most important topics of belief systems. Since agents live in dynamic environments, they need to reason about change, and adapt their belief sets to accommodate changes. Chapter 10 would have been better placed before chapter 7, since it covers the basics of first-order logic (FOL). The chapter goes beyond the usual coverage of FOL, however, with sections that discuss using FOL to reason about probability. Chapter 11 is an essential part of the book. It covers topics on the statistical treatment of uncertainty, and how that links to beliefs. The extended discussion about random worlds in this chapter is interesting and quite refreshing. The references section is extensive, while the exercises at the end of each chapter make it ideal for use as a textbook. The index is a valuable additional help. I would recommend the book to postgraduate students who are studying reasoning about uncertainty and modeling. Online Computing Reviews Service

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.