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
Computational Complexity
Discrete Mathematics
Logic and Computation
Proof Complexity
+5
B
Logic and Computation
Programming Language Theory
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+3
C
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Natural Language Processing Techniques
+1
B
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
Natural Language Processing Techniques
Semantic Web and Ontologies
+1
T
Toniann Pitassi

Jeffrey L. and Brenda Bleustein Professor of Engineering

Computer Science

Columbia University

Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Cryptography and Data Security
Formal Methods in Verification
+1
H
Harold Connamacher, PhD

Associate Chair , Department of Computer and Data Sciences, Case School of Engineering; Associate Professor, Department of Computer and Data Sciences, Case School of Engineering; Robert J. Herbold Professor of Transformative Teaching

Computer Science

Case Western Reserve University

Advanced Graph Theory Research
Constraint Satisfaction and Optimization
Higher Education Learning Practices
Logic, Reasoning, and Knowledge
+1
S
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Semantic Web and Ontologies
+1
V
Auction Theory and Applications
Consumer Market Behavior and Pricing
Game Theory and Applications
Game Theory and Voting Systems
+1
M
AI-Based Problem Solving and Planning
Business Process Modeling and Analysis
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
+4
I
Advanced Authentication Protocols Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
F
Access Control and Trust
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+2
H
Access Control and Trust
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
D
Architecture and Computational Design
European History and Politics
Structural Engineering and Vibration Analysis
Logic, Reasoning, and Knowledge
+4
D
Computability, Logic, AI Algorithms
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
N
Constraint Satisfaction and Optimization
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
H
Crystallization and Solubility Studies
Formal Methods in Verification
Logic, Programming, and Type Systems
Synthesis and Characterization of Novel Inorganic/organometallic Compounds
+4
A
Computability, Logic, AI Algorithms
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
A
Aaron Stump

John R. and Pamela Egan Chair of Computer Science Professor

Computer Science

Boston College

Advanced Database Systems and Queries
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
S
Human-Robot Interaction
Machine Learning
Robotics
AI-Based Problem Solving and Planning
+4
Z
Automating Courseware Development
Programming Languages
Systems Programming
Logic, Programming, and Type Systems
+4
S
Computational Social Choice
Decision-Making
Machine Learning
Game Theory and Voting Systems
+4
H
Advanced Algebra and Logic
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
C
Computability, Logic, AI Algorithms
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
S
AI-Based Problem Solving and Planning
Constraint Satisfaction and Optimization
Logic, Reasoning, and Knowledge
Reinforcement Learning in Robotics
+1
Previous
124
Next