- Opin vísindi
- →
- Háskólinn í Reykjavík
- →
- Browsing Háskólinn í Reykjavík by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Háskólinn í Reykjavík by Subject "Reasoning"
Now showing items 1-2 of 2
-
(2024-10)For any agent to effectively learn how to achieve its goals via interaction with environments, it must have causal reasoning capabilities. Causal reasoning enables an agent to predict actions’ consequences and hypothesize the necessary conditions ... -
(Springer, 2022-10-03)We propose a new type system for WebAssembly. It is a refinement of the type system from the language specification and is based on type qualifiers and subtyping. In the WebAssembly specification, a typable instruction sequence gets many different ...
Now showing items 1-2 of 2