Last edited by Kesar
Tuesday, May 12, 2020 | History

7 edition of Deontic Logic in Computer Science found in the catalog.

Deontic Logic in Computer Science

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

  • 288 Want to read
  • 20 Currently reading

Published by Springer .
Written in English

    Subjects:
  • Applications of Computing,
  • Mathematical theory of computation,
  • General,
  • Computer Science,
  • Computers,
  • Computers - General Information,
  • Computer Books: General,
  • Logic,
  • Artificial Intelligence - General,
  • Computers / Artificial Intelligence,
  • Congresses,
  • Congráes,
  • Deontic logic,
  • Informatique

  • Edition Notes

    ContributionsAlessio Lomuscio (Editor), Donald Nute (Editor)
    The Physical Object
    FormatPaperback
    Number of Pages275
    ID Numbers
    Open LibraryOL9054746M
    ISBN 103540221115
    ISBN 109783540221111

    Deontological ethics is commonly contrasted to consequentialism, virtue ethics, and pragmatic ethics. In this terminology, action is more important than the consequences. The term "deontological" was first used to describe the current, specialised definition by C. D. Broad in his book. Deontic logic originated from the philosophy of law as an attempt to formalize legal reasoning. This book draws on the experience of researchers—in fields as diverse as artificial intelligence, linguistics, computer system specification and law—who have discovered the benefits of deontic logic when applied to solving computer science problems.

    The paradoxes of deontic logic revisited: a computer science perspective Meyer, F.P.M. Dignum, Roelf J. Wieringa Research output: Book/Report › Report › Other research outputCited by: Agency and Deontic Logic John F. Horty. This original new work develops deontic logic against the background of a theory of agency in indeterministic time. The goal is to present a formal account of what individuals and groups of agents ought to do under various conditions and over extended periods of time.

    This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems. from book Deontic Logic in Computer Science, 9th International Conference, DEON , Luxembourg, Luxembourg, July , Proceedings (pp) Introducing Grades in Deontic Logics.


Share this book
You might also like
Preaching from the inside out

Preaching from the inside out

The everlasting snow

The everlasting snow

Rand McNally Sales & Marketing 3-Digit Zip Code Planning Atlas

Rand McNally Sales & Marketing 3-Digit Zip Code Planning Atlas

The history of the conquest of Mexico

The history of the conquest of Mexico

League of Nations.

League of Nations.

On the improvement of the understanding.

On the improvement of the understanding.

Crocodiles

Crocodiles

Principles on which a history syllabus for schools should be planned.

Principles on which a history syllabus for schools should be planned.

New York City population projections by age/sex & borough

New York City population projections by age/sex & borough

Dublin, Leinster and Connaught trades directory

Dublin, Leinster and Connaught trades directory

Ape Adventures (DK READERS)

Ape Adventures (DK READERS)

Tourism in the Age of Alliances, Mergers and Acquisitions

Tourism in the Age of Alliances, Mergers and Acquisitions

To be free

To be free

California environmental planning information directory

California environmental planning information directory

The Register of Edmund Lacy, Bishop of Exeter, 1420-1455, V (Canterbury & York Society)

The Register of Edmund Lacy, Bishop of Exeter, 1420-1455, V (Canterbury & York Society)

Master of Shadows

Master of Shadows

Selected test items in world history

Selected test items in world history

Deontic Logic in Computer Science Download PDF EPUB FB2

Evans D and Eyers D Deontic logic for modelling data flow and use compliance Proceedings of the 6th international workshop on Middleware for pervasive and ad-hoc computing, () Liu C, McLean P and Ozols M Combining logics for modelling security policies Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEONMadeira, Portugal, May 26–28, Proceedings.

New York: Springer Verlag. Loewer, Barry and Marvin Belzer (). “Dyadic Deontic Detachment.” Synthese, – Löwe, Benedikt, Wolfgang Malzkorn and Thoralf Räsch (). This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEONheld in Bergen, Norway, in July The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions.

This volume contains the workshop proceedings of DEONthe 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. This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEONheld in Luxembourg in July The 16 revised full papers presented together with 4 invited talks were carefully reviewed and selected for inclusion in the book.

Deontic Logic in Computer Science 10th International Conference, DEONFiesole, Italy, JulyProceedings. Editors: Governatori, Guido, Sartor, Giovanni.

Deontic logic in computer science Course material. 20th European Summer School in Logic, Lan-guage and Information (ESSLLI ), Freie und Hansestadt Ham-burg, Germany, 4–15 August The ESSLLI course material has been compiled by Leon van. Deontic Logic in Computer Science: Normative System Specification [Meyer, John-Jules Ch., Wieringa, R.

J.] on *FREE* shipping on qualifying offers. Deontic Logic in Computer Science: Normative System Specification. Goble, Lou,“Deontic logic with relevance,” in Paul McNamara and Henry Prakken (eds.), Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, Amsterdam: IOS Press, pp.

– This book presents research in an interdisciplinary field, resulting from the vigorous and fruitful cross-pollination between traditional deontic logic and computer science.

AI researchers have used deontic logic as one of the tools in modelling legal reasoning. Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems.

Deontic logic is the field of philosophical logic that is concerned with obligation, permission, and related atively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. Typically, a deontic logic uses OA to mean it is obligatory that A, (or it ought to be (the case) that A), and PA to mean it is permitted (or permissible.

New Studies in Deontic Logic and Computer Science. Author: Paul McNamara,Henry Prakken. Publisher: IOS Press ISBN: Category: Computers Page: View: DOWNLOAD → This book presents research in an interdisciplinary field, resulting from the vigorous and fruitful cross-pollination between traditional deontic logic and computer science.

It includes "deontic logic" - the logic of duty (and the logic of the law), plus epistemic logic. Modal logic is a simplified form of the first order predicate logic. The text explains the various axioms of modal logic -- such as "M, C, K, N, P" Other texts include Sally Popkorn (emphasis on semantics), and Hughes & Cresswell (slighly more Cited by: Deontic logic is an area of logic which investigates normative concepts, systems of norms, and normative reasoning.

The word ‘deontic’ is derived from the Greek expression ‘déon’, which Author: Risto Hilpinen. ISBN: OCLC Number: Description: x, pages: illustrations ; 25 cm. Contents: Deontic logic --as I see it / G.H. von Wright --On a fundamental problem of deontic logic / D.

Makinson --Moderately naturalistic deontic logic / J. Hage --An update semantics for deontic reasoning / L.W.N. van der Torre and Y.-H.

Tan --Moral preference. This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEONheld in Fiesole, Italy, in July The 18 revised papers included in the volume were carefully reviewed and Author: Guido Governatori.

Description: This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEONheld in Fiesole, Italy, in July The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions.

This book describes extensions of deontic logic. Deontic logic is a branch of philosophical logic involving reasoning with norms, obligations, prohibitions and permissions.

The extensions concern the logical structure of legal rules and legal reasoning. Their function is to improve the representation of legal knowledge and enhance deontic logic. In general, we do not emphasize the many major areas where deontic ideas play: philosophy, law, computer science, economics, etc.

- and then present the logic as an answer to a Genuine Problem: finding the common patterns, allowing for 'trade in ideas'. This book presents research in an interdisciplinary field, resulting from the vigorous and fruitful cross-pollination between traditional deontic logic and computer science.

AI researchers have used deontic logic as one of the tools in modelling legal reasoning. Computer scientists have discovered that computer systems (including their.A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web: /ch Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessityCited by: Deontic logic 57 works Search for books with subject Deontic logic.

Search. Not In Library. Borrow. Read. Modality (Logic), Accessible book, Protected DAISY, Computer science, Congresses, Act (Philosophy), Logic, Addresses.