Published in: Dagstuhl Reports, Volume 4, Issue 5 (2014)
Franz Dietrich, Ulle Endriss, Davide Grossi, Gabriella Pigozzi, and Marija Slavkovik. JA4AI – Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202). In Dagstuhl Reports, Volume 4, Issue 5, pp. 27-39, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@Article{dietrich_et_al:DagRep.4.5.27, author = {Dietrich, Franz and Endriss, Ulle and Grossi, Davide and Pigozzi, Gabriella and Slavkovik, Marija}, title = {{JA4AI – Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202)}}, pages = {27--39}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {5}, editor = {Dietrich, Franz and Endriss, Ulle and Grossi, Davide and Pigozzi, Gabriella and Slavkovik, Marija}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.5.27}, URN = {urn:nbn:de:0030-drops-46791}, doi = {10.4230/DagRep.4.5.27}, annote = {Keywords: Judgment Aggregation, Artificial Intelligence, Computational Social Choice, Collective Decision-making} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Guido Boella, Pablo Noriega, and Gabriella Pigozzi. 09121 Abstracts Collection – Normative Multi-Agent Systems. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{boella_et_al:DagSemProc.09121.1, author = {Boella, Guido and Noriega, Pablo and Pigozzi, Gabriella}, title = {{09121 Abstracts Collection – Normative Multi-Agent Systems}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--17}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.1}, URN = {urn:nbn:de:0030-drops-19229}, doi = {10.4230/DagSemProc.09121.1}, annote = {Keywords: Similarity-based clustering and classification, metric adaptation and kernel design, learning on graphs, spatiotemporal data} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Guido Boella, Gabriella Pigozzi, and Leendert van der Torre. Normative Systems in Computer Science - Ten Guidelines for Normative Multiagent Systems. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{boella_et_al:DagSemProc.09121.2, author = {Boella, Guido and Pigozzi, Gabriella and van der Torre, Leendert}, title = {{Normative Systems in Computer Science - Ten Guidelines for Normative Multiagent Systems}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--21}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.2}, URN = {urn:nbn:de:0030-drops-19029}, doi = {10.4230/DagSemProc.09121.2}, annote = {Keywords: Normative systems - Guidelines - Norms - Multiagent systems - Deontic logic} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Bastin Tony Roy Savarimuthu and Stephen Cranefield. A categorization of simulation works on norms. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{savarimuthu_et_al:DagSemProc.09121.3, author = {Savarimuthu, Bastin Tony Roy and Cranefield, Stephen}, title = {{A categorization of simulation works on norms}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.3}, URN = {urn:nbn:de:0030-drops-19057}, doi = {10.4230/DagSemProc.09121.3}, annote = {Keywords: Norms, creation, spreading, enforcement, emergence} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Giulia Andrighetto, Luca Tummolini, Cristiano Castelfranchi, and Rosaria Conte. A convention or (tacit) agreement betwixt us. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{andrighetto_et_al:DagSemProc.09121.4, author = {Andrighetto, Giulia and Tummolini, Luca and Castelfranchi, Cristiano and Conte, Rosaria}, title = {{A convention or (tacit) agreement betwixt us}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--28}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.4}, URN = {urn:nbn:de:0030-drops-19194}, doi = {10.4230/DagSemProc.09121.4}, annote = {Keywords: Agreement, convention, norm, pragmatics} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Patrice Caire and Leendert van der Torre. A Conviviality Measure for Early Requirement Phase. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{caire_et_al:DagSemProc.09121.5, author = {Caire, Patrice and van der Torre, Leendert}, title = {{A Conviviality Measure for Early Requirement Phase}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.5}, URN = {urn:nbn:de:0030-drops-18999}, doi = {10.4230/DagSemProc.09121.5}, annote = {Keywords: Multi-agent systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Olivier Boissier and Jomi Fred Hübner. A Framework for Normative MultiAgent Organisations. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{boissier_et_al:DagSemProc.09121.6, author = {Boissier, Olivier and H\"{u}bner, Jomi Fred}, title = {{A Framework for Normative MultiAgent Organisations}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--25}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.6}, URN = {urn:nbn:de:0030-drops-19033}, doi = {10.4230/DagSemProc.09121.6}, annote = {Keywords: Normative system, organisation, artifacts, norm enforcement} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Christophe Garion, Stéphanie Roussel, and Laurence Cholvy. A modal logic for reasoning on consistency and completeness of regulations. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{garion_et_al:DagSemProc.09121.7, author = {Garion, Christophe and Roussel, St\'{e}phanie and Cholvy, Laurence}, title = {{A modal logic for reasoning on consistency and completeness of regulations}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--17}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.7}, URN = {urn:nbn:de:0030-drops-19047}, doi = {10.4230/DagSemProc.09121.7}, annote = {Keywords: Regulations, consistency, completeness, deontic logic, default logic} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Davide Grossi. A note on brute vs. institutional facts. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{grossi:DagSemProc.09121.8, author = {Grossi, Davide}, title = {{A note on brute vs. institutional facts}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.8}, URN = {urn:nbn:de:0030-drops-19103}, doi = {10.4230/DagSemProc.09121.8}, annote = {Keywords: Modal logic, brute and institutional facts} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Tina Balke. A Taxonomy for Ensuring Institutional Compliance in Utility Computing. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{balke:DagSemProc.09121.9, author = {Balke, Tina}, title = {{A Taxonomy for Ensuring Institutional Compliance in Utility Computing}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--17}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.9}, URN = {urn:nbn:de:0030-drops-19012}, doi = {10.4230/DagSemProc.09121.9}, annote = {Keywords: Institutions, Compliance, Enforcement, Regimentation, Norms, Sanctions, Utility Computing} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Jan Odelstad. An essay on msic-systems. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-39, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{odelstad:DagSemProc.09121.10, author = {Odelstad, Jan}, title = {{An essay on msic-systems}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--39}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.10}, URN = {urn:nbn:de:0030-drops-19146}, doi = {10.4230/DagSemProc.09121.10}, annote = {Keywords: Concept formation, Intermediary, Intermediate concept, Legal concept, Normative system, Normative position, Norm-regulated system, Agent architecture.} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Sanjay Modgil and Michael Luck. Argumentation based Resolution of Conflicts Between Desires and Normative Goals. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{modgil_et_al:DagSemProc.09121.11, author = {Modgil, Sanjay and Luck, Michael}, title = {{Argumentation based Resolution of Conflicts Between Desires and Normative Goals}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--18}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.11}, URN = {urn:nbn:de:0030-drops-19124}, doi = {10.4230/DagSemProc.09121.11}, annote = {Keywords: Argumentation, Norms, Desires, Conflicts} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Wamberto Vasconcelos and Timothy J. Norman. Contract Formation through Preemptive Normative Conflict Resolution. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{vasconcelos_et_al:DagSemProc.09121.12, author = {Vasconcelos, Wamberto and Norman, Timothy J.}, title = {{Contract Formation through Preemptive Normative Conflict Resolution}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--18}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.12}, URN = {urn:nbn:de:0030-drops-19207}, doi = {10.4230/DagSemProc.09121.12}, annote = {Keywords: Normative Conflict, Contracts} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Celia da Costa Pereira. Distrust is not Always the Complement of Trust (Position Paper). In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{dacostapereira:DagSemProc.09121.13, author = {da Costa Pereira, Celia}, title = {{Distrust is not Always the Complement of Trust (Position Paper)}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.13}, URN = {urn:nbn:de:0030-drops-19154}, doi = {10.4230/DagSemProc.09121.13}, annote = {Keywords: Trust, Distrust, Decision Making} }
Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)
Guillaume Aucher, Davide Grossi, Andreas Herzig, and Emiliano Lorini. Dynamic Context Logic and its Application to Norm. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{aucher_et_al:DagSemProc.09121.14, author = {Aucher, Guillaume and Grossi, Davide and Herzig, Andreas and Lorini, Emiliano}, title = {{Dynamic Context Logic and its Application to Norm}}, booktitle = {Normative Multi-Agent Systems}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9121}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.14}, URN = {urn:nbn:de:0030-drops-19009}, doi = {10.4230/DagSemProc.09121.14}, annote = {Keywords: Context logic, norm change, deontic logic} }
Feedback for Dagstuhl Publishing