{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:EOLVTMWBNOGUOBRXH7EDUTJGPS","short_pith_number":"pith:EOLVTMWB","schema_version":"1.0","canonical_sha256":"239759b2c16b8d4706373fc83a4d267cb65ef3dc3cf8228ece91777ed8e09f3e","source":{"kind":"arxiv","id":"1404.6368","version":1},"attestation_state":"computed","paper":{"title":"Inference in the FO(C) Modelling Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bart Bogaerts, Jan Van den Bussche, Joost Vennekens, Marc Denecker","submitted_at":"2014-04-25T09:38:46Z","abstract_excerpt":"Recently, FO(C), the integration of C-Log with classical logic, was introduced as a knowledge representation language. Up to this point, no systems exist that perform inference on FO(C), and very little is known about properties of inference in FO(C). In this paper, we study both of the above problems. We define normal forms for FO(C), one of which corresponds to FO(ID). We define transformations between these normal forms, and show that, using these transformations, several inference tasks for FO(C) can be reduced to inference tasks for FO(ID), for which solvers exist. We implemented a protot"},"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":"1404.6368","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-25T09:38:46Z","cross_cats_sorted":[],"title_canon_sha256":"41f770100aee0e7dcc338fb83ce03eb948c60138948ef8554c7739ae45145abb","abstract_canon_sha256":"2c9314f6ab0eb85e087ea6c6ec5d3f14124553ff26d859e5cfc3a5983a7ea4b2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:53:16.692280Z","signature_b64":"9nhPP3wXRPDXDsWCY5+1+SfXLsz7uqYLzSz8Yd4MhEfjqdYqa0p/0ij9yRlL+EhlLlmN5Phx3QN+V87qt6KyAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"239759b2c16b8d4706373fc83a4d267cb65ef3dc3cf8228ece91777ed8e09f3e","last_reissued_at":"2026-05-18T02:53:16.691581Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:53:16.691581Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Inference in the FO(C) Modelling Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bart Bogaerts, Jan Van den Bussche, Joost Vennekens, Marc Denecker","submitted_at":"2014-04-25T09:38:46Z","abstract_excerpt":"Recently, FO(C), the integration of C-Log with classical logic, was introduced as a knowledge representation language. Up to this point, no systems exist that perform inference on FO(C), and very little is known about properties of inference in FO(C). In this paper, we study both of the above problems. We define normal forms for FO(C), one of which corresponds to FO(ID). We define transformations between these normal forms, and show that, using these transformations, several inference tasks for FO(C) can be reduced to inference tasks for FO(ID), for which solvers exist. We implemented a protot"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.6368","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":"1404.6368","created_at":"2026-05-18T02:53:16.691697+00:00"},{"alias_kind":"arxiv_version","alias_value":"1404.6368v1","created_at":"2026-05-18T02:53:16.691697+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.6368","created_at":"2026-05-18T02:53:16.691697+00:00"},{"alias_kind":"pith_short_12","alias_value":"EOLVTMWBNOGU","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_16","alias_value":"EOLVTMWBNOGUOBRX","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_8","alias_value":"EOLVTMWB","created_at":"2026-05-18T12:28:28.263976+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/EOLVTMWBNOGUOBRXH7EDUTJGPS","json":"https://pith.science/pith/EOLVTMWBNOGUOBRXH7EDUTJGPS.json","graph_json":"https://pith.science/api/pith-number/EOLVTMWBNOGUOBRXH7EDUTJGPS/graph.json","events_json":"https://pith.science/api/pith-number/EOLVTMWBNOGUOBRXH7EDUTJGPS/events.json","paper":"https://pith.science/paper/EOLVTMWB"},"agent_actions":{"view_html":"https://pith.science/pith/EOLVTMWBNOGUOBRXH7EDUTJGPS","download_json":"https://pith.science/pith/EOLVTMWBNOGUOBRXH7EDUTJGPS.json","view_paper":"https://pith.science/paper/EOLVTMWB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1404.6368&json=true","fetch_graph":"https://pith.science/api/pith-number/EOLVTMWBNOGUOBRXH7EDUTJGPS/graph.json","fetch_events":"https://pith.science/api/pith-number/EOLVTMWBNOGUOBRXH7EDUTJGPS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EOLVTMWBNOGUOBRXH7EDUTJGPS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EOLVTMWBNOGUOBRXH7EDUTJGPS/action/storage_attestation","attest_author":"https://pith.science/pith/EOLVTMWBNOGUOBRXH7EDUTJGPS/action/author_attestation","sign_citation":"https://pith.science/pith/EOLVTMWBNOGUOBRXH7EDUTJGPS/action/citation_signature","submit_replication":"https://pith.science/pith/EOLVTMWBNOGUOBRXH7EDUTJGPS/action/replication_record"}},"created_at":"2026-05-18T02:53:16.691697+00:00","updated_at":"2026-05-18T02:53:16.691697+00:00"}