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.

R
Advanced Algebra and Logic
Algebraic Structures and Combinatorial Models
Homotopy and Cohomology in Algebraic Topology
Logic, Programming, and Type Systems
+1
R
Abstract Interpretation
History of Computing
Logic in Computer Science
Program Analysis and Verification
+7
V
AI-Based Problem Solving and Planning
Computability, Logic, AI Algorithms
Logic, Reasoning, and Knowledge
Reinforcement Learning in Robotics
+1
P
Automated Reasoning
Pattern Matching
Symbolic Protocol Analysis
Term Rewriting Systems
+5
N
Auction Theory and Applications
Bayesian Modeling and Causal Inference
Ethics and Social Impacts of AI
Game Theory and Voting Systems
+1
C
Charles Dierbach

Associate Professor & Interim Program Director, B.S. Computer Science

Computer Science

Towson University

Artificial Intelligence (analogical Reasoning)
Computer Education
Object-Oriented Design and Development
Semantic Web and Ontologies
+4
E
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
Semantic Web and Ontologies
+1
G
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Petri Nets in System Modeling
Semantic Web and Ontologies
+2
S
Advanced Authentication Protocols Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
P
Pei Wang

Associate Professor of Instruction

Computer Science

Temple University

Instruction
Machine Learning
AI-Based Problem Solving and Planning
Computability, Logic, AI Algorithms
+3
E
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Semantic Web and Ontologies
+1
M
Michael Genesereth

Associate Professor of Computer Science

Computer Science

Stanford University

Advanced Database Systems and Queries
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
+1
C
Clark Barrett

Mizuki Asano and Thomas McGrath Professor

Computer Science

Stanford University

Adversarial Robustness in Machine Learning
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
H
AI-Based Problem Solving and Planning
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
Opinion Dynamics and Social Influence
+1
L
Auction Theory and Applications
Bayesian Modeling and Causal Inference
Game Theory and Voting Systems
Internet Traffic Analysis and Secure E-Voting
+1
T
Thomas Ferguson

Associate Professor, Graduate Program Director

Computer Science

Rensselaer Polytechnic Institute

Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Philosophy and Theoretical Science
S
AI-Based Problem Solving and Planning
Computability, Logic, AI Algorithms
Logic, Reasoning, and Knowledge
Philosophy and Theoretical Science
+1
A
Andrew Appel

Eugene Higgins Professor of Computer Science, Emeritus

Computer Science

Princeton University

Law & Public Policy
Programming Languages & Compilers
Security & Privacy
Logic, Programming, and Type Systems
+4
B
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Parallel Computing and Optimization Techniques
+1
M
Constraint Satisfaction and Optimization
E-Learning and COVID-19
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
R
Advanced Database Systems and Queries
Constraint Satisfaction and Optimization
Data Management and Algorithms
Logic, Reasoning, and Knowledge
+1
L
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Software Engineering Research
+1
N
Automated Planning and Scheduling
Computer Science Education
Machine Learning
Student Persistence in Stem
+5
J
Compilers
Functional Programming
Programming Languages
Genetic Associations and Epidemiology
+4
Previous
134
Next