Intelligent Systems

Filter
Chapter

Search results

  • 2023

    Dynamic Epistemic Logic for Budget-Constrained Agents

    Dolgorukov, V. & Gladyshev, M., 14 Feb 2023, Dynamic Logic. New Trends and Applications. DaLí 2022. Springer, p. 56-72 (Lecture Notes in Computer Science; vol. 13780).

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

    Open Access
    File

  • Dynamics of Causal Dependencies in Multi-agent Settings

    Gladyshev, M., Alechina, N., Dastani, M. & Doder, D., 26 Nov 2023, Engineering Multi-Agent Systems. EMAS 2023. Springer Nature, p. 95-112 (Lecture Notes in Computer Science; vol. 14378).

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

    Open Access
    File

  • Precedent-Based Reasoning with Incomplete Cases

    Odekerken, D., Bex, F. & Prakken, H., 2023, Legal Knowledge and Information Systems: Proceedings of Jurix 2023. Sileno, G., Spanakis, J. & Dijck, G. V. (eds.). IOS Press, p. 33-42 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 379).

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

    Open Access
    File
  • 2022

    Measuring the complexity of Dutch legislation

    van den Belt, T. & Prakken, H., 2022, Legal Knowledge and Information Systems. JURIX 2022: The Thirty-fifth Annual Conference.. Francesconi, E., Borges, G. & Sorge, C. (eds.). IOS Press, p. 249-254 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 362).

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

    Open Access
    File

  • Modeling Contrastiveness in Argumentation.

    Borg, A. & Bex, F., 2022, Proceedings of the 22nd Workshop on Computational Models of Natural Argument. CEUR WS, Vol. 3205. p. 1-12

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

    Open Access
    File

  • Stories about Evidence

    Bex, F. & Verheij, B., Mar 2022, Bakens in de Rechtspsychologie: Liber Amoricum voor Peter van Koppen. Horselenberg, R., Koppen, V. V. & Keijser , J. D. (eds.). 1 ed. Boom criminologie

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • 2021

    Argumentation and Evidence

    Bex, F. J., 30 Sept 2021, Philosophical Foundations of Evidence Law. Dahlman, C., Stein, A. & Tuzet, G. (eds.). Oxford University Press, p. 183–198

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

    Open Access
    File

  • Can predictive justice improve the predictability and consistency of judicial decision-making?

    Bex, F. & Prakken, H., 2021, Legal Knowledge and Information Systems. JURIX 2021: The Thirty-Fourth Annual Conference. Schweighofer, E. (ed.). IOS Press, p. 207-214 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 346).

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

    Open Access
    File

  • Challenges and Issues for Social Simulations for Crises

    Dignum, F., Jensen, M., Kammler, C., Melchior, A. & van den Hurk, M., 2021, Social Simulation for a Crisis: Results and Lessons from Simulating the COVID-19 Crisis. Dignum, F. (ed.). Cham: Springer, p. 409-426 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File

  • Conclusions

    Dignum, F., Vanhée, L., Jensen, M., Kammler, C., Mellema, R., Lorig, F., Păstrăv, C., Hurk, M. V. D., Melchior, A., Ghorbani, A., Bruin, B. D., Kreulen, K., Verhagen, H. & Davidsson, P., 2021, Social Simulation for a Crisis: Results and Lessons from Simulating the COVID-19 Crisis. Dignum, F. (ed.). 1 ed. Springer, p. 427-438 12 p. (Computational Social Sciences).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File

  • Introduction

    Dignum, F., Vanhée, L., Jensen, M., Kammler, C., Mellema, R., Lorig, F., Păstrăv, C., van den Hurk, M., Melchior, A., Ghorbani, A., de Bruin, B., Kreulen, K., Verhagen, H. & Davidsson, P., 2021, Social Simulation for a Crisis: Results and Lessons from Simulating the COVID-19 Crisis. Dignum, F. (ed.). 1 ed. Springer, p. 3-13 11 p. (Computational Social Sciences).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File

  • Logical Models of Legal Argumentation

    Prakken, H., 2021, The Handbook of Rationality. Knauff, M. & Spohn, W. (eds.). Cambridge, MA: MIT Press, p. 669-677

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

    Open Access
    File

  • Logic-based approaches to formal argumentation

    Arieli, O., Borg, A., Heyninck, J. & Straßer, C., 2021, Handbook of Formal Argumentation, volume 2. Gabbay, D., Giacomin, M., Simari , G. R. & Thimm, M. (eds.). College Publications

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

  • The Effectiveness of Closing Schools and Working at Home During the COVID-19 Crisis

    van den Hurk, M., 9 Jun 2021, Social Simulation for a Crisis: Results and Lessons from Simulating the COVID-19 Crisis. Dignum, F. (ed.). 1 ed. Cham: Springer, p. 121-138 18 p. (Computational Social Sciences ).

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

    Open Access
    File

  • Two-Phase Real-Valued Multimodal Optimization with the Hill-Valley Evolutionary Algorithm.

    Maree, S. C., Thierens, D., Alderliesten, T. & Bosman, P. A. N., 2021, Metaheuristics for Finding Multiple Solutions. Preuss, M., Epitropakis, M. G., Li, X. & Fieldsend, J. E. (eds.). Springer, p. 165-189 (Natural Computing Series).

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

    Open Access
    File
  • 2020

    Applications of Logics About Simple Probabilities

    Doder, D. & Perovic, A., 2020, Probabilistic Extensions of Various Logical Systems. Springer, p. 165 195 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • Probabilistic Temporal Logics

    Doder, D. & Perovic, A., 2020, Probabilistic Extensions of Various Logical Systems. Ognjanovic, Z. (ed.). Springer, p. 71 108 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • Rechters en raadsheren over Bayes

    Translated title of the contribution: Courts about BayesPrakken, H., 2020, Bakens in de Rechtspsychologie: Liber Amoricum voor Peter van Koppen. Horselenberg, R., van Koppen, V. & de Keijser, J. (eds.). Boom Uitgevers, p. 287-300

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
  • 2019

    AI-assisted message processing for the Netherlands National Police

    Testerink, B. J. G., Odekerken, D. & Bex, F. J., 2019, Proceedings of the ICAIL 2019 Workshop on AI and the Administrative State (AIAS 2019). CEUR WS, 4 p.

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

    Open Access

  • A method for efficient argument-based inquiry

    Odekerken, D., Testerink, B. J. G. & Bex, F. J., 2019, Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings. Springer, p. 114–125 (Lecture Notes in Artificial Intelligence).

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

    Open Access
    File
  • 2018

    Abstraction in argumentation: necessary but dangerous

    Prakken, H. & de Winter, M., 2018, Computational Models of Argument: Proceedings of COMMA 2018. Modgil, S. J., Budzynska, K. & Lawrence, J. (eds.). Amsterdam-Berlin-Washington DC: IOS Press, p. 85-96 (Frontiers in Artificial Intelligence and Applications; vol. 305).

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

    Open Access
    File

  • Abstract rule-based argumentation

    Modgil, S. & Prakken, H., 2018, Handbook of Formal Argumentation. Baroni, P., Gabbay, D., Giacomin, M. & van der Torre, L. (eds.). London, UK: College Publications, Vol. 1. p. 286-361

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

    Open Access
    File

  • Argument

    Prakken, H., 8 Nov 2018, Introduction to Formal Philosophy. Hansson, S. O. & Hendricks, V. F. (eds.). 1 ed. Cham: Springer, p. 63-79 17 p. (Springer Undergraduate Texts in Philosophy).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File

  • Historical overview of formal argumentation

    Prakken, H., 2018, Handbook of Formal Argumentation. Baroni, P., Gabbay, D., Giacomin, M. & van der Torre, L. (eds.). London, UK: College Publications, Vol. 1. p. 73-141

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

    Open Access
    File

  • Modelling support relations between arguments in debates

    Prakken, H., 2018, Argumentation-based Proofs of Endearment: Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday. Chesnevar, C., Falappa, M. A., Ferme, E., Garcia, A. J., Maguitman, A. G., Martinez, D. C., Martinez, M. V., Rodriguez, R. O. & Simari, G. I. (eds.). London, UK: College Publications, p. 349-365 17 p. (Tributes; vol. 37).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File

  • Probabilistic strength of arguments with structure

    Prakken, H., 2018, Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning. Thielscher, M., Toni, F. & Wolter, F. (eds.). Palo Alto, California: AAAI Press, p. 158-167 10 p.

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

    Open Access
    File
  • 2017

    Arguing with Stories

    Bex, F. J. & Bench-Capon, T., 2017, Narration as Argument. Olmos, P. (ed.). Springer, p. 31-45 (Argumentation Library).

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

  • Defining the structure of arguments with AI models of argumentation

    Wei, B. & Prakken, H., 2017, Argument Technologies: Theory, Analysis, and Applications. Bex, F., Grasso, F., Green, N., Paglieri, F. & Reed, C. (eds.). London: College Publications, p. 1-22 (Studies in Logic and Argumentation; vol. 68).

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

    Open Access
    File

  • Early Signals of Trending Rumor Event in Streaming Social Media

    Wang, S., Moise, I., Helbing, D. & Terano, T., 7 Sept 2017, 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC). IEEE, p. 654-659 6 p. (Proceedings - International Computer Software and Applications Conference; vol. 2).

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

  • e-Coaching for Intensive Cardiac Rehabilitation: a Requirement Analysis

    Nooitgedagt, A., Beun, R. J. & Dignum, F. P. M., 2017, PERSUASIVE 2017. 10171 ed. Springer, Vol. LNCS. p. 31-42

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

    Open Access
    File

  • Logics of argumentation and the law

    Prakken, H., 2017, Law and the New Logics. Glenn, P. H. & Smith, L. D. (eds.). Cambridge, UK: Cambridge University Press, p. 3-31 29 p.

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

    Open Access
    File

  • Reasoning About Opportunistic Propensity in Multi-agent Systems

    Luo, J., Meyer, J.-J. & Knobbout, M., 2017, Autonomous Agents and Multiagent Systems: AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers. Sukthankar, G. & Rodriguez-Aguilar, J. A. (eds.). Cham: Springer, p. 203-221 19 p. (Lecture Notes in Computer Science; vol. 10642)(Lecture Notes in Artificial Intelligence).

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

    Open Access
    File

  • The Sixth Automated Negotiating Agents Competition (ANAC 2015)

    Fujita, K., Aydogan, R., Baarslag, T., Hindriks, K., Ito, T. & Jonker, C., 18 Apr 2017, Modern Approaches to Agent-based Complex Automated Negotiation. 1 ed. Cham: Springer, (Studies in Computational Intelligence; vol. 674).

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

  • 2015

    BDI Logics

    Meyer, J. J. C., Broersen, J. M. & Herzig, A., 2015, Handbook of Logics of Knowledge and Belief . van Ditmarsch, H., Halpern, J. Y., van der Hoek, W. & Kooi, B. (eds.). College Publications, p. 453-498 46 p.

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

    Open Access
    File

  • Contextualized Planning Using Social Practices

    Dignum, V. & Dignum, F. P. M., 2015, Coordination, Organisations, Institutions and Norms in Agent Systems X: COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers. Oren, N., Telang, P., Thangarajah, J. & Ghose, A. (eds.). Springer, p. 36-52 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9372).

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

    Open Access
    File

  • Formalising debates about law-making proposals as practical reasoning

    Prakken, H., 15 Oct 2015, Logic in the Theory and Practice of Lawmaking. Araszkiewicz, M. & Płeszka, K. (eds.). 1 ed. Springer, p. 301-321 21 p. ( Legisprudence Library; vol. 2).

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

    Open Access
    File

  • On Formalizing Opportunism Based on Situation Calculus

    Luo, J., Meyer, J. J. C. & Dignum, F. P. M., 15 Nov 2015, Advances in Social Computing and Multiagent Systems: 6th International Workshop on Collaborative Agents Research and Development, CARE 2015 and Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015, Istanbul, Turkey, May 4, 2015, Revised Selected Papers. Koch, F., Guttmann, C. & Busquets, D. (eds.). Springer, p. 147-166 20 p. (Communications in Computer and Information Science; vol. 541).

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

    Open Access
    File
  • 2014

    Action, Failure and Free Will Choice in Stit Logic

    Broersen, J. M. & Meyer, J.-J., 2014, Epistemology, Context and Formalism. Lihoreau, F. & Rebuschi, M. (eds.). Springer, p. 141-168

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

  • An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems

    Sabas, A., Shankar, S., Wiels, V., Meyer, J.-J. C. & Boyer, M., 2014, Handbook of Research on Emerging Advancements and Technologies in Software Engineering . Hershey, Pennsylvania, USA: IGI Global (Information Science Publishing), p. 148 174 p. chapter 8

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

  • A stit Logic Analysis of Morally Lucky and Legally Lucky Action Outcomes

    Broersen, J., 2014, Nuel Belnap on Indeterminism and Free Action. Müller, T. (ed.). Springer, p. 75-98 (Outstanding Contributions to Logic; vol. 2).

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

    Open Access
    File

  • Dynamic Deontic Logic, Segerberg-Style

    Meyer, J.-J. C., 2014, Krister Segerberg on Logic of Actions. Trypuz, R. (ed.). Dordrecht: Springer, p. 119-132 (Outstanding Contributions to Logic; vol. 1).

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

  • Logics for Intelligent Agents and Multi-Agent Systems

    Meyer, J.-J. C., 2014, Handbook of the History of Logic. Gabbay, D. M. & Woods, J. (eds.). Amsterdam: Elsevier, Vol. 9 Computational Logic (J. Siekmann, ed.). p. 629-658

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

  • 2013

    A Formal Model of Procrastination

    Procee, R., Kamphorst, B. A., van Wissen, A. & Meyer, J.-J., 2013, The Proceedings of the 25th Benelux Conference on Artificial Intelligence (BNAIC 2013). Hindriks, K., de Weerdt, M., van Riemsdijk, B. & Warnier, M. (eds.). Delft, p. 152-159 8 p.

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

    Open Access
    File

  • Agent Communication for Believable Human-Like Interactions between Virtual Characters

    van Oijen, J. & Dignum, F. P. M., 2013, Cognitive Agents for Virtual Environments. Springer, p. 37-54 18 p. (Lecture Notes in Computer Science; no. 7764).

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

  • Agent Perception within CIGA: Performance Optimizations and Analysis

    van Oijen, J., La Poutré, J. A. & Dignum, F. P. M., 2013, Agent-Oriented Software Engineering XIII. Springer, p. 99-117 19 p. (Lecture Notes in Computer Science; no. 7852).

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

  • Agent Programming Languages Requirements for Programming Autonomous Robots

    Ziafati, P., Dastani, M. M., Meyer, J.-J. & van der Torre, L., 2013, Programming Multi-Agent Systems. Springer, p. 35-53 19 p.

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

  • Deontic Logic and Agency

    Broersen, J. M., 2013, The Encyclopedia of Philosophy and the Social Sciences. Kaldis, B. (ed.). SAGE

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

  • Herinneringen aan SDS

    Meyer, J.-J., 2013, Een Lawine van Ontwortelde Bomen (Liber Amicorum voor Doaitse Swierstra. Hage, J. & Dijkstra, A. (eds.). Utrecht: Departement Informatica, Universiteit Utrecht, p. 163 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

  • On the Reconciliation of Logics of Agency and Logics of Event Types

    Broersen, J. M., 2013, Krister Segerberg on Logic of Actions, series “Trends inLogic", subseries “Outstanding contributions to logic 1”,. Trypuz, R. (ed.). Springer, p. 41-60 20 p.

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

  • Relating ways to instantiate abstract argumentation frameworks

    Prakken, H., 2013, From Knowledge Representation to Argumentation in AI, Law and Policy Making. A Festschrift in Honour of Trevor Bench-Capon on the Occasion of his 60th Birthday. Atkinson, K. D., Prakken, H. & Wyner, A. Z. (eds.). London: College Publications, p. 167-189 23 p. (Tributes; no. 21).

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