프로필

Vladimir Lifschitz

University of Texas at Austin

cs.utexas.edu의 이메일 확인됨

26881회 인용

Computational logic knowledge representation

Thomas Eiter

Vienna University of Technology (TU Wien)

kr.tuwien.ac.at의 이메일 확인됨

23946회 인용

knowledge representation and reasoning declarative problem solving artificial intelligence computational logic

Stephen Muggleton

Imperial College London

imperial.ac.uk의 이메일 확인됨

23009회 인용

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

Joao Marques-Silva

Research Professor, ICREA, University of Lleida

icrea.cat의 이메일 확인됨

18103회 인용

Automated Reasoning Satisfiability Constraint Programming Computational Logic Explainability

John Lloyd

Professor Emeritus of Computer Science, The Australian National University

cecs.anu.edu.au의 이메일 확인됨

14871회 인용

Computational logic agents machine learning declarative programming languages

Natarajan Shankar

SRI International Computer Science Laboratory

csl.sri.com의 이메일 확인됨

14151회 인용

Computational Logic Automated Reasoning Formal Methods Computer-Aided Verification Programming Languages

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique

inria.fr의 이메일 확인됨

11360회 인용

Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic

Andrea OMICINI

Department of Computer Science & Engineering, Alma Mater Studiorum-Università di …

unibo.it의 이메일 확인됨

11357회 인용

Artificial Intelligence Software Engineering Autonomous Systems Multi-Agent Systems 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

Alberto Policriti

University of Udine

uniud.it의 이메일 확인됨

10026회 인용

Computer Science Computational Logic Computational Biology

1 - 10