Lecture Notes in Computer Science - Deontic Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642141829, 9783642141836

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Relevance, Derogation and Permission

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-642-14183-6_9 ◽

2010 ◽

pp. 98-115 ◽

Cited By ~ 6

Author(s):

Audun Stolpe

Download Full-text

Axioms for Obligation and Robustness with Temporal Logic

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-642-14183-6_7 ◽

2010 ◽

pp. 66-83 ◽

Cited By ~ 1

Author(s):

Tim French ◽

John C. McCabe-Dansted ◽

Mark Reynolds

Keyword(s):

Temporal Logic

Download Full-text

Value-Based Argumentation for Justifying Compliance

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-642-14183-6_16 ◽

2010 ◽

pp. 214-228 ◽

Cited By ~ 8

Author(s):

Brigitte Burgemeestre ◽

Joris Hulstijn ◽

Yao-Hua Tan

Download Full-text

Privacy Policies with Modal Logic: The Dynamic Turn

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-642-14183-6_15 ◽

2010 ◽

pp. 196-213 ◽

Cited By ~ 8

Author(s):

Guillaume Aucher ◽

Guido Boella ◽

Leendert van der Torre

Keyword(s):

Modal Logic ◽

Privacy Policies

Download Full-text

Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-642-14183-6_22 ◽

2010 ◽

pp. 306-322 ◽

Cited By ~ 2

Author(s):

Paolo Turrini ◽

Davide Grossi ◽

Jan Broersen ◽

John-Jules Ch. Meyer

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

A Logical Model of Private International Law

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-642-14183-6_17 ◽

2010 ◽

pp. 229-246 ◽

Cited By ~ 3

Author(s):

Phan Minh Dung ◽

Giovanni Sartor

Keyword(s):

International Law ◽

Private International Law ◽

Logical Model

Download Full-text

Retroactive Legal Changes and Revision Theory in Defeasible Logic

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-642-14183-6_10 ◽

2010 ◽

pp. 116-131 ◽

Cited By ~ 2

Author(s):

Antonino Rotolo

Keyword(s):

Revision Theory ◽

Defeasible Logic

Download Full-text

Deontic Redundancy: A Fundamental Challenge for Deontic Logic

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-642-14183-6_4 ◽

2010 ◽

pp. 11-32 ◽

Cited By ~ 6

Author(s):

Leendert van der Torre

Keyword(s):

Deontic Logic ◽

Fundamental Challenge

Download Full-text

A Logical Analysis of Commitment Dynamics

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-642-14183-6_21 ◽

2010 ◽

pp. 288-305 ◽

Cited By ~ 2

Author(s):

Emiliano Lorini

Keyword(s):

Logical Analysis

Download Full-text

Norms, Action and Agency in Multi-agent Systems

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-642-14183-6_2 ◽

2010 ◽

pp. 2-2 ◽

Cited By ~ 4

Author(s):

Marek Sergot

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

Lecture Notes in Computer Science - Deontic Logic in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Relevance, Derogation and Permission

Axioms for Obligation and Robustness with Temporal Logic

Value-Based Argumentation for Justifying Compliance

Privacy Policies with Modal Logic: The Dynamic Turn

Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems

A Logical Model of Private International Law

Retroactive Legal Changes and Revision Theory in Defeasible Logic

Deontic Redundancy: A Fundamental Challenge for Deontic Logic

A Logical Analysis of Commitment Dynamics

Norms, Action and Agency in Multi-agent Systems

Lecture Notes in Computer Science - Deontic Logic in Computer Science
Latest Publications