1 citations · 1 across the 3 of their papers we have counts for
3 papers
A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems
Jieting Luo, Beishui Liao, John-Jules Meyer
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. I…
A Dynamic Preference Logic for reasoning about Agent Programming
Marlo Souza, Álvaro Moreira, Renata Vieira +1
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 pos…
Truly Visual Polymorphic Algebraic Data Structures through Maramafication
Chide Groenouwe, Jesse Nortier, John-Jules Ch. Meyer
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 a…