https://a-burigana.github.io/2025-11-18T00:00:00+00:00https://a-burigana.github.io/tags/bisimulation-contractions/2025-11-18T00:00:00+00:00https://a-burigana.github.io/tags/bounded-bisimulations/2025-11-18T00:00:00+00:00https://a-burigana.github.io/tags/daedalus/2025-11-18T00:00:00+00:00https://a-burigana.github.io/papers/2025-11-14-kr/2025-11-18T00:00:00+00:00https://a-burigana.github.io/tags/dynamic-epistemic-logic/2025-11-18T00:00:00+00:00https://a-burigana.github.io/tags/epistemic-planning/2025-11-18T00:00:00+00:00https://a-burigana.github.io/papers/2025-11-18T00:00:00+00:00https://a-burigana.github.io/tags/2025-11-18T00:00:00+00:00https://a-burigana.github.io/location/2024-11-12T00:00:00+00:00https://a-burigana.github.io/tags/collaborative-processes/2024-11-12T00:00:00+00:00https://a-burigana.github.io/tags/conformance-checking/2024-11-12T00:00:00+00:00https://a-burigana.github.io/tags/data-petri-nets/2024-11-12T00:00:00+00:00https://a-burigana.github.io/papers/2024-09-02-bpm/2024-11-12T00:00:00+00:00https://a-burigana.github.io/tags/local-alignments/2024-11-12T00:00:00+00:00https://a-burigana.github.io/papers/2024-08-01-aiml/2024-11-12T00:00:00+00:00https://a-burigana.github.io/tags/kripke-models/2024-11-12T00:00:00+00:00https://a-burigana.github.io/tags/modal-logic/2024-11-12T00:00:00+00:00https://a-burigana.github.io/officehours/2024-05-08T00:00:00+00:00https://a-burigana.github.io/papers/2023-10-18-ecai/2024-11-12T00:00:00+00:00https://a-burigana.github.io/tags/decidability/2024-11-12T00:00:00+00:00https://a-burigana.github.io/papers/2023-09-24-jelia/2024-11-12T00:00:00+00:00https://a-burigana.github.io/tags/possibilities/2024-11-14T00:00:00+00:00https://a-burigana.github.io/projects/daedalus/2024-11-14T00:00:00+00:00https://a-burigana.github.io/tags/epistemic-planner/2024-11-14T00:00:00+00:00https://a-burigana.github.io/projects/2024-11-14T00:00:00+00:00https://a-burigana.github.io/tags/action-description-language/2022-11-29T00:00:00+00:00https://a-burigana.github.io/papers/2022-11-29-ips/2022-11-29T00:00:00+00:00https://a-burigana.github.io/papers/2022-11-28-overlay/2022-11-28T00:00:00+00:00https://a-burigana.github.io/tags/deception/2024-11-13T00:00:00+00:00https://a-burigana.github.io/papers/2021-10-25-pricai/2024-11-13T00:00:00+00:00https://a-burigana.github.io/tags/trust/2024-11-13T00:00:00+00:00https://a-burigana.github.io/tags/answer-set-programming/2024-11-14T00:00:00+00:00https://a-burigana.github.io/projects/delphic/2024-11-14T00:00:00+00:00https://a-burigana.github.io/papers/2020-09-21-tplp/2024-11-13T00:00:00+00:00https://a-burigana.github.io/papers/2020-06-01-icaps/2024-11-12T00:00:00+00:00https://a-burigana.github.io/projects/plato/2024-11-14T00:00:00+00:00https://a-burigana.github.io/projects/efp/2024-11-14T00:00:00+00:00https://a-burigana.github.io/archive/https://a-burigana.github.io/dissemination/https://a-burigana.github.io/dissemination/2025-11-11-icaps-tutorial/https://a-burigana.github.io/tags/tutorial/