PAGODA

swMATH8569MaRDI QIDQ20578FDOQ20578

Author name not available (Why is that?)

Official website: http://jlambda.com/~clt/MT/06mtcoord.pdf

Described by source

• A rewriting logic framework for soft constraints

Cited In (29)

• Twenty years of rewriting logic
• Algebraic reinforcement learning. Hypothesis induction for relational reinforcement learning using term generalization.
• Reo
• 2OBJ
• VESTA
• Pirlo
• PVeStA
• Reoservice
• KLAIM
• LIME
• K-Maude
• CARIBOO
• Viptos
• Jolie
• vlogsl
• ITACA
• Which soft constraints do you prefer?
• SCEL
• SymPLFIED
• ContextJ
• A formal framework for interactive agents
• Abstract constraint data types
• A white box perspective on behavioural adaptation
• ReSpecT
• Comparing three coordination models: Reo, ARC, and PBRD
• Formal modeling of evolving self-adaptive systems
• Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems
• Comparing three coordination models: Reo, ARC, and RRD
• A homage to Martin Wirsing

This page was built for software: PAGODA