@InProceedings{boella_et_al:DagSemProc.07122.1,
author = {Boella, Guido and Verhagen, Harko and van der Torre, Leendert},
title = {{ 07122 Abstracts Collection – Normative Multi-agent Systems}},
booktitle = {Normative Multi-agent Systems},
pages = {1--15},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.1},
URN = {urn:nbn:de:0030-drops-9433},
doi = {10.4230/DagSemProc.07122.1},
annote = {Keywords: Normative systems, multi-agent systems}
}
@InProceedings{boella_et_al:DagSemProc.07122.2,
author = {Boella, Guido and van der Torre, Leendert and Verhagen, Harko},
title = {{ Introduction to Normative Multiagent Systems}},
booktitle = {Normative Multi-agent Systems},
pages = {1--7},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.2},
URN = {urn:nbn:de:0030-drops-9187},
doi = {10.4230/DagSemProc.07122.2},
annote = {Keywords: Norms, Multiagent systems, Normative multiagent systems}
}
@InProceedings{boella_et_al:DagSemProc.07122.3,
author = {Boella, Guido and van der Torre, Leendert},
title = {{A Game-Theoretic Approach to Normative Multi-Agent Systems}},
booktitle = {Normative Multi-agent Systems},
pages = {1--35},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.3},
URN = {urn:nbn:de:0030-drops-9373},
doi = {10.4230/DagSemProc.07122.3},
annote = {Keywords: Normative multiagent systems, deontic logic, input/output logic}
}
@InProceedings{lopezylopez_et_al:DagSemProc.07122.4,
author = {Lopez y Lopez, Fabiola and Luck, Michael and d'Inverno, Mark},
title = {{A Normative Framework for Agent-Based Systems}},
booktitle = {Normative Multi-agent Systems},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.4},
URN = {urn:nbn:de:0030-drops-9332},
doi = {10.4230/DagSemProc.07122.4},
annote = {Keywords: Normative agents, normative multi-agent systems}
}
@InProceedings{caire:DagSemProc.07122.5,
author = {Caire, Patrice},
title = {{A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities}},
booktitle = {Normative Multi-agent Systems},
pages = {1--21},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.5},
URN = {urn:nbn:de:0030-drops-9064},
doi = {10.4230/DagSemProc.07122.5},
annote = {Keywords: Conviviality, multi-agent systems, normative systems, social computing, digital cities.}
}
@InProceedings{odelstad:DagSemProc.07122.6,
author = {Odelstad, Jan},
title = {{Agents, Norms and Forest Cleaning}},
booktitle = {Normative Multi-agent Systems},
pages = {1--15},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.6},
URN = {urn:nbn:de:0030-drops-9172},
doi = {10.4230/DagSemProc.07122.6},
annote = {Keywords: Norm, normative system, norm-regulated agent, forest cleaning}
}
@InProceedings{davidson_et_al:DagSemProc.07122.7,
author = {Davidson, Paul and Jacobsson, Andreas},
title = {{Aligning Models of Normative Systems and Artificial Societies: Towards norm-governed behavior in virtual enterprises}},
booktitle = {Normative Multi-agent Systems},
pages = {1--12},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.7},
URN = {urn:nbn:de:0030-drops-9082},
doi = {10.4230/DagSemProc.07122.7},
annote = {Keywords: Agents, norms, virtual enterprises}
}
@InProceedings{governatori_et_al:DagSemProc.07122.8,
author = {Governatori, Guido and Rotolo, Antonino},
title = {{BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic}},
booktitle = {Normative Multi-agent Systems},
pages = {1--34},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.8},
URN = {urn:nbn:de:0030-drops-9123},
doi = {10.4230/DagSemProc.07122.8},
annote = {Keywords: Social Agents, Defeasible Logic, Complexity of Agents}
}
@InProceedings{boella_et_al:DagSemProc.07122.9,
author = {Boella, Guido and da Costa Pereira, C\'{e}lia and Pigozzi, Gabriella and Tettamanzi, Andrea and van der Torre, Leendert},
title = {{Choosing Your Beliefs}},
booktitle = {Normative Multi-agent Systems},
pages = {1--18},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.9},
URN = {urn:nbn:de:0030-drops-9386},
doi = {10.4230/DagSemProc.07122.9},
annote = {Keywords: Rational agents, indeterministic belief revision, qualitative decision theory}
}
@InProceedings{kartseva_et_al:DagSemProc.07122.10,
author = {Kartseva, Vera and Hulstijn, Joris and Gordijn, Jaap and Tan, Yao-Hua},
title = {{Control Patterns in a Health Care Network}},
booktitle = {Normative Multi-agent Systems},
pages = {1--33},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.10},
URN = {urn:nbn:de:0030-drops-9158},
doi = {10.4230/DagSemProc.07122.10},
annote = {Keywords: Governance and control, network organizations, value modeling}
}
@InProceedings{garion_et_al:DagSemProc.07122.11,
author = {Garion, Christophe and Cholvy, Laurence},
title = {{Deriving individual obligations from collective obligations}},
booktitle = {Normative Multi-agent Systems},
pages = {1--16},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.11},
URN = {urn:nbn:de:0030-drops-9118},
doi = {10.4230/DagSemProc.07122.11},
annote = {Keywords: Deontic logic, action, representation of preferences}
}
@InProceedings{bottazzi_et_al:DagSemProc.07122.12,
author = {Bottazzi, Emanuele and Ferrario, Roberta and Masolo, Claudio and Trypuz, Robert},
title = {{Designing Organizations: Towards a Model}},
booktitle = {Normative Multi-agent Systems},
pages = {1--9},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.12},
URN = {urn:nbn:de:0030-drops-9049},
doi = {10.4230/DagSemProc.07122.12},
annote = {Keywords: Ontology, organizations, structure, design, norms}
}
@InProceedings{andrighetto_et_al:DagSemProc.07122.13,
author = {Andrighetto, Giulia and Conte, Rosaria and Turrini, Paolo and Paolucci, Mario},
title = {{Emergence In the Loop: Simulating the two way dynamics of norm innovation}},
booktitle = {Normative Multi-agent Systems},
pages = {1--30},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.13},
URN = {urn:nbn:de:0030-drops-9077},
doi = {10.4230/DagSemProc.07122.13},
annote = {Keywords: Norm innovation, emergence, immergence, simulation, social complexity.}
}
@InProceedings{weydert:DagSemProc.07122.14,
author = {Weydert, Emil},
title = {{Epistemic Norms in a Nutshell}},
booktitle = {Normative Multi-agent Systems},
pages = {1--1},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.14},
URN = {urn:nbn:de:0030-drops-9246},
doi = {10.4230/DagSemProc.07122.14},
annote = {Keywords: Epistemic norms, Trust, Meta-Science}
}
@InProceedings{alberti_et_al:DagSemProc.07122.15,
author = {Alberti, Marco and Chesani, Federico and Gavanelli, Marco and Lamma, Evelina and Mello, Paola and Montali, Marco and Torroni, Paolo},
title = {{Expressing and Verifying Business Contracts with Abductive}},
booktitle = {Normative Multi-agent Systems},
pages = {1--29},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.15},
URN = {urn:nbn:de:0030-drops-9017},
doi = {10.4230/DagSemProc.07122.15},
annote = {Keywords: Contracts, Verification, Abduction}
}
@InProceedings{torresdasilva:DagSemProc.07122.16,
author = {Torres da Silva, Viviane},
title = {{Implementing Norms that Govern Non-Dialogical Actions}},
booktitle = {Normative Multi-agent Systems},
pages = {1--13},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.16},
URN = {urn:nbn:de:0030-drops-9278},
doi = {10.4230/DagSemProc.07122.16},
annote = {Keywords: Norm, governance of multi-agent system, non-dialogical action}
}
@InProceedings{riveret_et_al:DagSemProc.07122.17,
author = {Riveret, Regis and Rotolo, Antonino and Governatori, Guido},
title = {{Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic}},
booktitle = {Normative Multi-agent Systems},
pages = {1--17},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.17},
URN = {urn:nbn:de:0030-drops-9232},
doi = {10.4230/DagSemProc.07122.17},
annote = {Keywords: Time, Norm, Temporal Modal Defeasible Logic}
}
@InProceedings{boissier_et_al:DagSemProc.07122.18,
author = {Boissier, Olivier and G\^{a}teau, Benjamin},
title = {{Normative Multi-Agent Organizations: Modeling, Support and Control, Draft Version}},
booktitle = {Normative Multi-agent Systems},
pages = {1--17},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.18},
URN = {urn:nbn:de:0030-drops-9029},
doi = {10.4230/DagSemProc.07122.18},
annote = {Keywords: Organization, multi-agent}
}
@InProceedings{kibble:DagSemProc.07122.19,
author = {Kibble, Rodger},
title = {{Norms and accountability in multi-agent societies}},
booktitle = {Normative Multi-agent Systems},
pages = {1--10},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.19},
URN = {urn:nbn:de:0030-drops-9161},
doi = {10.4230/DagSemProc.07122.19},
annote = {Keywords: Norms, agents, social commitments, reasoning}
}
@InProceedings{gangemi_et_al:DagSemProc.07122.20,
author = {Gangemi, Aldo and Lehmann, Jos and Catenacci, Carola},
title = {{Norms and plans as unification criteria for social collectives}},
booktitle = {Normative Multi-agent Systems},
pages = {1--40},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.20},
URN = {urn:nbn:de:0030-drops-9103},
doi = {10.4230/DagSemProc.07122.20},
annote = {Keywords: Formal Ontology, Constructivism, Social Entities, Semantic Web}
}
@InProceedings{agerri:DagSemProc.07122.21,
author = {Agerri, Rodrigo},
title = {{Norms of Conversation in a Framework for Agent Communication Languages}},
booktitle = {Normative Multi-agent Systems},
pages = {1--43},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.21},
URN = {urn:nbn:de:0030-drops-9206},
doi = {10.4230/DagSemProc.07122.21},
annote = {Keywords: Agent Communication Languages, Norms, Multi-Agent Systems}
}
@InProceedings{verhagen:DagSemProc.07122.22,
author = {Verhagen, Harko},
title = {{Normtypologies}},
booktitle = {Normative Multi-agent Systems},
pages = {1--4},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.22},
URN = {urn:nbn:de:0030-drops-9309},
doi = {10.4230/DagSemProc.07122.22},
annote = {Keywords: Norms, Multiagent systems, Normative multiagent systems}
}
@InProceedings{grossi_et_al:DagSemProc.07122.23,
author = {Grossi, Davide and Meyer, John-Jules and Dignum, Frank},
title = {{On the Logic of Constitutive Rules}},
booktitle = {Normative Multi-agent Systems},
pages = {1--33},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.23},
URN = {urn:nbn:de:0030-drops-9131},
doi = {10.4230/DagSemProc.07122.23},
annote = {Keywords: Constitutive rules, counts-as, modal logic.}
}
@InProceedings{agotnes_et_al:DagSemProc.07122.24,
author = {\r{A}gotnes, Thomas and van der Hoek, Wiebe and Rodriguez-Aguilar, Juan A. and Sierra, Carles and Wooldridge, Michael},
title = {{On the Logic of Normative Systems}},
booktitle = {Normative Multi-agent Systems},
pages = {1--13},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.24},
URN = {urn:nbn:de:0030-drops-9210},
doi = {10.4230/DagSemProc.07122.24},
annote = {Keywords: Normative systems, normative temporal logic, deontic logic}
}
@InProceedings{hansen:DagSemProc.07122.25,
author = {Hansen, J\"{o}rg},
title = {{Prioritized Conditional Imperatives:Problems and a New Proposal}},
booktitle = {Normative Multi-agent Systems},
pages = {1--30},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.25},
URN = {urn:nbn:de:0030-drops-9147},
doi = {10.4230/DagSemProc.07122.25},
annote = {Keywords: Deontic logic, default logic, priorities, logic of imperatives}
}
@InProceedings{okuyama_et_al:DagSemProc.07122.26,
author = {Okuyama, Fabio and Bordini, Rafael and Rocha Costa, Ant\^{o}nio Carlos},
title = {{Spatially Distributed Normative Objects}},
booktitle = {Normative Multi-agent Systems},
pages = {1--14},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.26},
URN = {urn:nbn:de:0030-drops-9030},
doi = {10.4230/DagSemProc.07122.26},
annote = {Keywords: Multi-Agent Systems, Environment Modelling, Normative Infrastructure}
}
@InProceedings{fornara_et_al:DagSemProc.07122.27,
author = {Fornara, Nicoletta and Colombetti, Marco},
title = {{Specifying and Enforcing Norms in Artificial Institutions}},
booktitle = {Normative Multi-agent Systems},
pages = {1--16},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.27},
URN = {urn:nbn:de:0030-drops-9097},
doi = {10.4230/DagSemProc.07122.27},
annote = {Keywords: Norms, Sanctions, Commitments, Artificial Institutions,}
}
@InProceedings{hansen_et_al:DagSemProc.07122.28,
author = {Hansen, J\"{o}rg and Pigozzi, Gabriella and van der Torre, Leendert},
title = {{Ten Philosophical Problems in Deontic Logic}},
booktitle = {Normative Multi-agent Systems},
pages = {1--26},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.28},
URN = {urn:nbn:de:0030-drops-9413},
doi = {10.4230/DagSemProc.07122.28},
annote = {Keywords: Deontic logic, normative systems, input/output logic}
}
@InProceedings{genovese:DagSemProc.07122.29,
author = {Genovese, Valerio},
title = {{Towards a General Framework for Modelling Roles}},
booktitle = {Normative Multi-agent Systems},
pages = {1--21},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.29},
URN = {urn:nbn:de:0030-drops-9256},
doi = {10.4230/DagSemProc.07122.29},
annote = {Keywords: Roles, Organizations, Object OrientedModelling, Multi-Agent Systems, Security.}
}
@InProceedings{nickles:DagSemProc.07122.30,
author = {Nickles, Matthias},
title = {{Towards a Logic of Graded Normativity and Norm Adherence}},
booktitle = {Normative Multi-agent Systems},
pages = {1--15},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.30},
URN = {urn:nbn:de:0030-drops-9267},
doi = {10.4230/DagSemProc.07122.30},
annote = {Keywords: Computational Norms, Dynamic Logic, Computational Expectations, Social AI}
}
@InProceedings{broersen_et_al:DagSemProc.07122.31,
author = {Broersen, Jan M. and van der Torre, Leendert},
title = {{What an Agent Ought To Do}},
booktitle = {Normative Multi-agent Systems},
pages = {1--17},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.31},
URN = {urn:nbn:de:0030-drops-9051},
doi = {10.4230/DagSemProc.07122.31},
annote = {Keywords: Deontic logic, STIT, agency, action}
}
@InProceedings{makinson_et_al:DagSemProc.07122.32,
author = {Makinson, David and van der Torre, Leendert},
title = {{What is Input/Output Logic? Input/Output Logic, Constraints, Permissions}},
booktitle = {Normative Multi-agent Systems},
pages = {1--12},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7122},
editor = {Guido Boella and Leon van der Torre 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.07122.32},
URN = {urn:nbn:de:0030-drops-9282},
doi = {10.4230/DagSemProc.07122.32},
annote = {Keywords: Deontic logic, input/output logic, constraints, permissions}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing