Profiilit

Stephen Muggleton

Imperial College London

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

Viittausten määrä 23349

Inductive Logic Programming Automation of Science Relational Learning Computational Logic Logic Programming

Axel Polleres

Vienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)

Vahvistettu sähköpostiosoite verkkotunnuksessa wu.ac.at

Viittausten määrä 17975

Data & Knowledge Management Artificial Intelligence Logic Programming Semantic Web Knowledge Graphs

Michael Kifer

Stony Brook University

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

Viittausten määrä 13938

AI Knowledge representation logic programming databases

Michael Gelfond

Professor of Computer Science, Texas Tech University

Vahvistettu sähköpostiosoite verkkotunnuksessa ttu.edu

Viittausten määrä 13846

Artificial Intelligence Logic Programming

Dan Friedman

Indiana University

Vahvistettu sähköpostiosoite verkkotunnuksessa indiana.edu

Viittausten määrä 11642

Programming Languages Logic Programming Continuations Theorem Proving

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique

Vahvistettu sähköpostiosoite verkkotunnuksessa inria.fr

Viittausten määrä 11453

Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic

Manuel Hermenegildo

IMDEA Software Institute and Technical U. of Madrid (UPM)

Vahvistettu sähköpostiosoite verkkotunnuksessa upm.es

Viittausten määrä 10904

Abstract Interpretation Program Analysis Verification Logic Programming Computational Logic

Maurice Bruynooghe

Professor Em. of Computer Science, KULeuven

Vahvistettu sähköpostiosoite verkkotunnuksessa cs.kuleuven.be

Viittausten määrä 10488

logic programming declarative languages and systems

Miroslaw Truszczynski

Professor of Computer Science, University of Kentucky

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

Viittausten määrä 10071

artificial intelligence knowledge representation nonmonotonic logics logic programming combinatorics

Gopal Gupta

Professor of Computer Science, The University of Texas at Dallas

Vahvistettu sähköpostiosoite verkkotunnuksessa utdallas.edu

Viittausten määrä 9480

Programming languages Logic Programming Artificial Intelligence

1 - 10