Profiles

George Georgescu

Faculty of Mathematics and Computer Science, Bucharest University

Verified email at unibuc.ro

Cited by 3990

universal algebra many-valued logics model theory

Esko Turunen

TU Wien

Verified email at tut.fi

Cited by 2458

Many valued logics data analysis data mining

Gernot Salzer

Associate Professor of Computer Science, Technische Universität Wien

Verified email at logic.at

Cited by 1393

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

Tommaso Flaminio

Researcher at IIIA - CSIC

Verified email at iiia.csic.es

Cited by 1060

Mathematical Logic Uncertain Reasoning Artificial Intelligence Many-valued logics Probability

Norbert Preining

Mercari Inc.

Verified email at preining.info

Cited by 371

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

Olga Gerasimova

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

Verified email at edu.hse.ru

Cited by 334

many-valued logics boolean functions ontology-based data access

Matteo Bianchi

Research Fellow, Università degli Studi di Milano

Verified email at unimi.it

Cited by 170

Mathematical logic Many-Valued Logics Algebraic Logic Universal Algebra

Dušan Guller

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

Verified email at fmph.uniba.sk

Cited by 136

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

Vitor Greati

PhD candidate, University of Groningen, Groningen, The Netherlands

Verified email at rug.nl

Cited by 79

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

Wei Zhu

University of Regensburg

Verified email at ur.de

Cited by 9

Belief Revision Suspension Many-Valued Logics

1 - 10