Профили

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

Цитируется: 13814

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