{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:OWB6LNDDNUCOMBVESP6ZPQDOOX","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":"46f18737f980d736bbe2a6419d9210122b3c30ab34c2a2e653b8bd6e2c70b811","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-09-19T16:11:49Z","title_canon_sha256":"bf62eadbc324ee87a7eb5c1f3dffe4064adb78695c808c20ce61996fb93f06dd"},"schema_version":"1.0","source":{"id":"1609.05811","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.05811","created_at":"2026-05-18T01:04:25Z"},{"alias_kind":"arxiv_version","alias_value":"1609.05811v1","created_at":"2026-05-18T01:04:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.05811","created_at":"2026-05-18T01:04:25Z"},{"alias_kind":"pith_short_12","alias_value":"OWB6LNDDNUCO","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OWB6LNDDNUCOMBVE","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OWB6LNDD","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:8200506e370dadf5a3e7d8583cd8271062792a109233a69ed404758667c39a3d","target":"graph","created_at":"2026-05-18T01:04:25Z","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 this note we consider the problem of introducing variables in temporal logic programs under the formalism of \"Temporal Equilibrium Logic\" (TEL), an extension of Answer Set Programming (ASP) for dealing with linear-time modal operators. To this aim, we provide a definition of a first-order version of TEL that shares the syntax of first-order Linear-time Temporal Logic (LTL) but has a different semantics, selecting some LTL models we call \"temporal stable models\". Then, we consider a subclass of theories (called \"splittable temporal logic programs\") that are close to usual logic programs but ","authors_text":"Concepci\\'on Vidal, Felicidad Aguado, Gilberto P\\'erez, Mart\\'in Di\\'eguez, Pedro Cabalar","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-09-19T16:11:49Z","title":"Temporal Logic Programs with Variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.05811","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:4dae74ea0c470e5893e9524996e2f072891e85522694a8acf59ce4fcfc7c7e60","target":"record","created_at":"2026-05-18T01:04:25Z","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":"46f18737f980d736bbe2a6419d9210122b3c30ab34c2a2e653b8bd6e2c70b811","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-09-19T16:11:49Z","title_canon_sha256":"bf62eadbc324ee87a7eb5c1f3dffe4064adb78695c808c20ce61996fb93f06dd"},"schema_version":"1.0","source":{"id":"1609.05811","kind":"arxiv","version":1}},"canonical_sha256":"7583e5b4636d04e606a493fd97c06e75e71b48829169b593e843a7af3a429602","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7583e5b4636d04e606a493fd97c06e75e71b48829169b593e843a7af3a429602","first_computed_at":"2026-05-18T01:04:25.236251Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:25.236251Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"P6qwxZxbPJgr4xlDoBMRrO85nUQkJ5Zl/mUNM1Wamzm8iOVsUySRL/gVv+EKfeRoE9Eg00CY1W5sMCqENDrWCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:25.236939Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.05811","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4dae74ea0c470e5893e9524996e2f072891e85522694a8acf59ce4fcfc7c7e60","sha256:8200506e370dadf5a3e7d8583cd8271062792a109233a69ed404758667c39a3d"],"state_sha256":"35c923b0224015b9b8dd34c898142b587ad7cc3e0a46dd87ff838e7b4ea14404"}