{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:7XIPTLNKSWHLRUQ7OCZCH3ZBZ7","short_pith_number":"pith:7XIPTLNK","canonical_record":{"source":{"id":"2311.03340","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-11-06T18:44:55Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"5134585dde27c5c72bb979b169c210457371261def2cc68649c936b0cbb31e25","abstract_canon_sha256":"bd1b4173c74eee767462c528b55614dfb6d95fe704aa4f4d9885d93ffa6922c4"},"schema_version":"1.0"},"canonical_sha256":"fdd0f9adaa958eb8d21f70b223ef21cfd6ed71d7d2da2b970f41f3586d6d6355","source":{"kind":"arxiv","id":"2311.03340","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.03340","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"arxiv_version","alias_value":"2311.03340v3","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.03340","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"pith_short_12","alias_value":"7XIPTLNKSWHL","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"pith_short_16","alias_value":"7XIPTLNKSWHLRUQ7","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"pith_short_8","alias_value":"7XIPTLNK","created_at":"2026-07-05T07:40:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:7XIPTLNKSWHLRUQ7OCZCH3ZBZ7","target":"record","payload":{"canonical_record":{"source":{"id":"2311.03340","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-11-06T18:44:55Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"5134585dde27c5c72bb979b169c210457371261def2cc68649c936b0cbb31e25","abstract_canon_sha256":"bd1b4173c74eee767462c528b55614dfb6d95fe704aa4f4d9885d93ffa6922c4"},"schema_version":"1.0"},"canonical_sha256":"fdd0f9adaa958eb8d21f70b223ef21cfd6ed71d7d2da2b970f41f3586d6d6355","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:40:58.938073Z","signature_b64":"GhNReYYBQCftNBjI8PFF3zXj5JREdJv3aTAdc0rlKxT5JSvhGcWr60niiZRcBvD6LRazfYN096BRCNX5Q8MwDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fdd0f9adaa958eb8d21f70b223ef21cfd6ed71d7d2da2b970f41f3586d6d6355","last_reissued_at":"2026-07-05T07:40:58.937547Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:40:58.937547Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.03340","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T07:40:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K7LhRxULlkkhtFCYRCj2o/3rbAaNEul7Qmyx3zi3sVsjVN3dFcW58ycd3nkn7MFg5S4PFPi6XJ7WnlQPxrgaDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T21:03:16.330736Z"},"content_sha256":"2d8965b071997e9fc26d47c8ae3420ff1c0c6e390b3da5f2574d20221cb21cc7","schema_version":"1.0","event_id":"sha256:2d8965b071997e9fc26d47c8ae3420ff1c0c6e390b3da5f2574d20221cb21cc7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:7XIPTLNKSWHLRUQ7OCZCH3ZBZ7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multitask Kernel-based Learning with First-Order Logic Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"cs.LG","authors_text":"Leonardo Rigutini, Marco Gori, Marco Maggini, Michelangelo Diligenti","submitted_at":"2023-11-06T18:44:55Z","abstract_excerpt":"In this paper we propose a general framework to integrate supervised and unsupervised examples with background knowledge expressed by a collection of first-order logic clauses into kernel machines. In particular, we consider a multi-task learning scheme where multiple predicates defined on a set of objects are to be jointly learned from examples, enforcing a set of FOL constraints on the admissible configurations of their values. The predicates are defined on the feature spaces, in which the input objects are represented, and can be either known a priori or approximated by an appropriate kerne"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.03340","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2311.03340/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T07:40:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SlzX1z4XRkukvevpqmXdxxOcQwOMwSi1xRqik7SgpIHdNYhxTP3lGKh+6VGW4V4xKiE43qWqGWMbdKn5jSy2CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T21:03:16.331277Z"},"content_sha256":"25c5ccec7dbc6c35986f1889b690080425c6aa26f44493d74da444211045a7f1","schema_version":"1.0","event_id":"sha256:25c5ccec7dbc6c35986f1889b690080425c6aa26f44493d74da444211045a7f1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7XIPTLNKSWHLRUQ7OCZCH3ZBZ7/bundle.json","state_url":"https://pith.science/pith/7XIPTLNKSWHLRUQ7OCZCH3ZBZ7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7XIPTLNKSWHLRUQ7OCZCH3ZBZ7/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-31T21:03:16Z","links":{"resolver":"https://pith.science/pith/7XIPTLNKSWHLRUQ7OCZCH3ZBZ7","bundle":"https://pith.science/pith/7XIPTLNKSWHLRUQ7OCZCH3ZBZ7/bundle.json","state":"https://pith.science/pith/7XIPTLNKSWHLRUQ7OCZCH3ZBZ7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7XIPTLNKSWHLRUQ7OCZCH3ZBZ7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:7XIPTLNKSWHLRUQ7OCZCH3ZBZ7","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"bd1b4173c74eee767462c528b55614dfb6d95fe704aa4f4d9885d93ffa6922c4","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-11-06T18:44:55Z","title_canon_sha256":"5134585dde27c5c72bb979b169c210457371261def2cc68649c936b0cbb31e25"},"schema_version":"1.0","source":{"id":"2311.03340","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.03340","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"arxiv_version","alias_value":"2311.03340v3","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.03340","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"pith_short_12","alias_value":"7XIPTLNKSWHL","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"pith_short_16","alias_value":"7XIPTLNKSWHLRUQ7","created_at":"2026-07-05T07:40:58Z"},{"alias_kind":"pith_short_8","alias_value":"7XIPTLNK","created_at":"2026-07-05T07:40:58Z"}],"graph_snapshots":[{"event_id":"sha256:25c5ccec7dbc6c35986f1889b690080425c6aa26f44493d74da444211045a7f1","target":"graph","created_at":"2026-07-05T07:40:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2311.03340/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper we propose a general framework to integrate supervised and unsupervised examples with background knowledge expressed by a collection of first-order logic clauses into kernel machines. In particular, we consider a multi-task learning scheme where multiple predicates defined on a set of objects are to be jointly learned from examples, enforcing a set of FOL constraints on the admissible configurations of their values. The predicates are defined on the feature spaces, in which the input objects are represented, and can be either known a priori or approximated by an appropriate kerne","authors_text":"Leonardo Rigutini, Marco Gori, Marco Maggini, Michelangelo Diligenti","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-11-06T18:44:55Z","title":"Multitask Kernel-based Learning with First-Order Logic Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.03340","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2d8965b071997e9fc26d47c8ae3420ff1c0c6e390b3da5f2574d20221cb21cc7","target":"record","created_at":"2026-07-05T07:40:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"bd1b4173c74eee767462c528b55614dfb6d95fe704aa4f4d9885d93ffa6922c4","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-11-06T18:44:55Z","title_canon_sha256":"5134585dde27c5c72bb979b169c210457371261def2cc68649c936b0cbb31e25"},"schema_version":"1.0","source":{"id":"2311.03340","kind":"arxiv","version":3}},"canonical_sha256":"fdd0f9adaa958eb8d21f70b223ef21cfd6ed71d7d2da2b970f41f3586d6d6355","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fdd0f9adaa958eb8d21f70b223ef21cfd6ed71d7d2da2b970f41f3586d6d6355","first_computed_at":"2026-07-05T07:40:58.937547Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:40:58.937547Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GhNReYYBQCftNBjI8PFF3zXj5JREdJv3aTAdc0rlKxT5JSvhGcWr60niiZRcBvD6LRazfYN096BRCNX5Q8MwDg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:40:58.938073Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.03340","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2d8965b071997e9fc26d47c8ae3420ff1c0c6e390b3da5f2574d20221cb21cc7","sha256:25c5ccec7dbc6c35986f1889b690080425c6aa26f44493d74da444211045a7f1"],"state_sha256":"2c6cade5e7eb686103b86151716cf3f5fcb50a7ab8d61cfc85a21146e3fb571f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r3K9kOI0dNJJ0lrqUo/jzkd6WT2J68wrG1vNn3VtF7Pm3q7jC+sD5tX3KcMAh4kwJYciPQTA/cPONEUYn2XkBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-31T21:03:16.335358Z","bundle_sha256":"ee8393c63f2bc6967977d75a1949b84751bcdccd44b73a5ed1bad38bcfc9f7e6"}}