GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Logic, Reasoning, and Knowledge

Logic, Reasoning, and Knowledge

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

M
AI-Based Problem Solving and Planning
Auction Theory and Applications
Bayesian Modeling and Causal Inference
Logic, Reasoning, and Knowledge
+1
K
Complexity and Algorithms in Graphs
Cryptographic Implementations and Security
Cryptography and Data Security
Logic, Reasoning, and Knowledge
+1
A
Bayesian Modeling and Causal Inference
Gaussian Processes and Bayesian Inference
Logic, Reasoning, and Knowledge
Machine Learning and Algorithms
+1
K
AI-Based Problem Solving and Planning
Distributed Control Multi-Agent Systems
Formal Methods in Verification
Logic, Reasoning, and Knowledge
+1
M
Data Cleaning and Access to Data
Database Systems and Data Management
With a Particular Focus on Data Quality
Data Quality and Management
+4
M
Mingi Jeong

Assistant Professor, Department of Aerospace and Ocean Engineering; assistant professor by courtesy, Department of Computer Science

Computer Science

Virginia Tech

Aging, Elder Care, and Social Issues
Health, Medicine and Society
Hermeneutics and Narrative Identity
Logic, Reasoning, and Knowledge
+1
A
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Machine Learning in Bioinformatics
+1
G
Advanced Database Systems and Queries
Data Management and Algorithms
Logic, Reasoning, and Knowledge
Natural Language Processing Techniques
+1
D
Advanced Database Systems and Queries
Data Management and Algorithms
Logic, Reasoning, and Knowledge
Semantic Web and Ontologies
+1
S
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Mathematical and Theoretical Analysis
Semantic Web and Ontologies
B
Computational Complexity
Cryptography
Formal Methods
Foundations of Security
+6
B
Domain and User Models
Goal-Oriented Human-Machine Collaboration
Learning
Natural Interfaces
+6
H
Henry Kautz

Professor Emeritus of Computer Science

Computer Science

University of Rochester

Data Mining
Machine Learning
Mobile Computing
Logic, Reasoning, and Knowledge
+4
S
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Parallel Computing and Optimization Techniques
+1
Y
Constraint Satisfaction and Optimization
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
+1
J
Advanced Algebra and Logic
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
+1
G
Advanced Algebra and Logic
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
G
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Parallel Computing and Optimization Techniques
+1
K
AI-Based Problem Solving and Planning
Distributed and Parallel Computing Systems
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
+1
A
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Machine Learning and Algorithms
Reinforcement Learning in Robotics
L
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
V
Advanced Database Systems and Queries
Data Management and Algorithms
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
S
Artificial Intelligence (ai)
Biosystems & Computational Biology (bio)
Control, Intelligent Systems, and Robotics (cir)
Bayesian Modeling and Causal Inference
+4
L
Theory (thy)
Complexity and Algorithms in Graphs
Logic, Reasoning, and Knowledge
Bayesian Modeling and Causal Inference
+2
2

...

4
Next