Vladimir Lifschitz

Vladimir Lifschitz

University of Texas at Austin
在 cs.utexas.edu 的电子邮件经过验证
被引用次数：26658
Computational logic knowledge representation
Thomas Eiter

Thomas Eiter

Vienna University of Technology (TU Wien)
在 kr.tuwien.ac.at 的电子邮件经过验证
被引用次数：23633
knowledge representation and reasoning declarative problem solving artificial intelligence computational logic
Stephen Muggleton

Stephen Muggleton

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

Joao Marques-Silva

Research Professor, ICREA, University of Lleida
在 icrea.cat 的电子邮件经过验证
被引用次数：17683
Automated Reasoning Satisfiability Constraint Programming Computational Logic Explainability
John Lloyd

John Lloyd

Professor Emeritus of Computer Science, The Australian National University
在 cecs.anu.edu.au 的电子邮件经过验证
被引用次数：14807
Computational logic agents machine learning declarative programming languages
Natarajan Shankar

Natarajan Shankar

SRI International Computer Science Laboratory
在 csl.sri.com 的电子邮件经过验证
被引用次数：14045
Computational Logic Automated Reasoning Formal Methods Computer-Aided Verification Programming Languages
Andrea OMICINI

Andrea OMICINI

Department of Computer Science & Engineering, Alma Mater Studiorum-Università di …
在 unibo.it 的电子邮件经过验证
被引用次数：11254
Artificial Intelligence Software Engineering Autonomous Systems Multi-Agent Systems Computational Logic
Dale Miller

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique
在 inria.fr 的电子邮件经过验证
被引用次数：11240
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 的电子邮件经过验证
被引用次数：10796
Abstract Interpretation Program Analysis Verification Logic Programming Computational Logic
Alberto Policriti

Alberto Policriti

University of Udine
在 uniud.it 的电子邮件经过验证
被引用次数：9905
Computer Science Computational Logic Computational Biology
1 - 10