Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)
Alessia Calafiore, Guido Boella, Stefano Borgo, and Nicola Guarino. Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 6:1-6:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{calafiore_et_al:LIPIcs.COSIT.2017.6, author = {Calafiore, Alessia and Boella, Guido and Borgo, Stefano and Guarino, Nicola}, title = {{Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices}}, booktitle = {13th International Conference on Spatial Information Theory (COSIT 2017)}, pages = {6:1--6:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-043-9}, ISSN = {1868-8969}, year = {2017}, volume = {86}, editor = {Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.6}, URN = {urn:nbn:de:0030-drops-77642}, doi = {10.4230/LIPIcs.COSIT.2017.6}, annote = {Keywords: urban artefact, ontology, social practice, urban planning} }
Published in: Dagstuhl Seminar Proceedings, Volume 10152, Relationships, Objects, Roles, and Queries in Modern Programming Languages (2010)
Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, and Frank Tip. 10152 Abstracts Collection – Relationships, Objects, Roles, and Queries in Modern Languages. In Relationships, Objects, Roles, and Queries in Modern Programming Languages. Dagstuhl Seminar Proceedings, Volume 10152, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{boella_et_al:DagSemProc.10152.1, author = {Boella, Guido and Meijer, Erik and Pearce, David J. and Steimann, Friedrich and Tip, Frank}, title = {{10152 Abstracts Collection – Relationships, Objects, Roles, and Queries in Modern Languages}}, booktitle = {Relationships, Objects, Roles, and Queries in Modern Programming Languages}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10152}, editor = {Guido Boella and Erik Meijer and David J. Pearce and Friedrich Steimann and Frank Tip}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10152.1}, URN = {urn:nbn:de:0030-drops-25750}, doi = {10.4230/DagSemProc.10152.1}, annote = {Keywords: Relationships, Roles, Software Modelling, Programming Languages} }
Published in: Dagstuhl Seminar Proceedings, Volume 10152, Relationships, Objects, Roles, and Queries in Modern Programming Languages (2010)
Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, and Frank Tip. 10152 Executive Summary – Relationships, Objects, Roles, and Queries in Modern Languages. In Relationships, Objects, Roles, and Queries in Modern Programming Languages. Dagstuhl Seminar Proceedings, Volume 10152, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{boella_et_al:DagSemProc.10152.2, author = {Boella, Guido and Meijer, Erik and Pearce, David J. and Steimann, Friedrich and Tip, Frank}, title = {{10152 Executive Summary – Relationships, Objects, Roles, and Queries in Modern Languages}}, booktitle = {Relationships, Objects, Roles, and Queries in Modern Programming Languages}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10152}, editor = {Guido Boella and Erik Meijer and David J. Pearce and Friedrich Steimann and Frank Tip}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10152.2}, URN = {urn:nbn:de:0030-drops-25743}, doi = {10.4230/DagSemProc.10152.2}, annote = {Keywords: Relationships, Roles, Software Modelling, Programming Languages} }
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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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} }
Feedback for Dagstuhl Publishing