Profiilit

Ian Horrocks

Professor of Computer Science, University of Oxford

Vahvistettu sähköpostiosoite verkkotunnuksessa cs.ox.ac.uk

Viittausten määrä 64399

Semantic Web Ontologies Knowledge Representation Artificial Intelligence Logic in Computer Science

Rajeev Alur

Zisman Family Professor of Computer and Information Science, University of Pennsylvania

Vahvistettu sähköpostiosoite verkkotunnuksessa seas.upenn.edu

Viittausten määrä 55022

Formal methods Trustworthy AI Cyber-physical systems Programming languages Logic in Computer Science

Franz Baader

Professor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/Leipzig

Vahvistettu sähköpostiosoite verkkotunnuksessa tu-dresden.de

Viittausten määrä 38920

Logic in Computer Science Knowledge Representation Automated Deduction

Tobias Nipkow

Professor of Computer Science, Technische Universität München

Vahvistettu sähköpostiosoite verkkotunnuksessa in.tum.de

Viittausten määrä 19939

Formal Verification Interactive Theorem Proving Logic in Computer Science Semantics

Carsten Lutz

Professor of Computer Science, University of Leipzig

Vahvistettu sähköpostiosoite verkkotunnuksessa informatik.uni-leipzig.de

Viittausten määrä 15229

Knowledge Representation Artificial Intelligence Logic in Computer Science Theoretical Computer Science

Frank Wolter

Department of Computer Science, University of Liverpool

Vahvistettu sähköpostiosoite verkkotunnuksessa liverpool.ac.uk

Viittausten määrä 14804

Artificial Intelligence Logic in Computer Science Knowledge Representation Modal Logic Logic

Neil Immerman

College of Computer and Information Sciences, UMass, Amherst

Vahvistettu sähköpostiosoite verkkotunnuksessa cs.umass.edu

Viittausten määrä 14634

logic in computer science descriptive complexity

Leonid Libkin

Professor of Computer Science, University of Edinburgh

Vahvistettu sähköpostiosoite verkkotunnuksessa inf.ed.ac.uk

Viittausten määrä 13582

Databases database theory graph databases logic in computer science

Wolfgang Thomas

Prof of Computer Science, RWTH Aachen University

Vahvistettu sähköpostiosoite verkkotunnuksessa cs.rwth-aachen.de

Viittausten määrä 12608

automata theory logic in computer science

Marcelo Arenas

Professor of Computer Science, Pontificia Universidad Católica de Chile and IMFD Chile.

Vahvistettu sähköpostiosoite verkkotunnuksessa ing.puc.cl

Viittausten määrä 12565

Database theory logic in computer science semantic Web

1 - 10