Deontic Logic in Computer Science

7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings

By: Alessio Lomuscio (Editor), Donald Nute (Editor)

Write A Review

Paperback | 12 May 2004

At a Glance

Paperback
292 Pages

Dimensions(cm)
24.13 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - lated to the use of deontic logic in computer science. It traditionally promotes research in the relationship between normative concepts and computer science, arti?cial intelligence, organisation theory, and law. In addition to these topics, DEON 2004 placed special emphasis on the relationship between deontic logic and multi-agent systems. The workshop was held in Madeira, Portugal, on 26-28 May 2004. This v- ume includes all 15 papers presented at the workshop, as well as two abstracts from the two outstanding invited speakers we were privileged to host: Prof Mark Brown (Syracuse University, USA), and Prof Mike Wooldridge (University of Liverpool, UK). The reader will ?nd that the topics covered span from t- oretical investigations on deontic concepts and their formalisation in logic, to the use of deontic formalisms to verify and reason about multi-agent systems applications. We believe this makes it a well-balanced and interesting volume. We wish to thank all those who contributed to this workshop, and especially the authors of the submitted papers and the referees. They were all forced to work on a very tight timescale to make this volume a reality.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Mathematics Mathematical Foundation Mathematical Logic Mathematical Theory of Computation Databases

Proceedings of DEON 2004
Obligation, contracts, and negotiation	p. 1
Social laws in alternating time	p. 2
Combinations of tense and deontic modality	p. 3
[Delta] : the social delegation cycle	p. 29
Designing a deontic logic of deadlines	p. 43
Obligation change in dependence logic and situation calculus	p. 57
A proposal for dealing with deontic dilemmas	p. 74
Defeasible logic : agency, intention and obligation	p. 114
Collective obligations and agents : who gets the blame?	p. 129
Conflicting imperatives and dyadic deontic logic	p. 146
On obligations and abilities	p. 165
On normative-informational positions	p. 182
Quasi-matrix deontic logic	p. 191
Delegation in a role-based organization	p. 209
Automatic verification of deontic properties of multi-agent systems	p. 228
Specifying multiagent organizations	p. 243
Maintaining obligations on stative expressions in a deontic action logic	p. 258
Table of Contents provided by Blackwell. All Rights Reserved.

Deontic Logic in Computer Science

7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Machine Learning For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

AI in Business For Dummies

For Dummies (Business & Personal Finance)

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Deep Learning for Intrusion Detection

Techniques and Applications

DeepSeek and Mental Health Support Among Chinese Youth

Use Cases, Risks, and Broader Implications

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

REVOLUTIONIZING DRUG DEVELOPMENT

HARNESSING AI AND COMPUTATIONAL BIOLOGY

Leading Enterprise AI Programs

Optimize AI Teams for Value Creation

AI Governance Playbook

How to Secure, Control, and Optimize Artificial Intelligence Initiatives

AI Governance Playbook

How to Secure, Control, and Optimize Artificial Intelligence Initiatives

Python Workout, Second Edition

200 ten-minute exercises

Life 3.0

Being Human in the Age of Artificial Intelligence

How We Learn

The New Science of Education and the Brain

Artificial Intelligence

A Modern Approach, 4th Global Edition

Atlas of AI

Power, Politics, and the Planetary Costs of Artificial Intelligence

The ChatGPT Revolution

2nd Edition - Get Curious, Get Productive and Get Creative with AI

AI Engineering

Building Applications with Foundation Models

This product is categorised by