{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:QKEYGJRBAX2BINFBXLFBZ2UOLN","short_pith_number":"pith:QKEYGJRB","canonical_record":{"source":{"id":"1503.00043","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-28T00:43:27Z","cross_cats_sorted":[],"title_canon_sha256":"f56e953c13a93f5a14c4f40997cb8902d68ae4365a40219185de44187a37dd6e","abstract_canon_sha256":"dc09550c92d5430a44640af339ea328739d0b8c96adbdd1eb1265e031913fc28"},"schema_version":"1.0"},"canonical_sha256":"828983262105f41434a1baca1cea8e5b66e78ccff6dae6a2ea3747cf250e2c2e","source":{"kind":"arxiv","id":"1503.00043","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.00043","created_at":"2026-05-18T02:25:55Z"},{"alias_kind":"arxiv_version","alias_value":"1503.00043v1","created_at":"2026-05-18T02:25:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.00043","created_at":"2026-05-18T02:25:55Z"},{"alias_kind":"pith_short_12","alias_value":"QKEYGJRBAX2B","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"QKEYGJRBAX2BINFB","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"QKEYGJRB","created_at":"2026-05-18T12:29:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:QKEYGJRBAX2BINFBXLFBZ2UOLN","target":"record","payload":{"canonical_record":{"source":{"id":"1503.00043","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-28T00:43:27Z","cross_cats_sorted":[],"title_canon_sha256":"f56e953c13a93f5a14c4f40997cb8902d68ae4365a40219185de44187a37dd6e","abstract_canon_sha256":"dc09550c92d5430a44640af339ea328739d0b8c96adbdd1eb1265e031913fc28"},"schema_version":"1.0"},"canonical_sha256":"828983262105f41434a1baca1cea8e5b66e78ccff6dae6a2ea3747cf250e2c2e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:25:55.271932Z","signature_b64":"B/sTX+vZ87qasU7tuA2Kj/FWq6D/F/SbNFoxM3gIIOqdlisf5B4hqXoggrPe0w7ppLFqUHbeb5cZK7BODtMKAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"828983262105f41434a1baca1cea8e5b66e78ccff6dae6a2ea3747cf250e2c2e","last_reissued_at":"2026-05-18T02:25:55.271372Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:25:55.271372Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.00043","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:25:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JxMOUfLxFog9xP4aHPpAohvC7ZDutH9hHPJlw78/iEy+DKV/uhKQ5hT5Q00u4J3jwOrmfQWsjXmBf3v63vjpAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T16:06:47.750803Z"},"content_sha256":"80dd91617198b2e9e7f541fd1258d4e4a0bfd6d2744ecf2fca09cf6559b09820","schema_version":"1.0","event_id":"sha256:80dd91617198b2e9e7f541fd1258d4e4a0bfd6d2744ecf2fca09cf6559b09820"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:QKEYGJRBAX2BINFBXLFBZ2UOLN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the complexity of Temporal Equilibrium Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"David Pearce, Laura Bozzelli","submitted_at":"2015-02-28T00:43:27Z","abstract_excerpt":"Temporal Equilibrium Logic (TEL) is a promising framework that extends the knowledge representation and reasoning capabilities of Answer Set Programming with temporal operators in the style of LTL. To our knowledge it is the first nonmonotonic logic that accommodates fully the syntax of a standard temporal logic (specifically LTL) without requiring further constructions. This paper provides a systematic complexity analysis for the (consistency) problem of checking the existence of a temporal equilibrium model of a TEL formula. It was previously shown that this problem in the general case lies "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.00043","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:25:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EsegEq6gikfZBm/6z1qlHNslnDJ01PDL2pQTtcgnbfbzyH504tM6wAyJC9GVq2+nKIg5EowSR0qxtyZAhM8wCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T16:06:47.751135Z"},"content_sha256":"3192e105df50b18c65e205b678619f7ca6e0ec31c3ef324ee8f4cb858b1f841e","schema_version":"1.0","event_id":"sha256:3192e105df50b18c65e205b678619f7ca6e0ec31c3ef324ee8f4cb858b1f841e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QKEYGJRBAX2BINFBXLFBZ2UOLN/bundle.json","state_url":"https://pith.science/pith/QKEYGJRBAX2BINFBXLFBZ2UOLN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QKEYGJRBAX2BINFBXLFBZ2UOLN/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-07-01T16:06:47Z","links":{"resolver":"https://pith.science/pith/QKEYGJRBAX2BINFBXLFBZ2UOLN","bundle":"https://pith.science/pith/QKEYGJRBAX2BINFBXLFBZ2UOLN/bundle.json","state":"https://pith.science/pith/QKEYGJRBAX2BINFBXLFBZ2UOLN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QKEYGJRBAX2BINFBXLFBZ2UOLN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:QKEYGJRBAX2BINFBXLFBZ2UOLN","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":"dc09550c92d5430a44640af339ea328739d0b8c96adbdd1eb1265e031913fc28","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-28T00:43:27Z","title_canon_sha256":"f56e953c13a93f5a14c4f40997cb8902d68ae4365a40219185de44187a37dd6e"},"schema_version":"1.0","source":{"id":"1503.00043","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.00043","created_at":"2026-05-18T02:25:55Z"},{"alias_kind":"arxiv_version","alias_value":"1503.00043v1","created_at":"2026-05-18T02:25:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.00043","created_at":"2026-05-18T02:25:55Z"},{"alias_kind":"pith_short_12","alias_value":"QKEYGJRBAX2B","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"QKEYGJRBAX2BINFB","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"QKEYGJRB","created_at":"2026-05-18T12:29:37Z"}],"graph_snapshots":[{"event_id":"sha256:3192e105df50b18c65e205b678619f7ca6e0ec31c3ef324ee8f4cb858b1f841e","target":"graph","created_at":"2026-05-18T02:25:55Z","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":"Temporal Equilibrium Logic (TEL) is a promising framework that extends the knowledge representation and reasoning capabilities of Answer Set Programming with temporal operators in the style of LTL. To our knowledge it is the first nonmonotonic logic that accommodates fully the syntax of a standard temporal logic (specifically LTL) without requiring further constructions. This paper provides a systematic complexity analysis for the (consistency) problem of checking the existence of a temporal equilibrium model of a TEL formula. It was previously shown that this problem in the general case lies ","authors_text":"David Pearce, Laura Bozzelli","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-28T00:43:27Z","title":"On the complexity of Temporal Equilibrium Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.00043","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:80dd91617198b2e9e7f541fd1258d4e4a0bfd6d2744ecf2fca09cf6559b09820","target":"record","created_at":"2026-05-18T02:25:55Z","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":"dc09550c92d5430a44640af339ea328739d0b8c96adbdd1eb1265e031913fc28","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-28T00:43:27Z","title_canon_sha256":"f56e953c13a93f5a14c4f40997cb8902d68ae4365a40219185de44187a37dd6e"},"schema_version":"1.0","source":{"id":"1503.00043","kind":"arxiv","version":1}},"canonical_sha256":"828983262105f41434a1baca1cea8e5b66e78ccff6dae6a2ea3747cf250e2c2e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"828983262105f41434a1baca1cea8e5b66e78ccff6dae6a2ea3747cf250e2c2e","first_computed_at":"2026-05-18T02:25:55.271372Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:25:55.271372Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"B/sTX+vZ87qasU7tuA2Kj/FWq6D/F/SbNFoxM3gIIOqdlisf5B4hqXoggrPe0w7ppLFqUHbeb5cZK7BODtMKAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:25:55.271932Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.00043","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:80dd91617198b2e9e7f541fd1258d4e4a0bfd6d2744ecf2fca09cf6559b09820","sha256:3192e105df50b18c65e205b678619f7ca6e0ec31c3ef324ee8f4cb858b1f841e"],"state_sha256":"d61bb4400daa1c341dda60ec4aef00f8c382bfebc765c9cac8ee3ed5badd36f9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zNo3yNhedcPdJpUHBs30uxFnb+me7nQOAD65Jd+d1/l7SwPMHMPPAp2wxja7D6pXcsRfyrbTeSprRXMQ3hWLAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T16:06:47.753021Z","bundle_sha256":"539df22b7fa59d3d91285e0feda70c9c923ebfe689f38857b5ffc3cbc87df253"}}