HOME > Detail View

Detail View

Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings

Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings

Material type
단행본
Personal Author
Goble, Lou. Meyer, John-Jules Ch.
Title Statement
Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings / Lou Goble, John-Jules Ch. Meyer (eds.).
Publication, Distribution, etc
Berlin ;   New York :   Springer-Verlag ,   c2006.  
Physical Medium
x, 271 p. : ill. ; 24 cm.
Series Statement
Lecture notes in computer science , Lecture notes in artificial intelligence 0302-9743 ; 4048.
ISBN
3540358420 9783540358428
General Note
Earlier conferences have title: Deontic logic, agency, and normative systems.  
Bibliography, Etc. Note
Includes bibliographical references and index.
이용가능한 다른형태자료
Also issued online.  
Subject Added Entry-Topical Term
Computer science -- Congresses. Deontic logic -- Congresses.
비통제주제어
Artificial normative systems ,,
000 01984camuu22004337a 4500
001 000045405496
005 20071206101501
008 060606s2006 gw a b 101 0 eng d
010 ▼a 2006928701
015 ▼a GBA671193 ▼2 bnb
020 ▼a 3540358420
020 ▼a 9783540358428
035 ▼a (KERIS)REF000012908479
040 ▼a CUS ▼c CUS ▼d BAKER ▼d UKM ▼d C$Q ▼d DLC ▼d 211009
042 ▼a lccopycat
050 0 0 ▼a QA75.5 ▼b .I645 2006
082 0 4 ▼a 004.015113 ▼2 22
090 ▼a 004.015113 ▼b I61d
111 2 ▼a International Workshop on Deontic Logic in Computer Science ▼n (8th : ▼d 2006 : ▼c Utrecht, Netherlands)
245 1 0 ▼a Deontic logic and artificial normative systems : ▼b 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings / ▼c Lou Goble, John-Jules Ch. Meyer (eds.).
246 3 0 ▼a 8th International Workshop on Deontic Logic in Computer Science
246 3 ▼a Eighth International Workshop on Deontic Logic in Computer Science
246 3 0 ▼a DEON 2006
260 ▼a Berlin ; ▼a New York : ▼b Springer-Verlag , ▼c c2006.
300 ▼a x, 271 p. : ▼b ill. ; ▼c 24 cm.
490 1 ▼a Lecture notes in computer science , ▼x 0302-9743 ; ▼v 4048. ▼a Lecture notes in artificial intelligence
500 ▼a Earlier conferences have title: Deontic logic, agency, and normative systems.
504 ▼a Includes bibliographical references and index.
530 ▼a Also issued online.
650 0 ▼a Computer science ▼v Congresses.
650 0 ▼a Deontic logic ▼v Congresses.
653 1 ▼a Artificial normative systems
700 1 ▼a Goble, Lou.
700 1 ▼a Meyer, John-Jules Ch.
740 0 ▼a Deontic logic, agency, and normative systems.
830 0 ▼a Lecture notes in computer science ; ▼v 4048.
830 0 ▼a Lecture notes in computer science. ▼p Lecture notes in artificial intelligence.
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Western Books/ Call Number 004.015113 I61d Accession No. 111445912 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

Abstracts of Invited Papers.- Roles, Counts-as and Deontic and Action Logics.- Norms and Electronic Institutions.- Emotion Models for Situated Normative Systems?.- Contributed Papers.- Addressing Moral Problems Through Practical Reasoning.- A Logical Architecture of a Normative System.- Delegation of Power in Normative Multiagent Systems.- Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario.- Acting with an End in Sight.- A State/Event Temporal Deontic Logic.- Speech Acts with Institutional Effects in Agent Societies.- Counts-as: Classification or Constitution? An Answer Using Modal Logic.- Don't Ever Do That! Long-Term Duties in PD e L.- On the Normative Aspect of Signalling Conventions.- Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.- Conflicting Obligations in Multi-agent Deontic Logic.- Intermediate Concepts in Normative Systems.- Propositional Quantifiers in Deontic Logic.- A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies.- The Deontic Component of Action Language .- A Complete and Decidable Axiomatisation for Deontic Interpreted Systems.- Sequences, Obligations, and the Contrary-to-Duty Paradox.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

김종원 (2020)