Computational Logic

Richard Zach

University of Calgary

Faculty Member

Philosophy Department

Analytic Philosophy, Applied Philosophy, Computability Theory, and Computational Complexity Theory

devanshu bhimwal

IIT Kanpur

Undergraduate

Computer Science & Engineering Department

AI Planning (Artificial Intelligence), Agent Based, Algorithms, and Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science)

Geraint Wiggins

Goldsmiths, University of London

Faculty Member

Computing Department

Affect & Arousal, Algorithmic Composition, Artificial Intelligence, and Automated Reasoning (Computer Science)

Iman Attarzadeh

University of Malaya, Malaysia

Department of Software Engineering

Faculty of Computer Science and Information Technology

Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science), Computational Logic, Computational Modelling, and Computer Architecture

Abhay Bothra

IIT Bombay

Undergraduate

Computer Science and Engineering Department

Algorithms, Artificial Intelligence, Cognitive Science, and Combinatorics

Giuseppe Primiero

Ghent University

Post-Doc

Philosophy and Moral Sciences Department

Artificial Intelligence, Computational Logic, Computer Science, and Epistemic Logic

Michael De

Utrecht University

Post-Doc

Philosophy Department

Computability Theory, Computational Logic, Computer Science, and Epistemology

Michael Fourman

University of Edinburgh

Faculty Member

Informatics Department

AI Planning (Artificial Intelligence), Artificial Intelligence, Automated Reasoning (Computer Science), and Category Theory

Jael Kriener

University of Kent

Graduate Student

Computing Department

Abstract Interpretation, Computational Logic, Computer Science, and Computing

Enrico Franconi

Free University of Bozen-Bolzano

Faculty Member

KRDB Department

Artificial Intelligence, Computational Logic, Conceptual Modelling, and Description logics

Avik Mitra

Jadavpur University

Department Member

Department of Information Technology

# Algorithms # Computer Networks # Data Mining # Data Structures # Database Systems # Operating Systems, Algorithms, Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science), and Computational Logic

Matthew Tong

University of California, San Diego

Graduate Student

Computer Science Department

Artificial Intelligence, Artificial Neural Network, Cognitive Modeling, and Cognitive Neuroscience

Daniel Lewis

University of Bristol

Graduate Student

Computer Science Department

Abrahamic Religions, Algorithms, Applied Mathematics, and Artificial Intelligence

Bruno Woltzenlogel Paleo

Institut National de Recherche en Informatique et Automatique (INRIA)

Post-Doc

INRIA Nancy--Grand-Est Department

Automated Deduction, Computability Theory, Computational Linguistics, and Computational Logic

Dmitri Akatov

University of Oxford

Alumnus

Computing Laboratory

Algorithms, Applied Mathematics, Artificial Intelligence, and Computational Logic

Tarek Richard Besold

University of Osnabrück

Graduate Student

Cognitive Science Department

Artificial Intelligence, Cognitive Modeling, Cognitive Science, and Computational Logic

João Marcos

UFRN

Faculty Member

DIMAp Department

Algebraic (Symbolic) Computation, Computability Theory, Computational Logic, and Computational Mathematics

Mihai Maruseac

"Politehnica" University of Bucharest

Undergraduate

Faculty of Automatic Control and Computer Science

AI Planning (Artificial Intelligence), Agent Based, Algorithm Analysis, and Algorithms

Rakesh Roshan

IIT Kanpur

Graduate Student

Computer Science & Engineering Department

Computational Logic, Computer Graphics, Computer Security, and Data Structures (Computer Science)

Eriko Verissimo Campos de Morais

Centro Universitário do Pará

Graduate Student

ACET Department

Action Research (Indigenous Health), Algebraic (Symbolic) Computation, Algorithms, and Anthropology

Ronald de Haan

Vienna University of Technology

Graduate Student

Faculty of Informatics

Algorithms, Artificial Intelligence, Automata Theory (Formal Languages), and Automated Deduction

Richard Booth

University of Luxembourg

Department Member

Faculty of Science, Technology and Communication

Argumentation, Argumentation Systems (Computer Science), Argumentation Theory, and Artificial Intelligence

Koiti Yasojima

Centro Universitário do Pará

Graduate Student

ACET Department

Algorithms, Anthropology, Artificial Intelligence, and Autonomous Robotics

Carlos Roberto Amaral Peixoto

Centro Universitário do Pará

Graduate Student

ACET Department

Algebra, Algorithms, Applied Mathematics, and Computational Geometry

Marija Slavkovik

University of Luxembourg

Graduate Student

Faculty of Science, Technology and Communication

Artificial Intelligence, Cognitive Robotics, Computational Logic, and Computational Social Choice
x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012