Profiles

Peter Bruza

Professor of Information Systems, Queensland University of Technology

Verified email at qut.edu.au

Cited by 8230

quantum cognition information retrieval applied logic

Luis Lamb

Computer Scientist

Verified email at mit.edu

Cited by 4435

Neurosymbolic AI Innovation Ethics in AI Digital Transformation Applied Logic

Fernando Tohme

INMABB - Conicet and Universidad Nacional del Sur

Verified email at criba.edu.ar

Cited by 3653

Game Theory Applied Logic Mathematical Economics Decision Theory Artificial Intelligence

Churn-Jung Liau

Academia Sinica

Verified email at iis.sinica.edu.tw

Cited by 2428

applied logic

Paulo Mateus

Professor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugal

Verified email at math.ist.utl.pt

Cited by 2151

Applied Logic Quantum Information

Vincent van Oostrom

Verified email at javakade.nl

Cited by 2138

applied logic theoretical computer science rewriting lambda calculus types

Hans-Jörg Tiede

Senior Fellow, American Association of Colleges and Universities

Verified email at iwu.edu

Cited by 310

Applied logic mathematical linguistics academic freedom shared governance

Michał Knapik

Institute of Computer Science of the Polish Academy of Sciences

Verified email at ipipan.waw.pl

Cited by 300

Formal methods Applied logic

Ciro De Florio

Associate Professor of Logic, Università Cattolica di Milano

Verified email at unicatt.it

Cited by 187

Logic and Philosophy of Logic Applied Logic Epistemology Analytic Metaphysics

Rolf Morel

Universtity of Oxford

Verified email at cs.ox.ac.uk

Cited by 171

Program synthesis Automated verification Applied logic Programming languages

1 - 10