Perfiles

Christian Szegedy

Google Research

Dirección de correo verificada de google.com

Citado por 59712

Machine learning Computer Vision Artificial Intelligence Automated Reasoning

Changbo Chen

Professor, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of …

Dirección de correo verificada de cigit.ac.cn

Citado por 29983

Computer Algebra Symbolic Computation Automated Reasoning

Holger Hoos

Leiden University, The Netherlands & University of British Columbia, Canada

Dirección de correo verificada de liacs.nl

Citado por 25011

Artificial Intelligence Machine Learning Automated Reasoning Empirical Algorithmics Automated Algorithm Design

Uli Sattler

Professor, IMG, School of Computer Science, University of Manchester

Dirección de correo verificada de cs.man.ac.uk

Citado por 18288

Description Logics Ontology Engineering Automated Reasoning

Leonardo de Moura

Senior Principal Researcher at Microsoft

Dirección de correo verificada de microsoft.com

Citado por 13959

Automated Reasoning Theorem Proving Constraint Solving SAT SMT

Adnan Darwiche

Professor of Computer Science, UCLA

Dirección de correo verificada de cs.ucla.edu

Citado por 12807

Artificial Intelligence Knowledge Representation Automated Reasoning Machine Learning

Natarajan Shankar

SRI International Computer Science Laboratory

Dirección de correo verificada de csl.sri.com

Citado por 11718

Computational Logic Automated Reasoning Formal Methods Computer-Aided Verification Programming Languages

Bruno Buchberger

Professer for Computer Mathematics, Johannes Kepler University

Dirección de correo verificada de jku.at

Citado por 11543

Symbolic Computation Computer Algebra Automated Reasoning Artificial Intelligence

Joao Marques-Silva

Research Chair, ANITI, Université Fédérale Toulouse Midi-Pyrénées, France

Dirección de correo verificada de acm.org

Citado por 10840

Satisfiability Constraint Programming Automated Reasoning Computational Logic Knowledge Representation and Reasoning

Deepak Kapur

University of New Mexico

Dirección de correo verificada de cs.unm.edu

Citado por 8779

automated reasoning formal methods symbolic computation unification theory term rewriting

1 - 10