Conference paper
Representing and Reasoning with Defaults for Learning Agents
Benjamin N. Grosof
AAAI-SS 1993
A model of Communications protocols based on finite-state machines is investigated. The problem addressed is how to ensure certain generally desirable properties, which make protocols “wellformed,” that is, specify a response to those and only those events that can actually occur. It is determined to what extent the problem is solvable, and one approach to solving it ts described. © 1983, ACM. All rights reserved.
Benjamin N. Grosof
AAAI-SS 1993
S. Winograd
Journal of the ACM
Yidi Wu, Thomas Bohnstingl, et al.
ICML 2025
Shashank Ahire, Melissa Guyre, et al.
CUI 2025