1907 search results - page 80 / 382 » Visualizing Action Semantics |
CNSM
2010
13 years 21 days ago
2010
— Managing networks and services in large virtual enterprises often requires significant expertise to decipher and reconcile information coming from several heterogeneous sources...
ACL
2011
13 years 21 days ago
2011
ICALP
2000
Springer
14 years 20 days ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...