{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:X7ACLPZF3UO3STL4G2W5RM6FLD","short_pith_number":"pith:X7ACLPZF","schema_version":"1.0","canonical_sha256":"bfc025bf25dd1db94d7c36add8b3c558d3f3068d6ee920e56d5e91d35da374eb","source":{"kind":"arxiv","id":"1109.5663","version":1},"attestation_state":"computed","paper":{"title":"The Deterministic Part of IPC-4: An Overview","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"J. Hoffmann, S. Edelkamp","submitted_at":"2011-09-26T18:27:26Z","abstract_excerpt":"We provide an overview of the organization and results of the deterministic part of the 4th International Planning Competition, i.e., of the part concerned with evaluating systems doing deterministic planning. IPC-4 attracted even more competing systems than its already large predecessors, and the competition event was revised in several important respects. After giving an introduction to the IPC, we briefly explain the main differences between the deterministic part of IPC-4 and its predecessors. We then introduce formally the language used, called PDDL2.2 that extends PDDL2.1 by derived pred"},"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":"1109.5663","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-09-26T18:27:26Z","cross_cats_sorted":[],"title_canon_sha256":"32409c1fdb890f0b848b5c72eeb3c77290da0c4c731a49d76d86533fb2a6db55","abstract_canon_sha256":"19ab1a77640ab8b87438b4304f5c3c218a00e34844744f3e82d059f63d8079d3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:12:19.049243Z","signature_b64":"ym64/LlZiyAnvbg3HMzKdeSc9HgBfXuimZWcFCcnTZ+GIK1tZRzgdmrZQVnFu4LwKa+jldasQmdtp0/fwQ/eAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bfc025bf25dd1db94d7c36add8b3c558d3f3068d6ee920e56d5e91d35da374eb","last_reissued_at":"2026-05-18T04:12:19.048858Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:12:19.048858Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Deterministic Part of IPC-4: An Overview","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"J. Hoffmann, S. Edelkamp","submitted_at":"2011-09-26T18:27:26Z","abstract_excerpt":"We provide an overview of the organization and results of the deterministic part of the 4th International Planning Competition, i.e., of the part concerned with evaluating systems doing deterministic planning. IPC-4 attracted even more competing systems than its already large predecessors, and the competition event was revised in several important respects. After giving an introduction to the IPC, we briefly explain the main differences between the deterministic part of IPC-4 and its predecessors. We then introduce formally the language used, called PDDL2.2 that extends PDDL2.1 by derived pred"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.5663","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":"1109.5663","created_at":"2026-05-18T04:12:19.048920+00:00"},{"alias_kind":"arxiv_version","alias_value":"1109.5663v1","created_at":"2026-05-18T04:12:19.048920+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.5663","created_at":"2026-05-18T04:12:19.048920+00:00"},{"alias_kind":"pith_short_12","alias_value":"X7ACLPZF3UO3","created_at":"2026-05-18T12:26:44.992195+00:00"},{"alias_kind":"pith_short_16","alias_value":"X7ACLPZF3UO3STL4","created_at":"2026-05-18T12:26:44.992195+00:00"},{"alias_kind":"pith_short_8","alias_value":"X7ACLPZF","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/X7ACLPZF3UO3STL4G2W5RM6FLD","json":"https://pith.science/pith/X7ACLPZF3UO3STL4G2W5RM6FLD.json","graph_json":"https://pith.science/api/pith-number/X7ACLPZF3UO3STL4G2W5RM6FLD/graph.json","events_json":"https://pith.science/api/pith-number/X7ACLPZF3UO3STL4G2W5RM6FLD/events.json","paper":"https://pith.science/paper/X7ACLPZF"},"agent_actions":{"view_html":"https://pith.science/pith/X7ACLPZF3UO3STL4G2W5RM6FLD","download_json":"https://pith.science/pith/X7ACLPZF3UO3STL4G2W5RM6FLD.json","view_paper":"https://pith.science/paper/X7ACLPZF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1109.5663&json=true","fetch_graph":"https://pith.science/api/pith-number/X7ACLPZF3UO3STL4G2W5RM6FLD/graph.json","fetch_events":"https://pith.science/api/pith-number/X7ACLPZF3UO3STL4G2W5RM6FLD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/X7ACLPZF3UO3STL4G2W5RM6FLD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/X7ACLPZF3UO3STL4G2W5RM6FLD/action/storage_attestation","attest_author":"https://pith.science/pith/X7ACLPZF3UO3STL4G2W5RM6FLD/action/author_attestation","sign_citation":"https://pith.science/pith/X7ACLPZF3UO3STL4G2W5RM6FLD/action/citation_signature","submit_replication":"https://pith.science/pith/X7ACLPZF3UO3STL4G2W5RM6FLD/action/replication_record"}},"created_at":"2026-05-18T04:12:19.048920+00:00","updated_at":"2026-05-18T04:12:19.048920+00:00"}