Articoli correlati a Deontic Logic in Computer Science: 10th International...
Deontic Logic in Computer Science: 10th International Conference, Deon 2010 Fiesole, Italy, July 7-9, 2010, Proceedings: 6181 - Brossura
Sinossi
The LNAI series reports state-of-the-art results in artificial intelligence research development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNAI has grown into the most comprehensive artificial intelligence research forum available.
The Scope of LNAI spans the whole range of artificial intelligence and intelligent inforamation processing including interdisciplinary topics in a variety of application fields.
In parallel to the printed book, each new volume is published electronically in LNCS Online.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
From Norm Adoption to Norm Internalization.- Norms, Action and Agency in Multi-agent Systems.- Towards a Logical Analysis of the Judgment on Facts.- Deontic Redundancy: A Fundamental Challenge for Deontic Logic.- A Dyadic Operator for the Gradation of Desirability.- Deontics = Betterness + Priority.- Axioms for Obligation and Robustness with Temporal Logic.- Moral Particularism and Deontic Logic.- Relevance, Derogation and Permission.- Retroactive Legal Changes and Revision Theory in Defeasible Logic.- Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra.- Avoiding Deontic Explosion by Contextually Restricting Aggregation.- Obligations and Prohibitions in Talmudic Deontic Logic.- Introducing Exclusion Logic as a Deontic Logic.- Privacy Policies with Modal Logic: The Dynamic Turn.- Value-Based Argumentation for Justifying Compliance.- A Logical Model of Private International Law.- Where Did Mally Go Wrong?.- Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents.- Characterising Responsibility in Organisational Structures: The Problem of Many Hands.- A Logical Analysis of Commitment Dynamics.- Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems.
Product Description
Hard to find
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer-Nature New York Inc
- Data di pubblicazione2010
- ISBN 10 364214182X
- ISBN 13 9783642141829
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine322
- RedattoreGovernatori Guido, Sartor Giovanni
Compra nuovo
Visualizza questo articolo
EUR 64,08
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Deontic Logic in Computer Science: 10th International...
Immagini fornite dal venditore
Deontic Logic in Computer Science
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. From Norm Adoption to Norm Internalization.- Norms, Action and Agency in Multi-agent Systems.- Towards a Logical Analysis of the Judgment on Facts.- Deontic Redundancy: A Fundamental Challenge for Deontic Logic.- A Dyadic Operator for the Gradation of Desir. Codice articolo 5050426
Quantità: 3 disponibili
Immagini fornite dal venditore
Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Editore:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10: 364214182X
ISBN 13: 9783642141829
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware - This volume presents the papers contributed to EON 2008, the 10th Int- national Conference on Deontic Logic in Computer Science, held in Fiesole (Florence), July 7 9, 2010. This biennial conference series is designed to p- mote international cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interd- ciplinary, it covers formal-logical studies of normative concepts and normative systems and their links with computer science, arti cial intelligence, philosophy, organization theory, and law. This edition of EON invited submission on the following general themes: the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related - eas of logic, the formal analysis of normative concepts and normative systems, the formal representation of legal knowledge, the formal speci cation of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability, the formal speci cation of normative systems for the managementofbureaucraticprocessesinpublic orprivateadministration,app- cations of normative logic to the speci cation of database integrity constraints, normative aspects of protocols for communication, negotiation and multi-agent decision making.In particular,submissions weresolicited addressingapplication of deontic notions for modelling legal systems. Codice articolo 9783642141829
Quantità: 2 disponibili
Foto dell'editore
Deontic Logic in Computer Science: 10th International Conference, Deon 2010 Fiesole, Italy, July 7-9, 2010, Proceedings
Editore:
Springer-Verlag New York Inc, 2010
ISBN 10: 364214182X
ISBN 13: 9783642141829
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 323 pages. 9.00x6.00x0.75 inches. In Stock. Codice articolo x-364214182X
Quantità: 2 disponibili
Foto dell'editore
Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings (Lecture Notes in Computer Science, 6181)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLING22Oct2817100464277
Quantità: 1 disponibili
Foto dell'editore
Deontic Logic in Computer Science (Paperback)
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 364214182X
ISBN 13: 9783642141829
Nuovo
Paperback
Da: Grand Eagle Retail, Fairfield, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This volume presents the papers contributed to ?EON 2008, the 10th Int- national Conference on Deontic Logic in Computer Science, held in Fiesole (Florence), July 7-9, 2010. This biennial conference series is designed to p- mote international cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interd- ciplinary, it covers formal-logical studies of normative concepts and normative systems and their links with computer science, arti?cial intelligence, philosophy, organization theory, and law. This edition of ?EON invited submission on the following general themes: the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related - eas of logic, the formal analysis of normative concepts and normative systems, the formal representation of legal knowledge, the formal speci?cation of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability, the formal speci?cation of normative systems for the managementofbureaucraticprocessesinpublic orprivateadministration,app- cations of normative logic to the speci?cation of database integrity constraints, normative aspects of protocols for communication, negotiation and multi-agent decision making.In particular,submissions weresolicited addressingapplication of deontic notions for modelling legal systems. Presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. This title covers such topics as: connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, and more. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783642141829
Quantità: 1 disponibili