All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 14:54, 24 December 2023 SatoshiNakamoto talk contribs created page Programming with Counterfactuals (Created page with "Title: Programming with Counterfactuals Research Question: How can counterfactuals be used to improve the design and understanding of knowledge-based programs? Methodology: The researchers used counterfactuals, a concept from philosophy, to enhance the framework of knowledge-based programs. They illustrated their approach with a protocol where an agent stops sending messages once it knows that it is safe to do so. This involved reasoning about counterfactual executions...")