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
AI-Based Problem Solving and Planning
Bayesian Modeling and Causal Inference
Logic, Reasoning, and Knowledge
Machine Learning and Algorithms
+1
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
M
Quantum Computing
Theoretical Computer Science
Quantum Information and Cryptography
Quantum Computing Algorithms and Architecture
+3
A
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Protein Structure and Dynamics
+1
G
Logic in Computer Science
Query Evaluation in Both Closed and Open Worlds, With a Focus on View-Based Query Rewriting
Structured Data Integration, With a Focus on Entity Reference
Semantic Web and Ontologies
+4
D
Database and Information Systems
Knowledge Representation
Logic in Computer Science
Advanced Database Systems and Queries
+4
B
Computational Complexity
Cryptography
Logic in Computer Science
Theory of Computing
+5
J
Coordination and Aggregation of Autonomous Agents
Multiagent Systems
Multi-Agent Systems and Negotiation
Auction Theory and Applications
+3
M
Bayesian Networks
Influence Diagrams
Multiagent Systems
Normative Reasoning Under Uncertainty
+5
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
Stephanie Weirich

Professor ENIAC President's Distinguished Professor Computer and Information Science

Computer Science

University of Pennsylvania

Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Security and Verification in Computing
+1
Z
Zena Ariola

Associate Department Head Professor

Computer Science

University of Oregon

Lambda-Calculus
Logic
Programming Languages
Term Rewriting Systems
+5
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
J
Jean-Baptiste Jeannin

Associate Professor, Aerospace Engineering; Associate Professor (courtesy), EECS – Computer Science and Engineering

Computer Science and Engineering

University of Michigan

Autonomous Vehicle Technology and Safety
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
T
Multi-Agent Systems and Negotiation
AI-Based Problem Solving and Planning
Logic, Reasoning, and Knowledge
Reinforcement Learning in Robotics
P
AI-Based Problem Solving and Planning
Bayesian Modeling and Causal Inference
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
+1
K
AI-Based Problem Solving and Planning
Logic, Reasoning, and Knowledge
Mobile Agent-Based Network Management
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
D
Bayesian Modeling and Causal Inference
Computational Drug Discovery Methods
Constraint Satisfaction and Optimization
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
Previous
124

...

6
Next