Andreas Franke

Learn More
Real-world applications of automated theorem proving require modern software environments that enable modularisation, networked inter-operability, robust-ness, and scalability. These requirements are met by the Agent-Oriented Programming paradigm of Distributed Artiicial Intelligence. We argue that a reasonable framework for automated theorem proving in the(More)
  • 1