Ian Horrocks

Ian Horrocks

Professor of Computer Science, University of Oxford
Email yang diverifikasi di cs.ox.ac.uk
Dirujuk 64356 kali
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
Email yang diverifikasi di seas.upenn.edu
Dirujuk 54961 kali
Formal methods Trustworthy AI Cyber-physical systems Programming languages Logic in Computer Science
Franz Baader

Franz Baader

Professor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/Leipzig
Email yang diverifikasi di tu-dresden.de
Dirujuk 38913 kali
Logic in Computer Science Knowledge Representation Automated Deduction
Tobias Nipkow

Tobias Nipkow

Professor of Computer Science, Technische Universität München
Email yang diverifikasi di in.tum.de
Dirujuk 19946 kali
Formal Verification Interactive Theorem Proving Logic in Computer Science Semantics
Carsten Lutz

Carsten Lutz

Professor of Computer Science, University of Leipzig
Email yang diverifikasi di informatik.uni-leipzig.de
Dirujuk 15219 kali
Knowledge Representation Artificial Intelligence Logic in Computer Science Theoretical Computer Science
Frank Wolter

Frank Wolter

Department of Computer Science, University of Liverpool
Email yang diverifikasi di liverpool.ac.uk
Dirujuk 14794 kali
Artificial Intelligence Logic in Computer Science Knowledge Representation Modal Logic Logic
Neil Immerman

Neil Immerman

College of Computer and Information Sciences, UMass, Amherst
Email yang diverifikasi di cs.umass.edu
Dirujuk 14624 kali
logic in computer science descriptive complexity
Leonid Libkin

Leonid Libkin

Professor of Computer Science, University of Edinburgh
Email yang diverifikasi di inf.ed.ac.uk
Dirujuk 13570 kali
Databases database theory graph databases logic in computer science
Wolfgang Thomas

Wolfgang Thomas

Prof of Computer Science, RWTH Aachen University
Email yang diverifikasi di cs.rwth-aachen.de
Dirujuk 12604 kali
automata theory logic in computer science
Marcelo Arenas

Marcelo Arenas

Professor of Computer Science, Pontificia Universidad Católica de Chile and IMFD Chile.
Email yang diverifikasi di ing.puc.cl
Dirujuk 12545 kali
Database theory logic in computer science semantic Web
1 - 10