Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Martin Rechenauer, Olivier Roy |
The Logical Structure of Scanlon's Contractualism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, pp. 166-176, 2014, Springer, 978-3-319-08614-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xin Sun 0001, Leendert W. N. van der Torre |
Combining Constitutive and Regulative Norms in Input/Output Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, pp. 241-257, 2014, Springer, 978-3-319-08614-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erica Calardo, Guido Governatori, Antonino Rotolo |
A Preference-Based Semantics for CTD Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, pp. 49-64, 2014, Springer, 978-3-319-08614-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew J. I. Jones |
Ingmar Pörn - In Memoriam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, pp. 1-4, 2014, Springer, 978-3-319-08614-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen |
Detecting Deontic Conflicts in Dynamic Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, pp. 65-80, 2014, Springer, 978-3-319-08614-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Orlandelli |
Proof Analysis in Deontic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, pp. 139-148, 2014, Springer, 978-3-319-08614-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Gonçalves 0001, José Júlio Alferes |
An Embedding of Input-Output Logic in Deontic Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 61-75, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Turrini |
Agreements as Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 31-45, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guido Governatori, Antonino Rotolo, Erica Calardo |
Possible World Semantics for Defeasible Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 46-60, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Roy, Albert J. J. Anglberger, Norbert Gratzl |
The Logic of Obligation as Weakest Permission - (Short Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 139-150, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Kulicki, Robert Trypuz |
A Deontic Action Logic with Sequential Composition of Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 184-198, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dov M. Gabbay |
Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 91-107, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Régis Riveret, Antonino Rotolo, Giovanni Sartor |
Norms and Learning in Probabilistic Logic-Based Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 123-138, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Louwe B. Kuijer |
Sanction Semantics and Contrary-to-Duty Obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 76-90, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian Straßer, Mathieu Beirlaen |
An Andersonian Deontic Logic with Contextualized Sanctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 151-169, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard |
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 170-183, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan M. Broersen, Dov M. Gabbay, Leendert W. N. van der Torre |
Discussion Paper: Changing Norms Is Changing Obligation Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 199-214, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emiliano Lorini |
On the Logical Foundations of Moral Agency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 108-122, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata |
Visualizing Normative Systems: An Abstract Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 16-30, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ågotnes, Jan M. Broersen, Dag Elgesem (eds.) |
Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![Springer, 978-3-642-31569-5 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert Demolombe |
Causality in the Context of Multiple Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, pp. 1-15, 2012, Springer, 978-3-642-31569-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rosaria Conte, Giulia Andrighetto, Daniel Villatoro |
From Norm Adoption to Norm Internalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 1, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert Demolombe |
Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 259-273, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gert-Jan C. Lokhorst |
Where Did Mally Go Wrong? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 247-258, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Johan van Benthem, Davide Grossi, Fenrong Liu |
Deontics = Betterness + Priority. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 50-65, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer |
Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 306-322, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marek J. Sergot |
Norms, Action and Agency in Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 2, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Richard Evans |
Introducing Exclusion Logic as a Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 179-195, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Abraham, Dov M. Gabbay, Uri J. Schild |
Obligations and Prohibitions in Talmudic Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 166-178, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Phan Minh Dung, Giovanni Sartor |
A Logical Model of Private International Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 229-246, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rosja Mastop |
Characterising Responsibility in Organisational Structures: The Problem of Many Hands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 274-287, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Emiliano Lorini |
A Logical Analysis of Commitment Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 288-305, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Antonino Rotolo |
Retroactive Legal Changes and Revision Theory in Defeasible Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 116-131, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Joke Meheus, Mathieu Beirlaen, Frederik Van De Putte |
Avoiding Deontic Explosion by Contextually Restricting Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 148-165, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Piolle |
A Dyadic Operator for the Gradation of Desirability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 33-49, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert Trypuz, Piotr Kulicki |
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 132-147, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001 |
Axioms for Obligation and Robustness with Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 66-83, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michele Taruffo |
Towards a Logical Analysis of the Judgment on Facts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 3-10, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Burgemeestre, Joris Hulstijn, Yao-Hua Tan |
Value-Based Argumentation for Justifying Compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 214-228, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Audun Stolpe |
Relevance, Derogation and Permission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 98-115, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Parent |
Moral Particularism and Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 84-97, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Leendert W. N. van der Torre |
Deontic Redundancy: A Fundamental Challenge for Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 11-32, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Guido Governatori, Giovanni Sartor (eds.) |
Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![Springer, 978-3-642-14182-9 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre |
Privacy Policies with Modal Logic: The Dynamic Turn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 196-213, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Audun Stolpe |
Normative Consequence: The Problem of Keeping It Whilst Giving It up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 174-188, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
input/output logic, dynamics, Normative systems |
1 | Mark A. Brown |
Acting, Events and Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 19-33, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lars Lindahl, Jan Odelstad |
Strata of Intervenient Concepts in Normative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 203-217, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Legal concept, Intermediate concept, Intervenient, Weakest ground, Strongest consequence, Intervenient minimality, Ownership, Normative system |
1 | Joris Hulstijn, Jianwei Liu 0007, Yao-Hua Tan |
Delegation of Control in Administrative Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 81-95, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
administrative procedures, evidence documents, trust |
1 | Jan M. Broersen |
A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 140-154, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Emiliano Lorini, Robert Demolombe |
Trust and Norms in the Context of Computer Security: A Logical Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 50-64, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini |
A Deontic Logic for Socially Optimal Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 218-232, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Parent |
On the Strong Completeness of Åqvist's Dyadic Deontic Logic G. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 189-202, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Conditional obligation, preference-based semantics, DSDL3, strong completeness |
1 | Martín Abadi |
Variations in Access Control Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 96-109, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ron van der Meyden, Leendert W. N. van der Torre (eds.) |
Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![Springer, 978-3-540-70524-6 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nuel Belnap |
Norms in Branching Space-Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 1-2, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dov M. Gabbay |
Reactive Kripke Models and Contrary to Duty Obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 155-173, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joris Hulstijn |
Need to Know: Questions and the Paradox of Epistemic Obligation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 125-139, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ross J. Anderson |
Information Security Economics - and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 49, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Guido Governatori, Antonino Rotolo |
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 3-18, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Davide Grossi |
Pushing Anderson's Envelope: The Modal Logic of Ascription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 263-277, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Anderson’s reduction, counts-as, ascription, Jørgensen’s dilemma, Modal logic |
1 | Nora Cuppens-Boulahia, Frédéric Cuppens |
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 65-80, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pilar Dellunde, Lluís Godo |
Introducing Grades in Deontic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 248-262, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Fuzzy Logic, Norms, Institutions, Deontic Logic |
1 | Paul McNamara |
Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 233-247, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Supererogation, Offense, Praise, Blame, Aretaic, Deontic, Indifferent, Obligation, Neutral |
1 | Pablo F. Castro, T. S. E. Maibaum |
A Tableaux System for Deontic Action Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 34-48, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Deontic Action Logic, Tableaux Systems, Fault-tolerance, Modal Logic, Software Specification |
1 | Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky |
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 110-124, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Guido Boella, Leendert W. N. van der Torre |
A Logical Architecture of a Normative System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 24-35, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Guido Boella, Leendert W. N. van der Torre |
Delegation of Power in Normative Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 36-52, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali |
A State/Event Temporal Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 85-100, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Souhila Kaci, Leendert W. N. van der Torre |
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 161-174, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Davide Grossi, John-Jules Ch. Meyer, Frank Dignum |
Counts-as: Classification or Constitution? An Answer Using Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 115-130, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jan M. Broersen |
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 53-68, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mark A. Brown |
Acting with an End in Sight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 69-84, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andrew J. I. Jones, Steven O. Kimbrough |
On the Normative Aspect of Signalling Conventions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 149-160, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Katie Atkinson, Trevor J. M. Bench-Capon |
Addressing Moral Problems Through Practical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 8-23, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gert-Jan C. Lokhorst |
Propositional Quantifiers in Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 201-209, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lars Lindahl, Jan Odelstad |
Intermediate Concepts in Normative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 187-200, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Adam Zachary Wyner |
Sequences, Obligations, and the Contrary-to-Duty Paradox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 255-271, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José Carmo |
Roles, Counts-as and Deontic and Action Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 1, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Robert Demolombe, Vincent Louis |
Speech Acts with Institutional Effects in Agent Societies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 101-114, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Hughes, Lambèr M. M. Royakkers |
Don't Ever Do That! Long-Term Duties in PDeL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 131-148, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marek J. Sergot, Robert Craven |
The Deontic Component of Action Language nC+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 222-237, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Barteld P. Kooi, Allard M. Tamminga |
Conflicting Obligations in Multi-agent Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 175-186, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Müller 0007 |
A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 210-221, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Petta |
Emotion Models for Situated Normative Systems?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 6-7, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lou Goble, John-Jules Ch. Meyer (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![Springer, 3-540-35842-0 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Frank Dignum |
Norms and Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 2-5, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Lomuscio, Bozena Wozna |
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: 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, pp. 238-254, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer |
Collective Obligations and Agents: Who Gets the Blame? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 129-145, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Hansen |
Conflicting Imperatives and Dyadic Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 146-164, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Lomuscio, Donald Nute (eds.) |
Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![Springer, 3-540-22111-5 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Kouznetsov |
Quasi-matrix Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 191-208, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Adam Zachary Wyner |
Maintaining Obligations on Stative Expressions in a Deontic Action Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 258-274, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mark A. Brown |
Obligation, Contracts, and Negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 1, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Olga Pacheco, Filipe Santos 0001 |
Delegation in a Role-Based Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 209-227, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge |
On Obligations and Abilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 165-181, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
alternating-time logic, multi-agent systems, deontic logic |
1 | Franco Raimondi, Alessio Lomuscio |
Automatic Verification of Deontic Properties of Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 228-242, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer |
Designing a Deontic Logic of Deadlines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 43-56, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Guido Boella, Leendert W. N. van der Torre |
Delta: The Social Delegation Cycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 29-42, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan M. Broersen |
Specifying Multiagent Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 243-257, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lou Goble |
A Proposal for Dealing with Deontic Dilemmas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, pp. 74-113, 2004, Springer, 3-540-22111-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|