Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems (Q5256354): Difference between revisions

Latest revision as of 08:16, 10 July 2024

scientific article; zbMATH DE number 6448716

Language	Label	Description	Also known as
English	Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems	scientific article; zbMATH DE number 6448716

Statements

instance of

scholarly article

0 references

title

Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems (English)

0 references

zbMATH Open document ID

1454.68148

0 references

DOI

10.1007/978-3-319-15545-6_18

0 references

0 references

0 references

0 references

Software, Services, and Systems

0 references

publication date

22 June 2015

0 references

full work available at URL

https://ir.cwi.nl/pub/23982

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

describes a project that uses

Maude

0 references

PAGODA

0 references

MaRDI profile type

MaRDI publication profile

0 references

OpenAlex ID

W71507039

0 references

cites work

A Rewriting Logic Framework for Soft Constraints

0 references

Adopt: asynchronous distributed constraint optimization with quality guarantees

0 references

Q5191330

0 references

Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing

0 references

All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.

0 references

A Distributed Logic for Networked Cyber-Physical Systems

0 references

Semantics and pragmatics of real-time maude

0 references

A calculus of quality for robustness against unreliable communication

0 references

Safety versus Security in the Quality Calculus

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5256354

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PAGODA
@@ Property / describes a project that uses: PAGODA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W71507039
@@ Property / OpenAlex ID: W71507039 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewriting Logic Framework for Soft Constraints
@@ Property / cites work: A Rewriting Logic Framework for Soft Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Adopt: asynchronous distributed constraint optimization with quality guarantees
+Normal rank
@@ Property / cites work @@
+Q5191330
@@ Property / cites work: Q5191330 / rank @@
+Normal rank
@@ Property / cites work @@
+Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+A Distributed Logic for Networked Cyber-Physical Systems
+Normal rank
@@ Property / cites work @@
+Semantics and pragmatics of real-time maude
@@ Property / cites work: Semantics and pragmatics of real-time maude / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of quality for robustness against unreliable communication
+Normal rank
@@ Property / cites work @@
+Safety versus Security in the Quality Calculus
@@ Property / cites work: Safety versus Security in the Quality Calculus / rank @@
+Normal rank