{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:4JBZTQ5QGMTA7GVG4T22NKBSCS","short_pith_number":"pith:4JBZTQ5Q","schema_version":"1.0","canonical_sha256":"e24399c3b033260f9aa6e4f5a6a83214a07d2979edc1ff57d751c59e9f178276","source":{"kind":"arxiv","id":"1209.3916","version":1},"attestation_state":"computed","paper":{"title":"Qualitative Modelling via Constraint Programming: Past, Present and Future","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","math.DS","q-bio.CB"],"primary_cat":"cs.CE","authors_text":"Christoffer A. Jefferson, Ian Miguel, Ian P. Gent, Lars Kotthoff, Peter Nightingale, Stephen A. Linton, Thomas W. Kelsey","submitted_at":"2012-09-18T11:57:44Z","abstract_excerpt":"Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without estimating parameter values and fixing the exact quantitative dynamics. Traditional applications are the study of the dynamics of physical and biological systems at a higher level of abstraction than that obtained by estimation of numerical parameter values for a fixed quantitative model. Qualitative modelling has been studied and implemented to varying degrees of sophistica"},"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":"1209.3916","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2012-09-18T11:57:44Z","cross_cats_sorted":["cs.AI","math.DS","q-bio.CB"],"title_canon_sha256":"dfc63b6406996d7b6cd9d56584c8fb2a4898673813a5c6fa59ec534761f69d53","abstract_canon_sha256":"677ff79886857350b321076f1d0f2ad7a46433eb71e248270aae0de1edb41b9f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:45:22.244580Z","signature_b64":"WhsUwE1+xNmzhxQ9SzV0wT1+eYQkC56P79oPtWW3Y6CsyuaMI/Zn9Of13xXEMKPf2TH5iiLvkF4/8yi+jF/mDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e24399c3b033260f9aa6e4f5a6a83214a07d2979edc1ff57d751c59e9f178276","last_reissued_at":"2026-05-18T03:45:22.244123Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:45:22.244123Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Qualitative Modelling via Constraint Programming: Past, Present and Future","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","math.DS","q-bio.CB"],"primary_cat":"cs.CE","authors_text":"Christoffer A. Jefferson, Ian Miguel, Ian P. Gent, Lars Kotthoff, Peter Nightingale, Stephen A. Linton, Thomas W. Kelsey","submitted_at":"2012-09-18T11:57:44Z","abstract_excerpt":"Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without estimating parameter values and fixing the exact quantitative dynamics. Traditional applications are the study of the dynamics of physical and biological systems at a higher level of abstraction than that obtained by estimation of numerical parameter values for a fixed quantitative model. Qualitative modelling has been studied and implemented to varying degrees of sophistica"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.3916","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":"1209.3916","created_at":"2026-05-18T03:45:22.244195+00:00"},{"alias_kind":"arxiv_version","alias_value":"1209.3916v1","created_at":"2026-05-18T03:45:22.244195+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.3916","created_at":"2026-05-18T03:45:22.244195+00:00"},{"alias_kind":"pith_short_12","alias_value":"4JBZTQ5QGMTA","created_at":"2026-05-18T12:26:53.410803+00:00"},{"alias_kind":"pith_short_16","alias_value":"4JBZTQ5QGMTA7GVG","created_at":"2026-05-18T12:26:53.410803+00:00"},{"alias_kind":"pith_short_8","alias_value":"4JBZTQ5Q","created_at":"2026-05-18T12:26:53.410803+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/4JBZTQ5QGMTA7GVG4T22NKBSCS","json":"https://pith.science/pith/4JBZTQ5QGMTA7GVG4T22NKBSCS.json","graph_json":"https://pith.science/api/pith-number/4JBZTQ5QGMTA7GVG4T22NKBSCS/graph.json","events_json":"https://pith.science/api/pith-number/4JBZTQ5QGMTA7GVG4T22NKBSCS/events.json","paper":"https://pith.science/paper/4JBZTQ5Q"},"agent_actions":{"view_html":"https://pith.science/pith/4JBZTQ5QGMTA7GVG4T22NKBSCS","download_json":"https://pith.science/pith/4JBZTQ5QGMTA7GVG4T22NKBSCS.json","view_paper":"https://pith.science/paper/4JBZTQ5Q","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1209.3916&json=true","fetch_graph":"https://pith.science/api/pith-number/4JBZTQ5QGMTA7GVG4T22NKBSCS/graph.json","fetch_events":"https://pith.science/api/pith-number/4JBZTQ5QGMTA7GVG4T22NKBSCS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4JBZTQ5QGMTA7GVG4T22NKBSCS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4JBZTQ5QGMTA7GVG4T22NKBSCS/action/storage_attestation","attest_author":"https://pith.science/pith/4JBZTQ5QGMTA7GVG4T22NKBSCS/action/author_attestation","sign_citation":"https://pith.science/pith/4JBZTQ5QGMTA7GVG4T22NKBSCS/action/citation_signature","submit_replication":"https://pith.science/pith/4JBZTQ5QGMTA7GVG4T22NKBSCS/action/replication_record"}},"created_at":"2026-05-18T03:45:22.244195+00:00","updated_at":"2026-05-18T03:45:22.244195+00:00"}