Ernest Davis

• Rebooting AI
• Rebooting AI
• A high level real-time programming language
• A logical framework for solid object physics
• An ontology of physical action
• Axiomatizing qualitative process theory
• Constraint propagation on real-valued quantities
• Inferring ignorance from the locality of visual perception
• Infinite loops in finite time: some observations
• Linear Algebra and Probability for Computer Science Applications
• Lucid representations
• Mathematics, Substance and Surmise