A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities

By Cerrito Serenella  

Journal of Automated Reasoning, Vol. 51, Iss. 2, 2013-08 ,pp. : 197-239

Springer Publishing Company

Access to resources Recommend Favorite

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case

By Zarba Calogero   Cantone Domenico   Schwartz Jacob  

Journal of Automated Reasoning, Vol. 33, Iss. 3-4, 2004-10 ,pp. : 251-269

Springer Publishing Company

Access to resources Recommend Favorite

Rough set theory: a novel approach for extraction of robust decision rules based on incremental attributes

By Huang Chun-Che   Tseng Tzu-Liang   Jiang Fuhua   Fan Yu-Neng   Hsu Chih-Hua  

Annals of Operations Research, Vol. 216, Iss. 1, 2014-05 ,pp. : 163-189

Springer Publishing Company

Access to resources Recommend Favorite

Fuzzy Decision Support System for Coronary Artery Disease Diagnosis Based on Rough Set Theory

By  

International Journal of Rough Sets and Data Analysis (IJRSDA), Vol. 1, Iss. 1, 2014-01 ,pp. : 65-80

IGI Global_journal

Access to resources Recommend Favorite

Set membership estimation theory for Wiener modelling using HLCPWL functions

By Alvarez Marcela P.   Castro Liliana R.   Agamennoni Osvaldo E.  

International Journal of Modelling, Identification and Control, Vol. 14, Iss. 1-2, 2011-09 ,pp. : 13-26

Inderscience Publishers

Access to resources Recommend Favorite