skip to content
Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings Preview this item
ClosePreview this item
Checking...

Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

Author: Alessio Lomuscio; Donald Nute
Publisher: Berlin ; New York : Springer, ©2004.
Series: Lecture notes in computer science, 3065.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, held in Madeira, Portugal, in May 2004. The 15 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected for inclusion in the book. The papers are devoted to the relationship between normative concepts and computer science,  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
International Workshop on Deontic Logic in Computer Science (7th : 2004 : Madeira, Portugal).
Deontic logic in computer science.
Berlin ; New York : Springer, ©2004
(DLC) 2004105854
(OCoLC)55600474
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Alessio Lomuscio; Donald Nute
ISBN: 3540259279 9783540259275
OCLC Number: 60766816
Description: 1 online resource (x, 274 pages) : illustrations.
Contents: Abstracts of Invited Papers --
Obligation, Contracts, and Negotiation --
Social Laws in Alternating Time --
Contributed Papers --
Combinations of Tense and Deontic Modality --?: The Social Delegation Cycle --
Designing a Deontic Logic of Deadlines --
Obligation Change in Dependence Logic and Situation Calculus --
A Proposal for Dealing with Deontic Dilemmas --
Defeasible Logic: Agency, Intention and Obligation --
Collective Obligations and Agents: Who Gets the Blame? --
Conflicting Imperatives and Dyadic Deontic Logic --
On Obligations and Abilities --
On Normative-Informational Positions --
Quasi-matrix Deontic Logic --
Delegation in a Role-Based Organization --
Automatic Verification of Deontic Properties of Multi-agent Systems --
Specifying Multiagent Organizations --
Maintaining Obligations on Stative Expressions in a Deontic Action Logic.
Series Title: Lecture notes in computer science, 3065.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: DEON 2004
Responsibility: Alessio Lomuscio, Donald Nute (eds.).

Abstract:

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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/60766816> # Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "60766816" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/801616427#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_hardware_general> ; # COMPUTERS--Hardware--General
   schema:about <http://id.worldcat.org/fast/890769> ; # Deontic logic
   schema:about <http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
   schema:about <http://experiment.worldcat.org/entity/work/data/801616427#Topic/computer_science> ; # Computer science
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://dewey.info/class/004.015113/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
   schema:about <http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_computer_science> ; # COMPUTERS--Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_computer_literacy> ; # COMPUTERS--Computer Literacy
   schema:about <http://id.loc.gov/authorities/subjects/sh85037000> ; # Deontic logic
   schema:about <http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_information_technology> ; # COMPUTERS--Information Technology
   schema:about <http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_reference> ; # COMPUTERS--Reference
   schema:alternateName "DEON 2004" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/10915550> ; # Alessio Lomuscio
   schema:contributor <http://viaf.org/viaf/24691032> ; # Donald Nute
   schema:copyrightYear "2004" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/801616427#Meeting/international_workshop_on_deontic_logic_in_computer_science_7th_2004_madeira_madeira_islands> ; # International Workshop on Deontic Logic in Computer Science (7th : 2004 : Madeira, Madeira Islands)
   schema:datePublished "2004" ;
   schema:description "Abstracts of Invited Papers -- Obligation, Contracts, and Negotiation -- Social Laws in Alternating Time -- Contributed Papers -- Combinations of Tense and Deontic Modality --?: The Social Delegation Cycle -- Designing a Deontic Logic of Deadlines -- Obligation Change in Dependence Logic and Situation Calculus -- A Proposal for Dealing with Deontic Dilemmas -- Defeasible Logic: Agency, Intention and Obligation -- Collective Obligations and Agents: Who Gets the Blame? -- Conflicting Imperatives and Dyadic Deontic Logic -- On Obligations and Abilities -- On Normative-Informational Positions -- Quasi-matrix Deontic Logic -- Delegation in a Role-Based Organization -- Automatic Verification of Deontic Properties of Multi-agent Systems -- Specifying Multiagent Organizations -- Maintaining Obligations on Stative Expressions in a Deontic Action Logic."@en ;
   schema:description "This book constitutes the refereed proceedings of the 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, held in Madeira, Portugal, in May 2004. The 15 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected for inclusion in the book. The papers are devoted to the relationship between normative concepts and computer science, artificial intelligence, organization theory, and law; in addition to these topics, special emphasis is placed on the relationship between deontic logic and multiagent systems."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/801616427> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/801616427#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Lecture notes in artificial intelligence
   schema:isSimilarTo <http://www.worldcat.org/oclc/55600474> ;
   schema:name "Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings"@en ;
   schema:productID "60766816" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/60766816#PublicationEvent/berlin_new_york_springer_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/801616427#Agent/springer> ; # Springer
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=133899> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-22111-1> ;
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3065> ;
   schema:url <http://link.springer.com/10.1007/b98159> ;
   schema:url <http://dx.doi.org/10.1007/b98159> ;
   schema:url <http://rave.ohiolink.edu/ebooks/ebc/11011736> ;
   schema:workExample <http://worldcat.org/isbn/9783540259275> ;
   schema:workExample <http://dx.doi.org/10.1007/b98159> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/60766816> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/801616427#Meeting/international_workshop_on_deontic_logic_in_computer_science_7th_2004_madeira_madeira_islands> # International Workshop on Deontic Logic in Computer Science (7th : 2004 : Madeira, Madeira Islands)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/801616427#Place/madeira_madeira_islands> ; # Madeira, Madeira Islands)
   schema:name "International Workshop on Deontic Logic in Computer Science (7th : 2004 : Madeira, Madeira Islands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/801616427#Place/madeira_madeira_islands> # Madeira, Madeira Islands)
    a schema:Place ;
   schema:name "Madeira, Madeira Islands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/801616427#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/60766816> ; # Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_computer_literacy> # COMPUTERS--Computer Literacy
    a schema:Intangible ;
   schema:name "COMPUTERS--Computer Literacy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_computer_science> # COMPUTERS--Computer Science
    a schema:Intangible ;
   schema:name "COMPUTERS--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_data_processing> # COMPUTERS--Data Processing
    a schema:Intangible ;
   schema:name "COMPUTERS--Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_hardware_general> # COMPUTERS--Hardware--General
    a schema:Intangible ;
   schema:name "COMPUTERS--Hardware--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_information_technology> # COMPUTERS--Information Technology
    a schema:Intangible ;
   schema:name "COMPUTERS--Information Technology"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_machine_theory> # COMPUTERS--Machine Theory
    a schema:Intangible ;
   schema:name "COMPUTERS--Machine Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801616427#Topic/computers_reference> # COMPUTERS--Reference
    a schema:Intangible ;
   schema:name "COMPUTERS--Reference"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85037000> # Deontic logic
    a schema:Intangible ;
   schema:name "Deontic logic"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/890769> # Deontic logic
    a schema:Intangible ;
   schema:name "Deontic logic"@en ;
    .

<http://viaf.org/viaf/10915550> # Alessio Lomuscio
    a schema:Person ;
   schema:familyName "Lomuscio" ;
   schema:givenName "Alessio" ;
   schema:name "Alessio Lomuscio" ;
    .

<http://viaf.org/viaf/24691032> # Donald Nute
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Nute" ;
   schema:givenName "Donald" ;
   schema:name "Donald Nute" ;
    .

<http://worldcat.org/isbn/9783540259275>
    a schema:ProductModel ;
   schema:isbn "3540259279" ;
   schema:isbn "9783540259275" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/60766816> ; # Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science, Lecture notes in artificial intelligence" ;
    .

<http://www.worldcat.org/oclc/55600474>
    a schema:CreativeWork ;
   rdfs:label "Deontic logic in computer science." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/60766816> ; # Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/60766816>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/60766816> ; # Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
   schema:dateModified "2017-12-23" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.