个人学术档案

George Georgescu

Faculty of Mathematics and Computer Science, Bucharest University

在 unibuc.ro 的电子邮件经过验证

被引用次数：4007

universal algebra many-valued logics model theory

Esko Turunen

TU Wien

在 tut.fi 的电子邮件经过验证

被引用次数：2487

Many valued logics data analysis data mining

Gernot Salzer

Associate Professor of Computer Science, Technische Universität Wien

在 logic.at 的电子邮件经过验证

被引用次数：1451

Blockchain Programming Code Analysis Constraint Satisfaction Problems Many-valued Logics Automated Reasoning

Tommaso Flaminio

Researcher at IIIA - CSIC

在 iiia.csic.es 的电子邮件经过验证

被引用次数：1083

Mathematical Logic Uncertain Reasoning Artificial Intelligence Many-valued logics Probability

Norbert Preining

Mercari Inc.

在 preining.info 的电子邮件经过验证

被引用次数：390

Mathematical Logic Many-valued Logics Algebraic specification Software verification Machine Learning

Olga Gerasimova

National Research University Higher School of Economics, International Laboratory for …

在 edu.hse.ru 的电子邮件经过验证

被引用次数：346

many-valued logics boolean functions ontology-based data access

Matteo Bianchi

Research Fellow, Università degli Studi di Milano

在 unimi.it 的电子邮件经过验证

被引用次数：184

Mathematical logic Many-Valued Logics Algebraic Logic Universal Algebra

Dušan Guller

Comenius University, Faculty of Math. Phys. and Inform. Dep. Appl. Informatics

在 fmph.uniba.sk 的电子邮件经过验证

被引用次数：136

(many-valued) logics automated deduction fuzzy (expert) systems computer science

Vitor Greati

PhD candidate, University of Groningen, Groningen, The Netherlands

在 rug.nl 的电子邮件经过验证

被引用次数：84

Non-classical logics Many-valued logics Algebraic logic Abstract deductive systems Data Science

Alberto Paparella

PhD in Mathematics, Università degli Studi di Ferrara

在 unife.it 的电子邮件经过验证

被引用次数：13

Symbolic Learning Many-Valued Logics

1 - 10