{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:OZPYQO2F7LUSA4B33EVXD5HPJI","short_pith_number":"pith:OZPYQO2F","schema_version":"1.0","canonical_sha256":"765f883b45fae920703bd92b71f4ef4a2f92150ba6667338311f4f0b22ca066b","source":{"kind":"arxiv","id":"1606.00133","version":1},"attestation_state":"computed","paper":{"title":"A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Andr\\'e Van Delden, Diedrich Wolter, Frank Dylla, Jae Hee Lee, Jasper Van De Ven, Thomas Schneider, Till Mossakowski","submitted_at":"2016-06-01T06:46:51Z","abstract_excerpt":"Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques range from exploiting computational properties that allow efficient reasoning to capture human cognitive concepts in a computational framework. The notion of a qualitative calculus is one of the most prominent QSTR formalisms. This article presents the first overview of all qualitative calculi developed to date and their computational properties, together with generalized definitions of the fundamental concepts and"},"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":"1606.00133","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-01T06:46:51Z","cross_cats_sorted":[],"title_canon_sha256":"bd2234ef7656ed665daea2fac2349ca73b4459b6a88bdb3eafea376492486ed9","abstract_canon_sha256":"0d3fd5b0c1e3deee87bc009ec7ae2ad0b89720d2983154fdfac4fa021b5e9063"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:05.853088Z","signature_b64":"2yVRJFX1kfG4gqLqSMQmwaECaPrsHcO+VatvYTiatQZ/bj29EvTsYThE3xJMFmBae2o/uhajzqMjf6bcyxPoAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"765f883b45fae920703bd92b71f4ef4a2f92150ba6667338311f4f0b22ca066b","last_reissued_at":"2026-05-18T01:13:05.852732Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:05.852732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Andr\\'e Van Delden, Diedrich Wolter, Frank Dylla, Jae Hee Lee, Jasper Van De Ven, Thomas Schneider, Till Mossakowski","submitted_at":"2016-06-01T06:46:51Z","abstract_excerpt":"Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques range from exploiting computational properties that allow efficient reasoning to capture human cognitive concepts in a computational framework. The notion of a qualitative calculus is one of the most prominent QSTR formalisms. This article presents the first overview of all qualitative calculi developed to date and their computational properties, together with generalized definitions of the fundamental concepts and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.00133","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":"1606.00133","created_at":"2026-05-18T01:13:05.852788+00:00"},{"alias_kind":"arxiv_version","alias_value":"1606.00133v1","created_at":"2026-05-18T01:13:05.852788+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.00133","created_at":"2026-05-18T01:13:05.852788+00:00"},{"alias_kind":"pith_short_12","alias_value":"OZPYQO2F7LUS","created_at":"2026-05-18T12:30:36.002864+00:00"},{"alias_kind":"pith_short_16","alias_value":"OZPYQO2F7LUSA4B3","created_at":"2026-05-18T12:30:36.002864+00:00"},{"alias_kind":"pith_short_8","alias_value":"OZPYQO2F","created_at":"2026-05-18T12:30:36.002864+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2605.18380","citing_title":"QSTRBench: a New Benchmark to Evaluate the Ability of Language Models to Reason with Qualitative Spatial and Temporal Calculi","ref_index":4,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI","json":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI.json","graph_json":"https://pith.science/api/pith-number/OZPYQO2F7LUSA4B33EVXD5HPJI/graph.json","events_json":"https://pith.science/api/pith-number/OZPYQO2F7LUSA4B33EVXD5HPJI/events.json","paper":"https://pith.science/paper/OZPYQO2F"},"agent_actions":{"view_html":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI","download_json":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI.json","view_paper":"https://pith.science/paper/OZPYQO2F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1606.00133&json=true","fetch_graph":"https://pith.science/api/pith-number/OZPYQO2F7LUSA4B33EVXD5HPJI/graph.json","fetch_events":"https://pith.science/api/pith-number/OZPYQO2F7LUSA4B33EVXD5HPJI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI/action/storage_attestation","attest_author":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI/action/author_attestation","sign_citation":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI/action/citation_signature","submit_replication":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI/action/replication_record"}},"created_at":"2026-05-18T01:13:05.852788+00:00","updated_at":"2026-05-18T01:13:05.852788+00:00"}