{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:3N7WFTFDBX3IYIR73MJ3UFTBMD","short_pith_number":"pith:3N7WFTFD","schema_version":"1.0","canonical_sha256":"db7f62cca30df68c223fdb13ba166160deb69f22081e61c3bb5d2395ac3e9d99","source":{"kind":"arxiv","id":"1407.1408","version":2},"attestation_state":"computed","paper":{"title":"The Complexity of Reasoning with FODD and GFODD","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.LO"],"primary_cat":"cs.AI","authors_text":"Benjamin J. Hescott, Roni Khardon","submitted_at":"2014-07-05T14:11:46Z","abstract_excerpt":"Recent work introduced Generalized First Order Decision Diagrams (GFODD) as a knowledge representation that is useful in mechanizing decision theoretic planning in relational domains. GFODDs generalize function-free first order logic and include numerical values and numerical generalizations of existential and universal quantification. Previous work presented heuristic inference algorithms for GFODDs and implemented these heuristics in systems for decision theoretic planning. In this paper, we study the complexity of the computational problems addressed by such implementations. In particular, "},"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":"1407.1408","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-07-05T14:11:46Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"c371450aadf13d3eee609c31c63af5a9f675ae6e9979648d4f9c6446de1df0d1","abstract_canon_sha256":"f6bd5d62485096c021f739a7eb4e5b3394d459c9f54f17d914f071840b319b71"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:26:45.405724Z","signature_b64":"k1+q2Ms6HC/70uMc2ipnQXgRB7hAsiXILoD865+vMGlRgbYP8rg/x1qh5MxK/3TTdUqhesLySiaSEeKSIemZAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db7f62cca30df68c223fdb13ba166160deb69f22081e61c3bb5d2395ac3e9d99","last_reissued_at":"2026-05-18T02:26:45.405144Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:26:45.405144Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Complexity of Reasoning with FODD and GFODD","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.LO"],"primary_cat":"cs.AI","authors_text":"Benjamin J. Hescott, Roni Khardon","submitted_at":"2014-07-05T14:11:46Z","abstract_excerpt":"Recent work introduced Generalized First Order Decision Diagrams (GFODD) as a knowledge representation that is useful in mechanizing decision theoretic planning in relational domains. GFODDs generalize function-free first order logic and include numerical values and numerical generalizations of existential and universal quantification. Previous work presented heuristic inference algorithms for GFODDs and implemented these heuristics in systems for decision theoretic planning. In this paper, we study the complexity of the computational problems addressed by such implementations. In particular, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.1408","kind":"arxiv","version":2},"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":"1407.1408","created_at":"2026-05-18T02:26:45.405230+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.1408v2","created_at":"2026-05-18T02:26:45.405230+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.1408","created_at":"2026-05-18T02:26:45.405230+00:00"},{"alias_kind":"pith_short_12","alias_value":"3N7WFTFDBX3I","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_16","alias_value":"3N7WFTFDBX3IYIR7","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_8","alias_value":"3N7WFTFD","created_at":"2026-05-18T12:28:11.866339+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/3N7WFTFDBX3IYIR73MJ3UFTBMD","json":"https://pith.science/pith/3N7WFTFDBX3IYIR73MJ3UFTBMD.json","graph_json":"https://pith.science/api/pith-number/3N7WFTFDBX3IYIR73MJ3UFTBMD/graph.json","events_json":"https://pith.science/api/pith-number/3N7WFTFDBX3IYIR73MJ3UFTBMD/events.json","paper":"https://pith.science/paper/3N7WFTFD"},"agent_actions":{"view_html":"https://pith.science/pith/3N7WFTFDBX3IYIR73MJ3UFTBMD","download_json":"https://pith.science/pith/3N7WFTFDBX3IYIR73MJ3UFTBMD.json","view_paper":"https://pith.science/paper/3N7WFTFD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.1408&json=true","fetch_graph":"https://pith.science/api/pith-number/3N7WFTFDBX3IYIR73MJ3UFTBMD/graph.json","fetch_events":"https://pith.science/api/pith-number/3N7WFTFDBX3IYIR73MJ3UFTBMD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3N7WFTFDBX3IYIR73MJ3UFTBMD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3N7WFTFDBX3IYIR73MJ3UFTBMD/action/storage_attestation","attest_author":"https://pith.science/pith/3N7WFTFDBX3IYIR73MJ3UFTBMD/action/author_attestation","sign_citation":"https://pith.science/pith/3N7WFTFDBX3IYIR73MJ3UFTBMD/action/citation_signature","submit_replication":"https://pith.science/pith/3N7WFTFDBX3IYIR73MJ3UFTBMD/action/replication_record"}},"created_at":"2026-05-18T02:26:45.405230+00:00","updated_at":"2026-05-18T02:26:45.405230+00:00"}