Philip Klahr

1946

• Expert systems
• Innovative applications of artificial intelligence 4
• TWIRL
• Artificial intelligence
• Partial proofs and partial answers