Dvorak, Daniel

3 publications

AAAI 1996 Path-Based Rules in Object-Oriented Programming James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider

IJCAI 1995 Device Representation and Reasoning with Affective Relations James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider

IJCAI 1989 Model-Based Monitoring of Dynamic Systems Daniel Dvorak, Benjamin Kuipers