{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:EJW5OXUR2GJH4O36DSGZ5HND6G","short_pith_number":"pith:EJW5OXUR","canonical_record":{"source":{"id":"1505.05364","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-05-20T13:26:36Z","cross_cats_sorted":[],"title_canon_sha256":"e8e801d4bb912cf6ba5940dc76c739fdbf70c6b86032649f57ddfb60405849b3","abstract_canon_sha256":"ceb28207479b0ea052d01b86f15d5150b70efdaede3e5cb6549294f70bd457be"},"schema_version":"1.0"},"canonical_sha256":"226dd75e91d1927e3b7e1c8d9e9da3f19824d3bd3893c91e23a780113761c30d","source":{"kind":"arxiv","id":"1505.05364","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.05364","created_at":"2026-05-18T02:03:56Z"},{"alias_kind":"arxiv_version","alias_value":"1505.05364v1","created_at":"2026-05-18T02:03:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.05364","created_at":"2026-05-18T02:03:56Z"},{"alias_kind":"pith_short_12","alias_value":"EJW5OXUR2GJH","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EJW5OXUR2GJH4O36","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EJW5OXUR","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:EJW5OXUR2GJH4O36DSGZ5HND6G","target":"record","payload":{"canonical_record":{"source":{"id":"1505.05364","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-05-20T13:26:36Z","cross_cats_sorted":[],"title_canon_sha256":"e8e801d4bb912cf6ba5940dc76c739fdbf70c6b86032649f57ddfb60405849b3","abstract_canon_sha256":"ceb28207479b0ea052d01b86f15d5150b70efdaede3e5cb6549294f70bd457be"},"schema_version":"1.0"},"canonical_sha256":"226dd75e91d1927e3b7e1c8d9e9da3f19824d3bd3893c91e23a780113761c30d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:03:56.677185Z","signature_b64":"3p6wwLkWf5YJ2u5AbwxKn26E9LR5Rs4fsMwW1Afu+Rk4xceIM2uLDZ43dQAW+F6SWAh3oCeKuk2Au74OrXd7Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"226dd75e91d1927e3b7e1c8d9e9da3f19824d3bd3893c91e23a780113761c30d","last_reissued_at":"2026-05-18T02:03:56.676545Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:03:56.676545Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1505.05364","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:03:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fmZwJlo+RwV43JVKVr3U+ADMZwRnAaqf/WaJnU69Topi6Ajmx95Kc0f2Qj0FE3HgiKA6Ml33uywAEfkirdDvCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T14:06:31.507060Z"},"content_sha256":"ca8792031e6cf3cc184578b3a3258a8ce5e3a2b00a46f695ff30d6b5069c54e3","schema_version":"1.0","event_id":"sha256:ca8792031e6cf3cc184578b3a3258a8ce5e3a2b00a46f695ff30d6b5069c54e3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:EJW5OXUR2GJH4O36DSGZ5HND6G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reactive Reasoning with the Event Calculus","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alexander Artikis, Georgios Paliouras, Marek Sergot","submitted_at":"2015-05-20T13:26:36Z","abstract_excerpt":"Systems for symbolic event recognition accept as input a stream of time-stamped events from sensors and other computational devices, and seek to identify high-level composite events, collections of events that satisfy some pattern. RTEC is an Event Calculus dialect with novel implementation and 'windowing' techniques that allow for efficient event recognition, scalable to large data streams. RTEC can deal with applications where event data arrive with a (variable) delay from, and are revised by, the underlying sources. RTEC can update already recognised events and recognise new events when dat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.05364","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:03:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F8M8Ov7i9JZxFGMrYoBoGHr+BRzn2nRScsRQuyMZOcM6Oq6zqHBD1a9ompZv0GiPLm8jLGlLKPTpR4smAtgaDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T14:06:31.507414Z"},"content_sha256":"19fb9525536508fb41c81a328f023ac5c559584f5fa14a97d917a38ae6a21ba3","schema_version":"1.0","event_id":"sha256:19fb9525536508fb41c81a328f023ac5c559584f5fa14a97d917a38ae6a21ba3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EJW5OXUR2GJH4O36DSGZ5HND6G/bundle.json","state_url":"https://pith.science/pith/EJW5OXUR2GJH4O36DSGZ5HND6G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EJW5OXUR2GJH4O36DSGZ5HND6G/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-02T14:06:31Z","links":{"resolver":"https://pith.science/pith/EJW5OXUR2GJH4O36DSGZ5HND6G","bundle":"https://pith.science/pith/EJW5OXUR2GJH4O36DSGZ5HND6G/bundle.json","state":"https://pith.science/pith/EJW5OXUR2GJH4O36DSGZ5HND6G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EJW5OXUR2GJH4O36DSGZ5HND6G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:EJW5OXUR2GJH4O36DSGZ5HND6G","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":"ceb28207479b0ea052d01b86f15d5150b70efdaede3e5cb6549294f70bd457be","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-05-20T13:26:36Z","title_canon_sha256":"e8e801d4bb912cf6ba5940dc76c739fdbf70c6b86032649f57ddfb60405849b3"},"schema_version":"1.0","source":{"id":"1505.05364","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.05364","created_at":"2026-05-18T02:03:56Z"},{"alias_kind":"arxiv_version","alias_value":"1505.05364v1","created_at":"2026-05-18T02:03:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.05364","created_at":"2026-05-18T02:03:56Z"},{"alias_kind":"pith_short_12","alias_value":"EJW5OXUR2GJH","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EJW5OXUR2GJH4O36","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EJW5OXUR","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:19fb9525536508fb41c81a328f023ac5c559584f5fa14a97d917a38ae6a21ba3","target":"graph","created_at":"2026-05-18T02:03:56Z","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":"Systems for symbolic event recognition accept as input a stream of time-stamped events from sensors and other computational devices, and seek to identify high-level composite events, collections of events that satisfy some pattern. RTEC is an Event Calculus dialect with novel implementation and 'windowing' techniques that allow for efficient event recognition, scalable to large data streams. RTEC can deal with applications where event data arrive with a (variable) delay from, and are revised by, the underlying sources. RTEC can update already recognised events and recognise new events when dat","authors_text":"Alexander Artikis, Georgios Paliouras, Marek Sergot","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-05-20T13:26:36Z","title":"Reactive Reasoning with the Event Calculus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.05364","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:ca8792031e6cf3cc184578b3a3258a8ce5e3a2b00a46f695ff30d6b5069c54e3","target":"record","created_at":"2026-05-18T02:03:56Z","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":"ceb28207479b0ea052d01b86f15d5150b70efdaede3e5cb6549294f70bd457be","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-05-20T13:26:36Z","title_canon_sha256":"e8e801d4bb912cf6ba5940dc76c739fdbf70c6b86032649f57ddfb60405849b3"},"schema_version":"1.0","source":{"id":"1505.05364","kind":"arxiv","version":1}},"canonical_sha256":"226dd75e91d1927e3b7e1c8d9e9da3f19824d3bd3893c91e23a780113761c30d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"226dd75e91d1927e3b7e1c8d9e9da3f19824d3bd3893c91e23a780113761c30d","first_computed_at":"2026-05-18T02:03:56.676545Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:03:56.676545Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3p6wwLkWf5YJ2u5AbwxKn26E9LR5Rs4fsMwW1Afu+Rk4xceIM2uLDZ43dQAW+F6SWAh3oCeKuk2Au74OrXd7Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:03:56.677185Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.05364","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ca8792031e6cf3cc184578b3a3258a8ce5e3a2b00a46f695ff30d6b5069c54e3","sha256:19fb9525536508fb41c81a328f023ac5c559584f5fa14a97d917a38ae6a21ba3"],"state_sha256":"6b31ada590e9fd546d5752b95f6ed63f726e0b86ad78ccdbc8a57c9d36edbbb4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QyyOspngKVTk3vcE5VU1+Rm12U6J/MnkN2+FkZht8lXHVZH+0a1t9aCQmEBNCgXh5ayRP0WzfEMlxQn7cNE1DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T14:06:31.509376Z","bundle_sha256":"48ab34a9a7cb70d53e9881acca66138977a47d7e385536bbf364af12c0d5fece"}}