{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:7FBJAZEIIUVLX5Y2WUEUXIHAQF","short_pith_number":"pith:7FBJAZEI","schema_version":"1.0","canonical_sha256":"f942906488452abbf71ab5094ba0e0814a7d76c29c583f4d417ce80be9a1bd58","source":{"kind":"arxiv","id":"1905.10621","version":1},"attestation_state":"computed","paper":{"title":"Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jorge Fandinno, Luis Fari\\~nas del Cerro, Pedro Cabalar","submitted_at":"2019-05-25T15:52:13Z","abstract_excerpt":"Dynamic Epistemic Logic (DEL) is a family of multimodal logics that has proved to be very successful for epistemic reasoning in planning tasks. In this logic, the agent's knowledge is captured by modal epistemic operators whereas the system evolution is described in terms of (some subset of) dynamic logic modalities in which actions are usually represented as semantic objects called event models. In this paper, we study a variant of DEL, that wecall DEL[ASP], where actions are syntactically described by using an Answer Set Programming (ASP) representation instead of event models. This represen"},"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":"1905.10621","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-05-25T15:52:13Z","cross_cats_sorted":[],"title_canon_sha256":"305602e647e278fdf61e3861f90bcb910111b663ea20314fdc377b6db523d945","abstract_canon_sha256":"1a6f1b69491d5ee964fe7c5f5f285d61f640ae4fdb88c51acb592a3ed863a8a2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:07.935693Z","signature_b64":"lfHbZQ4Ghp343J424zMUyKPr10+jyBXZol30bejXWV+CLFSAlwlOVvHHLmhpo3RetYrhEeeRTTqpbrvWyXQNAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f942906488452abbf71ab5094ba0e0814a7d76c29c583f4d417ce80be9a1bd58","last_reissued_at":"2026-05-17T23:45:07.934898Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:07.934898Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jorge Fandinno, Luis Fari\\~nas del Cerro, Pedro Cabalar","submitted_at":"2019-05-25T15:52:13Z","abstract_excerpt":"Dynamic Epistemic Logic (DEL) is a family of multimodal logics that has proved to be very successful for epistemic reasoning in planning tasks. In this logic, the agent's knowledge is captured by modal epistemic operators whereas the system evolution is described in terms of (some subset of) dynamic logic modalities in which actions are usually represented as semantic objects called event models. In this paper, we study a variant of DEL, that wecall DEL[ASP], where actions are syntactically described by using an Answer Set Programming (ASP) representation instead of event models. This represen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.10621","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":"1905.10621","created_at":"2026-05-17T23:45:07.935014+00:00"},{"alias_kind":"arxiv_version","alias_value":"1905.10621v1","created_at":"2026-05-17T23:45:07.935014+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.10621","created_at":"2026-05-17T23:45:07.935014+00:00"},{"alias_kind":"pith_short_12","alias_value":"7FBJAZEIIUVL","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_16","alias_value":"7FBJAZEIIUVLX5Y2","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_8","alias_value":"7FBJAZEI","created_at":"2026-05-18T12:33:12.712433+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/7FBJAZEIIUVLX5Y2WUEUXIHAQF","json":"https://pith.science/pith/7FBJAZEIIUVLX5Y2WUEUXIHAQF.json","graph_json":"https://pith.science/api/pith-number/7FBJAZEIIUVLX5Y2WUEUXIHAQF/graph.json","events_json":"https://pith.science/api/pith-number/7FBJAZEIIUVLX5Y2WUEUXIHAQF/events.json","paper":"https://pith.science/paper/7FBJAZEI"},"agent_actions":{"view_html":"https://pith.science/pith/7FBJAZEIIUVLX5Y2WUEUXIHAQF","download_json":"https://pith.science/pith/7FBJAZEIIUVLX5Y2WUEUXIHAQF.json","view_paper":"https://pith.science/paper/7FBJAZEI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1905.10621&json=true","fetch_graph":"https://pith.science/api/pith-number/7FBJAZEIIUVLX5Y2WUEUXIHAQF/graph.json","fetch_events":"https://pith.science/api/pith-number/7FBJAZEIIUVLX5Y2WUEUXIHAQF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7FBJAZEIIUVLX5Y2WUEUXIHAQF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7FBJAZEIIUVLX5Y2WUEUXIHAQF/action/storage_attestation","attest_author":"https://pith.science/pith/7FBJAZEIIUVLX5Y2WUEUXIHAQF/action/author_attestation","sign_citation":"https://pith.science/pith/7FBJAZEIIUVLX5Y2WUEUXIHAQF/action/citation_signature","submit_replication":"https://pith.science/pith/7FBJAZEIIUVLX5Y2WUEUXIHAQF/action/replication_record"}},"created_at":"2026-05-17T23:45:07.935014+00:00","updated_at":"2026-05-17T23:45:07.935014+00:00"}