{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:UFBCFOT7EF3YTIMSIXIJSGWOK7","short_pith_number":"pith:UFBCFOT7","schema_version":"1.0","canonical_sha256":"a14222ba7f217789a19245d0991ace57d0160a198ae596c8a7886ea56aa69c23","source":{"kind":"arxiv","id":"2304.14778","version":2},"attestation_state":"computed","paper":{"title":"Metric Temporal Equilibrium Logic over Timed Traces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Anna Schuhmann, Arvid Becker, Mart\\'in Di\\'eguez, Pedro Cabalar, Torsten Schaub","submitted_at":"2023-04-28T11:39:49Z","abstract_excerpt":"In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects their relative order, it abstracts away the specific times associated with each state. However, timing constraints are important in many applications like, for instance, when planning and scheduling go hand in hand. We address this by developing a metric extension of linear-time temporal equilibrium logic, in which temporal operators are constrained by intervals over natural numbers. The resulting Metric Equilibrium "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2304.14778","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-04-28T11:39:49Z","cross_cats_sorted":[],"title_canon_sha256":"918d3cf873f4fb3894307770a7967a5860f38d2c3ad85ce4bb05b3acbeae600f","abstract_canon_sha256":"2bd679370cbc266acacd2af4a338f33191f463dc672e81e02e6d94854c4de405"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:37:31.144373Z","signature_b64":"bsTSDnHGkVn/SGkGOUzx/mEQ26JU/clhWhDguaGYbK0qF4hndc9Oe75FG7i0bDvFjC5hSEAC8+CSflE75nGNCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a14222ba7f217789a19245d0991ace57d0160a198ae596c8a7886ea56aa69c23","last_reissued_at":"2026-07-05T09:37:31.143921Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:37:31.143921Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Metric Temporal Equilibrium Logic over Timed Traces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Anna Schuhmann, Arvid Becker, Mart\\'in Di\\'eguez, Pedro Cabalar, Torsten Schaub","submitted_at":"2023-04-28T11:39:49Z","abstract_excerpt":"In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects their relative order, it abstracts away the specific times associated with each state. However, timing constraints are important in many applications like, for instance, when planning and scheduling go hand in hand. We address this by developing a metric extension of linear-time temporal equilibrium logic, in which temporal operators are constrained by intervals over natural numbers. The resulting Metric Equilibrium "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.14778","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2304.14778/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2304.14778","created_at":"2026-07-05T09:37:31.143978+00:00"},{"alias_kind":"arxiv_version","alias_value":"2304.14778v2","created_at":"2026-07-05T09:37:31.143978+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.14778","created_at":"2026-07-05T09:37:31.143978+00:00"},{"alias_kind":"pith_short_12","alias_value":"UFBCFOT7EF3Y","created_at":"2026-07-05T09:37:31.143978+00:00"},{"alias_kind":"pith_short_16","alias_value":"UFBCFOT7EF3YTIMS","created_at":"2026-07-05T09:37:31.143978+00:00"},{"alias_kind":"pith_short_8","alias_value":"UFBCFOT7","created_at":"2026-07-05T09:37:31.143978+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2506.08150","citing_title":"Compiling Metric Temporal Answer Set Programming","ref_index":6,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/UFBCFOT7EF3YTIMSIXIJSGWOK7","json":"https://pith.science/pith/UFBCFOT7EF3YTIMSIXIJSGWOK7.json","graph_json":"https://pith.science/api/pith-number/UFBCFOT7EF3YTIMSIXIJSGWOK7/graph.json","events_json":"https://pith.science/api/pith-number/UFBCFOT7EF3YTIMSIXIJSGWOK7/events.json","paper":"https://pith.science/paper/UFBCFOT7"},"agent_actions":{"view_html":"https://pith.science/pith/UFBCFOT7EF3YTIMSIXIJSGWOK7","download_json":"https://pith.science/pith/UFBCFOT7EF3YTIMSIXIJSGWOK7.json","view_paper":"https://pith.science/paper/UFBCFOT7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2304.14778&json=true","fetch_graph":"https://pith.science/api/pith-number/UFBCFOT7EF3YTIMSIXIJSGWOK7/graph.json","fetch_events":"https://pith.science/api/pith-number/UFBCFOT7EF3YTIMSIXIJSGWOK7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UFBCFOT7EF3YTIMSIXIJSGWOK7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UFBCFOT7EF3YTIMSIXIJSGWOK7/action/storage_attestation","attest_author":"https://pith.science/pith/UFBCFOT7EF3YTIMSIXIJSGWOK7/action/author_attestation","sign_citation":"https://pith.science/pith/UFBCFOT7EF3YTIMSIXIJSGWOK7/action/citation_signature","submit_replication":"https://pith.science/pith/UFBCFOT7EF3YTIMSIXIJSGWOK7/action/replication_record"}},"created_at":"2026-07-05T09:37:31.143978+00:00","updated_at":"2026-07-05T09:37:31.143978+00:00"}