Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume presents the papers contributed to DEON 2006, the 8th International 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, artificial intelligence, philosophy, organization theory, and law. Papers for these workshops might address such general themes as the development 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 more concerned with applications, such as the formal specification of systems for the management of bureaucratic processes in public or private administration, or the specification 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/,contains links to previous workshops and their papers. This history reveals a vibrant interdisciplinary research program.

Computer science --- Deontic logic --- Informatique --- Logique déontique --- Congresses. --- Congrès --- Computer Science --- Mechanical Engineering - General --- Mechanical Engineering --- Engineering & Applied Sciences --- Information Technology --- Artificial Intelligence --- Logic, Deontic --- Computer science. --- Computers. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Duty --- Modality (Logic) --- Information theory. --- Artificial Intelligence. --- Communication theory --- Communication --- Artificial normative systems