{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:EUZTHJFYML3WUV35T4XAVZR2FE","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"3124fbaf7856e871d295b6bc25a809a01c52a5d148039d276f7f66b960912ce6","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-11-19T18:57:05Z","title_canon_sha256":"508f0e4f45eeaa100fc368520e262c6970243afbde2bc2beee0bda49ef2c38c5"},"schema_version":"1.0","source":{"id":"1611.06413","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.06413","created_at":"2026-05-18T00:57:36Z"},{"alias_kind":"arxiv_version","alias_value":"1611.06413v1","created_at":"2026-05-18T00:57:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.06413","created_at":"2026-05-18T00:57:36Z"},{"alias_kind":"pith_short_12","alias_value":"EUZTHJFYML3W","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"EUZTHJFYML3WUV35","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"EUZTHJFY","created_at":"2026-05-18T12:30:15Z"}],"graph_snapshots":[{"event_id":"sha256:f326959056bc443a65b489dad5643767e9658373c5f6f17db7bfb8b740094741","target":"graph","created_at":"2026-05-18T00:57:36Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Logic-based representations of multi-agent systems have been extensively studied. In this work, we focus on the action language BC to formalize global views of MAS domains. Methodologically, we start representing the behaviour of each agent by an action description from a single agent perspective. Then, it goes through two stages that guide the modeler in composing the global view by first designating multi-agent aspects of the domain via potential conflicts and later resolving these conflicts according to the expected behaviour of the overall system. Considering that representing single agent","authors_text":"Christian Schulz-Hanke, Orkunt Sabuncu, Torsten Schaub","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-11-19T18:57:05Z","title":"Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.06413","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:cde8f384237e781e12b2364378f4a3bedc2adefd6bbc2a31550e70b87c304183","target":"record","created_at":"2026-05-18T00:57:36Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"3124fbaf7856e871d295b6bc25a809a01c52a5d148039d276f7f66b960912ce6","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-11-19T18:57:05Z","title_canon_sha256":"508f0e4f45eeaa100fc368520e262c6970243afbde2bc2beee0bda49ef2c38c5"},"schema_version":"1.0","source":{"id":"1611.06413","kind":"arxiv","version":1}},"canonical_sha256":"253333a4b862f76a577d9f2e0ae63a2910aefd91721356a047300ea25c38a1e2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"253333a4b862f76a577d9f2e0ae63a2910aefd91721356a047300ea25c38a1e2","first_computed_at":"2026-05-18T00:57:36.821981Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:57:36.821981Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JALwQOscyu78DhcTZ2D21oHyv4dPbR4tIq0uAAug8wLFhbEZXXXiwiwaBc9YD5+4hKEIjyEbE5OsdL9hJP7dDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:57:36.822489Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.06413","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cde8f384237e781e12b2364378f4a3bedc2adefd6bbc2a31550e70b87c304183","sha256:f326959056bc443a65b489dad5643767e9658373c5f6f17db7bfb8b740094741"],"state_sha256":"8d585b9293899fe27ddf5e47a16f502fe7bab62b58cfb86cba7b643d3500b84b"}