| 11. | :Logic and mathematics are formalisations of the way we think ( our apriori knowledge ).
|
| 12. | Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine.
|
| 13. | Various authors contributed to the further formalisation of the AgentSpeak ( L ) language, for example.
|
| 14. | Another change in the 1370s was the formalisation of the process of guarding and maintaining the walls.
|
| 15. | His 1978 paper on negation as failure was arguably the first formalisation of a non-monotonic logic.
|
| 16. | Formalisation and annual Highland gatherings began around 1820 when Sir Walter Scott encouraged the revival of Highland Culture.
|
| 17. | The formalisation defines algorithm complexity, problem complexity and reducibility which in turn allows equivalence classes to be defined.
|
| 18. | De Soto has been a strong advocate for the formalisation of the informal miners that are scattered throughout Peru.
|
| 19. | In both cases this was just a formalisation of a situation that had already existed for a long time.
|
| 20. | More recently Kripke's formalisation of possible world semantics in modal logic led to a new approach to essentialism.
|
