{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:EOZ3L2SFWPOR25L7J6X3I6UXPW","short_pith_number":"pith:EOZ3L2SF","schema_version":"1.0","canonical_sha256":"23b3b5ea45b3dd1d757f4fafb47a977d8f876c3c754a67e806328e12a2a7967e","source":{"kind":"arxiv","id":"1804.10437","version":1},"attestation_state":"computed","paper":{"title":"Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Mario Runge, Martin Gebser, Michel Ratsch-Heitmann, Philipp Obermeier, Torsten Schaub","submitted_at":"2018-04-27T11:00:54Z","abstract_excerpt":"Automated storage and retrieval systems are principal components of modern production and warehouse facilities. In particular, automated guided vehicles nowadays substitute human-operated pallet trucks in transporting production materials between storage locations and assembly stations. While low-level control systems take care of navigating such driverless vehicles along programmed routes and avoid collisions even under unforeseen circumstances, in the common case of multiple vehicles sharing the same operation area, the problem remains how to set up routes such that a collection of transport"},"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":"1804.10437","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-27T11:00:54Z","cross_cats_sorted":[],"title_canon_sha256":"1c931e5689a46dea4efe95fd10fcce221881a811259fbce64ef923682f308ff9","abstract_canon_sha256":"6f9cd69e3f7491d7723e008721f4aa249a0f0054d4ef53688e538517d031e64f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:20.769881Z","signature_b64":"wZ/bdGdF0I70+YlfNplmI9fnybO9gw+bvRTOQ5VLNDApxWCzQmrljRyysWRTsPqo5QjdAbedDqxtanvhRLKNDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"23b3b5ea45b3dd1d757f4fafb47a977d8f876c3c754a67e806328e12a2a7967e","last_reissued_at":"2026-05-18T00:17:20.769400Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:20.769400Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Mario Runge, Martin Gebser, Michel Ratsch-Heitmann, Philipp Obermeier, Torsten Schaub","submitted_at":"2018-04-27T11:00:54Z","abstract_excerpt":"Automated storage and retrieval systems are principal components of modern production and warehouse facilities. In particular, automated guided vehicles nowadays substitute human-operated pallet trucks in transporting production materials between storage locations and assembly stations. While low-level control systems take care of navigating such driverless vehicles along programmed routes and avoid collisions even under unforeseen circumstances, in the common case of multiple vehicles sharing the same operation area, the problem remains how to set up routes such that a collection of transport"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.10437","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":"1804.10437","created_at":"2026-05-18T00:17:20.769471+00:00"},{"alias_kind":"arxiv_version","alias_value":"1804.10437v1","created_at":"2026-05-18T00:17:20.769471+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.10437","created_at":"2026-05-18T00:17:20.769471+00:00"},{"alias_kind":"pith_short_12","alias_value":"EOZ3L2SFWPOR","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_16","alias_value":"EOZ3L2SFWPOR25L7","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_8","alias_value":"EOZ3L2SF","created_at":"2026-05-18T12:32:22.470017+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/EOZ3L2SFWPOR25L7J6X3I6UXPW","json":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW.json","graph_json":"https://pith.science/api/pith-number/EOZ3L2SFWPOR25L7J6X3I6UXPW/graph.json","events_json":"https://pith.science/api/pith-number/EOZ3L2SFWPOR25L7J6X3I6UXPW/events.json","paper":"https://pith.science/paper/EOZ3L2SF"},"agent_actions":{"view_html":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW","download_json":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW.json","view_paper":"https://pith.science/paper/EOZ3L2SF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1804.10437&json=true","fetch_graph":"https://pith.science/api/pith-number/EOZ3L2SFWPOR25L7J6X3I6UXPW/graph.json","fetch_events":"https://pith.science/api/pith-number/EOZ3L2SFWPOR25L7J6X3I6UXPW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW/action/storage_attestation","attest_author":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW/action/author_attestation","sign_citation":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW/action/citation_signature","submit_replication":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW/action/replication_record"}},"created_at":"2026-05-18T00:17:20.769471+00:00","updated_at":"2026-05-18T00:17:20.769471+00:00"}