Ian Horrocks

Ian Horrocks

Professor of Computer Science, University of Oxford
E-mail confirmado em cs.ox.ac.uk
Citado por 63152
Semantic Web Ontologies Knowledge Representation Artificial Intelligence Logic in Computer Science
Rajeev Alur

Rajeev Alur

Zisman Family Professor of Computer and Information Science, University of Pennsylvania
E-mail confirmado em seas.upenn.edu
Citado por 53476
Formal methods Trustworthy AI Cyber-physical systems Programming languages Logic in Computer Science
Franz Baader

Franz Baader

Professor of Theoretical Computer Science, TU Dresden
E-mail confirmado em tu-dresden.de
Citado por 38265
Logic in Computer Science Knowledge Representation Automated Deduction
Tobias Nipkow

Tobias Nipkow

Professor of Computer Science, Technische Universität München
E-mail confirmado em in.tum.de
Citado por 19621
Formal Verification Interactive Theorem Proving Logic in Computer Science Semantics
Carsten Lutz

Carsten Lutz

Professor of Computer Science, University of Leipzig
E-mail confirmado em informatik.uni-leipzig.de
Citado por 14856
Knowledge Representation Artificial Intelligence Logic in Computer Science Theoretical Computer Science
Frank Wolter

Frank Wolter

Department of Computer Science, University of Liverpool
E-mail confirmado em liverpool.ac.uk
Citado por 14397
Artificial Intelligence Logic in Computer Science Knowledge Representation Modal Logic Logic
Neil Immerman

Neil Immerman

College of Computer and Information Sciences, UMass, Amherst
E-mail confirmado em cs.umass.edu
Citado por 14170
logic in computer science descriptive complexity
Leonid Libkin

Leonid Libkin

Professor of Computer Science, University of Edinburgh
E-mail confirmado em inf.ed.ac.uk
Citado por 13267
Databases database theory graph databases logic in computer science
Marcelo Arenas

Marcelo Arenas

Professor of Computer Science, Pontificia Universidad Católica de Chile and IMFD Chile.
E-mail confirmado em ing.puc.cl
Citado por 12298
Database theory logic in computer science semantic Web
Wolfgang Thomas

Wolfgang Thomas

Prof of Computer Science, RWTH Aachen University
E-mail confirmado em cs.rwth-aachen.de
Citado por 12275
automata theory logic in computer science
1 - 10