Deontic Logic in Computer Science by van der Meyden, Ron; van der Torre, Leendert;

9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings

Sorozatcím: Lecture Notes in Computer Science; 5076;

12% KEDVEZMÉNY?
A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.

Kiadói listaár EUR 74.89
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.

31 060 Ft (29 581 Ft + 5% áfa)
Kedvezmény(ek) 12% (cc. 3 727 Ft off)
Kedvezményes ár 27 333 Ft (26 031 Ft + 5% áfa)

31 060 Ft

Beszerezhetőség

Bizonytalan a beszerezhetőség. Érdemes még egyszer keresni szerzővel és címmel. Ha nem talál másik, kapható kiadást, forduljon ügyfélszolgálatunkhoz!

A termék adatai:

Kiadás sorszáma 2008
Kiadó Springer Berlin Heidelberg
Megjelenés dátuma 2008. július 10.
Kötetek száma 1 pieces, Book

ISBN 9783540705246
Kötéstípus Puhakötés
Terjedelem279 oldal
Méret 235x155 mm
Nyelv angol
Illusztrációk X, 279 p.

Kategóriák

A számítástudomány elmélete, a számítástechnika általában Rendszeranalízis, rendszertervezés Operációs rendszerek és grafikus felhasználói felületek Számítógépes programozás általában Mesterséges intelligencia Programnyelvek általában

Hosszú leírás:

This volume presents the papers contributed to ?EON 2008, the 9th Inter- tional Conference on Deontic Logic in Computer Science, held in Luxembourg, July 16–18, 2008. This biennial conference series is designed to promote int- national cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interdisciplinary, and includes research that links the formal-logical study of normative concepts and normative systems with computer science, arti?cial intelligence, philosophy, - ganization theory, and law. The ?EON website, http://www.deonticlogic.org, contains links to previous conferences and their papers. This history reveals a vibrant interdisciplinary research program. Papers for these conferences might address such general themes as the - velopment of formal systems of deontic logic and related areas of logic, such as logics of action and agency, or the formal analysis of all sorts of normative concepts, such as the notions of rule, role, regulation, authority, power, rights, responsibility, etc., or the formal representation of legal knowledge. They might also be concerned with applications, such as the formal speci?cation of n- mative multiagent systems, the speci?cation of systems for the management of bureaucratic processes in public or private administration, or the speci?cation of database integrity constraints or computer security protocols, and more. Of particular interest is the interaction between computer systems and their users.

Több

Tartalomjegyzék:

Norms in Branching Space-Times.- Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories.- Acting, Events and Actions.- A Tableaux System for Deontic Action Logic.- Information Security Economics - and Beyond.- Trust and Norms in the Context of Computer Security: A Logical Formalization.- Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic.- Delegation of Control in Administrative Procedures.- Variations in Access Control Logic.- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.- Need to Know: Questions and the Paradox of Epistemic Obligation.- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’.- Reactive Kripke Models and Contrary to Duty Obligations.- Normative Consequence: The Problem of Keeping It Whilst Giving It up.- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G.- Strata of Intervenient Concepts in Normative Systems.- A Deontic Logic for Socially Optimal Norms.- Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin.- Introducing Grades in Deontic Logics.- Pushing Anderson’s Envelope: The Modal Logic of Ascription.

Több

Mostanában megtekintett