GradNova

Logic, Reasoning, and Knowledge

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

S

Stuart J. Russell

Professor

Computer Science

University of California, Berkeley

Artificial Intelligence (ai)

Biosystems & Computational Biology (bio)

Control, Intelligent Systems, and Robotics (cir)

Bayesian Modeling and Causal Inference

+4

L

Assistant Professor

Computer Science

University of California, Berkeley

Complexity and Algorithms in Graphs

Logic, Reasoning, and Knowledge

Bayesian Modeling and Causal Inference

+2

R

Professor

Computer Science

University of Calgary

Advanced Algebra and Logic

Algebraic Structures and Combinatorial Models

Homotopy and Cohomology in Algebraic Topology

Logic, Programming, and Type Systems

+1

R

Roberto Giacobazzi

Professor

Computer Science

University of Arizona

Abstract Interpretation

History of Computing

Logic in Computer Science

Program Analysis and Verification

+7

J

Faculty

Computer Science

University of Alberta

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Multi-Agent Systems and Negotiation

Rough Sets and Fuzzy Logic

+1

V

Faculty

Computer Science

University of Alberta

AI-Based Problem Solving and Planning

Computability, Logic, AI Algorithms

Logic, Reasoning, and Knowledge

Reinforcement Learning in Robotics

+1

P

Paliath Narendran

Professor

Computer Science

University at Albany, State University of New York

Automated Reasoning

Pattern Matching

Symbolic Protocol Analysis

Term Rewriting Systems

+5

R

Assistant Professor

Computer Science

Tufts University

Goal and Plan Recognition

Human-Robot Interactions

Intelligent Disobedience

Multi-Agent Systems

+6

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

Assistant Professor of Instruction

Computer Science

The University of Texas at Dallas

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Multi-Agent Systems and Negotiation

Semantic Web and Ontologies

+1

G

Professor

Computer Science

The University of Texas at Dallas

Formal Methods in Verification

Logic, Reasoning, and Knowledge

Petri Nets in System Modeling

Semantic Web and Ontologies

+2

S

Assistant Professor of Instruction

Computer Science

The University of Texas at Dallas

Advanced Authentication Protocols Security

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

P

Associate Professor of Instruction

Computer Science

Temple University

Machine Learning

AI-Based Problem Solving and Planning

Computability, Logic, AI Algorithms

+3

E

Eduardo Bonelli

Teaching Professor

Computer Science

Stevens Institute of Technology

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

AI-Based Problem Solving and Planning

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

C

Corbel 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

Professor

Computer Science

Southern Illinois University Carbondale

AI-Based Problem Solving and Planning

Logic, Reasoning, and Knowledge

Multi-Agent Systems and Negotiation

Opinion Dynamics and Social Influence

+1

E

Evgenia Ternovska

Associate Professor

Computer Science

Simon Fraser University

Complexity and Algorithms in Graphs

Formal Methods in Verification

Logic, Reasoning, and Knowledge

Multi-Agent Systems and Negotiation

+1

L

Professors

Computer Science

Rutgers, The State University of New Jersey

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

Joint Appointment - Associate Professor, Graduate Program Director

Computer Science

Rensselaer Polytechnic Institute

Advanced Algebra and Logic

Computability, Logic, AI Algorithms

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

S

Selmer Bringsjord

Joint Appointment - Professor, Lab Director

Computer Science

Rensselaer Polytechnic Institute

AI-Based Problem Solving and Planning

Computability, Logic, AI Algorithms

Logic, Reasoning, and Knowledge

Philosophy and Theoretical Science

+1

J

Acting Department Head of Cognitive Science, Tetherless World Senior Constellation Professor of Computer, Web and Cognitive Science and Special Advisor to the Provost

Computer Science

Rensselaer Polytechnic Institute

Advanced Database Systems and Queries

AI-Based Problem Solving and Planning

Logic, Reasoning, and Knowledge

Semantic Web and Ontologies

+1

A

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

Associate Professor

Computer Science

Portland State University

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Parallel Computing and Optimization Techniques

+1

...