Profil

Stephen Muggleton

Imperial College London

Email yang diverifikasi di imperial.ac.uk

Dirujuk 23347 kali

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

Axel Polleres

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

Email yang diverifikasi di wu.ac.at

Dirujuk 17973 kali

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

Michael Kifer

Stony Brook University

Email yang diverifikasi di cs.stonybrook.edu

Dirujuk 13938 kali

AI Knowledge representation logic programming databases

Michael Gelfond

Professor of Computer Science, Texas Tech University

Email yang diverifikasi di ttu.edu

Dirujuk 13843 kali

Artificial Intelligence Logic Programming

Dan Friedman

Indiana University

Email yang diverifikasi di indiana.edu

Dirujuk 11640 kali

Programming Languages Logic Programming Continuations Theorem Proving

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique

Email yang diverifikasi di inria.fr

Dirujuk 11450 kali

Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic

Manuel Hermenegildo

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

Email yang diverifikasi di upm.es

Dirujuk 10904 kali

Abstract Interpretation Program Analysis Verification Logic Programming Computational Logic

Maurice Bruynooghe

Professor Em. of Computer Science, KULeuven

Email yang diverifikasi di cs.kuleuven.be

Dirujuk 10487 kali

logic programming declarative languages and systems

Miroslaw Truszczynski

Professor of Computer Science, University of Kentucky

Email yang diverifikasi di cs.uky.edu

Dirujuk 10070 kali

artificial intelligence knowledge representation nonmonotonic logics logic programming combinatorics

Gopal Gupta

Professor of Computer Science, The University of Texas at Dallas

Email yang diverifikasi di utdallas.edu

Dirujuk 9479 kali

Programming languages Logic Programming Artificial Intelligence

1 - 10