Publications
- Considering Hierarchical Hybrid Systems for
Intelligent Animated Agents.
Eric Aaron and Dimitris Metaxas.
Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts,
LNCS 2564, 215-229, 2003.
- A Hybrid Dynamical Systems Approach to
Intelligent Low-Level Navigation.
E. Aaron, H. Sun, F. Ivancic, and D. Metaxas.
Proceedings of Computer Animation 2002, 154-163, 2002.
- Hybrid System Models of Navigation Strategies
for Games and Animations.
E. Aaron, F. Ivancic, and D. Metaxas.
Proceedings of Hybrid Systems: Computation and Control, LNCS 2289, 7-20, 2002.
- Scalable Nonlinear Dynamical Systems for Agent Steering
and Crowd Simulation.
S. Goldenstein, M. Karavelas, D. Metaxas, L. Guibas, E. Aaron, and
A. Goswami.
Computers And Graphics, 25(6), 983-998, 2001.
- A Framework for Reasoning about Animation Systems.
E. Aaron, D. Metaxas, F. Ivancic, and O. Sokolsky.
Proceedings of the Third International Workshop on Intelligent
Virtual Agents, LNAI 2190, 47-60, 2001.
- Justifying calculational logic by a
conventional metalinguistic semantics.
Eric Aaron and Stuart Allen.
Submitted to Journal of Symbolic Computation.
- Formal justification of underspecification for S5.
Eric Aaron and David Gries.
Information Processing Letters, 64, 115-121, 1997.
- Frequency vs. probability formats:
Framing the three doors problem.
Eric Aaron and Michael Spivey.
Proceedings of the Twentieth Annual Conference of the Cognitive Science
Society, 13-18, 1998.
(Technical Report version, PDF)
- Insight into theorem proving via eye movements.
Eric Aaron and Michael Spivey.
Technical Report TR99-1733, Computer Science Department,
Cornell University, 1999.
- Designing a calculational logic theorem prover:
Insight into search procedure via eye movements.
Eric Aaron and Michael Spivey.
Technical Report TR98-1680, Computer Science Department,
Cornell University, 1998.
- A User-Level Introduction to the Nuprl
Proof Development System.
Eric Aaron.
Technical Report MS-CIS-01-32, Department of Computer and
Information Science, University of Pennsylvania, 2001.
(PS version)
Return to home page
Eric Aaron,
eaaron@wesleyan.edu