This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12–14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. They support research that links the formal-logical study of normative concepts and normative systems with computer science, arti?cial intelligence, philosophy, organization theory, and law. Papers for these workshops might address such general themes as the dev- opment 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, respon- bility, etc. , or the formal representation of legal knowledge. They might also be more concerned with applications, such as the formal 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. (The DEON 2006 website, http://www. cs. uu. nl/deon2006/,c- tains links to previous workshops and their papers. This history reveals a vibrant interdisciplinary research program.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: -OnTimeBooks-, Phoenix, AZ, USA
Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Bestandsnummer des Verkäufers OTV.3540358420.G
Anzahl: 1 verfügbar
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
PF. Zustand: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Bestandsnummer des Verkäufers 6666-IUK-9783540358428
Anzahl: 20 verfügbar
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New. Bestandsnummer des Verkäufers 6381097-n
Anzahl: Mehr als 20 verfügbar
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12-14, 2006. These biennial DEON (more properly, EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. They support research that links the formal-logical study of normative concepts and normative systems with computer science, arti cial intelligence, philosophy, organization theory, and law. Papers for these workshops might address such general themes as the dev- opment 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, respon- bility, etc. , or the formal representation of legal knowledge. They might also be more concerned with applications, such as the formal 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. (The DEON 2006 website, cs. uu. nl/deon2006/,c- tains links to previous workshops and their papers. This history reveals a vibrant interdisciplinary research program. 278 pp. Englisch. Bestandsnummer des Verkäufers 9783540358428
Anzahl: 2 verfügbar
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Zustand: New. Bestandsnummer des Verkäufers 6381097-n
Anzahl: Mehr als 20 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In English. Bestandsnummer des Verkäufers ria9783540358428_new
Anzahl: Mehr als 20 verfügbar
Anbieter: Books Puddle, Woodside, NY, USA
Zustand: New. pp. 290. Bestandsnummer des Verkäufers 26490023
Anzahl: 4 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12-14, 2006. These biennial DEON (more properly, EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. They support research that links the formal-logical study of normative concepts and normative systems with computer science, arti cial intelligence, philosophy, organization theory, and law. Papers for these workshops might address such general themes as the dev- opment 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, respon- bility, etc. , or the formal representation of legal knowledge. They might also be more concerned with applications, such as the formal 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. (The DEON 2006 website, cs. uu. nl/deon2006/,c- tains links to previous workshops and their papers. This history reveals a vibrant interdisciplinary research program. Bestandsnummer des Verkäufers 9783540358428
Anzahl: 2 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. Print on Demand pp. 290 Illus. Bestandsnummer des Verkäufers 7390712
Anzahl: 4 verfügbar
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 290. Bestandsnummer des Verkäufers 18490029
Anzahl: 4 verfügbar