Zobrazeno 1 - 10
of 443
pro vyhledávání: '"Meyer, John Jules"'
Self-organization is a process where a stable pattern is formed by the cooperative behavior between parts of an initially disordered system without external control or influence. It has been introduced to multi-agent systems as an internal control pr
Externí odkaz:
http://arxiv.org/abs/2105.07648
In this work, we investigate the use of Dynamic Preference Logic to encode BDI mental attitudes. Further, exploring this codification and the representation of preferences over possible worlds by preferences over propositional formulas, here called p
Externí odkaz:
http://arxiv.org/abs/1911.05907
This paper presents a so-called maramafication of an essential part of functional programming languages such as Haskell or Clean: the construction of fully polymorphic well-typed algebraic data structures based on type definitions with at most one ty
Externí odkaz:
http://arxiv.org/abs/1812.06197
Publikováno v:
Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, 2019 Apr 01. 176(4), 1097-1118.
Externí odkaz:
https://www.jstor.org/stable/45147361
Publikováno v:
In International Journal of Approximate Reasoning January 2017 80:475-494
In this article, we present a proof-theoretical and model-theoretical approach to probabilistic logic for reasoning about uncertainty about normative state- ments. We introduce two logics with languages that extend both the language of monadic deonti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______101::7e55fb34babb6f9472e44a833708c49a
https://dspace.library.uu.nl/handle/1874/428407
https://dspace.library.uu.nl/handle/1874/428407
Publikováno v:
In Computers & Education January 2014 70:173-183
Publikováno v:
Synthese, 2012 Apr 01. 185, 83-129.
Externí odkaz:
https://www.jstor.org/stable/41477687