프로필

Stephen Muggleton

Imperial College London

imperial.ac.uk의 이메일 확인됨

23009회 인용

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

Michael Gelfond

Professor of Computer Science, Texas Tech University

ttu.edu의 이메일 확인됨

19092회 인용

Artificial Intelligence Logic Programming

Axel Polleres

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

wu.ac.at의 이메일 확인됨

17600회 인용

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

Michael Kifer

Stony Brook University

cs.stonybrook.edu의 이메일 확인됨

13816회 인용

AI Knowledge representation logic programming databases

Dan Friedman

Indiana University

indiana.edu의 이메일 확인됨

11556회 인용

Programming Languages Logic Programming Continuations Theorem Proving

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique

inria.fr의 이메일 확인됨

11360회 인용

Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic

Manuel Hermenegildo

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

upm.es의 이메일 확인됨

10866회 인용

Abstract Interpretation Program Analysis Verification Logic Programming Computational Logic

Maurice Bruynooghe

Professor Em. of Computer Science, KULeuven

cs.kuleuven.be의 이메일 확인됨

10041회 인용

logic programming declarative languages and systems

Miroslaw Truszczynski

Professor of Computer Science, University of Kentucky

cs.uky.edu의 이메일 확인됨

9934회 인용

artificial intelligence knowledge representation nonmonotonic logics logic programming combinatorics

Gopal Gupta

Professor of Computer Science, The University of Texas at Dallas

utdallas.edu의 이메일 확인됨

9204회 인용

Programming languages Logic Programming Artificial Intelligence

1 - 10