{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:2FJ4OKWNAYQIQUZPIF47D62T4T","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":"bda44d6b2cad4e1dadd9d96a9ef0ae237baf835c648217148de58e02e859ea11","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2015-08-11T18:48:39Z","title_canon_sha256":"7b1899cbb380f111c657366d9bcae2e099ffe2791e38da18d2d411a0a4e27ab0"},"schema_version":"1.0","source":{"id":"1508.02685","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.02685","created_at":"2026-05-18T01:35:28Z"},{"alias_kind":"arxiv_version","alias_value":"1508.02685v1","created_at":"2026-05-18T01:35:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.02685","created_at":"2026-05-18T01:35:28Z"},{"alias_kind":"pith_short_12","alias_value":"2FJ4OKWNAYQI","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"2FJ4OKWNAYQIQUZP","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"2FJ4OKWN","created_at":"2026-05-18T12:28:59Z"}],"graph_snapshots":[{"event_id":"sha256:9b58c78ef217af0902e20bcfce5b6c7d829e1f6959d49f2a395eb8c54d8acfac","target":"graph","created_at":"2026-05-18T01:35:28Z","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":"Within Multi Agent Systems, communication by means of Agent Communication Languages (ACLs) has a key role to play in the co-operation, co-ordination and knowledge-sharing between agents. Despite this, complex reasoning about agent messaging, and specifically about conversations between agents, tends not to have widespread support amongst general-purpose agent programming languages.\n  ACRE (Agent Communication Reasoning Engine) aims to complement the existing logical reasoning capabilities of agent programming languages with the capability of reasoning about complex interaction protocols in ord","authors_text":"David Lillis, Rem W. Collier`","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2015-08-11T18:48:39Z","title":"Augmenting Agent Platforms to Facilitate Conversation Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.02685","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:58fa3fadbe3e1f91e24fde644359c3c6bba4fc083754f71ba8db98194b4e7041","target":"record","created_at":"2026-05-18T01:35:28Z","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":"bda44d6b2cad4e1dadd9d96a9ef0ae237baf835c648217148de58e02e859ea11","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2015-08-11T18:48:39Z","title_canon_sha256":"7b1899cbb380f111c657366d9bcae2e099ffe2791e38da18d2d411a0a4e27ab0"},"schema_version":"1.0","source":{"id":"1508.02685","kind":"arxiv","version":1}},"canonical_sha256":"d153c72acd062088532f4179f1fb53e4e0977225bb9141aede0f46e6c43a6c49","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d153c72acd062088532f4179f1fb53e4e0977225bb9141aede0f46e6c43a6c49","first_computed_at":"2026-05-18T01:35:28.551984Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:28.551984Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UgY/LCRWXYXgB/W/SitP6gP4ioHLBeUM8VNh2W4b8XFl0vynJgAiYgVv0mCejaE0Ekk9jarx+QffoABKLwwKCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:28.552626Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.02685","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:58fa3fadbe3e1f91e24fde644359c3c6bba4fc083754f71ba8db98194b4e7041","sha256:9b58c78ef217af0902e20bcfce5b6c7d829e1f6959d49f2a395eb8c54d8acfac"],"state_sha256":"1d06f6e21a4d0a2920ee3e7b0b21330aa54e17c257ee66199ba075268bcf33b2"}