OFR - Theoretical Philosophy

Filter
Conference contribution

Search results

  • 2024

    A Logic of Weighted Reasons for Explainable Inference in AI

    Pandzic, S. & Graff, J., 10 Jul 2024, Explainable Artificial Intelligence - Second World Conference, xAI 2024, Proceedings: Second World Conference, xAI 2024, Valletta, Malta, July 17–19, 2024, Proceedings, Part II. Longo, L., Lapuschkin, S. & Seifert, C. (eds.). Springer, p. 243-267 25 p. (Communications in Computer and Information Science; vol. 2154 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Arimaa Is PSPACE-Hard

    Rin, B. G. & Schipper, A., Jun 2024, 12th International Conference on Fun with Algorithms, FUN 2024. Broder, A. Z. & Tamir, T. (eds.). Dagstuhl Publishing, 24 p. 27. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 291).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • SIDEs: Separating Idealization from Deceptive 'Explanations' in xAI

    Sullivan, E., 3 Jun 2024, 2024 ACM Conference on Fairness, Accountability, and Transparency, FAccT 2024. Association for Computing Machinery, p. 1714-1724 11 p. (2024 ACM Conference on Fairness, Accountability, and Transparency, FAccT 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2023

    A new calculus for intuitionistic Strong Loeb logic: strong termination and cut-elimination, formalised

    Shilito, I., van der Giessen, I., Gore, R. & Iemhoff, R., 14 Sept 2023, Automated Reasoning with Analytic Tableaux and Related Methods. Springer, p. 73-93 (Lecture Notes in Computer Science; vol. 14278).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Numeric Default Logic as a Framework for Ethical AI

    Graff, J., 5 Jul 2023, Deontic Logic and Normative Systems: 16th International Conference, DEON 2023. College Publications, p. 235-256

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • On Floating Conclusions

    Schuster, D., Broersen, J. & Prakken, H., 2023, Proceedings of th e16th International Conference on Deontic Logics and Normative Systems. Maranhão, J., Peterson, C., Strasser, C. & van der Torre, L. (eds.). College Publications, p. 199-215

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2022

    BOID*: Autonomous Goal Deliberation through Abduction

    Pandžić, S., Broersen, J. M. & Aarts, H., 2022, AAMAS '22: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1019-1027 (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Disjunctivism about inner experience

    Lievers, M., 10 Jul 2022, Aristotelian Society/Mind Association Joint Session St. Andres 2022.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Uniform Lyndon interpolation for intuitionistic monotone modal logic

    Akbar Tabatabai, A., Iemhoff, R. & Jalali Keshavarz, R., 2022, Advances in Modal Logic . College Publications, Vol. 14. p. 77-96

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
  • 2021

    Exploring a Result by Ghilardi: Projective Formulas vs. the Extension Property

    van der Giessen, I., 2021, The Logica Yearbook 2020. Blicha, M. & Sedlár, I. (eds.). Rickmansworth: College Publications, UK, p. 97-113

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Improving Confidence in the Estimation of Values and Norms

    Siebert, L. C., Mercuur, R., Dignum, V., Hoven, J. V. D. & Jonker, C. M., 2021, Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIII. COIN COINE 2017 2020. Springer, p. 98-113

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Uniform interpolation via Nested Sequents

    van der Giessen, I., Kuznets, R. & Jalali Keshavarz, R., 2021, Workshop on Logic, Language, Information and Computation (WoLLIC 2021). Silva, A., Wassermann, R. & de Queiroz, R. (eds.). Springer, Vol. LNTCS 13038. p. 337-354 (LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Uniform Lyndon Interpolation for Basic Non-normal Modal Logics

    Iemhoff, R., Akbartabatabai, S. & Jalali Keshavarz, R., 2021, Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. Silva, A., Wassermann, R. & de Queiroz, R. (eds.). 1 ed. Springer, p. 287-301 (Lecture Notes in Computer Science; vol. 13038).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2019

    Abstracting Causal Models

    Beckers, S. L. & Halpern, J. Y., 17 Jul 2019, Proceedings of the 33rd AAAI Conference on Artificial Intelligence. p. 2678-2685 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2018

    Realistic agents with social practices

    Mercuur, R., 1 Jan 2018, 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 3. p. 1752-1754 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2017

    Remarks on simple proofs

    Iemhoff, R., 2017, Simplicity: Ideals of Practice in Mathematics and the Arts. Kossak, R. & Ording, P. (eds.). Springer, p. 143-151 (Mathematics, Culture, and the Arts).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2016

    An Exact Truthmaker Semantics for Permission and Obligation

    Korbmacher, J., Anglberger, A. & Faroldi, F. L. G., 2016, Deontic Logic and Normative Systems: 13th International Conference, DEON 2016, Bayreuth, Germany,. Roy, O., Tamminga, A. & Willer, M. (eds.). London, UK: College Publications, p. 16-31 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Representing strategies

    Duijf, H. W. A. & Broersen, J. M., 10 Jul 2016, Strategic Reasoning. Lomuscio, A. & Vardi, M. Y. (eds.). Open Publishing Association, p. 15-26 12 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File