GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Logic, Reasoning, and Knowledge

Logic, Reasoning, and Knowledge

129 faculty research Logic, Reasoning, and Knowledge on GradNova.

M
Advanced Database Systems and Queries
Business Process Modeling and Analysis
Logic, Reasoning, and Knowledge
Semantic Web and Ontologies
+1
D
Daniel Larsson

Assistant Professor of Aerospace and Mechanical Engineering; Member of the Graduate Faculty

Department of Aerospace and Mechanical Engineering

University of Arizona

Adaptive Control of Nonlinear Systems
Data Management and Algorithms
Logic, Reasoning, and Knowledge
Reinforcement Learning in Robotics
+1
D
Energy Efficiency
Heterogeneous Catalysis
Small Molecules
Logic, Reasoning, and Knowledge
+4
C
AI-Based Problem Solving and Planning
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Modular Robots and Swarm Intelligence
+1
S
Stephen Slade

Instructional Faculty, Senior Lecturer

Computer Science

Yale University

AI-Based Problem Solving and Planning
Business Process Modeling and Analysis
Complex Systems and Decision Making
Logic, Reasoning, and Knowledge
+1
D
Daniel Roy

Professor Department of Computer and Mathematical Science, UTSC

Computer Science

University of Toronto

Deep Learning
Foundations of Machine Learning and Statistics
Game Theory
Information Theory
+11
P
Paul He

Assistant Professor, Teaching Stream

Computer Science

University of Toronto

Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Security and Verification in Computing
+1
B
Bahar Aameri

Assistant Professor, Teaching Stream

Computer Science

University of Toronto

Biomedical Text Mining and Ontologies
Business Process Modeling and Analysis
Constraint Satisfaction and Optimization
Logic, Reasoning, and Knowledge
+1
N
Compilers
Functional Programming
Language Design
Logics
+9
S
AI Planning and Reinforcement Learning
Cognitive Robotics
Commonsense Reasoning
Human-Compatible AI
+7
A
Deep Learning
Generative Models
Learning Representations
Machine Learning
+5
A
Andre Scedrov

Professor Mathematics Primary Computer and Information Science

Computer Science

University of Pennsylvania

Advanced Authentication Protocols Security
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
P
Compilation
Formal Methods
Logic
Programming Languages
+5
M
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Model-Driven Software Engineering Techniques
+1
S
Legal Case Studies and Regulations
Logic, Reasoning, and Knowledge
Quantum Computing Algorithms and Architecture
Quantum Information and Cryptography
+1
G
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Security and Verification in Computing
+1
J
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
K
Computability, Logic, AI Algorithms
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Quantum Computing Algorithms and Architecture
+1
E
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Model-Driven Software Engineering Techniques
+1
E
Distributed Systems and Fault Tolerance
Game Theory and Applications
Logic, Reasoning, and Knowledge
D
Dr. Jie Fu

MAE Affiliate Faculty / Assistant Professor in Electrical & Computer Engineering

Department of Electrical & Computer Engineering

University of Florida

Formal Methods in Verification
Infrastructure Resilience and Vulnerability Analysis
Logic, Reasoning, and Knowledge
Reinforcement Learning in Robotics
+1
J
Advanced Algebra and Logic
Advanced Topology and Set Theory
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
A
Audrey Durand

Département d'informatique et de génie logiciel

Computer Science

Université Laval

Agents Adaptatifs
Analytique Des Données Et Traitement Du Signal
Apprentissage Machine
Apprentissage Statistique
+8
J
Josée Desharnais

Département d'informatique et de génie logiciel

Computer Science

Université Laval

Autres Informatique Théorique Et Mathématiques Computationnelles, N.c.a.
Informatique Théorique Et Mathématiques Computationnelles
Intelligence Artificielle (ia)
Intelligence Artificielle, N.c.a.
+8
2

...

6
Next