Search

Your search keyword '"Broersen, Jan"' showing total 305 results
Start Over Author "Broersen, Jan"
305 results on '"Broersen, Jan"'

1. A Deontic Stit Logic Based on Beliefs and Expected Utility

Author

Abarca, Aldo Iván Ramírez and Broersen, Jan

Subjects
Computer Science - Logic in Computer Science, Computer Science - Multiagent Systems
Abstract

The formalization of action and obligation using logic languages is a topic of increasing relevance in the field of ethics for AI. Having an expressive syntactic and semantic framework to reason about agents' decisions in moral situations allows for unequivocal representations of components of behavior that are relevant when assigning blame (or praise) of outcomes to said agents. Two very important components of behavior in this respect are belief and belief-based action. In this work we present a logic of doxastic oughts by extending epistemic deontic stit theory with beliefs. On one hand, the semantics for formulas involving belief operators is based on probability measures. On the other, the semantics for doxastic oughts relies on a notion of optimality, and the underlying choice rule is maximization of expected utility. We introduce an axiom system for the resulting logic, and we address its soundness, completeness, and decidability results. These results are significant in the line of research that intends to use proof systems of epistemic, doxastic, and deontic logics to help in the testing of ethical behavior of AI through theorem-proving and model-checking., Comment: In Proceedings TARK 2021, arXiv:2106.10886

Published
2021
Full Text
View/download PDF

2. A Stit Logic of Intentionality

Author

Ramírez Abarca, Aldo Iván, Broersen, Jan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Areces, Carlos, editor, and Costa, Diana, editor

Published
2023
Full Text
View/download PDF

4. Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings

Author

Abarca, Aldo Iván Ramírez and Broersen, Jan

Subjects
Computer Science - Logic in Computer Science, Mathematics - Logic
Abstract

We characterize four types of agentive knowledge using a stit semantics over branching discrete-time structures. These are \emph{ex ante} knowledge, \emph{ex interim} knowledge, \emph{ex post} knowledge, and know-how. The first three are notions that arose from game-theoretical analyses on the stages of information disclosure across the decision making process, and the fourth has gained prominence both in logics of action and in deontic logic as a means to formalize ability. In recent years, logicians in AI have argued that any comprehensive study of responsibility attribution and blameworthiness should include proper treatment of these kinds of knowledge. This paper intends to clarify previous attempts to formalize them in stit logic and to propose alternative interpretations that in our opinion are more akin to the study of responsibility in the stit tradition. The logic we present uses an extension with knowledge operators of the Xstit language, and formulas are evaluated with respect to branching discrete-time models. We also present an axiomatic system for this logic, and address its soundness and completeness.

Published
2019

5. A Logic of Objective and Subjective Oughts (full paper with proofs)

Author

Abarca, Aldo Iván Ramírez and Broersen, Jan

Subjects
Mathematics - Logic
Abstract

The relation between agentive action, knowledge, and obligation is central to the understanding of responsibility --a main topic in Artificial Intelligence. Based on the view that an appropriate formalization of said relation would contribute to the development of ethical AI, we point out the main characteristics of a logic for objective and subjective oughts that was recently introduced in the literature. This logic extends the traditional stit paradigm with deontic and epistemic operators, and provides a semantics that deals with Horty's puzzles for knowledge and obligation. We provide an axiomatization for this logic, and address its soundness and completeness with respect to a class of relevant models.

Published
2019

7. Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings

Author

Abarca, Aldo Iván Ramírez, Broersen, Jan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Soares Barbosa, Luís, editor, and Baltag, Alexandru, editor

Published
2020
Full Text
View/download PDF

9. Representing Strategies

Author

Duijf, Hein and Broersen, Jan

Subjects
Computer Science - Logic in Computer Science
Abstract

Quite some work in the ATL-tradition uses the differences between various types of strategies (positional, uniform, perfect recall) to give alternative semantics to the same logical language. This paper contributes to another perspective on strategy types, one where we characterise the differences between them on the syntactic (object language) level. This is important for a more traditional knowledge representation view on strategic content. Leaving differences between strategy types implicit in the semantics is a sensible idea if the goal is to use the strategic formalism for model checking. But, for traditional knowledge representation in terms of object language level formulas, we need to extent the language. This paper introduces a strategic STIT syntax with explicit operators for knowledge that allows us to charaterise strategy types. This more expressive strategic language is interpreted on standard ATL-type concurrent epistemic game structures. We introduce rule-based strategies in our language and fruitfully apply them to the representation and characterisation of positional and uniform strategies. Our representations highlight crucial conditions to be met for strategy types. We demonstrate the usefulness of our work by showing that it leads to a critical reexamination of coalitional uniform strategies., Comment: In Proceedings SR 2016, arXiv:1607.02694

Published
2016
Full Text
View/download PDF

10. A Logic of Objective and Subjective Oughts

Author

Ramírez Abarca, Aldo Iván, Broersen, Jan, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Calimeri, Francesco, editor, Leone, Nicola, editor, and Manna, Marco, editor

Published
2019
Full Text
View/download PDF

13. Understanding the Limits of Explainable Ethical AI.

Author

Peterson, Clayton and Broersen, Jan

Subjects
*ARTIFICIAL intelligence, *RATIONAL choice theory, *SCIENTIFIC literature, *CONSCIOUSNESS raising, *EXPECTED utility, *MULTIAGENT systems
Abstract

Artificially intelligent systems are nowadays presented as systems that should, among other things, be explainable and ethical. In parallel, both in the popular culture and within the scientific literature, there is a tendency to anthropomorphize Artificial Intelligence (AI) and reify intelligent systems as persons. From the perspective of machine ethics and ethical AI, this has resulted in the belief that truly autonomous ethical agents (i.e., machines and algorithms) can be defined, and that machines could, by themselves, behave ethically and perform actions that are justified (explainable) from a normative (ethical) standpoint. Under this assumption, and given that utilities and risks are generally seen as quantifiable, many scholars have seen consequentialism (or utilitarianism) and rational choice theory as likely candidates to be implemented in automated ethical decision procedures, for instance to assess and manage risks as well as maximize expected utility. While some see this implementation as unproblematic, there are important limitations to such attempts that need to be made explicit so that we can properly understand what artificial autonomous ethical agents are, and what they are not. From the perspective of explainable AI, there are value-laden technical choices made during the implementation of automated ethical decision procedures that cannot be explained as decisions made by the system. Building on a recent example from the machine ethics literature, we use computer simulations to study whether autonomous ethical agents can be considered as explainable AI systems. Using these simulations, we argue that technical issues with ethical ramifications leave room for reasonable disagreement even when algorithms are based on ethical and rational foundations such as consequentialism and rational choice theory. By doing so, our aim is to illustrate the limitations of automated behavior and ethical AI and, incidentally, to raise awareness on the limits of so-called autonomous ethical agents. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

15. Using STIT Theory to Talk About Strategies

Author

Broersen, Jan, Herzig, Andreas, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van Benthem, Johan, editor, Ghosh, Sujata, editor, and Verbrugge, Rineke, editor

Published
2015
Full Text
View/download PDF

16. Discussion Paper: Changing Norms Is Changing Obligation Change

Author

Broersen, Jan, Gabbay, Dov, van der Torre, Leendert, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Ågotnes, Thomas, editor, Broersen, Jan, editor, and Elgesem, Dag, editor

Published
2012
Full Text
View/download PDF

17. On Floating Conclusions

Author

Schuster, Daniela, Broersen, Jan, Prakken, Henry, Schuster, Daniela, Broersen, Jan, and Prakken, Henry

Abstract

When there are two lines of argument that contradict each other but still end up with the same conclusion, this conclusion is called a floating conclusion. It is an open topic in skeptical defeasible reasoning if floating conclusions ought to be accepted. Interestingly, the answer seems to be changing for different examples. In this paper, we propose a solution for explaining the different treatments of the floating conclusion in the various examples from the literature. We collect the examples from the literature, extend them with additional examples and test various hypotheses for explaining the difference by means of the examples. We will argue for a framework that accepts a floating conclusion by default but allows for reasons to deviate from the default in order to reject it. These reasons nicely explain the different underlying patterns of our intuitions.

Published
2023

18. Logics of Responsibility

Author

Faculteit Geesteswetenschappen, Broersen, Jan, Duijf, Hein, RAMÍREZ ABARCA, ALDO IVÁN, Faculteit Geesteswetenschappen, Broersen, Jan, Duijf, Hein, and RAMÍREZ ABARCA, ALDO IVÁN

Published
2023

19. Logics of Responsibility

Author

LS Logische methoden in de AI, OFR - Theoretical Philosophy, Broersen, Jan, Duijf, Hein, Ramirez Abarca, Aldo, LS Logische methoden in de AI, OFR - Theoretical Philosophy, Broersen, Jan, Duijf, Hein, and Ramirez Abarca, Aldo

Published
2023

20. On Floating Conclusions

Author

Sub Intelligent Systems, LS Logische methoden in de AI, OFR - Theoretical Philosophy, Intelligent Systems, Maranhão, Juliano, Peterson, Clayton, Strasser, Christian, van der Torre, Leendert, Schuster, Daniela, Broersen, Jan, Prakken, Henry, Sub Intelligent Systems, LS Logische methoden in de AI, OFR - Theoretical Philosophy, Intelligent Systems, Maranhão, Juliano, Peterson, Clayton, Strasser, Christian, van der Torre, Leendert, Schuster, Daniela, Broersen, Jan, and Prakken, Henry

Published
2023

21. Detecting and Mitigating Goal Misgeneralisation with Logical Interpretability Tools

Author

Rouwmaat, Coen, Broersen, Jan (Thesis Advisor), Rouwmaat, Coen, and Broersen, Jan (Thesis Advisor)

Abstract

This thesis expands on the problem of AI alignment, and the specific instances of misalignment. Current and future problems are discussed to stress the increasing importance of alignment, and both reward specification and goal misgeneralisation are discussed as difficulties with aligning agent behavior with the intended objective of its designer. Original research will be done by eliciting and studying properties of goal misgeneralisation in a novel collection of toy environments. Furthermore, rule induction algorithms are implemented as an interpretability tool in order to generate multiple different explanations for an agent's behavior, which can aid in detecting goal misgeneralisation.

Published
2023

22. Action, Failure and Free Will Choice in Epistemic stit Logic

Author

Broersen, Jan, Meyer, John-Jules Charles, Hendricks, Vincent F., Editor-in-chief, Symons, John, Editor-in-chief, Kuipers, Theo A.F., Series editor, Seidenfeld, Teddy, Series editor, Suppes, Patrick, Series editor, Woleński, Jan, Series editor, van Dalen, Dirk, Series editor, Lihoreau, Franck, editor, and Rebuschi, Manuel, editor

Published
2014
Full Text
View/download PDF

25. Deontic Logic

Author

Broersen, Jan, Gabbay, Dov, Herzig, Andreas, Lorini, Emiliano, Meyer, John-Jules, Parent, Xavier, van der Torre, Leendert, and Ossowski, Sascha, editor

Published
2013
Full Text
View/download PDF

26. Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

Author

Broersen, Jan, van der Torre, Leendert, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bezhanishvili, Nick, editor, and Goranko, Valentin, editor

Published
2012
Full Text
View/download PDF

27. Probabilistic Stit Logic

Author

Broersen, Jan M., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, and Liu, Weiru, editor

Published
2011
Full Text
View/download PDF

28. Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems

Author

Turrini, Paolo, Grossi, Davide, Broersen, Jan, Meyer, John-Jules Ch., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Governatori, Guido, editor, and Sartor, Giovanni, editor

Published
2010
Full Text
View/download PDF

29. Representing Excuses in Social Dependence Networks

Author

Boella, Guido, Broersen, Jan, van der Torre, Leendert, Villata, Serena, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Serra, Roberto, editor, and Cucchiara, Rita, editor

Published
2009
Full Text
View/download PDF

30. An Update Operator for Strategic Ability

Author

Turrini, Paolo, Broersen, Jan, Mastop, Rosja, Meyer, John-Jules, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, He, Xiangdong, editor, Horty, John, editor, and Pacuit, Eric, editor

Published
2009
Full Text
View/download PDF

31. Issues in Designing Logical Models for Norm Change

Author

Broersen, Jan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Vouros, George, editor, Artikis, Alexander, editor, Stathis, Kostas, editor, and Pitt, Jeremy, editor

Published
2009
Full Text
View/download PDF

32. Reasoning about Norms, Obligations, Time and Agents

Author

Broersen, Jan, van der Torre, Leendert, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Ghose, Aditya, editor, Governatori, Guido, editor, and Sadananda, Ramakoti, editor

Published
2009
Full Text
View/download PDF

38. A Logic for Closed-World Interaction

Author

Broersen, Jan, Mastop, Rosja, Meyer, John-Jules Ch., Turrini, Paolo, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Hölldobler, Steffen, editor, Lutz, Carsten, editor, and Wansing, Heinrich, editor

Published
2008
Full Text
View/download PDF

39. A STIT-Extension of ATL

Author

Broersen, Jan, Herzig, Andreas, Troquard, Nicolas, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Fisher, Michael, editor, van der Hoek, Wiebe, editor, Konev, Boris, editor, and Lisitsa, Alexei, editor

Published
2006
Full Text
View/download PDF

40. Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario

Author

Broersen, Jan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goble, Lou, editor, and Meyer, John-Jules Ch., editor

Published
2006
Full Text
View/download PDF

41. Beliefs in Agent Implementation

Author

Winkelhagen, Laurens, Dastani, Mehdi, Broersen, Jan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baldoni, Matteo, editor, Endriss, Ulle, editor, Omicini, Andrea, editor, and Torroni, Paolo, editor

Published
2006
Full Text
View/download PDF

42. Habits in COVID-19 Dutch Survey Study

Author

Zhang, Chao, Aarts, Henk, Adriaanse, Marieke, Potgieter, Renske, Tummers, Lars, Broersen, Jan, de Wit, John, de Bruin, Marijn, and renes, reint

Subjects
Other Social and Behavioral Sciences, behavior change, Health Psychology, Social Psychology, longitudinal survey, public policy, coronavirus, social distancing, Social and Behavioral Sciences, FOS: Psychology, COVID-19, intention, Psychology, autonomy, hand-washing, habit
Abstract

This is the preregistration of a large scale Dutch longitudinal survey study on habits and behavior change in the context of COVID-19. The project is conducted by researchers from Utrecht University, and is funded by the Faulty of Social and Behavioral Sciences at Utrecht University and supported by the National Institute for Public Health and Environment (RVIM).

Published
2022
Full Text
View/download PDF

43. Meeting the Deadline: Why, When and How

Author

Dignum, Frank, Broersen, Jan, Dignum, Virginia, Meyer, John-Jules, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Hinchey, Michael G., editor, Rash, James L., editor, Truszkowski, Walter F., editor, and Rouff, Christopher A., editor

Published
2005
Full Text
View/download PDF

44. On the Logic of ‘Being Motivated to Achieve ρ, Before δ’

Author

Broersen, Jan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Alferes, Jóse Júlio, editor, and Leite, João, editor

Published
2004
Full Text
View/download PDF

45. Designing a Deontic Logic of Deadlines

Author

Broersen, Jan, Dignum, Frank, Dignum, Virginia, Meyer, John-Jules Ch., Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Lomuscio, Alessio, editor, and Nute, Donald, editor

Published
2004
Full Text
View/download PDF

46. Specifying Multiagent Organizations

Author

van der Torre, Leendert, Hulstijn, Joris, Dastani, Mehdi, Broersen, Jan, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Lomuscio, Alessio, editor, and Nute, Donald, editor

Published
2004
Full Text
View/download PDF

48. Trust and Commitment in Dynamic Logic

Author

Broersen, Jan, Dastani, Mehdi, Huang, Zhisheng, van der Torre, Leendert, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Shafazand, Hassan, editor, and Tjoa, A. Min, editor

Published
2002
Full Text
View/download PDF

50. Critique of Data Science: Can data science make the scientific method obsolete?

Author

Keijzer, Hanne, Broersen, Jan (Thesis Advisor), Keijzer, Hanne, and Broersen, Jan (Thesis Advisor)

Abstract

This thesis aims to investigate the promise of data science, and will ultimately form a fundamental critique of data science. Thereby trying to start a much needed discussion of the current use of data science, and the claim that the classical scientifc method has become obsolete because of data science

Published
2022

Catalog

Books, media, physical & digital resources
See catalog results