{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:N5OVCWA6ZJJUBYHMDTXK46QY6F","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":"281021106bb3eb43f6eecc2d889a5ddff66ff5a5af60141dd057353a6101cc5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-04T16:29:47Z","title_canon_sha256":"d3eb693b30661040e1ad83ddcb1c39b2c2440e5f38e43368078447afa28bd2b3"},"schema_version":"1.0","source":{"id":"1207.1427","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.1427","created_at":"2026-05-18T03:51:37Z"},{"alias_kind":"arxiv_version","alias_value":"1207.1427v1","created_at":"2026-05-18T03:51:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.1427","created_at":"2026-05-18T03:51:37Z"},{"alias_kind":"pith_short_12","alias_value":"N5OVCWA6ZJJU","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"N5OVCWA6ZJJUBYHM","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"N5OVCWA6","created_at":"2026-05-18T12:27:16Z"}],"graph_snapshots":[{"event_id":"sha256:a51ddf8d3a587be9dab55f0cd526b73fa440af748fa49af2a54b30700af44d70","target":"graph","created_at":"2026-05-18T03:51:37Z","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":"In recent years, there has been an increased need for the use of active systems - systems required to act automatically based on events, or changes in the environment. Such systems span many areas, from active databases to applications that drive the core business processes of today's enterprises. However, in many cases, the events to which the system must respond are not generated by monitoring tools, but must be inferred from other events based on complex temporal predicates. In addition, in many applications, such inference is inherently uncertain. In this paper, we introduce a formal frame","authors_text":"Avigdor Gal, Opher Etzion, Segev Wasserkrug","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-04T16:29:47Z","title":"A Model for Reasoning with Uncertain Rules in Event Composition Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.1427","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:1594005d924f13f37f32ce2e1198e39f9ff2a2468e833756498f30d39f7c1b55","target":"record","created_at":"2026-05-18T03:51:37Z","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":"281021106bb3eb43f6eecc2d889a5ddff66ff5a5af60141dd057353a6101cc5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-04T16:29:47Z","title_canon_sha256":"d3eb693b30661040e1ad83ddcb1c39b2c2440e5f38e43368078447afa28bd2b3"},"schema_version":"1.0","source":{"id":"1207.1427","kind":"arxiv","version":1}},"canonical_sha256":"6f5d51581eca5340e0ec1ceeae7a18f16ccbb6193eb3a641ed5e0891c541e56d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6f5d51581eca5340e0ec1ceeae7a18f16ccbb6193eb3a641ed5e0891c541e56d","first_computed_at":"2026-05-18T03:51:37.102243Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:51:37.102243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YJ29U0+iGMx8sHxw7hs+wE826EfzvvHwgH50wxZFIvu5pSrKeu8ifpBo2oGlOF2lKMIVs2WwU2Hnn61UlFNlBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:51:37.102708Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.1427","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1594005d924f13f37f32ce2e1198e39f9ff2a2468e833756498f30d39f7c1b55","sha256:a51ddf8d3a587be9dab55f0cd526b73fa440af748fa49af2a54b30700af44d70"],"state_sha256":"886d93cf0e5120ae8e7d60a164a611d75184006f36d2d4fac8e6a0fa2558aa3f"}