Fei Liu

Fei Liu

Senior Lecturer of Computer Science & Information Technology, La Trobe University
在 latrobe.edu.au 的电子邮件经过验证
被引用次数：43975
sentiment analysis text summarization semantic web logic programming
Stephen Muggleton

Stephen Muggleton

Imperial College London
在 imperial.ac.uk 的电子邮件经过验证
被引用次数：22770
Inductive Logic Programming Automation of Science Relational Learning Computational Logic Logic Programming
Michael Gelfond

Michael Gelfond

Professor of Computer Science, Texas Tech University
在 ttu.edu 的电子邮件经过验证
被引用次数：18901
Artificial Intelligence Logic Programming
Axel Polleres

Axel Polleres

Vienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)
在 wu.ac.at 的电子邮件经过验证
被引用次数：17108
Data & Knowledge Management Artificial Intelligence Logic Programming Semantic Web Knowledge Graphs
Michael Kifer

Michael Kifer

Stony Brook University
在 cs.stonybrook.edu 的电子邮件经过验证
被引用次数：13734
AI Knowledge representation logic programming databases
Dan Friedman

Dan Friedman

Indiana University
在 indiana.edu 的电子邮件经过验证
被引用次数：11456
Programming Languages Logic Programming Continuations Theorem Proving
Dale Miller

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique
在 inria.fr 的电子邮件经过验证
被引用次数：11238
Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic
Manuel Hermenegildo

Manuel Hermenegildo

IMDEA Software Institute and Technical U. of Madrid (UPM)
在 upm.es 的电子邮件经过验证
被引用次数：10791
Abstract Interpretation Program Analysis Verification Logic Programming Computational Logic
Maurice Bruynooghe

Maurice Bruynooghe

Professor Em. of Computer Science, KULeuven
在 cs.kuleuven.be 的电子邮件经过验证
被引用次数：9958
logic programming declarative languages and systems
Miroslaw Truszczynski

Miroslaw Truszczynski

Professor of Computer Science, University of Kentucky
在 cs.uky.edu 的电子邮件经过验证
被引用次数：9814
artificial intelligence knowledge representation nonmonotonic logics logic programming combinatorics
1 - 10