Rachel Dudley

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 1

Top Topics

Logic Programming

Analogical Reasoning

Reasoning Problems

Top Venues

Publications

Rachel Dudley, Ágnes Kovács, Erno Teglas
12-month-olds' reasoning via negation. CogSci (2023)
Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel Dudley, Richard Scott Erwin
Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems. FM (2012)