Ian Horrocks

Ian Horrocks

Professor of Computer Science, University of Oxford
在 cs.ox.ac.uk 的电子邮件经过验证
被引用次数：62484
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
在 seas.upenn.edu 的电子邮件经过验证
被引用次数：52847
Formal methods Trustworthy AI Cyber-physical systems Programming languages Logic in Computer Science
Franz Baader

Franz Baader

Professor of Theoretical Computer Science, TU Dresden
在 tu-dresden.de 的电子邮件经过验证
被引用次数：37827
Logic in Computer Science Knowledge Representation Automated Deduction
Tobias Nipkow

Tobias Nipkow

Professor of Computer Science, Technische Universität München
在 in.tum.de 的电子邮件经过验证
被引用次数：19292
Formal Verification Interactive Theorem Proving Logic in Computer Science Semantics
Carsten Lutz

Carsten Lutz

Professor of Computer Science, University of Leipzig
在 informatik.uni-leipzig.de 的电子邮件经过验证
被引用次数：14623
Knowledge Representation Artificial Intelligence Logic in Computer Science Theoretical Computer Science
Frank Wolter

Frank Wolter

Department of Computer Science, University of Liverpool
在 liverpool.ac.uk 的电子邮件经过验证
被引用次数：14235
Artificial Intelligence Logic in Computer Science Knowledge Representation Modal Logic Logic
Neil Immerman

Neil Immerman

College of Computer and Information Sciences, UMass, Amherst
在 cs.umass.edu 的电子邮件经过验证
被引用次数：14013
logic in computer science descriptive complexity
Leonid Libkin

Leonid Libkin

Professor of Computer Science, University of Edinburgh
在 inf.ed.ac.uk 的电子邮件经过验证
被引用次数：13075
Databases database theory graph databases logic in computer science
Wolfgang Thomas

Wolfgang Thomas

Prof of Computer Science, RWTH Aachen University
在 cs.rwth-aachen.de 的电子邮件经过验证
被引用次数：12208
automata theory logic in computer science
Marcelo Arenas

Marcelo Arenas

Professor of Computer Science, Pontificia Universidad Católica de Chile and IMFD Chile.
在 ing.puc.cl 的电子邮件经过验证
被引用次数：12087
Database theory logic in computer science semantic Web
1 - 10