{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:WMU6QF5QLXZJK3LO625A4S66MQ","short_pith_number":"pith:WMU6QF5Q","schema_version":"1.0","canonical_sha256":"b329e817b05df2956d6ef6ba0e4bde643eb7d29d55fc6bb299a9cfe6cbc62540","source":{"kind":"arxiv","id":"1105.5451","version":1},"attestation_state":"computed","paper":{"title":"The Automatic Inference of State Invariants in TIM","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"D. Long, M. Fox","submitted_at":"2011-05-27T01:49:44Z","abstract_excerpt":"As planning is applied to larger and richer domains the    effort involved in constructing domain descriptions increases and    becomes a significant burden on the human application designer. If    general planners are to be applied successfully to large and complex    domains it is necessary to provide the domain designer with some    assistance in building correctly encoded domains.  One way of doing    this is to provide domain-independent techniques for extracting, from    a domain description, knowledge that is implicit in that description    and that can assist domain designers in debugg"},"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":"1105.5451","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-05-27T01:49:44Z","cross_cats_sorted":[],"title_canon_sha256":"1665ab1f277c4ee669ff39a5a67203dbc02f6de220287a8e21d2dd59a70c9e8e","abstract_canon_sha256":"6dd4e5290dec5956462848ba3d40ac016b09afe3745e70b0023afc2240a8ee1d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:21:11.738499Z","signature_b64":"XaWl/5c2qTIT6OR9mQTgNmFmY/A1aqRvs0IF/xsrexbTfBTfOQKYDnlHDEdL/NtJ9aQAInoiTe1ILYCG2NXnAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b329e817b05df2956d6ef6ba0e4bde643eb7d29d55fc6bb299a9cfe6cbc62540","last_reissued_at":"2026-05-18T04:21:11.737742Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:21:11.737742Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Automatic Inference of State Invariants in TIM","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"D. Long, M. Fox","submitted_at":"2011-05-27T01:49:44Z","abstract_excerpt":"As planning is applied to larger and richer domains the    effort involved in constructing domain descriptions increases and    becomes a significant burden on the human application designer. If    general planners are to be applied successfully to large and complex    domains it is necessary to provide the domain designer with some    assistance in building correctly encoded domains.  One way of doing    this is to provide domain-independent techniques for extracting, from    a domain description, knowledge that is implicit in that description    and that can assist domain designers in debugg"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.5451","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1105.5451","created_at":"2026-05-18T04:21:11.737872+00:00"},{"alias_kind":"arxiv_version","alias_value":"1105.5451v1","created_at":"2026-05-18T04:21:11.737872+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.5451","created_at":"2026-05-18T04:21:11.737872+00:00"},{"alias_kind":"pith_short_12","alias_value":"WMU6QF5QLXZJ","created_at":"2026-05-18T12:26:44.992195+00:00"},{"alias_kind":"pith_short_16","alias_value":"WMU6QF5QLXZJK3LO","created_at":"2026-05-18T12:26:44.992195+00:00"},{"alias_kind":"pith_short_8","alias_value":"WMU6QF5Q","created_at":"2026-05-18T12:26:44.992195+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WMU6QF5QLXZJK3LO625A4S66MQ","json":"https://pith.science/pith/WMU6QF5QLXZJK3LO625A4S66MQ.json","graph_json":"https://pith.science/api/pith-number/WMU6QF5QLXZJK3LO625A4S66MQ/graph.json","events_json":"https://pith.science/api/pith-number/WMU6QF5QLXZJK3LO625A4S66MQ/events.json","paper":"https://pith.science/paper/WMU6QF5Q"},"agent_actions":{"view_html":"https://pith.science/pith/WMU6QF5QLXZJK3LO625A4S66MQ","download_json":"https://pith.science/pith/WMU6QF5QLXZJK3LO625A4S66MQ.json","view_paper":"https://pith.science/paper/WMU6QF5Q","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1105.5451&json=true","fetch_graph":"https://pith.science/api/pith-number/WMU6QF5QLXZJK3LO625A4S66MQ/graph.json","fetch_events":"https://pith.science/api/pith-number/WMU6QF5QLXZJK3LO625A4S66MQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WMU6QF5QLXZJK3LO625A4S66MQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WMU6QF5QLXZJK3LO625A4S66MQ/action/storage_attestation","attest_author":"https://pith.science/pith/WMU6QF5QLXZJK3LO625A4S66MQ/action/author_attestation","sign_citation":"https://pith.science/pith/WMU6QF5QLXZJK3LO625A4S66MQ/action/citation_signature","submit_replication":"https://pith.science/pith/WMU6QF5QLXZJK3LO625A4S66MQ/action/replication_record"}},"created_at":"2026-05-18T04:21:11.737872+00:00","updated_at":"2026-05-18T04:21:11.737872+00:00"}