POEM Potential slide-11

Approach: Computational Logic

Process information as logical expressions.

- Includes Relational Database Rules
- More than 5th Generation (Prolog)
- Includes (fast) Automatic Theorem Proving / Optimized, Restricted

- Research is on Logical Formalisms for
  - Description
  - Solving
  - Simulation
- Proven in business: online catalog merging
- AI Planning (Deductive Synthesis) to manage state change in Process Synthesis
- Current research includes Relational Nets and Differential Logic
- Includes research on user interface and usability