Search results
From MaRDI portal
- Vladimir Rybakov (section List of research outcomes)ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS 1992-06-25 Paper ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL...10 bytes (15 words) - 16:23, 11 December 2023
- Implementation of a System for Automated Reasoning with Default Rules (System Description) 2008-11-27 Paper A Verified AsmL Implementation of Belief Revision...10 bytes (17 words) - 21:07, 24 September 2023
- C. Beierle (section List of research outcomes)Approximations of system W between c-inference, system Z, and lexicographic inference 2024-08-15 Paper Representing nonmonotonic inference based on c-representations...10 bytes (13 words) - 17:05, 6 October 2023
- Sévérien Nkurunziza (section List of research outcomes)change-points 2022-08-30 Paper The risk of tensor Stein-rules in elliptically contoured distributions 2022-05-05 Paper Inference problem in generalized fractional...10 bytes (13 words) - 12:54, 11 December 2023
- Tom Schrijvers (section List of research outcomes)Publication Date of Publication Type No unification variable left behind: fully grounding type inference for the HDM system 2024-11-26 Paper Distributive...10 bytes (13 words) - 10:32, 7 October 2023
- J. Łęski (section List of research outcomes)based fuzzy inference system with moving consequents in if-then rules and selected applications 2000-04-10 Paper A new fuzzy inference system with moving...10 bytes (14 words) - 07:23, 9 December 2023
- homogeneity of distributions of component lifetimes from system lifetime data with known system signatures 2019-05-02 Paper First passage time of a Lévy degradation...10 bytes (16 words) - 20:56, 8 December 2023
- David A. Plaisted (section List of research outcomes)Publication Date of Publication Type A complete semantic back chaining proof system 2023-04-28 Paper Conditional term rewriting and first-order...10 bytes (17 words) - 13:32, 8 December 2023
- Donglin Zeng (section List of research outcomes)Semiparametric inference on the penetrances of rare genetic mutations based on a case-family design 2012-12-28 Paper Estimating Individualized Treatment Rules Using...10 bytes (13 words) - 22:58, 10 December 2023
- Mário Florido (section List of research outcomes)unification 2023-07-28 Paper Structural rules and algebraic properties of intersection types 2023-07-28 Paper Type Inference for Rank 2 Gradual Intersection Types...10 bytes (13 words) - 05:51, 7 October 2023
- E. Czogała (section List of research outcomes)based fuzzy inference system with moving consequents in if-then rules and selected applications 2000-04-10 Paper A new fuzzy inference system with moving...10 bytes (14 words) - 07:22, 9 December 2023
- Jun Wang (section List of research outcomes)Computational completeness of spiking neural P systems with inhibitory rules for generating string languages 2022-05-17 Paper Computational completeness of sequential...10 bytes (14 words) - 01:13, 12 December 2023
- Hongxing Li (section List of research outcomes)control of nonlinear system 2007-02-20 Paper Approximation of generalized fuzzy system to integrable function 2007-02-20 Paper Maximum order-index of matrices...10 bytes (13 words) - 15:29, 11 December 2023
- Didier Dubois (section List of research outcomes)Paper Rules and meta-rules in the framework of possibility theory and possibilistic logic 2013-04-19 Paper From Blanché's hexagonal organization of concepts...10 bytes (15 words) - 14:52, 6 December 2023
- Susumu Hayashi (section List of research outcomes)mardi4nfdi.de/entity/Q4348037 1997-11-05 Paper A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE 1995-12-03...10 bytes (13 words) - 10:03, 6 October 2023
- Yosef Hochberg (section List of research outcomes)1987-01-01 Paper Multiple classification rules for signs of parameters 1987-01-01 Paper On optimal decision rules for signs of parameters 1986-01-01 Paper Alternative...10 bytes (13 words) - 06:54, 7 October 2023
- P. Besnard (section List of research outcomes)Overriding subsuming rules 2013-06-04 Paper A LOGICAL ANALYSIS OF RULE INCONSISTENCY 2012-03-19 Paper Overriding Subsuming Rules 2011-06-29 Paper Symbolic...10 bytes (13 words) - 01:20, 9 December 2023
- Giulianella Coletti (section List of research outcomes)2022-07-26 Paper A study of similarity measures through the paradigm of measurement theory: the fuzzy case 2022-07-18 Paper Decision Rules Under Vague and Uncertain...10 bytes (15 words) - 06:51, 9 December 2023
- Xingzhong Xu (section List of research outcomes)reduction of the average width of confidence bands for an unknown continuous distribution function 2009-06-29 Paper Generalized Inference for a Class of Linear...10 bytes (13 words) - 16:03, 9 December 2023
- Germano Resconi (section List of research outcomes)PARAMETERS IN A NONLINEAR SYSTEM OF PURINE NUCLEOTIDE METABOLISM 1995-11-20 Paper On modal logic interpretation of Dempster–Shafer theory of evidence 1995-01-30...10 bytes (13 words) - 02:11, 9 December 2023
