{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:4UKV4TYXAXLGMCFWMEU4JYHIE5","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":"2d1c06274c3c0fd135d3fcdf0b6fedd66bfe85b8fda372e0632b3daa9a53de45","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-29T15:40:10Z","title_canon_sha256":"8b40155d2244973305367a6a604d3f45f858bb010456c0e83610a8a1449baa2a"},"schema_version":"1.0","source":{"id":"2605.31444","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.31444","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.31444v1","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.31444","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"pith_short_12","alias_value":"4UKV4TYXAXLG","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"pith_short_16","alias_value":"4UKV4TYXAXLGMCFW","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"pith_short_8","alias_value":"4UKV4TYX","created_at":"2026-06-01T02:04:06Z"}],"graph_snapshots":[{"event_id":"sha256:a2982e9cc593eacc11acb9d39ce9879664c073bec24a63219d29fdfa2da212b5","target":"graph","created_at":"2026-06-01T02:04:06Z","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/2605.31444/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reinforcement Learning (RL) enables autonomous agents to learn policies from experience, but realistic problems often involve enormous state spaces, making learning and generalisation challenging. Abstraction and approximation are therefore essential. Relational Reinforcement Learning (RRL) offers a way to reason about objects and their relations, and the CARCASS framework by Martijn van Otterlo demonstrates how logical representations can model Markov Decision Processes (MDPs) in first-order domains. Originally implemented in Prolog, CARCASS leverages domain knowledge to create powerful abstr","authors_text":"Johannes Oetsch, Rafael Bankosegger, Thomas Eiter","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-29T15:40:10Z","title":"Answer-Set-Programming-based Abstractions for Reinforcement Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.31444","kind":"arxiv","version":1},"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:e6cc8c5d8de82ae7bb35fe174e325fca19c89abd48e13bbf41168d77604c4a8a","target":"record","created_at":"2026-06-01T02:04:06Z","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":"2d1c06274c3c0fd135d3fcdf0b6fedd66bfe85b8fda372e0632b3daa9a53de45","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-29T15:40:10Z","title_canon_sha256":"8b40155d2244973305367a6a604d3f45f858bb010456c0e83610a8a1449baa2a"},"schema_version":"1.0","source":{"id":"2605.31444","kind":"arxiv","version":1}},"canonical_sha256":"e5155e4f1705d66608b66129c4e0e82767cc25da34999bc771a3589593ac5f93","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e5155e4f1705d66608b66129c4e0e82767cc25da34999bc771a3589593ac5f93","first_computed_at":"2026-06-01T02:04:06.249146Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T02:04:06.249146Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a0jw2chRpzGYof8EuxD78inaDjLTrPZ7+C06zN70Gajqp9aI10jI0K2BFJnZPPiGKsDs4hfO5gCZsRmCcd4HAg==","signature_status":"signed_v1","signed_at":"2026-06-01T02:04:06.250032Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.31444","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e6cc8c5d8de82ae7bb35fe174e325fca19c89abd48e13bbf41168d77604c4a8a","sha256:a2982e9cc593eacc11acb9d39ce9879664c073bec24a63219d29fdfa2da212b5"],"state_sha256":"ca2f848cf0b526fb6dedd2545d6d8620367ee607bf34eb9b9379a035d9bb14ad"}