Formalisierung und Architektur von Medien und ihren Gemeinschaften

Zusammenfassung: "Medienmodell und Medienreferenzmodell werden als Modelle für Plattformen für Gemeinschaften von natürlichen und künstlichen Agenten eingeführt. Diese Modelle werden mit Logik, Rewrite Logic, Labelled Deductive Systems und Modaler Logik formalisiert. Aus dieser Formalisierung w...

Full description

Bibliographic Details
Main Authors: Lechner, Ulrike, Schmid , Beat, Klose, Martina
Other Authors: Technische Universität Dresden, Fakultät Informatik
Format: Others
Language:deu
Published: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden 2016
Subjects:
Online Access:http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-209493
http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-209493
http://www.qucosa.de/fileadmin/data/qucosa/documents/20949/151_180.pdf