Choose an application

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

Mathematical logic --- Discrete mathematics --- Mathematics --- Computer science --- Programming --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- discrete wiskunde --- computers --- informatica --- externe fixatie (geneeskunde --- programmeren (informatica) --- programmeertalen --- wiskunde --- KI (kunstmatige intelligentie) --- logica

Choose an application

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

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.

Mathematical logic --- Discrete mathematics --- Mathematics --- Computer science --- Programming --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- discrete wiskunde --- computers --- informatica --- externe fixatie (geneeskunde --- programmeren (informatica) --- programmeertalen --- wiskunde --- KI (kunstmatige intelligentie) --- logica

Choose an application

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

Complex analysis --- Programming --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- complexe analyse (wiskunde) --- programmeren (informatica) --- informatiesystemen --- software engineering --- computernetwerken --- robots

Choose an application

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

The 22nd edition of the JURIX conference was held in Rotterdam on the 17th and 18th December and was hosted by the Erasmus University Rotterdam. While the conference was back to its country of origin, JURIX continues to attract a wide international audience. This year, the conference received submissions from all five continents. This clearly demonstrates the lively and growing interest for the highly interdisciplinary discipline of legal informatics. The selection of papers for this edition of JURIX covers a wide variety of topics in legal informatics, including contributions on established

Artificial intelligence --- Information storage and retrieval systems --- Law --- Acts, Legislative --- Enactments, Legislative --- Laws (Statutes) --- Legislative acts --- Legislative enactments --- Jurisprudence --- Legislation --- Methodology --- Automation

Choose an application

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

This book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2009, held in Las Vegas, Nevada, USA, in November 2009 - collocated with the 12th International Business Rules Forum. The 12 revised full papers and 17 revised short papers presented together with the abstracts of 3 keynote lectures were carefully reviewed and selected from 56 submissions. The accepted papers address a wide range of rule topics, including traditional topics, such as complex event processing using rules (a RuleML stronghold with several past invited speakers form the area and many past papers on this topic), to rules for transformations and rule extraction, applications of rule systems to handle data and processes, investigations on how to deploy rules on the Web to use of rules to model uncertainty and norms.

Computer science --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- informatica --- programmeren (informatica) --- informatiesystemen --- database management --- software engineering