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.

B
Brahim Chaib-draa

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

Computer Science

Université Laval

Analytique Des Données Et Traitement Du Signal
Apprentissage Machine
Génie De L'intelligence Artificielle
Intelligence Artificielle (ia)
+8
N
Nadir Belkhiter

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

Computer Science

Université Laval

Business Process Modeling and Analysis
Logic, Reasoning, and Knowledge
Service-Oriented Architecture and Web Services
Software Engineering Techniques and Practices
+1
R
Langages De Programmation: Systèmes De Typage, Sémantique, Fondements Et Conception
Logique: Interprétation Computationnelle, Logique Intuitionniste, Linéaire Ou Sous-Structurelle
Programmation Concurrente Et Parallèle: Langages, Systèmes De Typage, Sémantique, Vérification
Logic, Programming, and Type Systems
+4
É
Intelligence Artificielle
Jeux Sérieux
Planification Automatique
Planification Sous Incertitude
+5
F
AI-Based Problem Solving and Planning
Anomaly Detection Techniques and Applications
Logic, Reasoning, and Knowledge
Network Security and Intrusion Detection
+1
M
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Petri Nets in System Modeling
+1
N
Formal Methods
Logic in Computer Science
Model-Based Design
Models of Computation
+6
S
Business Strategy and Innovation
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
Reinforcement Learning in Robotics
Y
Yuanlin Zhang, Ph.D.

Professor and Research Program Coordinator

Computer Science

Texas Tech University

Constraint Satisfaction and Optimization
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
+1
T
High-Level Programming Languages and Efficient Implementations
Maintainability
Query Optimization
Reliable and Fast Code
+5
P
Database Systems
Logic Programming
Machine Learning
Natural Language Processing
+6
C
AI-Based Problem Solving and Planning
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
+1
M
Munindar Singh

SAS Institute Distinguished Professor of Computer Science

Computer Science

North Carolina State University

Constraint Satisfaction and Optimization
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Mobile Agent-Based Network Management
+1
T
Automated Deduction
Concurrent Software
Program Analysis and Verification
Software Productivity
+5
J
Joseph Tassarotti

Associate Professor of Computer Science

Computer Science

New York University

Formal Methods
Programming Languages
Systems
Logic, Programming, and Type Systems
+4
A
Automated Theorem Proving
Logic
Ontology
Semantic Web and Ontologies
+4
T
Engineering Education
Experimental Learning in Engineering
Logic, Reasoning, and Knowledge
Semantic Web and Ontologies
+2
A
Adrian Fiech

Associate Professor, Deputy Head, Graduate Studies

Computer Science

Memorial University of Newfoundland

Advanced Database Systems and Queries
Advanced Software Engineering Methodologies
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
S
AI-Based Problem Solving and Planning
Artificial Intelligence in Games
Digital Games and Media
Logic, Reasoning, and Knowledge
+1
D
Computability, Logic, AI Algorithms
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Quantum Computing Algorithms and Architecture
+1
M
AI-Based Problem Solving and Planning
Auction Theory and Applications
Economic and Environmental Valuation
Logic, Reasoning, and Knowledge
+1
T
Knowledge Graphs
Knowledge Representation
Logic and Automated Reasoning
Machine Learning
+7
K
AI-Based Problem Solving and Planning
Distributed Control Multi-Agent Systems
Formal Methods in Verification
Logic, Reasoning, and Knowledge
+1
M
Database Systems and Data Management, With a Particular Focus on Data Quality, Data Cleaning and Access to Data.
Data Quality and Management
Advanced Database Systems and Queries
Semantic Web and Ontologies
+2
Previous
13

...

6
Next