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.

H
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
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
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
Explainable Artificial Intelligence (xai)
Logic, Reasoning, and Knowledge
+1
C
<p>my Current Research&nbsp;focus Is in on Cognition and Intelligence; in Particular on Understanding Natural Language
And Biological and Health Sciences.</p><p>in Natural Language Processing (nlp)
And Multi-Modal Documents; Using Knowledge in That Understanding; and Applying That Understanding to Cybersecurity
And Neuro-Symbolic Approaches to Nlp.</p><p>in Vision
+11
Previous
1

...

5