Profielen

Stephen Muggleton

Imperial College London

Geverifieerd e-mailadres voor imperial.ac.uk

Geciteerd door 23009

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

Michael Gelfond

Professor of Computer Science, Texas Tech University

Geverifieerd e-mailadres voor ttu.edu

Geciteerd door 19088

Artificial Intelligence Logic Programming

Axel Polleres

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

Geverifieerd e-mailadres voor wu.ac.at

Geciteerd door 17592

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

Michael Kifer

Stony Brook University

Geverifieerd e-mailadres voor cs.stonybrook.edu

Geciteerd door 13814

AI Knowledge representation logic programming databases

Dan Friedman

Indiana University

Geverifieerd e-mailadres voor indiana.edu

Geciteerd door 11554

Programming Languages Logic Programming Continuations Theorem Proving

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique

Geverifieerd e-mailadres voor inria.fr

Geciteerd door 11357

Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic

Manuel Hermenegildo

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

Geverifieerd e-mailadres voor upm.es

Geciteerd door 10866

Abstract Interpretation Program Analysis Verification Logic Programming Computational Logic

Maurice Bruynooghe

Professor Em. of Computer Science, KULeuven

Geverifieerd e-mailadres voor cs.kuleuven.be

Geciteerd door 10041

logic programming declarative languages and systems

Miroslaw Truszczynski

Professor of Computer Science, University of Kentucky

Geverifieerd e-mailadres voor cs.uky.edu

Geciteerd door 9934

artificial intelligence knowledge representation nonmonotonic logics logic programming combinatorics

Gopal Gupta

Professor of Computer Science, The University of Texas at Dallas

Geverifieerd e-mailadres voor utdallas.edu

Geciteerd door 9204

Programming languages Logic Programming Artificial Intelligence

1 - 10