Hayes and Kowalski in Edinburgh tried to reconcile the logic-based declarative approach to knowledge representation with Planner's procedural approach.
Hayes a Kowalski z Edinburské univerzity se pokusili spojit logicky založený deklarativní přístup reprezentace znalostí s procedurálním přístupem Planneru.