The first issue of Artificial Intelligence and Law journal was published in 1992. This paper offers some commentaries on papers drawn from the Journal’s third decade. They indicate a major shift within Artificial Intelligence, both generally and in AI and Law: away from symbolic techniques to those based on Machine Learning approaches, especially those based on Natural Language texts rather than feature sets. Eight papers are discussed: two concern the management and use of documents available on the World Wide Web, (...) and six apply machine learning techniques to a variety of legal applications. (shrink)

In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. (...) We characterize the domain of instantiation using a representation technique based on soundness and completeness. Finally, we distinguish among various instantiations using the technique of specification languages. (shrink)

This book presents a broad overview of succession law, encompassing aspects of family law, testamentary law and legal history. It examines society and legal practice in Europe from the Middle Ages to the present from both a legal and a sociological perspective. The contributing authors investigate various aspects of succession law that have not yet been thoroughly examined by legal historians, and in doing so they not only add to our knowledge of past succession law but also provide a valuable (...) key to interpreting and understanding current European succession law. Readers can explore such issues as the importance of a father’s permission to marry in relation to disinheritance, as well as inheritance transactions and private, dynastic and cross-border successions. Further themes addressed by the expert contributors include women’s inheritance rights, the laws of succession for the prince in legal consulting, and succession in the Rota Romana’s jurisprudence. (shrink)

In this paper, we introduce the methodology and techniques of metaargumentation to model argumentation. The methodology of meta-argumentation instantiates Dung's abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung's basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung's theory of abstract argumentation to itself, by instantiating Dung's abstract arguments with meta-arguments using a technique called flattening. (...) We characterize the domain of instantiation using a representation technique based on soundness and completeness. Finally, we distinguish among various instantiations using the technique of specification languages. (shrink)

In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. (...) We characterize the domain of instantiation using a representation technique based on soundness and completeness. Finally, we distinguish among various instantiations using the technique of specification languages. (shrink)

In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. (...) We characterize the domain of instantiation using a representation technique based on soundness and completeness. Finally, we distinguish among various instantiations using the technique of specification languages. (shrink)

This volume addresses the study of family law and society in Europe, from medieval to contemporary ages. It examines the topic from a legal and social point of view. Furthermore, it investigates those aspects of the new family legal history that have not commonly been examined in depth by legal historians. The volume provides a new 'global' interpretative key of the development of family law in Europe. It presents essays about family and the Christian influence, family and criminal law, family (...) and civil liability, filiation (legitimate, natural and adopted children), and family and children labour law. In addition, it explores specific topics related to marriage, such as the matrimonial property regime from a European comparative perspective, and impediments to marriage, such as bigamy. The book also addresses topics including family, society and European juridical science. (shrink)

Online social networks captured the attention of the masses by offering attractive means of sharing personal information and developing social relationships. People expose personal information about their lives on OSNs. This may result in undesirable consequences of users’ personal information leakage to an unwanted audience and raises privacy concerns. The issue of privacy has received a significant attention in both the research literature and the mainstream media. In this paper, we present results of an empirical study that measure users’ attitude (...) towards interpersonal privacy concerns in OSNs. The results demonstrated a serious mismatch between privacy concerns of users and their information sharing behavior. In addition, it indicated that strangers are part of user social circles, this makes privacy protection more complicated, and introduce an insider threat, whereas all existing privacy tools allow users to manage the outsider threat. Information and friend segregation strategies are suggested on the basis of user information disclosure and interaction pattern. We conclude that sensitivity of information and frequency of interaction, both, play a vital role in information and friend segregation. (shrink)

The purpose of this article, which takes the form of a dialogue between a vegetarian and a meat eater, is twofold. On the one hand, we argue for a general characterisation of moral value in terms of well-being and suffering. On the other hand, on the basis of this characterisation, we argue that, in most cases, the moral value attached to the choice of eating meat is negative; in particular, we defend this claim against a number of objections concerning the (...) nature of animal suffering, its moral value, and the moral responsibility of meat eaters. (shrink)

The question that this paper tries to answer is Q: “Can good academic bioethics be done without commitment to moral theory?” It is argued that the answer to Q is an unequivocal “Yes” for most of what we could call “critical bioethics,” that is, the kind of bioethics work that primarily criticizes positions or arguments already in the literature or put forward by policymakers. The answer is also “Yes” for much of empirical bioethics. The second part of the paper then (...) provides an analysis of Q in relation to “constructive bioethics,” that is, bioethics work aimed at providing an argument for a particular position. In this part, it is argued that a number of the approaches or methods used that initially look like they involve no commitment to moral theory, nevertheless, involve such a commitment. This is shown to be the case for reflective equilibrium, mid-level theory, the use of theory fragments, and argument by analogy. (shrink)

In this book, S. A. Lloyd offers a radically new interpretation of Hobbes's laws of nature, revealing them to be not egoistic precepts of personal prudence but rather moral instructions for obtaining the common good.

The status quo: dogmatism, the biopsychosocial model, and alternatives -- What there is: of mind and brain -- How we know: understanding the mind -- What is scientific method? -- Reading Karl Jaspers's General Psychopathology -- What is scientific method in psychiatry? -- Darwin's dangerous method: the essentialist fallacy -- What we value: the ethics of psychiatry -- Desire and self: Hellenistic and Islamic approaches -- On the nature of mental illness: disease or myth? -- Order out of chaos: from (...) insanity to DSM-III to a pluralistic nosology -- A theory of DSM-IV: ideal types -- Dimensions versus categories -- The perils of belief: psychosis -- The slings and arrows of outrageous fortune: depression -- Life's rollercoaster: mania -- Being self-aware: insight -- Calvinism or hedonism? -- Truth and statistics: problems of empirical psychiatry -- A climate of opinion: what remains of psychoanalysis -- Being there: existential psychotherapy -- Beyond eclecticism: teaching psychotherapy in the twenty-first century -- Bridging the biology/psychology dichotomy: the hopes of integrationism -- Why it is hard to be pluralist. (shrink)

Ontologies represent the standard way to model the knowledge about specific domains. This holds also for the legal domain where several ontologies have been put forward to model specific kinds of legal knowledge. Both for standard users and for law scholars, it is often difficult to have an overall view on the existing alternatives, their main features and their interlinking with the other ontologies. To answer this need, in this paper, we address an analysis of the state-of-the-art in legal ontologies (...) and we characterise them along with some distinctive features. This paper aims to guide generic users and law experts in selecting the legal ontology that better fits their needs and in understanding its specificity so that proper extensions to the selected model could be investigated. (shrink)

Ontologies represent the standard way to model the knowledge about specific domains. This holds also for the legal domain where several ontologies have been put forward to model specific kinds of legal knowledge. Both for standard users and for law scholars, it is often difficult to have an overall view on the existing alternatives, their main features and their interlinking with the other ontologies. To answer this need, in this paper, we address an analysis of the state-of-the-art in legal ontologies (...) and we characterise them along with some distinctive features. This paper aims to guide generic users and law experts in selecting the legal ontology that better fits their needs and in understanding its specificity so that proper extensions to the selected model could be investigated. (shrink)

Ontologies represent the standard way to model the knowledge about specific domains. This holds also for the legal domain where several ontologies have been put forward to model specific kinds of legal knowledge. Both for standard users and for law scholars, it is often difficult to have an overall view on the existing alternatives, their main features and their interlinking with the other ontologies. To answer this need, in this paper, we address an analysis of the state-of-the-art in legal ontologies (...) and we characterise them along with some distinctive features. This paper aims to guide generic users and law experts in selecting the legal ontology that better fits their needs and in understanding its specificity so that proper extensions to the selected model could be investigated. (shrink)

Study of Hans-Georg Gadamer's and Julius Stenzel's interpretations of Plato.

Professor Toynbee observes in his Study of History that as he walked down Whitehall one day in the spring of 1918, and passed the Board of Education offices which had been commandeered for a new department of the War Office, “improvised in order to make an intensive study of trench warfare,” he found himself repeating the passage from St. Matthew's Gospel.

Conduct of Muslim women in Turkey in the age of globelization; 20th century.

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...) term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)