Automated Reasoning (Computer Science)

Geraint Wiggins

Goldsmiths, University of London

Faculty Member

Computing Department

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

Aaron Sloman

University Of Birmingham

Faculty Member

Computer Science Department

AI Planning (Artificial Intelligence), Animal Behavior, Animal Studies, and Artificial Intelligence

Michael Fourman

University of Edinburgh

Faculty Member

Informatics Department

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

Çetin Meriçli

Boğaziçi University

Graduate Student

Computer Engineering Department

Artificial Intelligence, Artificial Neural Network, Automated Reasoning (Computer Science), and Autonomous Cognitive Agents

Miltos Petridis

University of Brighton

Head of School

School of Computing, Engineering and Mathematics

Agile Software Process Improvement, Architectural Patterns, Artificial Intelligence, and Artificial Neural Network

Claire Q

Aberystwyth University

Graduate Student

Computer Science Department

Audio Signal Processing, Classification (Machine Learning), Computational Ethnomusicology, and Computational Music

Antonio Castro

Universidade do Porto

Department Member

Faculdade de Engenharia Department

Aeronautics and Aerospace Operations, Agent Based, Automated Reasoning (Computer Science), and Autonomous Agentes

Awalin Sopan

University of Maryland

Graduate Student

Computer Science Department

Artificial Intelligence, Artificial Neural Network, Automated Reasoning (Computer Science), and Bioinformatics

Takis Hartonas

TEI Larisas

Faculty Member

Computer Science & Telecommunications Department

Artificial Intelligence (AI), Automated Reasoning (Computer Science), Computational Logic, and Modal Logic

Joshua Cason

University of Washington

Graduate Student

Linguistics Department

Analytic Philosophy, Analytic Philosophy of Religion, Analytic Theology, and Automated Deduction

Nicholas Wilson

Rensselaer Polytechnic Institute

Graduate Student

Cognitive Science Department

Agent Based, Agent-based modeling, Artificial Intelligence, and Artificial Neural Network

Mayank Agarwal

University of North Carolina at Chapel Hill

Alumnus

School of Information and Library Science

Automated Reasoning (Computer Science), Automatic Text Summarization, Collaborative Systems, and Collections Management

Ian Wood

The Australian National University

Graduate Student

Engineering and Computer Science Department

Agent-based modeling, Computational Modeling, Machine Learning, and Natural Language Processing, Text Mining,Machine Learning

Serguei Mokhov

Concordia University (Canada)

Graduate Student

Computer Science and Software Engineering Department

Algorithms, Artificial Intelligence, Artificial Neural Network, and Aspect-Oriented Programming

John Kelleher

Dublin Institute of Technology

Faculty Member

Computing Department

AI Planning (Artificial Intelligence), Artificial Algorithms, Automated Reasoning (Computer Science), and Autonomous Cognitive Agents

Christopher Vigorito

University of Massachusetts Amherst

Graduate Student

Computer Science Department

Artificial Intelligence, Artificial Neural Network, Automated Reasoning (Computer Science), and Autonomous Agentes

Сергей Каунов

Вычислительный центр РАН

Graduate Student

Сектор математических основ искусственного интеллекта Department

Affect & Arousal, Affective Systems, Artificial Intelligence, and Automated Reasoning (Computer Science)

Sylvain Pronovost

Carleton University

Graduate Student

Cognitive Science Department

Algorithms, Artificial Intelligence, Artificial Life, and Artificial Neural Network

Nikolay Nikolov

Algorithms, Artificial Intelligence, Automated Reasoning (Computer Science), and Bioeconomics

Ivan Fuentes

Tecnológico de Monterrey

Graduate Student

Center for Intelligent Computing and Robotics

Algorithms, Animation, Artificial Intelligence, and Artificial Neural Network

Dave Barker-Plummer

Stanford University

Department Member

CSLI Department

Automated Reasoning (Computer Science), Diagrammatic Reasoning, Logic Education, and Artificial Intelligence

Anna Queralt

Universitat Politecnica de Catalunya

Post-Doc

Department of Service and Information System Engineering

Automated Reasoning (Computer Science), Conceptual Modeling and Semantic Models, Conceptual Modelling, and Description logics

Petar Maksimovic

INRIA

Graduate Student

LogNet Department

Automated Reasoning (Computer Science) and Computational Logic

Gleifer Vaz

UTFPR

Faculty Member

COCIC - Coordenação de Ciência Computação Department

Automated Reasoning (Computer Science), Computational Logic, Data Structures (Computer Science), and Formal Methods (Formal Verification)

Jon Worrel

University of California, Merced

Undergraduate

Cognitive & Information Sciences Department

Artificial Intelligence, Artificial Neural Network, Automated Reasoning (Computer Science), and Cloud Computing
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