@article{DBLP:journals/sLogica/GabbayT09,
author = {Dov M. Gabbay and
Leendert van der Torre},
title = {Preface for Studia Logica Special Issue (2)},
journal = {Studia Logica},
volume = {93},
number = {2-3},
year = {2009},
pages = {105-108},
ee = {http://dx.doi.org/10.1007/s11225-009-9212-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/iat/TinnemeierDMT09,
author = {Nick A. M. Tinnemeier and
Mehdi Dastani and
John-Jules Ch. Meyer and
Leendert W. N. van der Torre},
title = {Programming Normative Artifacts with Declarative Obligations
and Prohibitions},
booktitle = {IAT},
year = {2009},
pages = {145-152},
ee = {http://dx.doi.org/10.1109/WI-IAT.2009.144},
crossref = {DBLP:conf/iat/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/argmas/BoellaKT09,
author = {Guido Boella and
Souhila Kaci and
Leendert van der Torre},
title = {Dynamics in Argumentation with Single Extensions: Attack
Refinement and the Grounded Extension (Extended Version)},
booktitle = {ArgMAS},
year = {2009},
pages = {150-159},
ee = {http://dx.doi.org/10.1007/978-3-642-12805-9_9},
crossref = {DBLP:conf/argmas/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecsqaru/VillataBGT11,
author = {Serena Villata and
Guido Boella and
Dov M. Gabbay and
Leendert van der Torre},
title = {Arguing about the Trustworthiness of the Information Sources},
booktitle = {ECSQARU},
year = {2011},
pages = {74-85},
ee = {http://dx.doi.org/10.1007/978-3-642-22152-1_7},
crossref = {DBLP:conf/ecsqaru/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/kesamsta/BoellaGPTV11,
author = {Guido Boella and
Dov M. Gabbay and
Alan Perotti and
Leendert van der Torre and
Serena Villata},
title = {Argumentative Agents Negotiating on Potential Attacks},
booktitle = {KES-AMSTA},
year = {2011},
pages = {280-290},
ee = {http://dx.doi.org/10.1007/978-3-642-22000-5_30},
crossref = {DBLP:conf/kesamsta/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/japll/MeydenT11,
author = {Ron van der Meyden and
Leon van der Torre},
title = {Selected and revised papers from the Ninth International
Conference on Deontic Logic in Computer Science (DEON 2008)},
journal = {J. Applied Logic},
volume = {9},
number = {2},
year = {2011},
pages = {81-82},
ee = {http://dx.doi.org/10.1016/j.jal.2011.02.001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{BoothMeyerJICPR2011,
author = {Richard Booth and Thomas Meyer},
journal = {Journal of Indian Council of Philosophical Research},
pages = {379--412},
publisher = {Indian Council of Philosophical Research},
title = {Belief change},
volume = {27},
year = {2011}
}
@article{BoothMeyerJPL2011,
author = {Richard Booth and Thomas Meyer},
journal = {Journal of Philosophical Logic},
pages = {193--238},
publisher = {Springer},
title = {How to revise a total preorder},
volume = {40},
year = {2011}
}
@inproceedings{DBLP:conf/jurix/AucherBT09,
author = {Guillaume Aucher and
Guido Boella and
Leendert van der Torre},
title = {Prescriptive and Descriptive Obligations in Dynamic Epistemic
Deontic Logic},
booktitle = {AICOL Workshops},
year = {2009},
pages = {150-161},
ee = {http://dx.doi.org/10.1007/978-3-642-16524-5_10},
crossref = {DBLP:conf/jurix/2009aicol},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/jurix/BoellaGRT09,
author = {Guido Boella and
Guido Governatori and
Antonino Rotolo and
Leendert van der Torre},
title = {{\it Lex Minus Dixit Quam Voluit}, {\it Lex Magis}{\it Dixit
Quam Voluit}: A Formal Study on Legal Compliance and
Interpretation},
booktitle = {AICOL Workshops},
year = {2009},
pages = {162-183},
ee = {http://dx.doi.org/10.1007/978-3-642-16524-5_11},
crossref = {DBLP:conf/jurix/2009aicol},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/atal/BoellaKT09,
author = {Guido Boella and
Souhila Kaci and
Leendert van der Torre},
title = {Dynamics in argumentation with single extensions: attack
refinement and the grounded extension},
booktitle = {AAMAS (2)},
year = {2009},
pages = {1213-1214},
ee = {http://doi.acm.org/10.1145/1558109.1558218},
crossref = {DBLP:conf/atal/2009-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/atal/BoellaTV09,
author = {Guido Boella and
Leendert van der Torre and
Serena Villata},
title = {Conditional Dependence Networks in Requirements Engineering},
booktitle = {COIN@AAMAS{\&}IJCAI{\&}MALLOW},
year = {2009},
pages = {3-18},
ee = {http://dx.doi.org/10.1007/978-3-642-14962-7_1},
crossref = {DBLP:conf/atal/2009coin},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecai/GenoveseGGP10,
author = {Valerio Genovese and Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {ECAI},
crossref = {DBLP:conf/ecai/2010},
ee = {http://dx.doi.org/10.3233/978-1-60750-606-5-1073},
pages = {1073-1074},
title = {A constructive conditional logic for access control: a preliminary report},
year = {2010}
}
@article{BikakisTKDE10,
author = {Antonis Bikakis and Grigoris Antoniou},
date-added = {2011-01-20 14:44:33 +0100},
date-modified = {2011-01-20 14:46:04 +0100},
journal = {IEEE Transactions on Knowledge and Data Engineering},
number = {11},
pages = {1492-1506},
title = {Defeasible Contextual Reasoning with Arguments in Ambient Intelligence},
volume = {22},
year = {2010}
}
@inproceedings{BikakisOTM10,
author = {Antonis Bikakis and Grigoris Antoniou},
booktitle = {OTM Workshops},
date-added = {2011-01-20 14:42:54 +0100},
date-modified = {2011-01-20 14:44:31 +0100},
editor = {Robert Meersman and Tharam S. Dillon and Pilar Herrero},
pages = {89},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Defeasible Contextual Reasoning in Ambient Intelligence: Theory and Applications},
volume = {6428},
year = {2010}
}
@inproceedings{PatkosSETN10,
author = {Theodore Patkos and Ioannis Chryssakis and Antonis Bikakis and Dimitris Plexousakis and Grigoris Antoniou},
booktitle = {SETN},
date-added = {2011-01-20 14:38:05 +0100},
date-modified = {2011-01-20 14:40:30 +0100},
editor = {Stasinos Konstantopoulos and Stavros J. Perantonis and Vangelis Karkaletsis and Constantine D. Spyropoulos and George A. Vouros},
pages = {213-222},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {A Reasoning Framework for Ambient Intelligence},
volume = {6040},
year = {2010}
}
@inproceedings{BikakisRuleML10,
author = {Antonis Bikakis and Grigoris Antoniou},
booktitle = {Semantic Web Rules - International Symposium, RuleML 2010},
date-added = {2011-01-20 14:36:19 +0100},
date-modified = {2011-01-20 14:42:50 +0100},
editor = {Mike Dean and John Hall and Antonino Rotolo and Said Tabet},
pages = {74-88},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Rule-Based Contextual Reasoning in Ambient Intelligence},
volume = {6403},
year = {2010}
}
@inproceedings{AntoniouKR10,
author = {Grigoris Antoniou and Constantinos Papatheodorou and Antonis Bikakis},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010},
date-added = {2011-01-20 14:33:51 +0100},
date-modified = {2011-01-20 14:36:17 +0100},
editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski},
publisher = {AAAI Press},
title = {Reasoning about Context in Ambient Intelligence Environments: A Report from the Field},
year = {2010}
}
@inproceedings{AntoniouADBIS10,
author = {Grigoris Antoniou and Antonis Bikakis and Constantinos Papatheodorou},
booktitle = {Advances in Databases and Information Systems - 14th East European Conference, ADBIS 2010},
date-added = {2011-01-20 14:31:23 +0100},
date-modified = {2011-01-20 14:33:45 +0100},
editor = {Barbara Catania and Mirjana Ivanovic and Bernhard Thalheim},
pages = {1-12},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Reasoning with Imperfect Context and Preference Information Reasoning with Imperfect Context and Preference Information in Multi-Context Systems},
volume = {6295},
year = {2010}
}
@inproceedings{bikakisMIWAI10,
author = {Antonis Bikakis and Grigoris Antoniou},
booktitle = {Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10)},
date-added = {2011-01-20 14:27:53 +0100},
date-modified = {2011-01-20 14:41:42 +0100},
read = {0},
title = {Contextual Argumentation in Ambient Intelligence: Overview and Future Steps},
year = {2010}
}
@inproceedings{PapatheodorouIE10,
author = {Constantinos Papatheodorou and Antonis Bikakis and Grigoris Antoniou},
booktitle = {Intelligent Environments (IE)},
date-added = {2011-01-20 14:27:28 +0100},
date-modified = {2011-01-20 14:31:21 +0100},
title = {On the Deployment of Contextual Reasoning in Ambient Intelligence Environments},
year = {2010}
}
@inproceedings{StC10,
author = {E. Staab and M.W.A. Caminada},
booktitle = {Proceedings of the Eleventh International Workshop on Multi-Agent-Based Simulation (MABS)},
editor = {T. Bosse and A. Geller and C.M. Jonker},
pages = {75-89},
title = {On the Profitability of Incompetence},
year = 2010
}
@inproceedings{SCH10,
author = {Ch. Sakama, M.W.A. Caminada and A. Herzig},
booktitle = {Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA)},
editor = {Janhunen, Tomi and Niemel\"a, Ilkka},
pages = {286-299},
publisher = {Springer Berlin / Heidelberg},
series = {Lecture Notes in Artificial Intelligence},
title = {A Logical Account of Lying},
volume = {6341},
year = 2010
}
@inproceedings{CV10,
author = {M.W.A. Caminada and B. Verheij},
booktitle = {Proceedings of the 22nd Benelux Conference on Artificial Intelligence},
title = {On the Existence of Semi-Stable Extensions},
year = 2010
}
@inproceedings{CW10,
author = {M.W.A. Caminada and Y. Wu},
booktitle = {Proceedings of the 22nd Benelux Conference on Artificial Intelligence},
title = {On the Jusification Status of Arguments},
year = 2010
}
@inproceedings{Cam10a,
author = {M.W.A. Caminada},
booktitle = {Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010)},
pages = {147-158},
title = {An Algorithm for Stage Semantics},
year = 2010
}
@inproceedings{SaC10,
author = {Ch. Sakama and M.W.A. Caminada},
booktitle = {Proceedings of the Thirty Years of Nonmonotonic Reasoning (NonMon\@30)},
title = {The Many Faces of Deception},
year = 2010
}
@article{WC10,
author = {Y. Wu and M.W.A. Caminada},
journal = {Studies in Logic},
number = 4,
pages = {12-29},
title = {A Labelling-Based Justification Status of Arguments},
volume = 3,
year = 2010
}
@inproceedings{WCP10,
author = {Y. Wu, M.W.A. Caminada and M. Podlaszewski},
booktitle = {Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR)},
title = {A Labelling-Based Justification Status of Arguments},
year = 2010
}
@inproceedings{PWC10,
author = {M. Pdslaszewski, Y. Wu and M.W.A. Caminada},
booktitle = {Proceedings of the DEMO session of the Thirs International Conference on Computational Models or Argument (COMMA)},
title = {An Implementation of Basic Argumentation Components},
year = 2010
}
@inproceedings{Cam10c,
author = {M.W.A. Caminada},
booktitle = {Proceedings of the eleventh AI*IA symposium on artificial intelligence},
editor = {Alfonso E. Gerevini and Alessandro Saetti},
pages = {209-216},
title = {Preferred Semantics as Socratic Discussion},
year = 2010
}
@inproceedings{CPP10,
author = {M.W.A. Caminada and G. Pigozzi and M. Podlaszewski},
booktitle = {Proceedings of the 8th European Workshop on Multi-Agent Systems},
title = {Manipulation in group argument evaluation},
year = 2010
}
@proceedings{lamas2010,
booktitle = {LAMAS 2010},
editor = {V. Goranko and W. Jamroga},
publisher = {IFAAMAS},
title = {Proceedings of the 3rd Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2010)},
year = {2010}
}
@proceedings{clima2010,
booktitle = {CLIMA XI},
editor = {J. Dix and J. Leite and G. Governatori and W. Jamroga},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Computational Logic in Multi-Agent Systems. Proceedings of CLIMA XI},
volume = {6245},
year = {2010}
}
@inbook{Bulling10verification,
author = {N. Bulling and J. Dix and W. Jamroga},
booktitle = {Specification and Verification of Multi-Agent Systems},
editor = {M. Dastani and K. Hindriks and J.-J. Meyer},
pages = {125--159},
publisher = {Springer},
title = {Model Checking Logics of Strategic Ability: Complexity},
year = {2010}
}
@article{Bulling10atlplus-aicomm,
author = {N. Bulling and W. Jamroga},
journal = {AI Communications},
pages = {380--403},
publisher = {IOS Press},
title = {Verifying Agents with Memory Is Harder than It Seemed},
volume = {23},
year = {2010}
}
@inproceedings{Bulling10atlplus-aamas,
author = {N. Bulling and W. Jamroga},
booktitle = {Proceedings of {AAMAS2010}},
pages = {633--640},
title = {Verifying Agents with Memory Is Harder than It Seemed},
year = {2010}
}
@inproceedings{Dastani10programs-aamas,
author = {M. Dastani and W. Jamroga},
booktitle = {Proceedings of {AAMAS2010}},
pages = {625--632},
title = {Reasoning about Strategies of Multi-Agent Programs},
year = {2010}
}
@inproceedings{Goranko10trulyplayable-eumas,
author = {V. Goranko and W. Jamroga and P. Turrini},
booktitle = {Proceedings of {EUMAS2010}},
title = {Strategic Games and Truly Playable Effectivity Functions},
year = {2010}
}
@inproceedings{Jamroga10comparing-eumas,
author = {W. Jamroga and N. Bulling},
booktitle = {Proceedings of {EUMAS2010}},
title = {Comparing Variants of Strategic Ability},
year = {2010}
}
@article{Seylan10cdl-entcs,
author = {\.{I}. Seylan and W. Jamroga},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {231--248},
publisher = {Springer},
title = {Coalition Description Logic for Individuals},
volume = {262},
year = {2010}
}
@inproceedings{Wey10,
affiliation = {icr},
author = {Emil Weydert},
booktitle = {Procs. of the 22nd Benelux Conference on Artificial Intelligence (BNAIC'10)},
title = {Ranking revision with conditional knowledge bases},
year = {2010}
}
@inproceedings{BMVW10,
affiliation = {icr},
author = {Richard Booth and Thomas Meyer and Ivan Varzinczak and Renata Wassermann},
booktitle = {Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR 2010)},
title = {A contraction core for Horn belief change: Preliminary report},
year = {2010}
}
@article{BM10,
affiliation = {icr},
author = {Richard Booth and Thomas Meyer},
journal = {Synthese},
page = {97-123},
title = {Equilibria in social belief removal},
volume = {177},
year = 2010
}
@inproceedings{DBLP:conf/ecai/BoothCLMS10,
author = {Richard Booth and Yann Chevaleyre and J{\'e}r{\^o}me Lang and J{\'e}r{\^o}me Mengin and Chattrakul Sombattheera},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010)},
crossref = {DBLP:conf/ecai/2010},
ee = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17755},
pages = {269-274},
title = {Learning conditionally lexicographic preference relations},
year = {2010}
}
@inproceedings{DBLP:conf/ecai/BoothMVW10,
author = {Richard Booth and Thomas Meyer and Ivan Jos{\'e} Varzinczak and Renata Wassermann},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010)},
crossref = {DBLP:conf/ecai/2010},
ee = {http://dx.doi.org/10.3233/978-1-60750-606-5-1065},
pages = {1065-1066},
title = {Horn Belief Change: A Contraction Core},
year = {2010}
}
@article{DBLP:journals/ai/BoothCMG10,
author = {Richard Booth and Samir Chopra and Thomas Meyer and Aditya Ghose},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1016/j.artint.2010.08.001},
journal = {Artificial Intelligence},
number = {16-17},
pages = {1339-1368},
title = {Double preference relations for generalised belief change},
volume = {174},
year = {2010}
}
@inproceedings{DBLP:conf/dbsec/BarkerG10,
author = {Steve Barker and Valerio Genovese},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {DBSec},
crossref = {DBLP:conf/dbsec/2010},
ee = {http://dx.doi.org/10.1007/978-3-642-13739-6_2},
pages = {17-32},
title = {A Logic of Privacy},
year = {2010}
}
@inproceedings{DBLP:conf/ecai/BoellaGGT10,
author = {Guido Boella and Dov M. Gabbay and Valerio Genovese and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {ECAI},
crossref = {DBLP:conf/ecai/2010},
ee = {http://dx.doi.org/10.3233/978-1-60750-606-5-555},
pages = {555-560},
title = {Higher-Order Coalition Logic},
year = {2010}
}
@inproceedings{DBLP:conf/stairs/GenoveseRGT10,
author = {Valerio Genovese and
Daniele Rispoli and
Dov M. Gabbay and
Leendert W. N. van der Torre},
title = {Modal Access Control Logic - Axiomatization, Semantics and
FOL Theorem Proving},
booktitle = {STAIRS},
year = {2010},
pages = {114-126},
ee = {http://dx.doi.org/10.3233/978-1-60750-675-1-114},
crossref = {DBLP:conf/stairs/2010},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/stairs/2010,
editor = {Thomas {\AA}gotnes},
title = {STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers'
Symposium, Lisbon, Portugal, 16-20 August, 2010},
booktitle = {STAIRS},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {222},
year = {2010},
isbn = {978-1-60750-675-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{BVTV10,
author = {D. M. Gabbay and G. Boella and L. van der Torre and S. Villata},
booktitle = {Proceedings of COMMA 2010},
pages = {111-122},
title = {Support in Abstract Argumentation},
year = {2010}
}
@article{NMRDOV10,
author = {D. M. Gabbay and G. Boella and S. Villata},
booktitle = {Proceedings of NMR 2010},
title = {Subsumption and Count as Relation in Argument Ontologies},
year = {2010}
}
@book{CondDovSH10,
author = {D. M. Gabbay and K. Shlechta},
editor = {Springer},
title = {Conditionals and Modularity in General Logics},
year = {2010}
}
@inproceedings{DBLP:conf/deon/AbrahamGS10,
author = {Michael Abraham and Dov M. Gabbay and Uri J. Schild},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {DEON},
crossref = {DBLP:conf/deon/2010},
ee = {http://dx.doi.org/10.1007/978-3-642-14183-6_13},
pages = {166-178},
title = {Obligations and Prohibitions in Talmudic Deontic Logic},
year = {2010}
}
@book{BookDovTalumd10,
author = {D. M. Gabbay and M. Abraham and U. Schild},
editor = {College Publications},
title = {Non-Deductive Inference in the Talmud},
year = {2010}
}
@article{DBLP:journals/sLogica/GabbayS10,
author = {Dov M. Gabbay and Karl Schlechta},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s11225-010-9237-7},
journal = {Studia Logica},
number = {3},
pages = {403-432},
title = {A Comment on Work by Booth and Co-authors},
volume = {94},
year = {2010}
}
@article{DOVPNUELI10,
author = {Dov Gabbay and H. Barringer},
editor = {Springer},
journal = {Time for Verification},
title = {Modal and Temporal Argumentation Networks}
}
@article{DBLP:journals/jolli/GabbayS10,
author = {Dov M. Gabbay and Karl Schlechta},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s10849-009-9096-7},
journal = {Journal of Logic, Language and Information},
number = {1},
pages = {3-32},
title = {A Theory of Hierarchical Consequence and Conditionals},
volume = {19},
year = {2010}
}
@inproceedings{DBLP:conf/deon/Parent10,
author = {Xavier Parent},
booktitle = {DEON},
crossref = {DBLP:conf/deon/2010},
ee = {http://dx.doi.org/10.1007/978-3-642-14183-6_8},
pages = {84-97},
title = {Moral Particularism and Deontic Logic},
year = {2010}
}
@article{DBLP:journals/igpl/Parent10,
author = {Xavier Parent},
journal = {Logic Journal of the IGPL},
number = {3},
pages = {422-429},
title = {A complete axiom set for Hansson's deontic logic {DSDL}2},
volume = {18},
year = {2010}
}
@inproceedinds{BGV10,
affiliation = {icr},
author = {Guido Boella and Dov M. Gabbay and Serena Villata},
booktitle = {Procs. of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10)},
title = {Subsumption and Count as Relation in Arguments Ontologies},
year = {2010}
}
@inproceedings{BGPV10,
affiliation = {icr},
author = {Guido Boella and Dov M. Gabbay and Alan Perotti and Serena Villata},
booktitle = {Procs. of the 22th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC'10)},
pages = {25-32},
title = {Coalition Formation via Negotiation in Multiagent Systems with Voluntary Attacks},
year = {2010}
}
@inproceedings{BBGMGT10,
affiliation = {icr},
author = {Matteo Baldoni and Guido Boella and Valerio Genovese and Andrea Mugnaini and Roberto Grenna and Leendert van der Torre},
booktitle = {Post-proceedings of the 7th International Workshop on Programming Multi-Agent Systems (Promas 2009)},
title = {A Middleware for Modelling Organizations and Roles in Jade},
year = {2010}
}
@inproceedings{BPST10a,
affiliation = {icr},
author = {Guido Boella and Gabriella Pigozzi and Marija Slavkovik and Leendert van der Torre},
booktitle = {Pre-Procs. of the 11th International Workshop on Coordination, Optimization, Institution and Norms in Multiagent Systems (COIN@MALLOW'10)},
pages = {115-133},
title = {Group Intentions are Social Choice with Commitment},
year = {2010}
}
@inproceedings{BPST10b,
affiliation = {icr},
author = {Guido Boella and Gabriella Pigozzi and Marija Slavkovik and Leendert van der Torre},
booktitle = {Procs. of the 8th European Workshop on Multi-agent Systems (EUMAS'10)},
title = {Group Intentions are Social Choice with Commitment},
year = {2010}
}
@inproceedings{BTV10,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre and Serena Villata},
booktitle = {Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10)},
title = {Trust in Abstract Argumentation},
year = 2010
}
@article{V10,
affiliation = {icr},
author = {Serena Villata},
journal = {Logic Journal of the IGPL},
number = {1},
pages = {245-274},
title = {A normative multiagent approach to requirements engineering},
volume = {18},
year = {2010}
}
@inproceedings{BGTV10,
affiliation = {icr},
author = {Serena Villata and Guido Boella and Dov M. Gabbay and Leendert van der Torre},
booktitle = {Proceedings of the 11th Symposium on Artificial Intelligence of the Italian Association for Artificial Intelligence (AIIA'10)},
pages = {236-243},
title = {Arguing about Trust in Multiagent Systems},
year = 2010
}
@inproceedings{BGTV10b,
affiliation = {icr},
author = {Guido Boella and Dov M. Gabbay and Leendert van der Torre and Serena Villata},
booktitle = {Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10)},
pages = {40-51},
publisher = {Frontiers in Artificial Intelligence and Applications, IOS Press},
title = {Support in Abstract Argumentation},
year = 2010
}
@inproceedings{DBLP:conf/deon/Torre10,
author = {Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {DEON},
crossref = {DBLP:conf/deon/2010},
ee = {http://dx.doi.org/10.1007/978-3-642-14183-6_4},
pages = {11-32},
title = {Deontic Redundancy: A Fundamental Challenge for Deontic Logic},
year = {2010}
}
@inproceedings{DBLP:conf/deon/AucherBT10,
author = {Guillaume Aucher and Guido Boella and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {DEON},
crossref = {DBLP:conf/deon/2010},
ee = {http://dx.doi.org/10.1007/978-3-642-14183-6_15},
pages = {196-213},
title = {Privacy Policies with Modal Logic: The Dynamic Turn},
year = {2010}
}
@inproceedings{DBLP:conf/kr/BoellaGRT10,
author = {Guido Boella and Guido Governatori and Antonino Rotolo and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {KR},
crossref = {DBLP:conf/kr/2010},
ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1379},
title = {A Logical Understanding of Legal Interpretation},
year = {2010}
}
@article{DBLP:journals/cj/CaireT10,
author = {Patrice Caire and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1093/comjnl/bxp012},
journal = {Comput. J.},
number = {8},
pages = {1229-1256},
title = {Convivial Ambient Technologies: Requirements, Ontology and Design},
volume = {53},
year = {2010}
}
@article{DBLP:journals/igpl/BoellaPPTT10,
author = {Guido Boella and C{\'e}lia da Costa Pereira and Gabriella Pigozzi and Andrea Tettamanzi and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1093/jigpal/jzp038},
journal = {Logic Journal of the IGPL},
number = {4},
pages = {559-578},
title = {The role of goals in belief selection},
volume = {18},
year = {2010}
}
@article{DBLP:journals/ijwbc/Caire10,
author = {Patrice Caire},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1504/IJWBC.2010.030019},
journal = {IJWBC},
number = {1},
pages = {99-113},
title = {How to import the concept of conviviality to web communities},
volume = {6},
year = {2010}
}
@phdthesis{caire:thesis,
author = {Patrice Caire},
school = {Luxembourg University, Luxembourg},
title = {New Tools for Conviviality: Masks, Norms, Ontology, Requirements and Measures},
year = {2010}
}
@incollection{Wu2010a,
author = {Wu, Yining},
booktitle = {Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010)},
language = {English},
title = {Transforming Fuzzy Description Logic ALC_FL into Classical Description Logic ALCH},
year = {2010}
}
@inproceedings{KMMS10,
author = {Barbara Kordy and Sjouke Mauw and Matthijs Melissen and Patrick Schweitzer},
booktitle = {Proceedings of the Conference on Decision and Game Theory for Security (GameSec 2010)},
pages = {245--256},
publisher = {Springer},
series = {{LNCS}},
title = {Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent},
url = {http://arxiv.org/abs/1006.2732},
volume = {6442},
year = {2010},
bdsk-url-1 = {http://arxiv.org/abs/1006.2732}
}
@article{DBLP:journals/logcom/HartmannPS10,
author = {Stephan Hartmann and Gabriella Pigozzi and Jan Sprenger},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1093/logcom/exp079},
journal = {J. Log. Comput.},
number = {2},
pages = {603-617},
title = {Reliable Methods of Judgement Aggregation},
volume = {20},
year = {2010}
}
@inproceedings{DBLP:conf/mdai/BenamaraKP10,
author = {Farah Benamara and Souhila Kaci and Gabriella Pigozzi},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {MDAI},
crossref = {DBLP:conf/mdai/2010},
ee = {http://dx.doi.org/10.1007/978-3-642-16292-3_8},
pages = {55-66},
title = {Individual Opinions-Based Judgment Aggregation Procedures},
year = {2010}
}
@incollection{Pig09a,
address = {Berlin},
affiliation = {icr},
author = {Gabriella Pigozzi},
booktitle = {The Present Situation in the Philosophy of Science},
editor = {F. Stadler et al.},
note = {141-152},
publisher = {Springer},
title = {Aggregation problems and models: what comes first?},
year = 2010
}
@article{DBLP:journals/igpl/BoellaPSV10,
author = {Guido Boella and Gabriella Pigozzi and Munindar P. Singh and Harko Verhagen},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1093/jigpal/jzp079},
journal = {Logic Journal of the IGPL},
number = {1},
pages = {1-3},
title = {Normative Multiagent Systems: Guest Editors' Introduction},
volume = {18},
year = {2010}
}
@inproceedings{GW09,
affiliation = {icr},
author = {Dov M. Gabbay and J. Woods},
booktitle = {Logic, Games and Philosophy: Foundational Perspectives},
pages = {57-98},
title = {Fallacies as Cognitive Virtues},
year = {2009}
}
@article{DBLP:journals/sLogica/GabbayS09,
author = {Dov M. Gabbay and Andrzej Szalas},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s11225-009-9200-7},
journal = {Studia Logica},
number = {3},
pages = {365-379},
title = {Voting by Eliminating Quantifiers},
volume = {92},
year = {2009}
}
@article{DBLP:journals/sLogica/GabbayM09,
author = {Dov M. Gabbay and S{\'e}rgio Marcelino},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s11225-009-9214-1},
journal = {Studia Logica},
number = {2-3},
pages = {405-446},
title = {Modal Logics of Reactive Frames},
volume = {93},
year = {2009}
}
@article{DBLP:journals/sLogica/Gabbay09a,
author = {Dov M. Gabbay},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s11225-009-9217-y},
journal = {Studia Logica},
number = {2-3},
pages = {231-295},
title = {Fibring Argumentation Frames},
volume = {93},
year = {2009}
}
@article{DBLP:journals/sLogica/GabbayG09,
author = {Dov M. Gabbay and Artur S. d'Avila Garcez},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s11225-009-9216-z},
journal = {Studia Logica},
number = {2-3},
pages = {199-230},
title = {Logical Modes of Attack in Argumentation Networks},
volume = {93},
year = {2009}
}
@inproceedings{GSh09,
author = {Dov M. Gabbay and K. Schlechta},
booktitle = {Review of Symbolic Logic},
number = {2},
pages = {414-450},
title = {Reactive Preferencial Structures and Nonmonotonic consequence},
volume = {2},
year = {2009}
}
@inproceedings{GShel09,
author = {Dov M. Gabbay and K. Schlechta},
booktitle = {Logic Journal of the IGPL},
pages = {17-54},
title = {An Analysis of Defeasible Inheritance Systems},
year = {2009}
}
@article{DBLP:journals/sLogica/CaminadaG09,
author = {Martin W. A. Caminada and Dov M. Gabbay},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s11225-009-9218-x},
journal = {Studia Logica},
number = {2-3},
pages = {109-145},
title = {A Logical Account of Formal Argumentation},
volume = {93},
year = {2009}
}
@article{DBLP:journals/sLogica/BarkerBGG09,
author = {Steve Barker and Guido Boella and Dov M. Gabbay and Valerio Genovese},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s11225-009-9203-4},
journal = {Studia Logica},
number = {3},
pages = {437-477},
title = {A Meta-model of Access Control in a Fibred Security Language},
volume = {92},
year = {2009}
}
@article{DBLP:journals/sLogica/GabbayS09b,
author = {Dov M. Gabbay and Andrzej Szalas},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s11225-009-9220-3},
journal = {Studia Logica},
number = {2-3},
pages = {147-180},
title = {Annotation Theories over Finite Graphs},
volume = {93},
year = {2009}
}
@article{DBLP:journals/sLogica/WuCG09,
author = {Yining Wu and Martin Caminada and Dov M. Gabbay},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s11225-009-9210-5},
journal = {Studia Logica},
number = {2-3},
pages = {383-403},
title = {Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming},
volume = {93},
year = {2009}
}
@article{DBLP:journals/sLogica/Gabbay09b,
author = {Dov M. Gabbay},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s11225-009-9211-4},
journal = {Studia Logica},
number = {2-3},
pages = {357-381},
title = {Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview},
volume = {93},
year = {2009}
}
@inproceedings{BGTV09,
affiliation = {icr},
author = {Guido Boella and Valerio Genovese and Leendert van der Torre and Serena Villata},
booktitle = {BNAIC 2009: 21th Belgian - Netherlands Conference on Artificial Intelligence},
pages = {27-34},
title = {Checking Consistency in role oriented Dependence Networks},
year = {2009}
}
@inproceedings{BTV09e,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre and Serena Villata},
booktitle = {IAT 2009: Procs. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology},
pages = {259-262},
publisher = {IEEE},
title = {On the Acceptability of Meta-Arguments},
year = 2009
}
@inproceedings{BBTV09a,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre and Serena Villata},
booktitle = {Postproceedings COIN@AAMAS 2009},
publisher = {Springer},
series = {LNCS},
title = {A Normative Multiagent Approach to Requirements Engineering},
year = 2009
}
@inproceedings{BGGT09,
affiliation = {icr,SnT},
author = {Guido Boella and Valerio Genovese and Dov Gabbay and Leendert van der Torre},
booktitle = {Proceedings of STM09},
title = {A Multimodal view on Access Control and Trust Management: Fibred Security Language},
year = 2009
}
@inproceedings{BBTV09b,
affiliation = {icr},
author = {Guido Boella and Jan Broersen and Leendert van der Torre and Serena Villata},
booktitle = {AI*IA},
publisher = {Springer},
series = {LNCS},
title = {Representing Excuses in Social Dependence Networks},
year = 2009
}
@inproceedings{BoeTor09b,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre},
booktitle = {Proceedings of FSEN09},
publisher = {Springer},
series = {LNCS},
title = {The Interplay between Relationships, Roles and Objects},
year = 2009
}
@inproceedings{BBGGMT09,
affiliation = {icr},
author = {Matteo Baldoni and Guido Boella and Valerio Genovese and Roberto Grenna and Andrea Mugnaini and Leendert van der Torre},
booktitle = {Proceedings of PROMAS},
title = {A Middleware for modeling Organizations and Roles in Jade},
year = 2009
}
@inproceedings{BTV09a,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre and Serena villata},
booktitle = {Proceedings of COIN},
title = {Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics},
year = 2009
}
@inproceedings{BTV09b,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre and Serena Villata},
booktitle = {SNAMAS},
title = {A Normative Multiagent Approach to Requirements Engineering},
year = 2009
}
@article{BTV09c,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre and Serena Villata},
journal = {Journal of Universal Computer},
page = {2676-2700},
title = {Analyzing Cooperation in Iterative Social Network Design},
volume = {15(13)},
year = 2009
}
@inproceedings{DBLP:conf/atal/BoellaPT09,
affiliation = {icr},
author = {Guido Boella and Gabriella Pigozzi and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {The 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1},
editor = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Sim{\~a}o Sichman},
ee = {http://doi.acm.org/10.1145/1558013.1558036},
isbn = {978-0-9817381-6-1},
pages = {169-176},
publisher = {IFAAMAS},
title = {Normative framework for normative system change},
year = {2009}
}
@inproceedings{DBLP:conf/atal/BoellaHT09,
affiliation = {icr},
author = {Guido Boella and Joris Hulstijn and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2},
editor = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Sim{\~a}o Sichman},
ee = {http://doi.acm.org/10.1145/1558109.1558219},
isbn = {978-0-9817381-7-8},
pages = {1215-1216},
publisher = {IFAAMAS},
title = {Social network semantics for agent communication},
year = {2009}
}
@inproceedings{DBLP:conf/atal/CaireT09,
affiliation = {icr},
author = {Patrice Caire and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2},
editor = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Sim{\~a}o Sichman},
ee = {http://doi.acm.org/10.1145/1558109.1558271},
isbn = {978-0-9817381-7-8},
pages = {1317-1318},
publisher = {IFAAMAS},
title = {Temporal dependence networks for the design of convivial multiagent systems},
year = {2009}
}
@inproceedings{DBLP:conf/aldt/PigozziST09,
affiliation = {icr},
author = {Gabriella Pigozzi and Marija Slavkovik and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Algorithmic Decision Theory, First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings},
editor = {Francesca Rossi and Alexis Tsouki{\`a}s},
ee = {http://dx.doi.org/10.1007/978-3-642-04428-1_1},
isbn = {978-3-642-04427-4},
pages = {1-13},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {A Complete Conclusion-Based Procedure for Judgment Aggregation},
volume = {5783},
year = {2009}
}
@inproceedings{DBLP:conf/ecsqaru/BoellaKT09,
affiliation = {icr},
author = {Guido Boella and Souhila Kaci and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings},
editor = {Claudio Sossai and Gaetano Chemello},
ee = {http://dx.doi.org/10.1007/978-3-642-02906-6_11},
isbn = {978-3-642-02905-9},
pages = {107-118},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension},
volume = {5590},
year = {2009}
}
@inproceedings{DBLP:conf/ht/BoellaTV09,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre and Serena Villata},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29 - July 1, 2009},
editor = {Ciro Cattuto and Giancarlo Ruffo and Filippo Menczer},
ee = {http://doi.acm.org/10.1145/1557914.1557989},
isbn = {978-1-60558-486-7},
pages = {361-362},
publisher = {ACM},
title = {Four measures for the dynamics of coalitions in social networks},
year = {2009}
}
@inproceedings{DBLP:conf/kesamsta/SauroTV09,
affiliation = {icr},
author = {Luigi Sauro and Leendert van der Torre and Serena Villata},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings},
editor = {Anne H{\aa}kansson and Ngoc Thanh Nguyen and Ronald L. Hartung and Robert J. Howlett and Lakhmi C. Jain},
ee = {http://dx.doi.org/10.1007/978-3-642-01665-3_1},
isbn = {978-3-642-01664-6},
pages = {1-10},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Dependency in Cooperative Boolean Games},
volume = {5559},
year = {2009}
}
@article{DBLP:journals/igpl/BoellaST09,
affiliation = {icr},
author = {Guido Boella and Luigi Sauro and Leendert W. N. van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1093/jigpal/jzp008},
journal = {Logic Journal of the IGPL},
number = {3},
pages = {273-297},
title = {Algorithms for finding coalitions exploiting a new reciprocity condition},
volume = {17},
year = {2009}
}
@book{GabSS09,
author = {D. Gabbay and V. Shehtman and D. Skvortsov},
page = 800,
publisher = {Elsevier},
series = {Studies in Logic and Foundations of Mathematics},
title = {Quantification in Non-classical Logics},
year = 2009
}
@book{GabRR09,
author = {D. Gabbay and O. Rodrigues and A. Russo},
pages = 400,
publisher = {Springer},
title = {Revision, Acceptability and Context},
year = 2009
}
@book{GabSch09a,
author = {Dov Gabbay and Karl Schlechta},
pages = 360,
publisher = {Springer},
title = {Logical Tools for Handling Change in Agent-based Systems},
type = {Research Monograph},
year = 2009
}
@article{GabSza09a,
author = {Dov Gabbay and A. Szalas},
journal = {studia logica},
number = 3,
pages = {365-379},
title = {Voting with Second Order Quantifier Elimination},
volume = 92,
year = 2009
}
@article{GabMar09,
author = {Dov Gabbay and Sergio Marcelino},
journal = {studia logica},
title = {Modal Logics of Reactive Frames},
year = 2009
}
@article{GabSch09b,
author = {Dov Gabbay and Karl Schlechta},
doi = {10.10078/s10849-009-9096-7},
journal = {Journal of Logic Language and Information},
note = {To appear},
title = {A Theory of Hierarchical Conditionals},
year = 2009,
bdsk-url-1 = {http://dx.doi.org/10.10078/s10849-009-9096-7}
}
@article{Gab09a,
author = {Dov Gabbay},
journal = {studia logica},
title = {Fibring Argumentation Frames},
year = 2009
}
@article{GabGar09,
author = {Dov Gabbay and A. Garcez},
journal = {studia logica},
title = {Logical Modes of Attack in Argumentation Networks},
year = 2009
}
@article{GabSch09c,
author = {Dov Gabbay and Karl Schlechta},
journal = {Review of Symbolic Logic},
number = 2,
pages = {414-450},
title = {Reactive Preferential Structures and Nonmonotonic consequence},
volume = 2,
year = 2009
}
@article{GabSch09d,
author = {Dov Gabbay and Karl Schlechta},
journal = {Logic Journal of the IGPL},
pages = {17-54},
title = {An Analysis of Defeasible Inheritance Systems},
year = 2009
}
@article{GabSch09e,
author = {Dov Gabbay and Karl Schlechta},
journal = {Journal of Applied Non-classical Logics},
number = 1,
pages = {43-95},
title = {Roadmap for Preferential Logics},
volume = 19,
year = 2009
}
@article{GabSch09f,
author = {Dov Gabbay and Karl Schlechta},
journal = {Studia Logica},
number = 3,
pages = {381-394},
title = {Independence-Revision and Defaults},
volume = 92,
year = 2009
}
@article{GabBGT09,
abstract = {We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language both for classical and intuitionistic fragment), we then prove that in order to express well-known properties like `speaks-for or `hand-off', defined in terms of says, we do not need second-order logic (unlike previous approaches) but a decidable fragment of first-order logic suffices. We propose a model-driven study of the says axiomatization by constraining the Kripke models in order to respect desirable security properties, we study how existing access control logics can be translated into FSL and we give completeness for the logic.},
affiliation = {icr,SnT},
author = {Guido Boella and Dov Gabbay and Valerio Genovese and Leendert van der Torre},
journal = {Studia Logica},
number = 3,
pages = {395-436},
title = {Fibred Security Language},
volume = 92,
year = 2009
}
@article{Gab09b,
author = {Dov Gabbay},
journal = {Studia Logica},
title = {Modal Foundations for Argumentation Networks},
year = 2009
}
@article{GabAS09,
author = {M. Abraham and Dov Gabbay and U. Schild},
journal = {Studia Logica},
number = 3,
pages = {281-364},
title = {Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal-Vachomer) using Matrix Abduction},
volume = 92,
year = 2009
}
@article{GabSch09g,
author = {Dov Gabbay and Karl Schlechta},
journal = {Review of symbolic logic},
number = 2,
pages = {396-404},
title = {Size and Logic},
volume = 2,
year = 2009
}
@article{GabCam09a,
affiliation = {icr},
author = {Martin Caminada and Dov Gabbay},
journal = {Studia Logica},
note = {To appear},
title = {A logical account of formal argumentation},
year = 2009
}
@article{DBLP:journals/sLogica/BoellaGTV09,
affiliation = {icr},
author = {Guido Boella and
Dov M. Gabbay and
Leendert van der Torre and
Serena Villata},
title = {Meta-Argumentation Modelling {I}: Methodology and Techniques},
journal = {Studia Logica},
volume = {93},
number = {2-3},
year = {2009},
pages = {297-355},
ee = {http://dx.doi.org/10.1007/s11225-009-9213-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{GabBBGT09,
affiliation = {icr,SnT},
author = {S. Barker and Guido Boello and Dov Gabbay and Valerio Genovese},
journal = {Studia Logica},
number = 3,
pages = {437-477},
title = {A meta-model of Access Control in a Fibred Security Language},
volume = 92,
year = 2009
}
@article{GabSza09b,
author = {Dov Gabbay and A. Szalas},
journal = {Studia Logica},
note = {To appear},
title = {Annotation theories over finite graphs},
year = 2009
}
@article{Gab09c,
affiliation = {icr},
author = {Dov Gabbay},
journal = {Studia Logica},
title = {Semantics for higher level attacks in extended argumentation frames},
year = 2009
}
@article{GabBR09,
author = {H. Barringer and Dov Gabbay and D. Rydeheard},
doi = {10.1093/jigpal/jzp026},
journal = {Logic Journal of IGPL},
title = {Logical Modelling of Evolvable Systems},
year = 2009,
bdsk-url-1 = {http://dx.doi.org/10.1093/jigpal/jzp026}
}
@inbook{GabEL09,
author = {Dov Gabbay and K. Engesser and D. Lehmann},
booktitle = {HANDBOOK OF QUANTUM LOGIC AND QUANTUM STRUCTURES: QUANTUM LOGIC},
pages = {587-623},
title = {Non-Monotonicity and Holicity in Quantum Logic},
year = 2009
}
@article{Cai09a,
affiliation = {icr},
author = {Patrice Caire},
journal = {AI Society Journal},
number = 1,
pages = {97-114},
title = {Designing Convivial Digital Cities: A Social Intelligence Design Approach},
url = {http://icr.uni.lu/pubs/cai09b},
volume = 24,
year = 2009,
bdsk-url-1 = {http://icr.uni.lu/pubs/cai09b}
}
@article{CaiTor09a,
affiliation = {icr},
author = {Patrice Caire and Leendert van der Torre},
journal = {The Computer Journal},
title = {Convivial ambient technologies: Requirements, ontology, and design},
url = {http://icr.uni.lu/pubs/cai09c.pdf},
volume = 3,
year = 2009,
bdsk-url-1 = {http://icr.uni.lu/pubs/cai09c.pdf}
}
@article{CaiBT09,
affiliation = {icr},
author = {Guido Boella and Patrice Caire and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s10115-008-0162-2},
journal = {Knowledge Information System Journal},
number = 2,
pages = {137-156},
title = {Norm Negotiation in Online Multi-Player Games},
url = {http://icr.uni.lu/pubs/cai08b.pdf},
volume = 18,
year = 2009,
bdsk-url-1 = {http://icr.uni.lu/pubs/cai08b.pdf}
}
@article{Cai09b,
affiliation = {icr},
author = {Patrice Caire},
journal = {International Journal of Web Based Communities (IJWBC)},
title = {How to import the concept of conviviality to web communities},
volume = 3,
year = 2009
}
@inproceedings{CaiTor09b,
affiliation = {icr},
author = {Patrice Caire and Leendert van der Torre},
booktitle = {Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS},
location = {Budapest, Hungary},
pages = {1317-1318},
title = {Temporal Dependence Networks for the Design of Convivial Multiagent Systems},
url = {http://icr.uni.lu/pubs/cai09a},
year = 2009,
bdsk-url-1 = {http://icr.uni.lu/pubs/cai09a}
}
@inproceedings{CaiTor09c,
affiliation = {icr},
author = {Patrice Caire and Leendert van der Torre},
booktitle = {Social Networks and Multiagent Systems symposium; Artificial Intelligence and Simulation of Behaviour, AISB},
location = {Edinburgh, UK},
title = {The Design of Convivial Multiagent Systems},
year = 2009
}
@inproceedings{CaiTor09d,
affiliation = {icr},
author = {Patrice Caire and Leendert van der Torre},
booktitle = {Normative Multiagent Systems},
location = {Dagstuhl, Germany},
title = {A Conviviality Measure for Early Requirement Phase of Multiagent System Design},
year = 2009
}
@article{CamWu09a,
affiliation = {icr},
author = {Martin W. A. Caminada and Yining Wu},
journal = {Logic Journal of the IGPL},
number = 1,
pages = {77-90},
title = {An Argument Game for Stable Semantics},
volume = 17,
year = 2009
}
@article{CamPig09,
affiliation = {icr},
author = {Martin W. A. Caminada and Gabriella Pigozzi},
journal = {JAAMAS special issue on Computational Social Choice},
note = {(Online First published on November 3, 2009)},
pages = {64-102},
title = {On Judgment Aggregation in Abstract Argumentation},
volume = 22,
year = 2011
}
@article{WuCG09,
affiliation = {icr},
author = {Yining Wu and Martin W. A. Caminada and Dov Gabbay},
journal = {Studia Logica},
note = {To appear},
title = {Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming},
type = {special issue},
year = 2009
}
@incollection{CamMod09,
affiliation = {icr},
author = {S. Modgil and Martin W.A. Caminada},
booktitle = {Argumentation in Artificial Intelligence},
editor = {I. Rahwan and G. Simari},
pages = {105-129},
title = {Proof Theories and Algorithms for Abstract Argumentation Frameworks},
year = 2009
}
@misc{BarWC09,
affiliation = {icr},
author = {Patrizio Barbini and Yining Wu and Martin Caminada},
note = {AAMAS 2009. (demonstrator)},
title = {An Implementation of Argument Based Discussion},
year = 2009
}
@inproceedings{WuCam09b,
affiliation = {icr},
author = {Yining Wu and Martin W. A. Caminada},
booktitle = {BNAIC 2009},
note = {To appear},
title = {Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming},
year = 2009
}
@inproceedings{Cam09a,
affiliation = {icr},
author = {Martin W. A. Caminada},
booktitle = {BNAIC 2009},
note = {Short paper (to appear)},
title = {Truth, Lies and {BS}; distinguishing classes of dishonesty},
year = 2009
}
@inproceedings{StaCam09a,
affiliation = {icr},
author = {Eugen Staab and Martin W. A. Caminada},
booktitle = {BNAIC 2009},
note = {demonstrator (to appear)},
title = {Simulating Knowledge and Dishonesty in a Client-Consultant Setting},
year = 2009
}
@inproceedings{Cam09b,
affiliation = {icr},
author = {Martin W. A. Caminada},
booktitle = {Social Simulation workshop (SS@IJCAI)},
pages = {39-50},
title = {Truth, Lies and Bullshit; distinguishing classes of dishonesty},
year = 2009
}
@techreport{StaCam09b,
affiliation = {icr},
author = {Eugen Staab and Martin W. A. Caminada},
institution = {University of Luxembourg},
isbn = {978-2-87971-027-3},
title = {Assessing the Impact of Informedness on a Consultant's Profit},
year = 2009
}
@misc{Cam09c,
affiliation = {icr},
author = {Martin W. A. Caminada},
note = {Tutorial at the International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California},
title = {An Introduction to Formal Argumenation},
year = 2009
}
@article{Par09,
affiliation = {icr},
author = {Xavier Parent},
journal = {Logic Journal of the IGPL},
note = {To appear},
title = {A complete axiom set for {H}ansson's deontic logic {DSDL2}},
year = 2009
}
@inproceedings{ParTor09,
affiliation = {icr},
author = {Xavier Parent and Leendert van der Torre},
booktitle = {9th De Morgan Workshop on Deontic Logic},
month = 12,
title = {Input/output logics},
year = 2009
}
@misc{ParTB09,
affiliation = {icr},
author = {Xavier Parent and Leendert van der Torre and Guido Boella},
note = {Tutorial at the European Agent Systems Summer School (EASSS'09), Torino},
title = {Normative multi-agent systems},
year = 2009
}
@inproceedings{BPT09,
address = {Rotterdam, The Netherlands},
affiliation = {icr},
author = {Guido Boella and Gabriella Pigozzi and Leendert van der Torre},
booktitle = {Proceedings of JURIX 2009 - The 22nd International Conference on Legal Knowledge and Information Systems},
month = 12,
note = {To appear},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
title = {Five guidelines for normative multiagent systems},
year = 2009
}
@inproceedings{GPS09,
address = {Eindhoven, The Netherlands},
affiliation = {icr},
author = {Davide Grossi and Gabriella Pigozzi and Marija Slavkovik},
booktitle = {Proceedings of BNAIC 2009 - The 21st Benelux Conference on Artificial Intelligence (to appear)},
month = 10,
title = {White Manipulation in Judgment Aggregation},
year = 2009
}
@inproceedings{PST09a,
affiliation = {icr},
author = {Gabriella Pigozzi and Marija Slavkovik and Leendert van der Torre},
booktitle = {Proceedings of the First International Conference on Algorithmic Decision Theory (ADT)},
month = 10,
pages = {1-13},
publisher = {Springer Verlag},
series = {Lecture Notes in Artificial Intelligence},
title = {A complete conclusion-based procedure for judgment aggregation},
volume = 5783,
year = 2009
}
@inproceedings{PST09b,
affiliation = {icr},
author = {Gabriella Pigozzi and Marija Slavkovik and Leendert van der Torre},
booktitle = {Proceedings of the Cinqui{\`{e}}mes Journ{\'{e}}es Francophones Mod{\`{e}}les Formel de l'Interaction (MFI 09)},
month = 6,
note = {3-5 June 2009, Lannion, France},
title = {Formal ex-post rationalization - A complete conclusion-based procedure for judgment aggregation},
year = 2009
}
@inproceedings{BPT09a,
affiliation = {icr},
author = {Guido Boella and Gabriella Pigozzi and Leendert van der Torre},
booktitle = {Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 09)},
month = 5,
note = {(nominated for the Best Paper Award), 10-15 May 2009, Budapest, Hungary.},
title = {Normative framework for normative system change},
year = 2009
}
@inproceedings{BPT09b,
affiliation = {icr},
author = {Guido Boella and Gabriella Pigozzi and Leendert van der Torre},
booktitle = {Normative Multi-Agent Systems, Dagstuhl Seminar Proceedings 09121},
editor = {Guido Boella and P. Noriega and Gabriella Pigozzi and H. Verhagen},
month = 3,
note = {15-20 March 2009, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
title = {Normative systems in computer science. Ten guidelines for normative multiagent systems},
year = 2009
}
@techreport{PST09c,
affiliation = {icr},
author = {Gabriella Pigozzi and Marija Slavkovik and Leendert van der Torre},
institution = {University of Luxembourg},
isbn = {978-2-87971-028-0},
month = 7,
title = {A complete conclusion-based procedure for judgment aggregation},
url = {http://icr.uni.lu/pubs/adt09-techReport.pdf},
year = 2009,
bdsk-url-1 = {http://icr.uni.lu/pubs/adt09-techReport.pdf}
}
@article{Auc09a,
affiliation = {icr},
author = {Guillaume Aucher},
journal = {Logic journal of the IGPL},
note = {To appear},
title = {Generalizing {AGM} to a multi-agent setting},
year = 2009
}
@article{Auc09b,
affiliation = {icr},
author = {Guillaume Aucher},
journal = {Studia logica},
note = {To appear},
title = {An internal version of epistemic logic},
year = 2009
}
@article{ABCH09,
affiliation = {icr},
author = {Guillaume Aucher and Philippe Balbiani and Luis Fari{\~{n}}as del Cerro and Andreas Herzig},
journal = {Electronic Notes in Theoretical Computer Science},
month = {March},
pages = {293-307},
publisher = {Elsevier},
title = {Global and local graph modifiers},
volume = 231,
year = 2009
}
@incollection{AucHer09,
affiliation = {icr},
author = {Guillaume Aucher and Andreas Herzig},
booktitle = {The Dynamic Turn in Epistemology},
note = {To appear},
publisher = {Springer},
series = {logic, epistemology and the unity of science},
title = {Exploring the power of converse events},
year = 2009
}
@inproceedings{Auc09c,
affiliation = {icr},
author = {Guillaume Aucher},
booktitle = {Proceedings of the 12th conference on Theoretical Aspects of Rationality and Knowledge (TARK 2009)},
editor = {Aviad Heifetz},
pages = {24-33},
publisher = {Stanford},
title = {{BMS} revisited},
year = 2009
}
@inproceedings{AGHL09a,
address = {Chongking},
affiliation = {icr},
author = {Guillaume Aucher and Davide Grossi and Andreas Herzig and Emiliano Lorini},
booktitle = {Proceedings of Logic, Rationality and Interaction (LORI 2009)},
editor = {X. He and J. Horty and E. Pacuit},
pages = {15-26},
publisher = {Springer Verlag},
series = {Lecture Notes in Artificial Intelligence},
title = {Dynamic context logic},
volume = 5884,
year = 2009
}
@inproceedings{AGHL09b,
affiliation = {icr},
author = {Guillaume Aucher and Davide Grossi and Andreas Herzig and Emiliano Lorini},
booktitle = {Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings},
editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
issn = {1862-4405},
note = {Extended abstract},
title = {Dynamic context logic and its application to norm change},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/1900},
year = 2009,
bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2009/1900}
}
@article{BulJam09a,
author = {Nils Bulling and Wojciech Jamroga},
journal = {Fundamenta Informaticae},
number = {1-3},
pages = {81-96},
title = {What Agents Can Probably Enforce},
volume = 93,
year = 2009
}
@inproceedings{NovJam09,
author = {Peter Novak and Wojciech Jamroga},
booktitle = {Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09},
copyright = {IFAAMAS},
pages = {105-112},
title = {Code Patterns for Agent Oriented Programming},
year = 2009
}
@inproceedings{SeyJam09,
author = {Inanc Seylan and Wojciech Jamroga},
booktitle = {Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09},
copyright = {IFAAMAS},
pages = {425-432},
title = {Description Logic for Coalitions},
year = 2009
}
@article{BulJam09b,
author = {Nils Bulling and Wojciech Jamroga},
booktitle = {Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09},
copyright = {IFAAMAS},
pages = {257-264},
title = {Rational Play and Rational Beliefs under Uncertainty},
year = 2009
}
@inproceedings{BooMS09,
author = {Richard Booth and Thomas Meyer and Chattrakul Sombattheera},
booktitle = {Proceedings of the 2nd International Workshop on Logic, Rationality and Interaction (LORI 2009)},
editor = {X. He and J. Horty and E. Pacuit},
note = {Also presented at the 8th Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2009), 2009.},
pages = {42-54},
publisher = {Springer},
series = {LNAI},
title = {A general family of preferential belief removal operators},
volume = 5834,
year = 2009
}
@inproceedings{BooMV09a,
author = {Richard Booth and Thomas Meyer and Ivan Jos{\'{e}} Varzinczak},
booktitle = {Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009)},
editor = {C. Boutilier},
note = {Also presented at the 9th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), 2009},
pages = {702-707},
title = {Next steps in propositional Horn contraction},
year = 2009
}
@article{BooCMG09,
author = {Richard Booth and Samir Chopra and Thomas Meyer and Aditya Ghose},
journal = {Artificial Intelligence},
title = {Double preference relations for generalised belief change},
year = {Accepted September 2009}
}
@inproceedings{BooN09,
author = {Richard Booth and Wijittra Noisanguan},
booktitle = {Proceedings of the 6th International Joint Conference on Computer Science and Software Engineering (JCSSE 2009)},
pages = {70-75},
title = {An axiomatic approach to firewall rule update},
year = 2009
}
@inproceedings{LCBooR09,
author = {Nawaphol Labutsri and Rapeeporn Chamchong and Richard Booth and Annupan Rodtook},
booktitle = {Proceedings of the 6th International Joint Conference on Computer Science and Software Engineering (JCSSE 2009)},
pages = {360-366},
title = {English syntactic reordering for English-Thai phrase-based statistical machine translation},
year = 2009
}
@inproceedings{BooCLMS09,
author = {Richard Booth and Yann Chevaleyre and J{\`{e}}r{\^{o}}me Lang and J{\`{e}}r{\^{o}}me Mengin and Chattrakul Sombattheera},
booktitle = {Proceedings of the ECML/PKDD-09 Workshop on Preference Learning (PL 2009)},
title = {Learning various classes of models of lexicographic orderings},
year = 2009
}
@inproceedings{BooMV09b,
author = {Richard Booth and Thomas Meyer and Ivan Jos{\'{e}} Varzinczak},
booktitle = {Proceedings of the Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE 2009)},
title = {First steps in EL contraction},
year = 2009
}
@inproceedings{FG09,
author = {M. Melissen},
booktitle = {Proceedings of the 14th Formal Grammar Conference},
editor = {P. de Groote},
location = {New York},
note = {to appear},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {The Generative Capacity of the {L}ambek--{G}rishin Calculus: A New Lower Bound},
url = {http://www.matthijsmelissen.nl/site/publications/fg09.pdf},
volume = {5591},
year = {2009},
bdsk-url-1 = {http://www.matthijsmelissen.nl/site/publications/fg09.pdf}
}
@proceedings{DBLP:conf/deon/2008,
editor = {Ron van der Meyden and
Leendert van der Torre},
title = {Deontic Logic in Computer Science, 9th International Conference,
DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
booktitle = {DEON},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5076},
year = {2008},
isbn = {978-3-540-70524-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/atal/ZhouTZ08,
author = {Yi Zhou and
Leendert van der Torre and
Yan Zhang},
title = {Partial goal satisfaction and goal change: weak and strong
partial implication, logical properties, complexity},
booktitle = {AAMAS (1)},
year = {2008},
pages = {413-420},
ee = {http://doi.acm.org/10.1145/1402383.1402444},
crossref = {DBLP:conf/atal/2008-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{carb:car:08,
affiliation = {icr},
author = {Oliveira, Igor Carboni and Carnielli, Walter},
doi = {10.1093/jigpal/jzn023},
eprint = {http://jigpal.oxfordjournals.org/cgi/reprint/16/6/585.pdf},
journal = {Logic Journal of IGPL},
number = 6,
pages = {585-590},
title = {{The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories}},
url = {http://jigpal.oxfordjournals.org/cgi/content/abstract/16/6/585},
volume = 16,
year = 2008,
bdsk-url-1 = {http://jigpal.oxfordjournals.org/cgi/content/abstract/16/6/585},
bdsk-url-2 = {http://dx.doi.org/10.1093/jigpal/jzn023}
}
@article{car:ras:ser:08,
affiliation = {icr},
author = {Carnielli, Walter and Rasga, Jo{\~{a}}o and Sernadas, Cristina},
journal = {Journal of Logic and Computation},
number = {1},
pages = {123--151},
title = {Preservation of interpolation features by fibring},
volume = {18},
year = {2008}
}
@incollection{car:dor:08,
address = {London},
affiliation = {icr},
author = {Carnielli, Walter and D{\'{o}}ria, Francisco},
booktitle = {{Dialogues, Logics and Other Strange Things--Essays in Honour of Shahid Rahman}},
editor = {CD{\'e}dric D{\'e}gremont and Laurent Keiff and Helge RŸckert},
isbn = {978-1904987130},
pages = {87-107},
publisher = {College Publications},
title = {Are the foundations of computer science logic-dependent?},
year = {2008}
}
@book{car:con:gab:gou:ser:08,
address = {Dordrecht},
affiliation = {icr},
author = {Carnielli, Walter and Coniglio, Marcelo and Gabbay, Dov M. and Gouveia, Paula and Sernadas, Cristina},
isbn = {978-1-4020-6781-5},
mrnumber = {MR2378708},
pages = {xvi+600},
publisher = {Springer},
series = {Applied Logic Series},
title = {Analysis and synthesis of logics},
volume = {35},
year = {2008}
}
@book{car:piz:08,
address = {Dordrecht},
affiliation = {icr},
author = {Carnielli, Walter and Pizzi, Claudio},
isbn = {978-1-4020-6781-5},
pages = {xiv+306},
publisher = {Springer},
series = {Logic, Epistemology, and the Unity of Science},
title = {Modalities and Multimodalities},
volume = {12},
year = {2008}
}
@book{eps:car:08,
address = {Socorro, NM, USA},
affiliation = {icr},
author = {Epstein, Richard L. and Carnielli, Walter},
isbn = {9780981550732},
pages = {384},
publisher = {Advanced Reasoning Forum},
title = {Computability: Computable Functions, Logic, and the Foundations of Mathematics},
volume = {3rd. Edition},
year = {2008}
}
@inproceedings{Bar:ICEC08,
affiliation = {icr},
author = {Patrizio Barbini and Guido Boella and Pier-Carlo Rossi and Leendert van der Torre},
booktitle = {Proceedings of the International Conference on Electronic Commerce in the 21th Century (ECIC-2008)},
pages = {93--96},
publisher = {Central Department of Computer Science and Information Technology, Institute of Science and Technology, Tribhuvan University},
title = {E-business Outsourcing: a New Approach combining Information Rights Technologies and Agent-Based Theory on Norms},
year = {2008}
}
@inproceedings{DBLP:conf/ifip12/BoellaPTT08,
affiliation = {icr},
author = {Guido Boella and C{\'{e}}lia da Costa Pereira and Andrea Tettamanzi and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Artificial Intelligence in Theory and Practice II, IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy},
editor = {Max Bramer},
ee = {http://dx.doi.org/10.1007/978-0-387-09695-7_21},
pages = {215-224},
publisher = {Springer},
series = {IFIP},
title = {Making Others Believe What They Want},
volume = {276},
year = {2008}
}
@inproceedings{DBLP:conf/mates/BaldoniBGGT08,
affiliation = {icr},
author = {Matteo Baldoni and Guido Boella and Valerio Genovese and Roberto Grenna and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings},
editor = {Ralph Bergmann and Gabriela Lindemann and Stefan Kirn and Michal Pechoucek},
ee = {http://dx.doi.org/10.1007/978-3-540-87805-6_4},
pages = {25-36},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {How to Program Organizations and Roles in the {JADE} Framework},
volume = {5244},
year = {2008}
}
@inproceedings{DBLP:conf/prima/BoellaTV08,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre and Serena Villata},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings},
editor = {The Duy Bui and Tuong Vinh Ho and Quang-Thuy Ha},
ee = {http://dx.doi.org/10.1007/978-3-540-89674-6_10},
pages = {66-77},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Social Viewpoints for Arguing about Coalitions},
volume = {5357},
year = {2008}
}
@inproceedings{DBLP:conf/prima/BoellaTV08a,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre and Serena Villata},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings},
editor = {The Duy Bui and Tuong Vinh Ho and Quang-Thuy Ha},
ee = {http://dx.doi.org/10.1007/978-3-540-89674-6_11},
pages = {78-85},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Changing Institutional Goals and Beliefs of Autonomous Agents},
volume = {5357},
year = {2008}
}
@inproceedings{DBLP:conf/prima/BoellaBT08,
affiliation = {icr},
author = {Guido Boella and Jan Broersen and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings},
editor = {The Duy Bui and Tuong Vinh Ho and Quang-Thuy Ha},
ee = {http://dx.doi.org/10.1007/978-3-540-89674-6_12},
pages = {86-97},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations},
volume = {5357},
year = {2008}
}
@article{DBLP:journals/ail/BoellaT08,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s10506-007-9059-8},
journal = {Artif. Intell. Law},
number = {1},
pages = {53-71},
title = {Institutions with a hierarchy of authorities in distributed dynamic environments},
volume = {16},
year = {2008}
}
@article{DBLP:journals/aamas/BoellaTV08,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre and Harko Verhagen},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s10458-008-9047-8},
journal = {Autonomous Agents and Multi-Agent Systems},
number = {1},
pages = {1-10},
title = {Introduction to the special issue on normative multiagent systems},
volume = {17},
year = {2008}
}
@article{DBLP:journals/ijar/KaciT08,
affiliation = {icr},
author = {Souhila Kaci and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1016/j.ijar.2007.07.005},
journal = {Int. J. Approx. Reasoning},
number = {3},
pages = {730-751},
title = {Preference-based argumentation: Arguments supporting multiple values},
volume = {48},
year = {2008}
}
@article{DBLP:journals/japll/BoellaT08,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1016/j.jal.2007.06.006},
journal = {J. Applied Logic},
number = {2},
pages = {152-171},
title = {Substantive and procedural norms in normative multiagent systems},
volume = {6},
year = {2008}
}
@inproceedings{broersen:ecai08,
affiliation = {icr},
author = {Jan Broersen and Leendert van der Torre},
booktitle = {Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008)},
title = {Conditional norms and dyadic obligations in time},
year = 2008
}
@article{kaci:aor08,
affiliation = {icr},
author = {Souhila Kaci and Leendert van der Torre},
journal = {Annals of Operations Research},
number = 1,
pages = {89-114},
title = {Reasoning With Various Kinds of Preferences: Logic, Non-Monotonicity, and Algorithms},
volume = 163,
year = 2008
}
@inproceedings{lang:ecai08,
affiliation = {icr},
author = {Jerome Lang and Leendert van der Torre},
booktitle = {Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008)},
title = {From belief change to preference change},
year = 2008
}
@inproceedings{rotolo:wliamas08,
affiliation = {icr},
author = {Antonino Rotolo and Guido Boella and Guido Governatori and Joris Hulstijn and Regis Riveret and Leendert van der Torre},
booktitle = {Proceedings of WLIAMAS 2008},
publisher = {IEEE},
title = {Time and Defeasibility in {FIPA} {ACL} Semantics},
year = 2008
}
@inproceedings{boella:saso08,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre and Serena Villata},
booktitle = {Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008)},
pages = {461-462},
publisher = {IEEE},
title = {Self Adaptive Coalitions in Multiagent Systems},
year = 2008
}
@inproceedings{genovese:normas,
affiliation = {icr},
author = {Valerio Genovese and Roberto Grenna and Leendert van der Torre and Matteo Baldoni},
booktitle = {Proceedings of the 3rd International Workshop on Normative Multiagent Systems, NorMAS'08},
editor = {Guido Boella and Munindar Singh and Gabriella Pigozzi and Harko Verhagen},
pages = {95-111},
title = {Adding Organizations and Roles as Primitives to {JADE} Framework},
year = 2008
}
@inproceedings{DBLP:conf/atal/CaireVBT08,
affiliation = {icr},
author = {Patrice Caire and Serena Villata and Guido Boella and Leendert van der Torre},
booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 3},
editor = {Lin Padgham and David C. Parkes and J{\"o}rg M{\"u}ller and Simon Parsons},
isbn = {978-0-9817381-2-3},
pages = {1265-1268},
publisher = {IFAAMAS},
title = {Conviviality masks in multiagent systems},
url = {http://icr.uni.lu/pubs/cai08a.pdf},
year = {2008},
bdsk-url-1 = {http://icr.uni.lu/pubs/cai08a.pdf}
}
@inproceedings{DBLP:conf/loft/LangT08,
author = {J{\'e}r{\^o}me Lang and
Leendert van der Torre},
title = {Preference Change Triggered by Belief Change: A Principled
Approach},
booktitle = {LOFT},
year = {2008},
pages = {86-111},
ee = {http://dx.doi.org/10.1007/978-3-642-15164-4_5},
crossref = {DBLP:conf/loft/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/atal/Caire08,
affiliation = {icr},
author = {Patrice Caire},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Doctoral Mentoring Program},
ee = {http://doi.acm.org/10.1145/1402782.1402785},
pages = {1727-1729},
publisher = {IFAAMAS},
title = {Designing convivial digital cities},
year = {2008}
}
@inproceedings{emil1,
affiliation = {icr},
author = {Guillaume Aucher},
booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2},
editor = {Lin Padgham and David C. Parkes and J{\"o}rg M{\"u}ller and Simon Parsons},
isbn = {978-0-9817381-1-6},
pages = {721-727},
publisher = {IFAAMAS},
title = {Internal models and private multi-agent belief revision},
year = {2008}
}
@inproceedings{emil2,
affiliation = {icr},
author = {Guillaume Aucher},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
editor = {Steffen H{\"o}lldobler and Carsten Lutz and Heinrich Wansing},
isbn = {978-3-540-87802-5},
pages = {21-33},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Consistency Preservation and Crazy Formulas in {BMS}},
volume = {5293},
year = {2008}
}
@inproceedings{Auc08d,
address = {Villa Lanna, Prague, Czech Republic},
affiliation = {icr},
author = {Guillaume Aucher},
booktitle = {Prague International Colloquium: Logic of change, change of logic, LOCCOL'08},
date = {10--14 September 2008},
pages = {17-18},
title = {Refinement on the notion of event},
year = {2008}
}
@inproceedings{emil5,
address = {Villa Lanna, Prague, Czech Republic},
affiliation = {icr},
author = {Mathijs de Boer and Andreas Herzig and Tiago de Lima and Emiliano Lorini},
booktitle = {Prague International Colloquium: Logic of change, change of logic, LOCCOL'08},
date = {10--14 September 2008},
pages = {21--22},
title = {What do we accept after an announcement?},
year = {2008}
}
@inproceedings{emil6,
address = {Villa Lanna, Prague, Czech Republic},
affiliation = {icr},
author = {Mathijs de Boer and Emil Weydert},
booktitle = {Prague International Colloquium: Logic of change, change of logic, LOCCOL'08},
date = {10--14 September 2008},
pages = {23--24},
title = {Changing Attitudes About Attitude Change},
year = {2008}
}
@inproceedings{grossi08normative,
affiliation = {icr},
author = {Davide Grossi and Dov Gabbay and Leendert van der Torre},
booktitle = {Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS'08)},
editor = {Guido Boella and Munindar Singh and Gabriella Pigozzi and Harko Verhagen},
pages = {128-142},
title = {A Normative View on The Blocks World},
year = {2008}
}
@inproceedings{grossi08linguistic,
affiliation = {icr},
author = {Davide Grossi},
booktitle = {Proceedings of the 20th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC'08)},
editor = {A. Nijholt and M. Pantic and M. Poel and G.H.W. Hondorp},
title = {Linguistic Relevance in Modal Logic},
year = {2008}
}
@inproceedings{grossi08formal,
affiliation = {icr},
author = {C. Biagioli and Davide Grossi},
booktitle = {Proceedings of the 21st International Conference on Legal Knowledge and Information Systems (JURIX'08)},
editor = {Giovanni Sartor and E. Francesconi and D. Tiscornia},
title = {Formal Aspects of Legislative Meta Drafting},
year = {2008}
}
@article{vazquezsalceda08from,
affiliation = {icr},
author = {J. Vazquez-Salceda and Huib Aldewereld and Davide Grossi and Frank Dignum},
journal = {Artificial Intelligence and Law},
number = {1},
pages = {73-87},
title = {From Human Regulations to Regulated Software Agents' Behavior},
volume = {16},
year = {2008}
}
@article{grossi08many,
affiliation = {icr},
author = {Davide Grossi and John-Jules Meyer and Frank Dignum},
journal = {Journal of Applied Logic},
number = 2,
pages = {192-217},
publisher = {Elsevier},
title = {The Many Faces of Counts-as: A Formal Analysis of Constitutive-rules},
url = {http://www.davidegrossi.name/Site/publications_files/grossi07many.pdf},
volume = 6,
year = 2008,
bdsk-url-1 = {http://www.davidegrossi.name/Site/publications_files/grossi07many.pdf}
}
@inproceedings{grossi08pushing,
affiliation = {icr},
author = {Davide Grossi},
booktitle = {Proceedings of the 9th International Conference on Deontic Logic in Computer Science (DEON 2008), Luxembourg, Luxembourg, July 15-18, 2008th International Workshop on Deontic Logic in Computer Science (DEON 2008), Luxembourg, Luxembourg, July 15-18, 2008},
editor = {Ron van der Meyden and Leendert van der Torre},
number = {5076/2008},
pages = {263-277},
publisher = {Springer},
series = {LNAI},
title = {Pushing {A}nderson's Envelope: The Modal Logic of Ascription},
url = {http://www.davidegrossi.name/Site/publications_files/grossi08pushing.pdf},
year = {2008},
bdsk-url-1 = {http://www.davidegrossi.name/Site/publications_files/grossi08pushing.pdf}
}
@inproceedings{BKP08,
affiliation = {icr},
author = {Farah Benamara and Souhila Kaci and Gabriella Pigozzi},
booktitle = {Annales du Lamsade, Proceedings of the DIMACS-LAMSADE Workshop on Algorithmic Decision Theory},
editor = {V. Paschos, B. Roy},
issn = {1762-455X},
pages = {29-45},
title = {Collective Decision Making with Individual Confidence Scores in the Decision Rule},
year = {2008}
}
@inproceedings{BKP08b,
affiliation = {icr},
author = {Farah Benamara and Souhila Kaci and Gabriella Pigozzi},
booktitle = {Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08)},
editor = {M. Pagnucco and M. Thielscher},
pages = {2-9},
title = {Judgment Aggregation with Rule Confidence Scores},
year = {2008}
}
@inproceedings{BST08,
affiliation = {icr},
author = {Gabriella Pigozzi and Marija Slavkovik and Leendert van der Torre},
booktitle = {Annales du Lamsade, Proceedings of the DIMACS-LAMSADE Workshop on Algorithmic Decision Theory},
editor = {V. Paschos, B. Roy},
issn = {1762-455X},
pages = {171-174},
title = {Desirable Tie-breaking Rules in Collective Decision Making},
year = {2008}
}
@inproceedings{PT08,
address = {Villa Lanna, Prague, Czech Republic},
affiliation = {icr},
author = {Gabriella Pigozzi and Leendert van der Torre},
booktitle = {Prague International Colloquium: Logic of change, change of logic, LOCCOL'08},
date = {10--14 September 2008},
pages = {51--52},
title = {From belief change to norm change},
year = {2008}
}
@inproceedings{PST08b,
address = {Amsterdam, The Netherlands},
affiliation = {icr},
author = {Gabriella Pigozzi and Marija Slavkovik and Leendert van der Torre},
booktitle = {Proceedings of the Eighth International Conference on Logic and the Foundations of Game and Decision Theory, LOFT 2008},
date = {3-5 July 2008},
editor = {G. Bonanno and B. Lowe and W. van der Hoek},
pages = 35,
title = {Conclusion-based procedure for judgment aggregation satisfying premise independence},
year = 2008
}
@inproceedings{PST08c,
address = {Montreal, Canada},
affiliation = {icr},
author = {Gabriella Pigozzi and Marija Slavkovik and Leendert van der Torre},
booktitle = {Proceedings of the Ninth International Meeting of the Society for Social Choice and Welfare, SCW'08},
date = {19-22 June 2008},
title = {Independence in judgment aggregation},
year = {2008}
}
@inproceedings{BPSH08,
affiliation = {icr},
author = {Guido Boella and Gabriella Pigozzi and Munindar Singh and Harko Verhagen},
booktitle = {Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS'08)},
editor = {Guido Boella and Munindar Singh and Gabriella Pigozzi and Harko Verhagen},
pages = {i-v},
title = {Editorial to the {T}hird {I}nternational {W}orkshop on {N}ormative {M}ultiagent {S}ystems},
year = {2008}
}
@article{Cam08a,
affiliation = {icr},
author = {Martin Caminada},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1016/j.jal.2006.04.001},
journal = {Journal of Applied Logic},
number = {1},
pages = {109-132},
title = {A formal account of {S}ocratic-style argumentation},
url = {http://icr.uni.lu/\~{}martinc/publications/JALpaper_Caminada.pdf},
volume = {6},
year = {2008},
bdsk-url-1 = {http://icr.uni.lu/%5C~%7B%7Dmartinc/publications/JALpaper_Caminada.pdf}
}
@inproceedings{DC08,
affiliation = {icr},
author = {Paul E. Dunne and Martin Caminada},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Logics in Artificial Intelligence, 11th European Conference (JELIA 2008)},
editor = {Steffen H{\"o}lldobler and Carsten Lutz and Heinrich Wansing},
isbn = {978-3-540-87802-5},
pages = {153-165},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks},
volume = {5293},
year = {2008}
}
@inproceedings{Cam08b,
affiliation = {icr},
author = {Martin Caminada},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Computational Models of Argument: Proceedings of COMMA 2008},
editor = {Philippe Besnard and Sylvie Doutre and Anthony Hunter},
isbn = {978-1-58603-859-5},
pages = {109-115},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
title = {On the Issue of Contraposition of Defeasible Rules},
url = {http://icr.uni.lu/\~{}martinc/publications/short_contraposition.pdf},
volume = {172},
year = {2008},
bdsk-url-1 = {http://icr.uni.lu/%5C~%7B%7Dmartinc/publications/short_contraposition.pdf}
}
@inproceedings{Cam08c,
affiliation = {icr},
author = {Martin Caminada},
booktitle = {Proceedings of BNAIC 2008, the twentieth Belgian-Dutch Artificial Intelligence Conference},
editor = {Anton Nijholt and Maja Pantic and Mannes Poel and Hendri Hondorp},
pages = {291-292},
title = {An Algorithm for Semi-Stable Semantics},
year = {2008}
}
@inproceedings{CW08b,
affiliation = {icr},
author = {Martin Caminada and Yining Wu},
booktitle = {Proceedings of BNAIC 2008, the twentieth Belgian-Dutch Artificial Intelligence Conference},
editor = {Anton Nijholt and Maja Pantic and Mannes Poel and Hendri Hondorp},
pages = {293-294},
title = {Towards and Argument Game for Stable Semantics},
year = {2008}
}
@inproceedings{CW08a,
affiliation = {icr},
author = {Martin Caminada and Yining Wu},
booktitle = {Proceedings of the 8th workshop on Computational Models of Natural Argument (CMNA 2008)},
editor = {Floriana Grasso, Nancy Green, Rodger Kibble and Chris Reed},
pages = {11-15},
title = {Towards and Argument Game for Stable Semantics},
year = {2008}
}
@book{gab:284,
affiliation = {icr},
author = {Dov M. Gabbay and A. S. D{\~O}Avila Garcez and L. C. Lamb},
publisher = {Springer-Verlag},
title = {Connectionist Non-classical Logics: Distributed Reasoning \& Learning in Neural Networks},
year = 2008
}
@book{gabbay:287,
affiliation = {icr},
author = {Dov M. Gabbay and G. Metcalfe and N. Olivetti},
publisher = {Springer},
title = {Proof theory for Fuzzy logics},
year = 2008
}
@book{gabbay:288,
author = {Dov M. Gabbay and K. Engesser and D. Lehmann},
publisher = {College publications},
title = {Quantum Logic},
year = 2008
}
@book{gabbay:289,
affiliation = {icr},
author = {Dov M. Gabbay and R. Schmidt and A. Szalas},
publisher = {College publications},
title = {Second-order Quantifier Elimination},
year = 2008
}
@article{DBLP:journals/sLogica/GabbayW08,
affiliation = {icr},
author = {Dov M. Gabbay and John Woods},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s11225-008-9100-2},
journal = {Studia Logica},
number = {1},
pages = {85-112},
title = {Resource-origins of Nonmonotonicity},
volume = {88},
year = {2008}
}
@article{gabbay:294,
affiliation = {icr},
author = {Dov M. Gabbay and A. Pnueli},
journal = {Logic Journal of IGPL},
number = 6,
pages = {499-536},
title = {A Sound and Complete Deductive System for {CTL} Verification},
volume = 16,
year = {December 2008}
}
@article{gabbay:309,
affiliation = {icr},
author = {Dov M. Gabbay and Odinaldo Rodrigues and Alessandra Russo},
issue = 03,
journal = {The Review of Symbolic Logic},
pages = {267-304},
title = {Belief Revision in Non-classical Logic {II}},
volume = 1,
year = {October 2008}
}
@incollection{gabbay,
affiliation = {icr},
author = {Dov M. Gabbay and Odinaldo Rodrigues and Alessandra Russo},
booktitle = {Handbook of Philosophical Logic},
edition = {2nd},
title = {Belief Revision},
year = 2008
}
@article{gab:313.,
affiliation = {icr},
author = {Dov M. Gabbay and M. D'Agostino and M. Finger},
journal = {Logic Journal of IGPL},
number = 6,
pages = {537-560},
title = {Cut-Based Abduction},
volume = 16,
year = 2008
}
@inproceedings{DBLP:conf/deon/Gabbay08,
affiliation = {icr},
author = {Dov M. Gabbay},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
editor = {Ron van der Meyden and Leendert van der Torre},
ee = {http://dx.doi.org/10.1007/978-3-540-70525-3_13},
pages = {155-173},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Reactive Kripke Models and Contrary to Duty Obligations},
volume = {5076},
year = {2008}
}
@article{gabbay:325,
affiliation = {icr},
author = {Dov M. Gabbay and K. Schlechta},
issue = 03,
journal = {The Review of Symbolic Logic},
pages = {267-304},
title = {Cumulativity without closure of the domain under finite unions},
volume = 1,
year = {October 2008}
}
@inproceedings{DBLP:conf/birthday/Gabbay08,
affiliation = {icr},
author = {Dov M. Gabbay},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday},
editor = {Arnon Avron and Nachum Dershowitz and Alexander Rabinovich},
ee = {http://dx.doi.org/10.1007/978-3-540-78127-1_17},
pages = {292-341},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Introducing Reactive Kripke Semantics and Arc Accessibility},
volume = {4800},
year = {2008}
}
@inproceedings{DBLP:conf/dagstuhl/MakinsonT07,
author = {David Makinson and
Leendert W. N. van der Torre},
title = {What is Input/Output Logic? Input/Output Logic, Constraints,
Permissions},
booktitle = {Normative Multi-agent Systems},
year = {2007},
ee = {http://drops.dagstuhl.de/opus/volltexte/2007/928},
crossref = {DBLP:conf/dagstuhl/2007P7122},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/ao/BoellaTV07,
author = {Guido Boella and
Leendert van der Torre and
Harko Verhagen},
title = {Roles, an interdisciplinary perspective},
journal = {Applied Ontology},
volume = {2},
number = {2},
year = {2007},
pages = {81-88},
ee = {http://iospress.metapress.com/openurl.asp?genre=article{\&}issn=1570-5838{\&}volume=2{\&}issue=2{\&}spage=81},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/ail/BoellaT07,
author = {Guido Boella and
Leendert W. N. van der Torre},
title = {The ontological properties of social roles in multi-agent
systems: definitional dependence, powers and roles playing
roles},
journal = {Artif. Intell. Law},
volume = {15},
number = {3},
year = {2007},
pages = {201-221},
ee = {http://dx.doi.org/10.1007/s10506-007-9030-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/dagstuhl/BroersenT07,
author = {Jan Broersen and
Leendert W. N. van der Torre},
title = {What an Agent Ought To Do},
booktitle = {Normative Multi-agent Systems},
year = {2007},
ee = {http://drops.dagstuhl.de/opus/volltexte/2007/905},
crossref = {DBLP:conf/dagstuhl/2007P7122},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dagstuhl/2007P7122,
editor = {Guido Boella and
Leendert W. N. van der Torre and
Harko Verhagen},
title = {Normative Multi-agent Systems, 18.03. - 23.03.2007},
booktitle = {Normative Multi-agent Systems},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r
Informatik (IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
volume = {07122},
year = {2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{ABBLPT07,
affiliation = {icr},
author = {F. Arbab and F.S. de Boer and M. Bonsangue and M.M. Lankhorst and H.A. Proper and L. van der Torre},
journal = {Enterprise Modelling and Information Systems Architectures},
number = 2,
pages = {0--57},
title = {Integrating Architectural Models},
volume = 1,
year = 2007
}
@article{AB-NK07,
affiliation = {icr},
author = {Arnon Avron and Jonathan Ben-Naim and Beata Konikowska},
journal = {Journal Logica Universalis},
number = 1,
pages = {41-70},
title = {Cut-free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics},
url = {http://icr.uni.lu/pubs/avr07a.pdf},
volume = 1,
year = 2007,
bdsk-url-1 = {http://icr.uni.lu/pubs/avr07a.pdf}
}
@article{BBT07a,
affiliation = {icr},
author = {Matteo Baldoni and Guido Boella and Leendert van der Torre},
journal = {Journal of Object Technology},
number = 2,
title = {Interaction between Objects in powerJava},
volume = 6,
year = 2007
}
@article{BDHT07a,
affiliation = {icr},
author = {G. Boella and R. Damiano and J. Hulstijn and L. van der Torre},
journal = {Applied Ontology},
number = 2,
pages = {217-265},
title = {A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments using Roles},
year = 2007
}
@article{BST07,
affiliation = {icr},
author = {G. Boella and L. Sauro and L. van der Torre},
journal = {Web Intelligence and Agent Systems journal},
number = 5,
pages = {393-404},
title = {From Social Power to Social Importance},
year = 2007
}
@article{BT07a,
affiliation = {icr},
author = {Guido Boella and Leendert van der Torre},
journal = {International Journal of Cooperative Information Systems (IJCIS) Special Issue: Emergent Agent Societies},
number = 2,
title = {Norm negotiation in multiagent systems},
volume = 16,
year = 2007
}
@article{BJLTT07,
affiliation = {icr},
author = {T. Bosse and C.M. Jonker and S.A. Los and L. van der Torre and J. Treur},
journal = {Cognitive Systems Research Journal},
number = 1,
pages = {36-47},
title = {Formal analysis of trace conditioning},
volume = 8,
year = 2007
}
@inproceedings{BBT07b,
affiliation = {icr},
author = {Matteo Baldoni and Guido Boella and Leendert W.N. van der Torre},
booktitle = {Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers},
editor = {Rafael H. Bordini and Mehdi Dastani and J{\"{o}}rgen Dix and Amal El Fallah-Seghrouchni},
pages = {149-164},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects},
volume = 4411,
year = 2007
}
@inproceedings{BBT07c,
affiliation = {icr},
author = {Matteo Baldoni and Guido Boella and Leendert van der Torre},
booktitle = {International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19 2007, Proceedings},
editor = {Farhad Arbab and Marjan Sirjani},
pages = {440-448},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Relationships Meet Their Roles in Object Oriented Programming},
volume = 4767,
year = 2007
}
@inproceedings{B-NW07a,
affiliation = {icr},
author = {Jonathan Ben-Naim and Emil Weydert},
booktitle = {Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007)},
editor = {Mehdi Dastani and Edwin de Jong},
title = {On Agent Prioritization in Trust Networks},
year = 2007
}
@inproceedings{BPPTT07a,
affiliation = {icr},
author = {Guido Boella and Celia da Costa Pereira and Gabriella Pigozzi and Andrea Tettamanzi and and Leendert van der Torre},
booktitle = {Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007)},
editor = {Mehdi Dastani and Edwin de Jong},
title = {What You should Believe},
year = 2007
}
@inproceedings{BGGT07,
affiliation = {icr},
author = {Guido Boella and Valerio Genovese and Roberto Grenna and Leendert van der Torre},
booktitle = {PRIMA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Merging Roles in Coordination and in Agent Deliberation},
year = 2007
}
@inproceedings{BT07c,
affiliation = {icr},
author = {Guido Boella, Leendert W.N. van der Torre},
booktitle = {Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings},
editor = {Hans-Dieter Burkhard and Gabriela Lindemann and Rineke Verbrugge, L{\'{a}}szl{\'{o}} Zsolt Varga},
pages = {42-51},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {An Attacker Model for Normative Multi-agent Systems},
volume = 4696,
year = 2007
}
@inproceedings{BT07d,
affiliation = {icr},
author = {Guido Boella and Leendert W.N. van der Torre},
booktitle = {Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31 -- June 1, 2007, Proceedings},
editor = {Ngoc Thanh Nguyen and Adam Grzech and Robert J. Howlett and Lakhmi C. Jain},
note = {Best paper award},
pages = {436-446},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Power in Norm Negotiation},
volume = 4496,
year = 2007
}
@inproceedings{Boe07,
affiliation = {icr},
author = {Mathijs de Boer},
booktitle = {Proceedings of the Formal Approaches to Multi-Agent Systems Workshop (FAMAS'007), Durham, UK},
title = {KE Tableaux for Public Announcement Logic},
year = 2007
}
@inproceedings{BroT07,
affiliation = {icr},
author = {Jan Broersen and Leendert van der Torre},
booktitle = {PRIMA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Reasoning About Norms, Obligations, Time and Agents},
year = 2007
}
@inproceedings{Cai07a,
affiliation = {icr},
author = {Patrice Caire},
booktitle = {Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007)},
editor = {Mehdi Dastani and Edwin de Jong},
title = {Conviviality for Digital Cities: A Normative Multi-Agent Systems Approach},
url = {http://icr.uni.lu/pubs/cai07a.pdf},
year = 2007,
bdsk-url-1 = {http://icr.uni.lu/pubs/cai07a.pdf}
}
@inproceedings{Cai07f,
affiliation = {icr},
author = {Patrice Caire},
booktitle = {Proceedings of The International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN)},
editor = {Pablo Noriega and Julian Padget},
note = {Durham, UK, 15-26, Aug.},
title = {A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities},
url = {http://icr.uni.lu/pubs/cai07f.pdf},
year = 2007,
bdsk-url-1 = {http://icr.uni.lu/pubs/cai07f.pdf}
}
@inproceedings{Cam07a,
affiliation = {icr},
author = {Martin Caminada},
booktitle = {ECSQARU 2007},
pages = {222-234},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {An Algorithm for Computing Semi-Stable Semantics},
volume = 4724,
year = 2007
}
@inproceedings{Cam07b,
affiliation = {icr},
author = {Martin Caminada},
booktitle = {BNAIC 2007},
pages = {81-87},
title = {Comparing Two Unique Extension Semantics for Formal Argumentation: Ideal and Eager},
year = 2007
}
@inproceedings{DGRST07,
affiliation = {icr},
author = {Mehdi Dastani and Guido Governatori and Antonino Rotolo and Insu Song and Leendert van der Torre},
booktitle = {PRIMA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Contextual Agent Deliberation in Defeasible Logic},
year = 2007
}
@inproceedings{GDRST07,
affiliation = {icr},
author = {G. Governatori and M. Dastani and A. Rotolo and I. Song and L. van der Torre},
booktitle = {Proceedings of AAMAS07},
title = {Contextual Deliberation of Cognitive Agents in Defeasible Logic (poster)},
year = 2007
}
@inproceedings{KTW07,
affiliation = {icr},
author = {Souhila Kaci and Leendert W.N. van der Torre and Emil Weydert},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 -- November 2, 2007, Proceedings},
editor = {Khaled Mellouli},
pages = {247-258},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {On the Acceptability of Incompatible Arguments},
volume = 4724,
year = 2007
}
@inproceedings{PH07a,
affiliation = {icr},
author = {Gabriella Pigozzi and Stephan Hartmann},
booktitle = {Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 07), 14--18 May 2007, Honolulu, Hawaii, USA},
pages = {674-676},
title = {Aggregation in Multi-Agent Systems and the Problem of Truth-Tracking},
url = {http://icr.uni.lu/pubs/pig07a.pdf},
year = 2007,
bdsk-url-1 = {http://icr.uni.lu/pubs/pig07a.pdf}
}
@inproceedings{PH07b,
affiliation = {icr},
author = {Gabriella Pigozzi and Stephan Hartmann},
booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), 25--27 June 2007, Brussels, Belgium},
pages = {248-252},
title = {Judgment Aggregation and the Problem of Truth-Tracking},
year = 2007
}
@inproceedings{BBT07d,
affiliation = {icr},
author = {M. Baldoni and G. Boella and L. van der Torre},
booktitle = {Proceedings of WOA07},
title = {Adding Roles to Relationship Patterns},
year = 2007
}
@inproceedings{BBGT07,
affiliation = {icr},
author = {M. Baldoni and G. Boella and V. Genovese and L. van der Torre},
booktitle = {Proceedings of AWESOME07},
title = {Roles in Coordination and in Agent Deliberation: A Merger of Concepts},
year = 2007
}
@inproceedings{B-NW07b,
affiliation = {icr},
author = {Jonathan Ben-Naim and Emil Weydert},
booktitle = {Workshop on Logics and Collective Decision making (LCD'07)},
title = {Information Merging with Trust (extended abstract)},
year = 2007
}
@inproceedings{BHGRRT07,
affiliation = {icr},
author = {G. Boella and J. Hulstijn and G. Governatori and R. Riveret and A. Rotolo and L. van der Torre},
booktitle = {Proceedings of NRAC'07},
title = {{FIPA} Communicative Acts in Defeasible Logic},
year = 2007
}
@inproceedings{BDHT07b,
affiliation = {icr},
author = {G. Boella and R. Damiano and J. Hulstijn and L. van der Torre},
booktitle = {Proceedings of CMNA'07},
title = {Distinguishing Propositional and Action Commitment in Agent Communication},
year = 2007
}
@inproceedings{BT07e,
affiliation = {icr},
author = {Guido Boella and Leendert W.N. van der Torre},
booktitle = {Normative Multi-agent Systems},
title = {A Game-Theoretic Approach to Normative Multi-Agent Systems},
year = 2007
}
@inproceedings{BPPTT07b,
affiliation = {icr},
author = {Guido Boella and C{\'{e}}lia Da Costa Pereira and Gabriella Pigozzi and Andrea Tettamanzi and Leendert van der Torre},
booktitle = {Normative Multi-agent Systems},
title = {Choosing Your Beliefs},
year = 2007
}
@inproceedings{BTV07,
affiliation = {icr},
author = {Guido Boella and Leendert W.N. van der Torre and Harko Verhagen},
booktitle = {Normative Multi-agent Systems},
title = {Introduction to Normative Multiagent Systems},
year = 2007
}
@inproceedings{Cai07c,
affiliation = {icr},
author = {Patrice Caire},
booktitle = {Proceedings of Artificial Societies for Ambient Intelligence, Artificial Intelligence and Simulation of Behaviour (AISB'07), Newcastle upon Tyne, UK, May 2007},
editor = {Patrick Olivier and Christian Kray},
pages = {14-19},
title = {Conviviality for Ambient Intelligence},
url = {http://icr.uni.lu/pubs/cai07c.pdf},
year = 2007,
bdsk-url-1 = {http://icr.uni.lu/pubs/cai07c.pdf}
}
@inproceedings{Cai07d,
affiliation = {icr},
author = {Patrice Caire},
booktitle = {Proceedings of the 6th Workshop on Social Intelligence Design (SID'07)},
editor = {A. Nijholt and O. Stock and T. Nishida},
pages = {25-40},
title = {Designing Convivial Digital Cities},
url = {http://icr.uni.lu/pubs/cai07d.pdf},
year = 2007,
bdsk-url-1 = {http://icr.uni.lu/pubs/cai07d.pdf}
}
@techreport{CB-N07,
affiliation = {icr},
author = {M. Caminada and J. Ben-Naim},
institution = {Institute of Information and Computing Sciences, Utrecht University},
number = {UU-CS-2007-004},
title = {Postulates for Paraconsistent Reasoning and Fault Tolerant Logic Programming},
year = 2007
}
@inproceedings{GPR07,
address = {Schloss Dagstuhl, Germany},
affiliation = {icr},
author = {Dov Gabbay and Gabriella Pigozzi and Odinaldo Rodrigues},
booktitle = {Formal Models of Belief Change in Rational Agents},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI)},
series = {Dagstuhl Seminar Proceedings},
title = {Common Foundations for Belief Revision, Belief Merging and Voting},
volume = 07531,
year = 2007
}
@inproceedings{HPT07,
affiliation = {icr},
author = {J{\"{o}}rg Hansen and Gabriella Pigozzi and Leendert W.N. van der Torre},
booktitle = {Normative Multi-agent Systems},
title = {Ten Philosophical Problems in Deontic Logic},
url = {http://icr.uni.lu/pubs/han07a.pdf},
year = 2007,
bdsk-url-1 = {http://icr.uni.lu/pubs/han07a.pdf}
}
@inproceedings{PT07,
address = {Schloss Dagstuhl, Germany},
affiliation = {icr},
author = {G. Pigozzi and L. van der Torre},
booktitle = {Formal Models of Belief Change in Rational Agents},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI)},
series = {Dagstuhl Seminar Proceedings},
title = {Premise Independence in Judgment Aggregation},
volume = 07531,
year = 2007
}
@inproceedings{Wey07a,
address = {Schloss Dagstuhl, Germany},
affiliation = {icr},
author = {Emil Weydert},
booktitle = {Formal Models of Belief Change in Rational Agents},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI)},
series = {Dagstuhl Seminar Proceedings},
title = {Ranking revision reloaded (extended abstract)},
volume = 07531,
year = 2007
}
@inproceedings{DBLP:conf/woa/BaldoniBT06,
author = {Matteo Baldoni and
Guido Boella and
Leendert van der Torre},
title = {Importing Agent-like Interaction in Object Orientation},
booktitle = {WOA},
year = {2006},
ee = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-204/P12.pdf},
crossref = {DBLP:conf/woa/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/cmot/BoellaTV06,
author = {Guido Boella and
Leendert van der Torre and
Harko Verhagen},
title = {Introduction to normative multiagent systems},
journal = {Computational {\&} Mathematical Organization Theory},
volume = {12},
number = {2-3},
year = {2006},
pages = {71-79},
ee = {http://dx.doi.org/10.1007/s10588-006-9537-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dagstuhl/2006P6000,
editor = {Serge Autexier and
Stephan Merz and
Leendert W. N. van der Torre and
Reinhard Wilhelm and
Pierre Wolper},
title = {Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland
University, Saarbr{\"u}cken, Germany},
booktitle = {Trustworthy Software},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
series = {OASICS},
volume = {3},
year = {2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/entcs/BoellaT06,
affiliation = {icr},
author = {G. Boella and L. van der Torre (Eds.)},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1016/j.entcs.2006.03.001},
journal = {Electronic Notes in Theoretical Computer Science (ENTCS) Procs. of the First International Workshop on Coordination and Organisation (CoOrg 2005)},
number = {3},
pages = {1-2},
title = {Preface.},
volume = {150},
year = {2006}
}
@article{Boella-etal:cmot06a,
affiliation = {icr},
author = {G. Boella and L. van der Torre and H. Verhagen (eds)},
journal = {Computation and Mathematical Organizational Theory, Special issue on Normative Multiagent Systems},
number = {2-3},
volume = 12,
year = {2006}
}
@article{Baldoni-etal:entcs06,
affiliation = {icr},
author = {M. Baldoni and G. Boella and L. van der Torre},
journal = {Electronic Notes in Theoretical Computer Science (ENTCS) Procs. of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005)},
number = 1,
pages = {9-29},
title = {Roles as a Coordination Construct: Introducing {powerJava}},
url = {http://www.di.unito.it/\~{}guido/PS/entcs05b.pdf},
volume = {150},
year = {2006},
bdsk-url-1 = {http://www.di.unito.it/%5C~%7B%7Dguido/PS/entcs05b.pdf}
}
@article{Baldoni-etal:networks06,
affiliation = {icr},
author = {M. Baldoni and G. Boella and L. van der Torre},
journal = {Networks, rivista di filosofia dell'intelligenza artificiale e scienze cognitive},
title = {I fondamenti ontologici dei linguaggi di programmazione orientati agli oggetti: i casi delle relazioni e dei ruoli},
url = {http://www.di.unito.it/\~{}guido/PS/baldoni-networks07.pdf},
volume = 6,
year = {2006},
bdsk-url-1 = {http://www.di.unito.it/%5C~%7B%7Dguido/PS/baldoni-networks07.pdf}
}
@article{Boella-Torre:entcs06,
affiliation = {icr},
author = {G. Boella and L. van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1016/j.entcs.2006.03.002},
journal = {Electronic Notes in Theoretical Computer Science (ENTCS)},
number = {3},
pages = {3-20},
title = {Coordination and Organization: Definitions, Examples and Future Research Directions.},
volume = {150},
year = {2006}
}
@article{Boella-Torre:smcc06,
affiliation = {icr},
author = {G. Boella and L. van der Torre},
journal = {IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews},
number = 1,
pages = {68-79},
title = {A Game Theoretic Approach to Contracts in Multiagent Systems},
volume = 36,
year = {2006}
}
@article{Boella-Torre:smca06,
affiliation = {icr},
author = {G. Boella and L. van der Torre},
journal = {IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans},
number = 3,
pages = {439-450},
title = {Security Policies for Sharing Knowledge in Virtual Communities},
volume = 36,
year = {2006}
}
@article{Boella-etal:cmot06b,
affiliation = {icr},
author = {G. Boella and L. van der Torre and H. Verhagen},
journal = {Computation and Mathematical Organizational Theory, Special issue on Normative Multiagent Systems},
number = {2-3},
pages = {71-79},
title = {Introduction to normative multiagent systems},
volume = 12,
year = {2006}
}
@article{pigozzi,
affiliation = {icr},
author = {G. Pigozzi},
journal = {Synthese},
pages = {285-298},
title = {Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation},
volume = {152(2)},
year = 2006
}
@inproceedings{Boella-etal:promas05,
address = {Berlin},
affiliation = {icr},
author = {M. Baldoni and G. Boella and L. van der Torre},
booktitle = {Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005},
pages = {57-75},
publisher = {Springer},
series = {LNCS},
title = {Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages},
volume = {3862},
year = 2006
}
@inproceedings{Baldoni-etal:ksem06,
affiliation = {icr},
author = {M. Baldoni and G. Boella and L. van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Knowledge Science, Engineering and Management, First International Conference, KSEM 2006},
isbn = {3-540-37033-1},
pages = {42-54},
publisher = {Springer},
series = {LNCS},
title = {Modelling the Interaction Between Objects: Roles as Affordances.},
volume = {4092},
year = {2006}
}
@inproceedings{Boella-etal:ac06,
address = {Berlin},
affiliation = {icr},
author = {G. Boella and R. Damiano and J. Hulstijn and L. van der Torre},
booktitle = {International Workshops on Agent Communication, AC 2005 and AC 2006},
pages = {30-44},
publisher = {Springer},
series = {LNAI},
title = {{ACL} Semantics between Social Commitments and Mental Attitudes},
volume = {3859},
year = 2006
}
@inproceedings{DBLP:conf/argmas/BoellaHT05,
affiliation = {icr},
author = {G. Boella and J. Hulstijn and L. van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers},
editor = {S. Parsons and N. Maudet and P. Moraitis and I. Rahwan},
ee = {http://dx.doi.org/10.1007/11794578_2},
isbn = {3-540-36355-6},
pages = {29-41},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {A Logic of Abstract Argumentation.},
volume = {4049},
year = {2006}
}
@inproceedings{Boella-etal:anirem05,
address = {Berlin},
affiliation = {icr},
author = {G. Boella and J. Hulstijn and Y. Tan and L. van der Torre},
booktitle = {Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005},
pages = {114-126},
publisher = {Springer},
series = {LNAI},
title = {Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation},
volume = {3913},
year = 2006
}
@inproceedings{Boella-Torre:clima05,
address = {Berlin},
affiliation = {icr},
author = {G. Boella and L. van der Torre},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI)},
pages = {303-319},
publisher = {Springer},
series = {LNCS},
title = {Constitutive Norms in the Design of Normative Multiagent Systems},
volume = {3900},
year = 2006
}
@inproceedings{Boella-Torre:oop05,
address = {Berlin},
affiliation = {icr},
author = {G. Boella and L. van der Torre},
booktitle = {Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005},
pages = {198-210},
publisher = {Springer},
series = {LNAI},
title = {Organizations in Artificial Social Systems},
volume = {3913},
year = 2006
}
@inproceedings{Boella-Torre:deon06b,
address = {Berlin},
affiliation = {icr},
author = {G. Boella and L. van der Torre},
booktitle = {Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ({$\Delta$EON}'06)},
pages = {24-35},
publisher = {Springer},
series = {LNCS},
title = {A Logical Architecture of a Normative System},
volume = {4048},
year = 2006
}
@inproceedings{Boella-Torre:deon06a,
address = {Berlin},
affiliation = {icr},
author = {G. Boella and L. van der Torre},
booktitle = {Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ({$\Delta$EON}'06)},
pages = {36-52},
publisher = {Springer},
series = {LNCS},
title = {Delegation of Power in Normative Multiagent Systems},
volume = {4048},
year = 2006
}
@inproceedings{Boella-Torre:DALT06,
affiliation = {icr},
author = {G. Boella and L. van der Torre},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International Workshop (DALT'06)},
pages = {78-88},
series = {LNCS},
title = {A Foundational Ontology of Organizations and Roles},
volume = {4327},
year = 2006
}
@inproceedings{Bosse-etal:AOSE05,
affiliation = {icr},
author = {T. Bosse and C. Jonker and S. Los and L. van der Torre and J. Treur},
booktitle = {Agent-Oriented Software Engineering VI},
pages = {54-68},
series = {LNCS},
title = {Formalisation and Analysis of the Temporal Dynamics of Conditioning},
volume = {3950},
year = 2006
}
@inproceedings{Garion-Torre:anirem05,
address = {Berlin},
affiliation = {icr},
author = {C. Garion and L. van der Torre},
booktitle = {Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005},
pages = {170-182},
publisher = {Springer},
series = {LNAI},
title = {Design By Contract Deontic Design Language for Multiagent Systems},
volume = {3913},
year = 2006
}
@inproceedings{DBLP:conf/deon/KaciT06,
affiliation = {icr},
author = {S. Kaci and L. van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {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},
editor = {L. Goble and J.-J. Meyer},
isbn = {3-540-35842-0},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Permissions and Uncontrollable Propositions in {DSDL}3: Non-monotonicity and Algorithms.},
volume = {4048},
year = {2006}
}
@inproceedings{DBLP:conf/isola/StamJBBT04,
affiliation = {icr},
author = {A. Stam and J. Jacob and F. S. de Boer and M. Bonsangue and L. van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers},
editor = {T. Margaria and B. Steffen},
ee = {http://dx.doi.org/10.1007/11925040_4},
isbn = {3-540-48928-2},
pages = {42-56},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Using {XML} Transformations for Enterprise Architectures},
volume = {4313},
year = {2006}
}
@inproceedings{DBLP:conf/caise/TorreLDCA06,
affiliation = {icr},
author = {L. van der Torre and M. Lankhorst and H. ter Doest and J. Campschroer and F. Arbab},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings},
editor = {E. Dubois and K. Pohl},
ee = {http://dx.doi.org/10.1007/11767138_24},
isbn = {3-540-34652-X},
pages = {351-366},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Landscape Maps for Enterprise Architectures.},
volume = {4001},
year = {2006}
}
@inproceedings{Baldoni-etal:sac06,
address = {New York (NJ)},
affiliation = {icr},
author = {M. Baldoni and G. Boella and L. van der Torre},
booktitle = {Procs. of ACM Symposium on Applied Computing (SAC'06), Track Object Oriented Programming Languages and Systems (OOPS'06)},
pages = {1414-1418},
publisher = {ACM},
title = {{powerJava}: ontologically founded roles in object oriented programming language},
year = 2006
}
@inproceedings{Baldoni-etal:pppj06,
address = {New York (NY)},
affiliation = {icr},
author = {M. Baldoni and G. Boella and L. van der Torre},
booktitle = {Procs. of Principles and Practice of Programming in Java (PPPJ'06)},
pages = {188--193},
publisher = {ACM},
title = {Interaction among objects via roles: sessions and affordances in {Java}},
year = {2006}
}
@inproceedings{bennaim,
affiliation = {icr},
author = {J. Ben-Naim},
booktitle = {10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06)},
pages = {239-248},
title = {Lack of Finite Characterizations for the Distance-based Revision},
year = 2006
}
@incollection{Boella-etal:aamas06b,
address = {New York (NJ)},
affiliation = {icr},
author = {Boella, G. and Damiano, R. and Hulstijn, J. and van der Torre, L.},
booktitle = {Procs. of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06)},
pages = {688-690},
publisher = {ACM},
title = {Role-Based Semantics for Agent Communication: Embedding of the `Mental Attitudes' and `Social Commitments' Semantics},
year = 2006
}
@inproceedings{Boella-etal:iat06,
affiliation = {icr},
author = {G. Boella and J. Hulstijn and L. van der Torre},
booktitle = {Procs. of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06)},
location = {Hong Kong},
pages = {381-384},
publisher = {IEEE},
title = {The Roles of Roles in Agent Communication Languages},
year = {2006}
}
@inproceedings{Boella-etal:ecai06,
address = {Amsterdam},
affiliation = {icr},
author = {G. Boella and L. Sauro and L. van der Torre},
booktitle = {Procs. of the 17th European Conference on Artificial Intelligence (ECAI'06)},
location = {Riva del Garda},
pages = {195-199},
publisher = {IOS},
title = {Strengthening Admissible Coalitions},
year = {2006}
}
@inproceedings{Boella-Torre:ecai06a,
author = {G. Boella and L. van der Torre},
booktitle = {Procs. of the 17th European Conference on Artificial Intelligence (ECAI'06)},
title = {Count-As Conditionals, Classification and Context.},
year = 2006
}
@inproceedings{Boella-Torre:ecai06b,
address = {Amsterdam},
affiliation = {icr},
author = {G. Boella and L. van der Torre},
booktitle = {Procs. of the 17th European Conference on Artificial Intelligence(ECAI'06)},
pages = {721-722},
publisher = {IOS},
title = {Fair Distribution of Collective Obligations.},
year = {2006}
}
@inproceedings{DBLP:conf/atal/BoellaT06,
author = {Guido Boella and
Leendert W. N. van der Torre},
title = {An architecture of a normative system: counts-as conditionals,
obligations and permissions},
booktitle = {AAMAS},
year = {2006},
pages = {229-231},
ee = {http://doi.acm.org/10.1145/1160633.1160671},
crossref = {DBLP:conf/atal/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{Boella-Torre:polishai06,
affiliation = {icr},
author = {G. Boella and L. van der Torre},
booktitle = {Procs. of Artificial Intelligence Studies},
number = 26,
pages = {39-51},
title = {Game-Theoretic Foundations for Norms},
volume = {3},
year = {2006}
}
@inproceedings{booth-etal:nmr06,
affiliation = {icr},
author = {R. Booth and S. Kaci and L. van der Torre},
booktitle = {Proceedings of the NMR'06},
title = {Merging Rules: Preliminary Version},
year = 2006
}
@inproceedings{gabbay-etal,
address = {University of Liverpool, UK},
affiliation = {icr},
author = {D. Gabbay and G. Pigozzi and O. Rodrigues},
booktitle = {Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06)},
date = {13-15 July},
editor = {G. Bonanno and W. van der Hoek and M. Wooldridge},
pages = {71-78},
title = {Belief revision, belief merging and voting},
year = 2006
}
@inproceedings{DBLP:conf/ecai/KaciTW06,
affiliation = {icr},
author = {S. Kaci and L. van der Torre and E. Weydert},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings},
editor = {G. Brewka and S. Coradeschi and A. Perini and P. Traverso},
isbn = {1-58603-642-4},
pages = {725-726},
publisher = {IOS Press},
title = {Acyclic Argumentation: Attack = Conflict + Preference},
year = {2006}
}
@inproceedings{kaci-Torre:nmr06,
affiliation = {icr},
author = {S. Kaci and L. van der Torre},
booktitle = {Proceedings of the NMR'06},
title = {Preference reasoning for argumentation: non-monotonicity and algorithms},
year = 2006
}
@inproceedings{Kaci-Torre:fusion06,
affiliation = {icr},
author = {S. Kaci and L. van der Torre},
booktitle = {Proceedings of FUSION 2006},
note = {Also in proceedings of NMR06},
title = {Merging Optimistic and Pessimistic Preferences},
year = 2006
}
@inproceedings{PigozziHartmann2006,
affiliation = {icr},
author = {G. Pigozzi and S. Hartmann},
booktitle = {Proceedings of the 1st International Workshop on Computational Social Choice (COMSOC 2006)},
editor = {U. Endriss and J. Lang},
pages = {408-421},
title = {Merging judgments and the problem of truth-tracking},
year = {2006}
}
@inproceedings{pigozzi-eckert,
address = {University of Liverpool, UK},
affiliation = {icr},
author = {G. Pigozzi and D. Eckert},
booktitle = {Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06)},
date = {13-15 July},
editor = {G. Bonanno and W. van der Hoek and M. Wooldridge},
pages = {169-176},
title = {Pareto consistency in a model-based perspective on judgment aggregation},
year = 2006
}
@inproceedings{weydert:admx06,
address = {London},
affiliation = {icr},
author = {E. Weydert},
booktitle = {Informal Proceedings of the Eight Augustus de Morgan Workshop on Belief Revision, Belief Merging and Social Choice (http://www.dcs.kcl.ac.uk/events/ADMW06)},
date = {8-10 Nov},
title = {Rankings from Merging - a preliminary version},
year = {2006}
}
@proceedings{DBLP:conf/atal/2009-2,
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~a}o Sichman},
title = {8th International Joint Conference on Autonomous Agents
and Multiagent Systems (AAMAS 2009), Budapest, Hungary,
May 10-15, 2009, Volume 2},
booktitle = {AAMAS (2)},
publisher = {IFAAMAS},
year = {2009},
isbn = {978-0-9817381-7-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/atal/2009coin,
editor = {Julian A. Padget and
Alexander Artikis and
Wamberto Weber Vasconcelos and
Kostas Stathis and
Viviane Torres da Silva and
Eric T. Matson and
Axel Polleres},
title = {Coordination, Organizations, Institutions and Norms in Agent
Systems V, COIN 2009 International Workshops. COIN@AAMAS
2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena,
USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September
2009. Revised Selected Papers},
booktitle = {COIN@AAMAS{\&}IJCAI{\&}MALLOW},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6069},
year = {2010},
isbn = {978-3-642-14961.0},
ee = {http://dx.doi.org/10.1007/978-3-642-14962-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dbsec/2010,
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {DBSec},
editor = {Sara Foresti and Sushil Jajodia},
ee = {http://dx.doi.org/10.1007/978-3-642-13739-6},
isbn = {978-3-642-13738-9},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Data and Applications Security and Privacy XXIV, 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010. Proceedings},
volume = {6166},
year = {2010}
}
@proceedings{DBLP:conf/deon/2010,
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {DEON},
editor = {Guido Governatori and Giovanni Sartor},
ee = {http://dx.doi.org/10.1007/978-3-642-14183-6},
isbn = {978-3-642-14182-9},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fi esole, Italy, July 7-9, 2010. Proceedings},
volume = {6181},
year = {2010}
}
@proceedings{DBLP:conf/ecai/2010,
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {ECAI},
editor = {Helder Coelho and Rudi Studer and Michael Wooldridge},
ee = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17702},
isbn = {978-1-60750-605-8},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
title = {ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings},
volume = {215},
year = {2010}
}
@proceedings{DBLP:conf/kr/2010,
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {KR},
editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski},
publisher = {AAAI Press},
title = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010},
year = {2010}
}
@proceedings{DBLP:conf/mdai/2010,
editor = {Vicen\c{c} Torra and
Yasuo Narukawa and
Marc Daumas},
title = {Modeling Decisions for Artificial Intelligence - 7th International
Conference, MDAI 2010, Perpignan, France, October 27-29,
2010. Proceedings},
booktitle = {MDAI},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6408},
year = {2010},
isbn = {978-3-642-16291-6},
ee = {http://dx.doi.org/10.1007/978-3-642-16292-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/atal/2008-1,
editor = {Lin Padgham and
David C. Parkes and
J{\"o}rg P. M{\"u}ller and
Simon Parsons},
title = {7th International Joint Conference on Autonomous Agents
and Multiagent Systems (AAMAS 2008), Estoril, Portugal,
May 12-16, 2008, Volume 1},
booktitle = {AAMAS (1)},
publisher = {IFAAMAS},
year = {2008},
isbn = {978-0-9817381-0-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/loft/2008,
editor = {Giacomo Bonanno and
Benedikt L{\"o}we and
Wiebe van der Hoek},
title = {Logic and the Foundations of Game and Decision Theory -
LOFT 8, 8th International Conference, Amsterdam, The Netherlands,
July 3-5, 2008, Revised Selected Papers},
booktitle = {LOFT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6006},
year = {2010},
isbn = {978-3-642-15163-7},
ee = {http://dx.doi.org/10.1007/978-3-642-15164-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/woa/2006,
editor = {Flavio De Paoli and
Antonella Di Stefano and
Andrea Omicini and
Corrado Santoro},
title = {Proceedings of the 7th WOA 2006 Workshop, From Objects to
Agents (Dagli Oggetti Agli Agenti), Catania, Italy, September
26-27, 2006},
booktitle = {WOA},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {204},
year = {2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/atal/2006,
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {5th International Joint Conference on Autonomous Agents
and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May
8-12, 2006},
booktitle = {AAMAS},
publisher = {ACM},
year = {2006},
isbn = {1-59593-303-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/iat/2009,
title = {Proceedings of the 2009 IEEE/WIC/ACM International Conference
on Intelligent Agent Technology, IAT 2009, Milan, Italy,
15-18 September 2009},
booktitle = {IAT},
publisher = {IEEE},
year = {2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/argmas/2009,
editor = {Peter McBurney and
Iyad Rahwan and
Simon Parsons and
Nicolas Maudet},
title = {Argumentation in Multi-Agent Systems, 6th International
Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009.
Revised Selected and Invited Papers},
booktitle = {ArgMAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6057},
year = {2010},
isbn = {978-3-642-12804-2},
ee = {http://dx.doi.org/10.1007/978-3-642-12805-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecsqaru/2011,
editor = {Weiru Liu},
title = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 11th European Conference, ECSQARU 2011, Belfast, UK, June
29-July 1, 2011. Proceedings},
booktitle = {ECSQARU},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6717},
year = {2011},
isbn = {978-3-642-22151-4},
ee = {http://dx.doi.org/10.1007/978-3-642-22152-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/kesamsta/2011,
editor = {James O'Shea and
Ngoc Thanh Nguyen and
Keeley A. Crockett and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Agent and Multi-Agent Systems: Technologies and Applications
- 5th KES International Conference, KES-AMSTA 2011, Manchester,
UK, June 29 - July 1, 2011. Proceedings},
booktitle = {KES-AMSTA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6682},
year = {2011},
isbn = {978-3-642-21999-3},
ee = {http://dx.doi.org/10.1007/978-3-642-22000-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/jurix/2009aicol,
editor = {Pompeu Casanovas and
Ugo Pagallo and
Giovanni Sartor and
Gianmaria Ajani},
title = {AI Approaches to the Complexity of Legal Systems. Complex
Systems, the Semantic Web, Ontologies, Argumentation, and
Dialogue - International Workshops AICOL-I/IVR-XXIV Beijing,
China, September 19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The
Netherlands, December 16, 2009 Revised Selected Papers},
booktitle = {AICOL Workshops},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6237},
year = {2010},
isbn = {978-3-642-16523-8},
ee = {http://dx.doi.org/10.1007/978-3-642-16524-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
This file was generated by bibtex2html 1.95.