Satisfiability Degree Analysis and Deductive Reasoning
暂无分享,去创建一个
[1] Witold Pedrycz,et al. Fundamentals of a Fuzzy-Logic-Based Generalized Theory of Stability , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).
[2] Yang Zhao,et al. Satisfiability Degree Analysis for Transition System , 2010, AICI.
[3] Bohdan S. Butkiewicz,et al. An Approach to Theory of Fuzzy Signals—Basic Definitions , 2008, IEEE Transactions on Fuzzy Systems.
[4] Pei Hu,et al. Backtracking Search Algorithm for Satisfiability Degree Calculation , 2009, 2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery.
[5] Pei Hu,et al. Computation of Satisfiability Degree Based on CNF , 2009, 2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery.
[6] Hans Kleine Büning,et al. A new 3-CNF transformation by parallel-serial graphs , 2009, Inf. Process. Lett..
[7] Kathryn B. Laskey. MEBN: A language for first-order Bayesian knowledge bases , 2008, Artif. Intell..
[8] Guiming Luo,et al. An Algorithm for Calculating the Satisfiability Degree , 2009, 2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery.
[9] Annamária R. Várkonyi-Kóczy. Fast Anytime Fuzzy Fourier Estimation of Multisine Signals , 2009, IEEE Transactions on Instrumentation and Measurement.
[10] Jian Luo,et al. Proposition matrix search algorithm for satisfiability degree computation , 2010, 9th IEEE International Conference on Cognitive Informatics (ICCI'10).
[11] Lotfi A. Zadeh. A note on modal logic and possibility theory , 2014, Inf. Sci..
[12] Wiebe van der Hoek,et al. On the definability of simulation and bisimulation in epistemic logic , 2014, J. Log. Comput..
[13] Indrajit Ray,et al. Dynamic Security Risk Management Using Bayesian Attack Graphs , 2012, IEEE Transactions on Dependable and Secure Computing.
[14] Mark Ryan,et al. Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .
[15] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[16] Bernard De Baets,et al. Bayesian Clustering of Fuzzy Feature Vectors Using a Quasi-Likelihood Approach , 2009, IEEE Transactions on Pattern Analysis and Machine Intelligence.
[17] Feng Lin,et al. Theory of Extended Fuzzy Discrete-Event Systems for Handling Ranges of Knowledge Uncertainties and Subjectivity , 2009, IEEE Transactions on Fuzzy Systems.
[18] Merrie Bergmann,et al. An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems , 2008 .
[19] Nils J. Nilsson,et al. Probabilistic Logic * , 2022 .
[20] N. Chater,et al. Précis of Bayesian Rationality: The Probabilistic Approach to Human Reasoning , 2009, Behavioral and Brain Sciences.
[21] Valentin Goranko,et al. Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..