References of "Markovich, Réka 50033241"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailEnhancing Trust in Trust Services: Towards an Intelligent Human-input-based Blockchain Oracle (IHiBO)
Yu, Liuwen UL; Zichichi, Mirko; Markovich, Réka UL et al

in Proceedings of the 55th Annual Hawaii International Conference on System Sciences (2022, January)

As their name suggests, trust is of crucial importance in ‘‘trust service". Nevertheless, in many cases, these services suffer from a lack transparency, documentation, traceability, and inclusive multi ... [more ▼]

As their name suggests, trust is of crucial importance in ‘‘trust service". Nevertheless, in many cases, these services suffer from a lack transparency, documentation, traceability, and inclusive multi-lateral decision-making mechanisms. To overcome these challenges, in this paper we propose an integrated framework which incorporates formal argumentation and negotiation within a blockchain environment to make the decision-making processes of fund management transparent and traceable. We introduce three possible architectures and we evaluate and compare them considering different technical, financial, and legal aspects. [less ▲]

Detailed reference viewed: 10 (0 UL)
Full Text
See detailNew-Generation AIs Reasoning about Norms and Values
Markovich, Réka UL; Najjar, Amro UL; van der Torre, Leon UL

in Logics for New-Generation AI 2021 (2021)

Detailed reference viewed: 22 (0 UL)
Full Text
Peer Reviewed
See detailCause of Action and the Right to Know
Markovich, Réka UL; Roy, Olivier

in Legal Knowledge and Information Systems (2021)

Detailed reference viewed: 13 (0 UL)
Full Text
Peer Reviewed
See detailFormalizing the Right to Know – Epistemic Rights as Normative Positions
Markovich, Réka UL; Roy, Olivier

in Logics for New-Generation AI 2021 (2021)

Detailed reference viewed: 16 (0 UL)
Full Text
Peer Reviewed
See detailA Logical Analysis of Freedom of Thought
Markovich, Réka UL; Roy, Olivier

in Deontic Logic and Normative Systems (2021)

Detailed reference viewed: 17 (0 UL)
See detailTowards AI Logic for Social Reasoning
Dong, Huimin; Markovich, Réka UL; van der Torre, Leon UL

E-print/Working paper (2021)

Artificial Intelligence (AI) logic formalizes the reasoning of intelligent agents. In this paper, we discuss how an argumentation-based AI logic could be used also to formalize important aspects of social ... [more ▼]

Artificial Intelligence (AI) logic formalizes the reasoning of intelligent agents. In this paper, we discuss how an argumentation-based AI logic could be used also to formalize important aspects of social reasoning. Besides reasoning about the knowledge and actions of individual agents, social AI logic can reason also about social dependencies among agents using the rights, obligations and permissions of the agents. We discuss four aspects of social AI logic. First, we discuss how rights represent relations between the obligations and permissions of intelligent agents. Second, we discuss how to argue about the right-to-know, a central issue in the recent discussion of privacy and ethics. Third, we discuss how a wide variety of conflicts among intelligent agents can be identified and (sometimes) resolved by comparing formal arguments. Importantly, to cover a wide range of arguments occurring in daily life, also fallacious arguments can be represented and reasoned about. Fourth, we discuss how to argue about the freedom to act for intelligent agents. Examples from social, legal and ethical reasoning highlight the challenges in developing social AI logic. The discussion of the four challenges leads to a research program for argumentation-based social AI logic, contributing towards the future development of AI logic. [less ▲]

Detailed reference viewed: 9 (0 UL)
Full Text
Peer Reviewed
See detailArgumentation in Trust Services within a Blockchain Environment
Yu, Liuwen UL; Zichichi, Mirko; Najjar, Amro UL et al

in Leiva, Luis A.; Pruski, Cedric; Najjar, Amro (Eds.) et al Proceedings of the 33rd Benelux Conference on Artificial Intelligence and the 30th Belgian Dutch Conference on Machine Learning (BNAIC/BENELEARN 2021) (2021)

Both argumentation and trust concern multi-lateral uncertainties, while argumentation owns the ability to enhance trust in many ways. In the field of trust service where the trustee administers financial ... [more ▼]

Both argumentation and trust concern multi-lateral uncertainties, while argumentation owns the ability to enhance trust in many ways. In the field of trust service where the trustee administers financial assets on behalf of principals, trust is an indispensable element. Often, the trustees withhold the investment plans and of which the decision-making process from their principals such that these services lack of transparency, documentation, traceability, and inclusive decision-making mechanisms. In this paper, we integrate formal argumentation within a blockchain framework. Both argumentation and blockchain have distinctive features that complement each other. They together make the decision-making of the trustees transparent and traceable in order to gain trust and confidence in principals. We introduce three possible architectures and we evaluate and compare them considering different technical, financial, and legal aspects. Specifically, we discuss the role of argumentation in building trust between trustees and their principals. [less ▲]

Detailed reference viewed: 13 (0 UL)
Full Text
See detailProceedings of BNAIC/BeneLearn 2021
Leiva, Luis A. UL; Pruski, Cedric UL; Markovich, Réka UL et al

Book published by BnL (2021)

Detailed reference viewed: 85 (18 UL)
Full Text
See detailArtificial Intelligence in Space
Long, George Anthony; Santos, Cristiana; Rapp, Lucien et al

E-print/Working paper (2020)

Detailed reference viewed: 82 (2 UL)
Full Text
Peer Reviewed
See detailMining and Reasoning with Legal Texts – MIREL 2019
Casini, Giovanni UL; Di Caro, Luigi; Governatori, Guido et al

in CEUR Workshop Proceedings (2020)

Detailed reference viewed: 50 (0 UL)
Full Text
Peer Reviewed
See detailInterpretation of Support among Arguments
Yu, Liuwen; Markovich, Réka UL; van der Torre, Leon UL

in Legal Knowledge and Information Systems – Frontiers in Artificial Intelligence and Application Series (2020)

Detailed reference viewed: 55 (4 UL)
Full Text
Peer Reviewed
See detailLegal Data Actions
Syi, ; Hamp, Gábor; Markovich, Réka UL

in Jusletter IT (2020)

Detailed reference viewed: 43 (1 UL)
Full Text
Peer Reviewed
See detailDeveloping AI Logic for Social Reasoning
Dong, Huimin; Markovich, Réka UL; van der Torre, Leon UL

in Journal of Zhejiang University (2020)

Detailed reference viewed: 61 (2 UL)
Full Text
Peer Reviewed
See detailOn the Formal Structure of Rules in Conflict of Laws
Markovich, Réka UL

in Legal Knowledge and Information Systems 2019 (proceedings) (2019, December)

Law has different methods and principles to resolve conflicts between norms, most of these come from Roman Law, they are well-known and much discussed. There is a whole branch of law, though, which is ... [more ▼]

Law has different methods and principles to resolve conflicts between norms, most of these come from Roman Law, they are well-known and much discussed. There is a whole branch of law, though, which is much less discussed while having been created exactly in order to resolve special conflicts: conflict of laws. This system within Private International Law is dedicated to providing metarules in legal situations where more than one national legal systems’ rules could be applied: CoL rules indirectly settle the situation by declaring which one’s should. The formal representation of how these rules work contributes not only to the modelling of this branch of law but also provides methodologies for concerns arising from other conflicting normative systems, such as ethically sensitive situations where there are multiple stakeholders with different moral backgrounds. [less ▲]

Detailed reference viewed: 123 (9 UL)
Full Text
Peer Reviewed
See detailFrom Classical to Non-monotonic Deontic Logic Using ASPIC+
Dong, Huimin; Liao, Beishui; Markovich, Réka UL et al

in Logic, Rationality, and Interaction - 7th International Workshop LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings (2019)

In this paper we use formal argumentation to design non-monotonic deontic logics, based on two monotonic deontic logics. In particular, we use the structured argumentation theory ASPIC􀀀 to define non ... [more ▼]

In this paper we use formal argumentation to design non-monotonic deontic logics, based on two monotonic deontic logics. In particular, we use the structured argumentation theory ASPIC􀀀 to define non-monotonic variants of well-understood modal logics. We illustrate the approach using argumentation about free-choice permission. [less ▲]

Detailed reference viewed: 88 (1 UL)
Full Text
Peer Reviewed
See detailRights and Punishment: The Hohfeldian Theory’s Applicability and Morals in Understanding Criminal Law
Markovich, Réka UL

in IfCoLog Journal of Logics and Their Applications (2019)

Detailed reference viewed: 46 (4 UL)
Full Text
Peer Reviewed
See detailTwo Limitations in Legal Knowledge Base Constructing and Formalizing Law
Markovich, Réka UL

in IfCoLog Journal of Logics and Their Applications (2019)

Detailed reference viewed: 58 (5 UL)