John F. Horty

• Agency and Deontic Logic
• Frege on definitions
• Q and a on agreements between general hospitals and long-term care facilities
• Reasoning About Mental States Formal Theories and Applications
• Reasons As Defaults
• Searching statutory law by computer