Titlebook: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Essays Dedicated to Pedro Lopez-Garcia,John

業(yè)余愛好者

,Justifications and?a?Reconstruction of?Parity Game Solving Algorithms,fines parametrized parity games and introduces an operation, ., that determines a winning strategy for a single node. By carefully ordering . steps, we reconstruct three algorithms well known from the literature.

Immobilize

cancellous-bone

,A Discourse on?Guessing and?Reasoning,Computer Science studies the possibility of mechanizing reasoning, an activity of the human brain often confused with thinking, but more or less distinguished from guessing. This paper is devoted to considering, at not too much length, the links between thinking, guessing and reasoning.