|
[1]
|
Serena Villata, Guido Boella, Dov M. Gabbay, and Leendert van der Torre.
Arguing about the trustworthiness of the information sources.
In Weiru Liu, editor, ECSQARU, volume 6717 of Lecture
Notes in Computer Science, pages 74-85. Springer, 2011.
[ bib ]
|
|
[2]
|
Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, and Serena
Villata.
Argumentative agents negotiating on potential attacks.
In James O'Shea, Ngoc Thanh Nguyen, Keeley A. Crockett, Robert J.
Howlett, and Lakhmi C. Jain, editors, KES-AMSTA, volume 6682 of
Lecture Notes in Computer Science, pages 280-290. Springer, 2011.
[ bib ]
|
|
[3]
|
Ron van der Meyden and Leon van der Torre.
Selected and revised papers from the ninth international conference
on deontic logic in computer science (deon 2008).
J. Applied Logic, 9(2):81-82, 2011.
[ bib ]
|
|
[4]
|
Richard Booth and Thomas Meyer.
Belief change.
Journal of Indian Council of Philosophical Research,
27:379-412, 2011.
[ bib ]
|
|
[5]
|
Richard Booth and Thomas Meyer.
How to revise a total preorder.
Journal of Philosophical Logic, 40:193-238, 2011.
[ bib ]
|
|
[6]
|
Martin W. A. Caminada and Gabriella Pigozzi.
On judgment aggregation in abstract argumentation.
JAAMAS special issue on Computational Social Choice,
22:64-102, 2011.
(Online First published on November 3, 2009).
[ bib ]
|
|
[7]
|
Julian A. Padget, Alexander Artikis, Wamberto Weber Vasconcelos, Kostas
Stathis, Viviane Torres da Silva, Eric T. Matson, and Axel Polleres, editors.
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, volume 6069 of
Lecture Notes in Computer Science. Springer, 2010.
[ bib ]
|
|
[8]
|
Valerio Genovese, Laura Giordano, Valentina Gliozzi, and Gian Luca Pozzato.
A constructive conditional logic for access control: a preliminary
report.
In Coelho et al. [69], pages 1073-1074.
[ bib ]
|
|
[9]
|
Antonis Bikakis and Grigoris Antoniou.
Defeasible contextual reasoning with arguments in ambient
intelligence.
IEEE Transactions on Knowledge and Data Engineering,
22(11):1492-1506, 2010.
[ bib ]
|
|
[10]
|
Antonis Bikakis and Grigoris Antoniou.
Defeasible contextual reasoning in ambient intelligence: Theory and
applications.
In Robert Meersman, Tharam S. Dillon, and Pilar Herrero, editors,
OTM Workshops, volume 6428 of Lecture Notes in Computer Science,
page 89. Springer, 2010.
[ bib ]
|
|
[11]
|
Theodore Patkos, Ioannis Chryssakis, Antonis Bikakis, Dimitris Plexousakis, and
Grigoris Antoniou.
A reasoning framework for ambient intelligence.
In Stasinos Konstantopoulos, Stavros J. Perantonis, Vangelis
Karkaletsis, Constantine D. Spyropoulos, and George A. Vouros, editors,
SETN, volume 6040 of Lecture Notes in Computer Science, pages
213-222. Springer, 2010.
[ bib ]
|
|
[12]
|
Antonis Bikakis and Grigoris Antoniou.
Rule-based contextual reasoning in ambient intelligence.
In Mike Dean, John Hall, Antonino Rotolo, and Said Tabet, editors,
Semantic Web Rules - International Symposium, RuleML 2010, volume 6403
of Lecture Notes in Computer Science, pages 74-88. Springer, 2010.
[ bib ]
|
|
[13]
|
Grigoris Antoniou, Constantinos Papatheodorou, and Antonis Bikakis.
Reasoning about context in ambient intelligence environments: A
report from the field.
In Fangzhen Lin, Ulrike Sattler, and Miroslaw Truszczynski, editors,
Principles of Knowledge Representation and Reasoning: Proceedings of the
Twelfth International Conference, KR 2010. AAAI Press, 2010.
[ bib ]
|
|
[14]
|
Grigoris Antoniou, Antonis Bikakis, and Constantinos Papatheodorou.
Reasoning with imperfect context and preference information reasoning
with imperfect context and preference information in multi-context systems.
In Barbara Catania, Mirjana Ivanovic, and Bernhard Thalheim, editors,
Advances in Databases and Information Systems - 14th East European
Conference, ADBIS 2010, volume 6295 of Lecture Notes in Computer
Science, pages 1-12. Springer, 2010.
[ bib ]
|
|
[15]
|
Antonis Bikakis and Grigoris Antoniou.
Contextual argumentation in ambient intelligence: Overview and future
steps.
In Proceedings of the 4th Mahasarakham International Workshop on
Artificial Intelligence (MIWAI'10), 2010.
[ bib ]
|
|
[16]
|
Constantinos Papatheodorou, Antonis Bikakis, and Grigoris Antoniou.
On the deployment of contextual reasoning in ambient intelligence
environments.
In Intelligent Environments (IE), 2010.
[ bib ]
|
|
[17]
|
E. Staab and M.W.A. Caminada.
On the profitability of incompetence.
In T. Bosse, A. Geller, and C.M. Jonker, editors, Proceedings of
the Eleventh International Workshop on Multi-Agent-Based Simulation (MABS),
pages 75-89, 2010.
[ bib ]
|
|
[18]
|
M.W.A. Caminada Ch. Sakama and A. Herzig.
A logical account of lying.
In Tomi Janhunen and Ilkka Niemelä, editors, Proceedings of
the 12th European Conference on Logics in Artificial Intelligence (JELIA),
volume 6341 of Lecture Notes in Artificial Intelligence, pages
286-299. Springer Berlin / Heidelberg, 2010.
[ bib ]
|
|
[19]
|
M.W.A. Caminada and B. Verheij.
On the existence of semi-stable extensions.
In Proceedings of the 22nd Benelux Conference on Artificial
Intelligence, 2010.
[ bib ]
|
|
[20]
|
M.W.A. Caminada and Y. Wu.
On the jusification status of arguments.
In Proceedings of the 22nd Benelux Conference on Artificial
Intelligence, 2010.
[ bib ]
|
|
[21]
|
M.W.A. Caminada.
An algorithm for stage semantics.
In Proceedings of the Third International Conference on
Computational Models of Argument (COMMA 2010), pages 147-158, 2010.
[ bib ]
|
|
[22]
|
Ch. Sakama and M.W.A. Caminada.
The many faces of deception.
In Proceedings of the Thirty Years of Nonmonotonic Reasoning
(NonMon30), 2010.
[ bib ]
|
|
[23]
|
Y. Wu and M.W.A. Caminada.
A labelling-based justification status of arguments.
Studies in Logic, 3(4):12-29, 2010.
[ bib ]
|
|
[24]
|
M.W.A. Caminada Y. Wu and M. Podlaszewski.
A labelling-based justification status of arguments.
In Proceedings of the 13th International Workshop on
Non-Monotonic Reasoning (NMR), 2010.
[ bib ]
|
|
[25]
|
Y. Wu M. Pdslaszewski and M.W.A. Caminada.
An implementation of basic argumentation components.
In Proceedings of the DEMO session of the Thirs International
Conference on Computational Models or Argument (COMMA), 2010.
[ bib ]
|
|
[26]
|
M.W.A. Caminada.
Preferred semantics as socratic discussion.
In Alfonso E. Gerevini and Alessandro Saetti, editors,
Proceedings of the eleventh AI*IA symposium on artificial intelligence,
pages 209-216, 2010.
[ bib ]
|
|
[27]
|
M.W.A. Caminada, G. Pigozzi, and M. Podlaszewski.
Manipulation in group argument evaluation.
In Proceedings of the 8th European Workshop on Multi-Agent
Systems, 2010.
[ bib ]
|
|
[28]
|
V. Goranko and W. Jamroga, editors.
Proceedings of the 3rd Workshop on Logical Aspects of
Multi-Agent Systems (LAMAS 2010). IFAAMAS, 2010.
[ bib ]
|
|
[29]
|
J. Dix, J. Leite, G. Governatori, and W. Jamroga, editors.
Computational Logic in Multi-Agent Systems. Proceedings of CLIMA
XI, volume 6245 of Lecture Notes in Computer Science. Springer, 2010.
[ bib ]
|
|
[30]
|
N. Bulling, J. Dix, and W. Jamroga.
Model Checking Logics of Strategic Ability: Complexity, pages
125-159.
Springer, 2010.
[ bib ]
|
|
[31]
|
N. Bulling and W. Jamroga.
Verifying agents with memory is harder than it seemed.
AI Communications, 23:380-403, 2010.
[ bib ]
|
|
[32]
|
N. Bulling and W. Jamroga.
Verifying agents with memory is harder than it seemed.
In Proceedings of AAMAS2010, pages 633-640, 2010.
[ bib ]
|
|
[33]
|
M. Dastani and W. Jamroga.
Reasoning about strategies of multi-agent programs.
In Proceedings of AAMAS2010, pages 625-632, 2010.
[ bib ]
|
|
[34]
|
V. Goranko, W. Jamroga, and P. Turrini.
Strategic games and truly playable effectivity functions.
In Proceedings of EUMAS2010, 2010.
[ bib ]
|
|
[35]
|
W. Jamroga and N. Bulling.
Comparing variants of strategic ability.
In Proceedings of EUMAS2010, 2010.
[ bib ]
|
|
[36]
|
İ. Seylan and W. Jamroga.
Coalition description logic for individuals.
Electronic Notes in Theoretical Computer Science, 262:231-248,
2010.
[ bib ]
|
|
[37]
|
Emil Weydert.
Ranking revision with conditional knowledge bases.
In Procs. of the 22nd Benelux Conference on Artificial
Intelligence (BNAIC'10), 2010.
[ bib ]
|
|
[38]
|
Richard Booth, Thomas Meyer, Ivan Varzinczak, and Renata Wassermann.
A contraction core for horn belief change: Preliminary report.
In Proceedings of the 13th International Workshop on
Non-Monotonic Reasoning (NMR 2010), 2010.
[ bib ]
|
|
[39]
|
Richard Booth and Thomas Meyer.
Equilibria in social belief removal.
Synthese, 177, 2010.
[ bib ]
|
|
[40]
|
Richard Booth, Yann Chevaleyre, Jérôme Lang, Jérôme Mengin, and
Chattrakul Sombattheera.
Learning conditionally lexicographic preference relations.
In Coelho et al. [69], pages 269-274.
[ bib ]
|
|
[41]
|
Richard Booth, Thomas Meyer, Ivan José Varzinczak, and Renata Wassermann.
Horn belief change: A contraction core.
In Coelho et al. [69], pages 1065-1066.
[ bib ]
|
|
[42]
|
Richard Booth, Samir Chopra, Thomas Meyer, and Aditya Ghose.
Double preference relations for generalised belief change.
Artificial Intelligence, 174(16-17):1339-1368, 2010.
[ bib ]
|
|
[43]
|
Steve Barker and Valerio Genovese.
A logic of privacy.
In Foresti and Jajodia [44], pages 17-32.
[ bib ]
|
|
[44]
|
Sara Foresti and Sushil Jajodia, editors.
Data and Applications Security and Privacy XXIV, 24th Annual
IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010. Proceedings,
volume 6166 of Lecture Notes in Computer Science. Springer, 2010.
[ bib ]
|
|
[45]
|
Guido Boella, Dov M. Gabbay, Valerio Genovese, and Leendert van der Torre.
Higher-order coalition logic.
In Coelho et al. [69], pages 555-560.
[ bib ]
|
|
[46]
|
Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, and Leendert W. N. van der
Torre.
Modal access control logic - axiomatization, semantics and fol
theorem proving.
In Ågotnes [47], pages 114-126.
[ bib ]
|
|
[47]
|
Thomas Ågotnes, editor.
STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers'
Symposium, Lisbon, Portugal, 16-20 August, 2010, volume 222 of
Frontiers in Artificial Intelligence and Applications. IOS Press, 2010.
[ bib ]
|
|
[48]
|
D. M. Gabbay, G. Boella, L. van der Torre, and S. Villata.
Support in abstract argumentation.
pages 111-122, 2010.
[ bib ]
|
|
[49]
|
D. M. Gabbay, G. Boella, and S. Villata.
Subsumption and count as relation in argument ontologies.
2010.
[ bib ]
|
|
[50]
|
D. M. Gabbay and K. Shlechta.
Conditionals and Modularity in General Logics.
2010.
[ bib ]
|
|
[51]
|
Michael Abraham, Dov M. Gabbay, and Uri J. Schild.
Obligations and prohibitions in talmudic deontic logic.
In Governatori and Sartor [68], pages 166-178.
[ bib ]
|
|
[52]
|
D. M. Gabbay, M. Abraham, and U. Schild.
Non-Deductive Inference in the Talmud.
2010.
[ bib ]
|
|
[53]
|
Dov M. Gabbay and Karl Schlechta.
A comment on work by booth and co-authors.
Studia Logica, 94(3):403-432, 2010.
[ bib ]
|
|
[54]
|
Dov M. Gabbay and Karl Schlechta.
A theory of hierarchical consequence and conditionals.
Journal of Logic, Language and Information, 19(1):3-32, 2010.
[ bib ]
|
|
[55]
|
Xavier Parent.
Moral particularism and deontic logic.
In Governatori and Sartor [68], pages 84-97.
[ bib ]
|
|
[56]
|
Xavier Parent.
A complete axiom set for hansson's deontic logic DSDL2.
Logic Journal of the IGPL, 18(3):422-429, 2010.
[ bib ]
|
|
[57]
|
Guido Boella, Dov M. Gabbay, and Serena Villata.
Subsumption and count as relation in arguments ontologies, 2010.
[ bib ]
|
|
[58]
|
Guido Boella, Dov M. Gabbay, Alan Perotti, and Serena Villata.
Coalition formation via negotiation in multiagent systems with
voluntary attacks.
In Procs. of the 22th Belgian-Netherlands Conference on
Artificial Intelligence (BNAIC'10), pages 25-32, 2010.
[ bib ]
|
|
[59]
|
Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto
Grenna, and Leendert van der Torre.
A middleware for modelling organizations and roles in jade.
In Post-proceedings of the 7th International Workshop on
Programming Multi-Agent Systems (Promas 2009), 2010.
[ bib ]
|
|
[60]
|
Guido Boella, Gabriella Pigozzi, Marija Slavkovik, and Leendert van der Torre.
Group intentions are social choice with commitment.
In Pre-Procs. of the 11th International Workshop on
Coordination, Optimization, Institution and Norms in Multiagent Systems
(COIN@MALLOW'10), pages 115-133, 2010.
[ bib ]
|
|
[61]
|
Guido Boella, Gabriella Pigozzi, Marija Slavkovik, and Leendert van der Torre.
Group intentions are social choice with commitment.
In Procs. of the 8th European Workshop on Multi-agent Systems
(EUMAS'10), 2010.
[ bib ]
|
|
[62]
|
Guido Boella, Leendert van der Torre, and Serena Villata.
Trust in abstract argumentation.
In Proceedings of the 4th Mahasarakham International Workshop on
Artificial Intelligence (MIWAI'10), 2010.
[ bib ]
|
|
[63]
|
Serena Villata.
A normative multiagent approach to requirements engineering.
Logic Journal of the IGPL, 18(1):245-274, 2010.
[ bib ]
|
|
[64]
|
Serena Villata, Guido Boella, Dov M. Gabbay, and Leendert van der Torre.
Arguing about trust in multiagent systems.
In Proceedings of the 11th Symposium on Artificial Intelligence
of the Italian Association for Artificial Intelligence (AIIA'10), pages
236-243, 2010.
[ bib ]
|
|
[65]
|
Guido Boella, Dov M. Gabbay, Leendert van der Torre, and Serena Villata.
Support in abstract argumentation.
In Proceedings of the Third International Conference on
Computational Models of Argument (COMMA'10), pages 40-51. Frontiers in
Artificial Intelligence and Applications, IOS Press, 2010.
[ bib ]
|
|
[66]
|
Leendert van der Torre.
Deontic redundancy: A fundamental challenge for deontic logic.
In Governatori and Sartor [68], pages 11-32.
[ bib ]
|
|
[67]
|
Guillaume Aucher, Guido Boella, and Leendert van der Torre.
Privacy policies with modal logic: The dynamic turn.
In Governatori and Sartor [68], pages 196-213.
[ bib ]
|
|
[68]
|
Guido Governatori and Giovanni Sartor, editors.
Deontic Logic in Computer Science, 10th International
Conference, DEON 2010, Fi esole, Italy, July 7-9, 2010. Proceedings, volume
6181 of Lecture Notes in Computer Science. Springer, 2010.
[ bib ]
|
|
[69]
|
Helder Coelho, Rudi Studer, and Michael Wooldridge, editors.
ECAI 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings, volume 215 of
Frontiers in Artificial Intelligence and Applications. IOS Press, 2010.
[ bib ]
|
|
[70]
|
Guido Boella, Guido Governatori, Antonino Rotolo, and Leendert van der Torre.
A logical understanding of legal interpretation.
In Lin et al. [71].
[ bib ]
|
|
[71]
|
Fangzhen Lin, Ulrike Sattler, and Miroslaw Truszczynski, editors.
Principles of Knowledge Representation and Reasoning:
Proceedings of the Twelfth International Conference, KR 2010, Toronto,
Ontario, Canada, May 9-13, 2010. AAAI Press, 2010.
[ bib ]
|
|
[72]
|
Patrice Caire and Leendert van der Torre.
Convivial ambient technologies: Requirements, ontology and design.
Comput. J., 53(8):1229-1256, 2010.
[ bib ]
|
|
[73]
|
Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi,
and Leendert van der Torre.
The role of goals in belief selection.
Logic Journal of the IGPL, 18(4):559-578, 2010.
[ bib ]
|
|
[74]
|
Patrice Caire.
How to import the concept of conviviality to web communities.
IJWBC, 6(1):99-113, 2010.
[ bib ]
|
|
[75]
|
Patrice Caire.
New Tools for Conviviality: Masks, Norms, Ontology, Requirements
and Measures.
PhD thesis, Luxembourg University, Luxembourg, 2010.
[ bib ]
|
|
[76]
|
Yining Wu.
Transforming fuzzy description logic alc_fl into classical
description logic alch.
In Proceedings of the 6th International Workshop on Uncertainty
Reasoning for the Semantic Web (URSW 2010). 2010.
[ bib ]
|
|
[77]
|
Barbara Kordy, Sjouke Mauw, Matthijs Melissen, and Patrick Schweitzer.
Attack-defense trees and two-player binary zero-sum extensive form
games are equivalent.
In Proceedings of the Conference on Decision and Game Theory for
Security (GameSec 2010), volume 6442 of LNCS, pages 245-256.
Springer, 2010.
[ bib |
http ]
|
|
[78]
|
Stephan Hartmann, Gabriella Pigozzi, and Jan Sprenger.
Reliable methods of judgement aggregation.
J. Log. Comput., 20(2):603-617, 2010.
[ bib ]
|
|
[79]
|
Farah Benamara, Souhila Kaci, and Gabriella Pigozzi.
Individual opinions-based judgment aggregation procedures.
In Torra et al. [80], pages 55-66.
[ bib ]
|
|
[80]
|
Vicenç Torra, Yasuo Narukawa, and Marc Daumas, editors.
Modeling Decisions for Artificial Intelligence - 7th
International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010.
Proceedings, volume 6408 of Lecture Notes in Computer Science.
Springer, 2010.
[ bib ]
|
|
[81]
|
Gabriella Pigozzi.
Aggregation problems and models: what comes first?
In F. Stadler et al., editor, The Present Situation in the
Philosophy of Science. Springer, Berlin, 2010.
141-152.
[ bib ]
|
|
[82]
|
Guido Boella, Gabriella Pigozzi, Munindar P. Singh, and Harko Verhagen.
Normative multiagent systems: Guest editors' introduction.
Logic Journal of the IGPL, 18(1):1-3, 2010.
[ bib ]
|
|
[83]
|
Giacomo Bonanno, Benedikt Löwe, and Wiebe van der Hoek, editors.
Logic and the Foundations of Game and Decision Theory - LOFT 8,
8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008,
Revised Selected Papers, volume 6006 of Lecture Notes in Computer
Science. Springer, 2010.
[ bib ]
|
|
[84]
|
Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, and Andreas
Herzig.
Global and local graph modifiers.
Electronic Notes in Theoretical Computer Science, 231:293-307,
March 2009.
[ bib ]
|
|
[85]
|
Dov M. Gabbay and Leendert van der Torre.
Preface for studia logica special issue (2).
Studia Logica, 93(2-3):105-108, 2009.
[ bib ]
|
|
[86]
|
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, and Leendert W. N.
van der Torre.
Programming normative artifacts with declarative obligations and
prohibitions.
In IAT, pages 145-152. IEEE, 2009.
[ bib ]
|
|
[87]
|
Guido Boella, Souhila Kaci, and Leendert van der Torre.
Dynamics in argumentation with single extensions: Attack refinement
and the grounded extension (extended version).
In Peter McBurney, Iyad Rahwan, Simon Parsons, and Nicolas Maudet,
editors, ArgMAS, volume 6057 of Lecture Notes in Computer
Science, pages 150-159. Springer, 2009.
[ bib ]
|
|
[88]
|
Guillaume Aucher, Guido Boella, and Leendert van der Torre.
Prescriptive and descriptive obligations in dynamic epistemic deontic
logic.
In Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, and Gianmaria
Ajani, editors, AICOL Workshops, volume 6237 of Lecture Notes in
Computer Science, pages 150-161. Springer, 2009.
[ bib ]
|
|
[89]
|
Guido Boella, Guido Governatori, Antonino Rotolo, and Leendert van der Torre.
Lex Minus Dixit Quam Voluit, lex magisdixit quam
voluit: A formal study on legal compliance and interpretation.
In Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, and Gianmaria
Ajani, editors, AICOL Workshops, volume 6237 of Lecture Notes in
Computer Science, pages 162-183. Springer, 2009.
[ bib ]
|
|
[90]
|
Guido Boella, Souhila Kaci, and Leendert van der Torre.
Dynamics in argumentation with single extensions: attack refinement
and the grounded extension.
In Sierra et al. [91], pages 1213-1214.
[ bib ]
|
|
[91]
|
Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, and Jaime Simão
Sichman, editors.
8th International Joint Conference on Autonomous Agents and
Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume
2. IFAAMAS, 2009.
[ bib ]
|
|
[92]
|
Guido Boella, Leendert van der Torre, and Serena Villata.
Conditional dependence networks in requirements engineering.
In Padget et al. [7], pages 3-18.
[ bib ]
|
|
[93]
|
Dov M. Gabbay and J. Woods.
Fallacies as cognitive virtues.
In Logic, Games and Philosophy: Foundational Perspectives,
pages 57-98, 2009.
[ bib ]
|
|
[94]
|
Dov M. Gabbay and Andrzej Szalas.
Voting by eliminating quantifiers.
Studia Logica, 92(3):365-379, 2009.
[ bib ]
|
|
[95]
|
Dov M. Gabbay and Sérgio Marcelino.
Modal logics of reactive frames.
Studia Logica, 93(2-3):405-446, 2009.
[ bib ]
|
|
[96]
|
Dov M. Gabbay.
Fibring argumentation frames.
Studia Logica, 93(2-3):231-295, 2009.
[ bib ]
|
|
[97]
|
Dov M. Gabbay and Artur S. d'Avila Garcez.
Logical modes of attack in argumentation networks.
Studia Logica, 93(2-3):199-230, 2009.
[ bib ]
|
|
[98]
|
Dov M. Gabbay and K. Schlechta.
Reactive preferencial structures and nonmonotonic consequence.
In Review of Symbolic Logic, volume 2, pages 414-450, 2009.
[ bib ]
|
|
[99]
|
Dov M. Gabbay and K. Schlechta.
An analysis of defeasible inheritance systems.
In Logic Journal of the IGPL, pages 17-54, 2009.
[ bib ]
|
|
[100]
|
Martin W. A. Caminada and Dov M. Gabbay.
A logical account of formal argumentation.
Studia Logica, 93(2-3):109-145, 2009.
[ bib ]
|
|
[101]
|
Steve Barker, Guido Boella, Dov M. Gabbay, and Valerio Genovese.
A meta-model of access control in a fibred security language.
Studia Logica, 92(3):437-477, 2009.
[ bib ]
|
|
[102]
|
Dov M. Gabbay and Andrzej Szalas.
Annotation theories over finite graphs.
Studia Logica, 93(2-3):147-180, 2009.
[ bib ]
|
|
[103]
|
Yining Wu, Martin Caminada, and Dov M. Gabbay.
Complete extensions in argumentation coincide with 3-valued stable
models in logic programming.
Studia Logica, 93(2-3):383-403, 2009.
[ bib ]
|
|
[104]
|
Dov M. Gabbay.
Semantics for higher level attacks in extended argumentation frames
part 1: Overview.
Studia Logica, 93(2-3):357-381, 2009.
[ bib ]
|
|
[105]
|
Guido Boella, Valerio Genovese, Leendert van der Torre, and Serena Villata.
Checking consistency in role oriented dependence networks.
In BNAIC 2009: 21th Belgian - Netherlands Conference on
Artificial Intelligence, pages 27-34, 2009.
[ bib ]
|
|
[106]
|
Guido Boella, Leendert van der Torre, and Serena Villata.
On the acceptability of meta-arguments.
In IAT 2009: Procs. of IEEE/WIC/ACM International Conference on
Intelligent Agent Technology, pages 259-262. IEEE, 2009.
[ bib ]
|
|
[107]
|
Guido Boella, Leendert van der Torre, and Serena Villata.
A normative multiagent approach to requirements engineering.
In Postproceedings COIN@AAMAS 2009, LNCS. Springer, 2009.
[ bib ]
|
|
[108]
|
Guido Boella, Valerio Genovese, Dov Gabbay, and Leendert van der Torre.
A multimodal view on access control and trust management: Fibred
security language.
In Proceedings of STM09, 2009.
[ bib ]
|
|
[109]
|
Guido Boella, Jan Broersen, Leendert van der Torre, and Serena Villata.
Representing excuses in social dependence networks.
In AI*IA, LNCS. Springer, 2009.
[ bib ]
|
|
[110]
|
Guido Boella and Leendert van der Torre.
The interplay between relationships, roles and objects.
In Proceedings of FSEN09, LNCS. Springer, 2009.
[ bib ]
|
|
[111]
|
Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Andrea
Mugnaini, and Leendert van der Torre.
A middleware for modeling organizations and roles in jade.
In Proceedings of PROMAS, 2009.
[ bib ]
|
|
[112]
|
Guido Boella, Leendert van der Torre, and Serena villata.
Four ways to change coalitions: Agents, dependencies, norms and
internal dynamics.
In Proceedings of COIN, 2009.
[ bib ]
|
|
[113]
|
Guido Boella, Leendert van der Torre, and Serena Villata.
A normative multiagent approach to requirements engineering.
In SNAMAS, 2009.
[ bib ]
|
|
[114]
|
Guido Boella, Leendert van der Torre, and Serena Villata.
Analyzing cooperation in iterative social network design.
Journal of Universal Computer, 15(13), 2009.
[ bib ]
|
|
[115]
|
Guido Boella, Gabriella Pigozzi, and Leendert van der Torre.
Normative framework for normative system change.
In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, and
Jaime Simão Sichman, editors, The 8th International Joint Conference
on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary,
May 10-15, 2009, Volume 1, pages 169-176. IFAAMAS, 2009.
[ bib ]
|
|
[116]
|
Guido Boella, Joris Hulstijn, and Leendert van der Torre.
Social network semantics for agent communication.
In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, and
Jaime Simão Sichman, editors, 8th International Joint Conference on
Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May
10-15, 2009, Volume 2, pages 1215-1216. IFAAMAS, 2009.
[ bib ]
|
|
[117]
|
Patrice Caire and Leendert van der Torre.
Temporal dependence networks for the design of convivial multiagent
systems.
In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, and
Jaime Simão Sichman, editors, 8th International Joint Conference on
Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May
10-15, 2009, Volume 2, pages 1317-1318. IFAAMAS, 2009.
[ bib ]
|
|
[118]
|
Gabriella Pigozzi, Marija Slavkovik, and Leendert van der Torre.
A complete conclusion-based procedure for judgment aggregation.
In Francesca Rossi and Alexis Tsoukiàs, editors, Algorithmic
Decision Theory, First International Conference, ADT 2009, Venice, Italy,
October 20-23, 2009. Proceedings, volume 5783 of Lecture Notes in
Computer Science, pages 1-13. Springer, 2009.
[ bib ]
|
|
[119]
|
Guido Boella, Souhila Kaci, and Leendert van der Torre.
Dynamics in argumentation with single extensions: Abstraction
principles and the grounded extension.
In Claudio Sossai and Gaetano Chemello, editors, Symbolic and
Quantitative Approaches to Reasoning with Uncertainty, 10th European
Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, volume
5590 of Lecture Notes in Computer Science, pages 107-118. Springer,
2009.
[ bib ]
|
|
[120]
|
Guido Boella, Leendert van der Torre, and Serena Villata.
Four measures for the dynamics of coalitions in social networks.
In Ciro Cattuto, Giancarlo Ruffo, and Filippo Menczer, editors,
HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and
Hypermedia, Torino, Italy, June 29 - July 1, 2009, pages 361-362. ACM,
2009.
[ bib ]
|
|
[121]
|
Luigi Sauro, Leendert van der Torre, and Serena Villata.
Dependency in cooperative boolean games.
In Anne Håkansson, Ngoc Thanh Nguyen, Ronald L. Hartung,
Robert J. Howlett, and Lakhmi C. Jain, editors, Agent and Multi-Agent
Systems: Technologies and Applications, Third KES International Symposium,
KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, volume 5559 of
Lecture Notes in Computer Science, pages 1-10. Springer, 2009.
[ bib ]
|
|
[122]
|
Guido Boella, Luigi Sauro, and Leendert W. N. van der Torre.
Algorithms for finding coalitions exploiting a new reciprocity
condition.
Logic Journal of the IGPL, 17(3):273-297, 2009.
[ bib ]
|
|
[123]
|
D. Gabbay, V. Shehtman, and D. Skvortsov.
Quantification in Non-classical Logics.
Studies in Logic and Foundations of Mathematics. Elsevier, 2009.
[ bib ]
|
|
[124]
|
D. Gabbay, O. Rodrigues, and A. Russo.
Revision, Acceptability and Context.
Springer, 2009.
[ bib ]
|
|
[125]
|
Dov Gabbay and Karl Schlechta.
Logical Tools for Handling Change in Agent-based Systems.
Springer, 2009.
[ bib ]
|
|
[126]
|
Dov Gabbay and A. Szalas.
Voting with second order quantifier elimination.
studia logica, 92(3):365-379, 2009.
[ bib ]
|
|
[127]
|
Dov Gabbay and Sergio Marcelino.
Modal logics of reactive frames.
studia logica, 2009.
[ bib ]
|
|
[128]
|
Dov Gabbay and Karl Schlechta.
A theory of hierarchical conditionals.
Journal of Logic Language and Information, 2009.
To appear.
[ bib |
DOI ]
|
|
[129]
|
Dov Gabbay.
Fibring argumentation frames.
studia logica, 2009.
[ bib ]
|
|
[130]
|
Dov Gabbay and A. Garcez.
Logical modes of attack in argumentation networks.
studia logica, 2009.
[ bib ]
|
|
[131]
|
Dov Gabbay and Karl Schlechta.
Reactive preferential structures and nonmonotonic consequence.
Review of Symbolic Logic, 2(2):414-450, 2009.
[ bib ]
|
|
[132]
|
Dov Gabbay and Karl Schlechta.
An analysis of defeasible inheritance systems.
Logic Journal of the IGPL, pages 17-54, 2009.
[ bib ]
|
|
[133]
|
Dov Gabbay and Karl Schlechta.
Roadmap for preferential logics.
Journal of Applied Non-classical Logics, 19(1):43-95, 2009.
[ bib ]
|
|
[134]
|
Dov Gabbay and Karl Schlechta.
Independence-revision and defaults.
Studia Logica, 92(3):381-394, 2009.
[ bib ]
|
|
[135]
|
Guido Boella, Dov Gabbay, Valerio Genovese, and Leendert van der Torre.
Fibred security language.
Studia Logica, 92(3):395-436, 2009.
[ bib |
Abstract ]
|
|
[136]
|
Dov Gabbay.
Modal foundations for argumentation networks.
Studia Logica, 2009.
[ bib ]
|
|
[137]
|
M. Abraham, Dov Gabbay, and U. Schild.
Analysis of the talmudic argumentum a fortiori inference rule
(kal-vachomer) using matrix abduction.
Studia Logica, 92(3):281-364, 2009.
[ bib ]
|
|
[138]
|
Dov Gabbay and Karl Schlechta.
Size and logic.
Review of symbolic logic, 2(2):396-404, 2009.
[ bib ]
|
|
[139]
|
Martin Caminada and Dov Gabbay.
A logical account of formal argumentation.
Studia Logica, 2009.
To appear.
[ bib ]
|
|
[140]
|
Guido Boella, Dov M. Gabbay, Leendert van der Torre, and Serena Villata.
Meta-argumentation modelling I: Methodology and techniques.
Studia Logica, 93(2-3):297-355, 2009.
[ bib ]
|
|
[141]
|
S. Barker, Guido Boello, Dov Gabbay, and Valerio Genovese.
A meta-model of access control in a fibred security language.
Studia Logica, 92(3):437-477, 2009.
[ bib ]
|
|
[142]
|
Dov Gabbay and A. Szalas.
Annotation theories over finite graphs.
Studia Logica, 2009.
To appear.
[ bib ]
|
|
[143]
|
Dov Gabbay.
Semantics for higher level attacks in extended argumentation frames.
Studia Logica, 2009.
[ bib ]
|
|
[144]
|
H. Barringer, Dov Gabbay, and D. Rydeheard.
Logical modelling of evolvable systems.
Logic Journal of IGPL, 2009.
[ bib |
DOI ]
|
|
[145]
|
Dov Gabbay, K. Engesser, and D. Lehmann.
Non-Monotonicity and Holicity in Quantum Logic, pages 587-623.
2009.
[ bib ]
|
|
[146]
|
Patrice Caire.
Designing convivial digital cities: A social intelligence design
approach.
AI Society Journal, 24(1):97-114, 2009.
[ bib |
http ]
|
|
[147]
|
Patrice Caire and Leendert van der Torre.
Convivial ambient technologies: Requirements, ontology, and design.
The Computer Journal, 3, 2009.
[ bib |
.pdf ]
|
|
[148]
|
Guido Boella, Patrice Caire, and Leendert van der Torre.
Norm negotiation in online multi-player games.
Knowledge Information System Journal, 18(2):137-156, 2009.
[ bib |
.pdf ]
|
|
[149]
|
Patrice Caire.
How to import the concept of conviviality to web communities.
International Journal of Web Based Communities (IJWBC), 3,
2009.
[ bib ]
|
|
[150]
|
Patrice Caire and Leendert van der Torre.
Temporal dependence networks for the design of convivial multiagent
systems.
In Proceedings of the Eighth International Joint Conference on
Autonomous Agents and Multiagent Systems, AAMAS, pages 1317-1318, 2009.
[ bib |
http ]
|
|
[151]
|
Patrice Caire and Leendert van der Torre.
The design of convivial multiagent systems.
In Social Networks and Multiagent Systems symposium; Artificial
Intelligence and Simulation of Behaviour, AISB, 2009.
[ bib ]
|
|
[152]
|
Patrice Caire and Leendert van der Torre.
A conviviality measure for early requirement phase of multiagent
system design.
In Normative Multiagent Systems, 2009.
[ bib ]
|
|
[153]
|
Martin W. A. Caminada and Yining Wu.
An argument game for stable semantics.
Logic Journal of the IGPL, 17(1):77-90, 2009.
[ bib ]
|
|
[154]
|
Yining Wu, Martin W. A. Caminada, and Dov Gabbay.
Complete extensions in argumentation coincide with 3-valued stable
models in logic programming.
Studia Logica, 2009.
To appear.
[ bib ]
|
|
[155]
|
S. Modgil and Martin W.A. Caminada.
Proof theories and algorithms for abstract argumentation frameworks.
In I. Rahwan and G. Simari, editors, Argumentation in Artificial
Intelligence, pages 105-129. 2009.
[ bib ]
|
|
[156]
|
Patrizio Barbini, Yining Wu, and Martin Caminada.
An implementation of argument based discussion, 2009.
AAMAS 2009. (demonstrator).
[ bib ]
|
|
[157]
|
Yining Wu and Martin W. A. Caminada.
Complete extensions in argumentation coincide with 3-valued stable
models in logic programming.
In BNAIC 2009, 2009.
To appear.
[ bib ]
|
|
[158]
|
Martin W. A. Caminada.
Truth, lies and BS; distinguishing classes of dishonesty.
In BNAIC 2009, 2009.
Short paper (to appear).
[ bib ]
|
|
[159]
|
Eugen Staab and Martin W. A. Caminada.
Simulating knowledge and dishonesty in a client-consultant setting.
In BNAIC 2009, 2009.
demonstrator (to appear).
[ bib ]
|
|
[160]
|
Martin W. A. Caminada.
Truth, lies and bullshit; distinguishing classes of dishonesty.
In Social Simulation workshop (SS@IJCAI), pages 39-50, 2009.
[ bib ]
|
|
[161]
|
Eugen Staab and Martin W. A. Caminada.
Assessing the impact of informedness on a consultant's profit.
Technical report, University of Luxembourg, 2009.
[ bib ]
|
|
[162]
|
Martin W. A. Caminada.
An introduction to formal argumenation, 2009.
Tutorial at the International Joint Conference on Artificial
Intelligence (IJCAI), Pasadena, California.
[ bib ]
|
|
[163]
|
Xavier Parent.
A complete axiom set for Hansson's deontic logic DSDL2.
Logic Journal of the IGPL, 2009.
To appear.
[ bib ]
|
|
[164]
|
Xavier Parent and Leendert van der Torre.
Input/output logics.
In 9th De Morgan Workshop on Deontic Logic, 12 2009.
[ bib ]
|
|
[165]
|
Xavier Parent, Leendert van der Torre, and Guido Boella.
Normative multi-agent systems, 2009.
Tutorial at the European Agent Systems Summer School (EASSS'09),
Torino.
[ bib ]
|
|
[166]
|
Guido Boella, Gabriella Pigozzi, and Leendert van der Torre.
Five guidelines for normative multiagent systems.
In Proceedings of JURIX 2009 - The 22nd International Conference
on Legal Knowledge and Information Systems, Frontiers in Artificial
Intelligence and Applications, Rotterdam, The Netherlands, 12 2009. IOS
Press.
To appear.
[ bib ]
|
|
[167]
|
Davide Grossi, Gabriella Pigozzi, and Marija Slavkovik.
White manipulation in judgment aggregation.
In Proceedings of BNAIC 2009 - The 21st Benelux Conference on
Artificial Intelligence (to appear), Eindhoven, The Netherlands, 10 2009.
[ bib ]
|
|
[168]
|
Gabriella Pigozzi, Marija Slavkovik, and Leendert van der Torre.
A complete conclusion-based procedure for judgment aggregation.
In Proceedings of the First International Conference on
Algorithmic Decision Theory (ADT), volume 5783 of Lecture Notes in
Artificial Intelligence, pages 1-13. Springer Verlag, 10 2009.
[ bib ]
|
|
[169]
|
Gabriella Pigozzi, Marija Slavkovik, and Leendert van der Torre.
Formal ex-post rationalization - a complete conclusion-based
procedure for judgment aggregation.
In Proceedings of the Cinquièmes Journées
Francophones Modèles Formel de l'Interaction (MFI 09), 6 2009.
3-5 June 2009, Lannion, France.
[ bib ]
|
|
[170]
|
Guido Boella, Gabriella Pigozzi, and Leendert van der Torre.
Normative framework for normative system change.
In Proceedings of the Eighth International Joint Conference on
Autonomous Agents and Multiagent Systems (AAMAS 09), 5 2009.
(nominated for the Best Paper Award), 10-15 May 2009, Budapest,
Hungary.
[ bib ]
|
|
[171]
|
Guido Boella, Gabriella Pigozzi, and Leendert van der Torre.
Normative systems in computer science. ten guidelines for normative
multiagent systems.
In Guido Boella, P. Noriega, Gabriella Pigozzi, and H. Verhagen,
editors, Normative Multi-Agent Systems, Dagstuhl Seminar Proceedings
09121, 3 2009.
15-20 March 2009, Internationales Begegnungs- und Forschungszentrum
fuer Informatik (IBFI), Schloss Dagstuhl, Germany.
[ bib ]
|
|
[172]
|
Gabriella Pigozzi, Marija Slavkovik, and Leendert van der Torre.
A complete conclusion-based procedure for judgment aggregation.
Technical report, University of Luxembourg, 7 2009.
[ bib |
.pdf ]
|
|
[173]
|
Guillaume Aucher.
Generalizing AGM to a multi-agent setting.
Logic journal of the IGPL, 2009.
To appear.
[ bib ]
|
|
[174]
|
Guillaume Aucher.
An internal version of epistemic logic.
Studia logica, 2009.
To appear.
[ bib ]
|
|
[175]
|
Guillaume Aucher and Andreas Herzig.
Exploring the power of converse events.
In The Dynamic Turn in Epistemology, logic, epistemology and
the unity of science. Springer, 2009.
To appear.
[ bib ]
|
|
[176]
|
Guillaume Aucher.
BMS revisited.
In Aviad Heifetz, editor, Proceedings of the 12th conference on
Theoretical Aspects of Rationality and Knowledge (TARK 2009), pages 24-33.
Stanford, 2009.
[ bib ]
|
|
[177]
|
Guillaume Aucher, Davide Grossi, Andreas Herzig, and Emiliano Lorini.
Dynamic context logic.
In X. He, J. Horty, and E. Pacuit, editors, Proceedings of
Logic, Rationality and Interaction (LORI 2009), volume 5884 of Lecture
Notes in Artificial Intelligence, pages 15-26, Chongking, 2009. Springer
Verlag.
[ bib ]
|
|
[178]
|
Guillaume Aucher, Davide Grossi, Andreas Herzig, and Emiliano Lorini.
Dynamic context logic and its application to norm change.
In Guido Boella, Pablo Noriega, Gabriella Pigozzi, and Harko
Verhagen, editors, Normative Multi-Agent Systems. Dagstuhl Seminar
Proceedings, 2009.
Extended abstract.
[ bib |
http ]
|
|
[179]
|
Nils Bulling and Wojciech Jamroga.
What agents can probably enforce.
Fundamenta Informaticae, 93(1-3):81-96, 2009.
[ bib ]
|
|
[180]
|
Peter Novak and Wojciech Jamroga.
Code patterns for agent oriented programming.
In Proceedings of the 8th International Conference on Autonomous
Agents and Multiagent Systems AAMAS'09, pages 105-112, 2009.
[ bib ]
|
|
[181]
|
Inanc Seylan and Wojciech Jamroga.
Description logic for coalitions.
In Proceedings of the 8th International Conference on Autonomous
Agents and Multiagent Systems AAMAS'09, pages 425-432, 2009.
[ bib ]
|
|
[182]
|
Nils Bulling and Wojciech Jamroga.
Rational play and rational beliefs under uncertainty.
pages 257-264, 2009.
[ bib ]
|
|
[183]
|
Richard Booth, Thomas Meyer, and Chattrakul Sombattheera.
A general family of preferential belief removal operators.
In X. He, J. Horty, and E. Pacuit, editors, Proceedings of the
2nd International Workshop on Logic, Rationality and Interaction (LORI
2009), volume 5834 of LNAI, pages 42-54. Springer, 2009.
Also presented at the 8th Workshop on Nonmonotonic Reasoning, Action
and Change (NRAC 2009), 2009.
[ bib ]
|
|
[184]
|
Richard Booth, Thomas Meyer, and Ivan José Varzinczak.
Next steps in propositional horn contraction.
In C. Boutilier, editor, Proceedings of the 21st International
Joint Conference on Artificial Intelligence (IJCAI 2009), pages 702-707,
2009.
Also presented at the 9th International Symposium on Logical
Formalizations of Commonsense Reasoning (Commonsense 2009), 2009.
[ bib ]
|
|
[185]
|
Richard Booth and Wijittra Noisanguan.
An axiomatic approach to firewall rule update.
In Proceedings of the 6th International Joint Conference on
Computer Science and Software Engineering (JCSSE 2009), pages 70-75, 2009.
[ bib ]
|
|
[186]
|
Nawaphol Labutsri, Rapeeporn Chamchong, Richard Booth, and Annupan Rodtook.
English syntactic reordering for english-thai phrase-based
statistical machine translation.
In Proceedings of the 6th International Joint Conference on
Computer Science and Software Engineering (JCSSE 2009), pages 360-366,
2009.
[ bib ]
|
|
[187]
|
Richard Booth, Yann Chevaleyre, Jèrôme Lang, Jèrôme
Mengin, and Chattrakul Sombattheera.
Learning various classes of models of lexicographic orderings.
In Proceedings of the ECML/PKDD-09 Workshop on Preference
Learning (PL 2009), 2009.
[ bib ]
|
|
[188]
|
Richard Booth, Thomas Meyer, and Ivan José Varzinczak.
First steps in el contraction.
In Proceedings of the Workshop on Automated Reasoning about
Context and Ontology Evolution (ARCOE 2009), 2009.
[ bib ]
|
|
[189]
|
M. Melissen.
The generative capacity of the Lambek-Grishin calculus: A new
lower bound.
In P. de Groote, editor, Proceedings of the 14th Formal Grammar
Conference, volume 5591 of Lecture Notes in Computer Science.
Springer, 2009.
to appear.
[ bib |
.pdf ]
|
|
[190]
|
Ron van der Meyden and Leendert van der Torre, editors.
Deontic Logic in Computer Science, 9th International Conference,
DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, volume
5076 of Lecture Notes in Computer Science. Springer, 2008.
[ bib ]
|
|
[191]
|
Yi Zhou, Leendert van der Torre, and Yan Zhang.
Partial goal satisfaction and goal change: weak and strong partial
implication, logical properties, complexity.
In Padgham et al. [192], pages 413-420.
[ bib ]
|
|
[192]
|
Lin Padgham, David C. Parkes, Jörg P. Müller, and Simon Parsons,
editors.
7th International Joint Conference on Autonomous Agents and
Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume
1. IFAAMAS, 2008.
[ bib ]
|
|
[193]
|
Igor Carboni Oliveira and Walter Carnielli.
The Ricean Objection: An Analogue of Rice's Theorem for First-order
Theories.
Logic Journal of IGPL, 16(6):585-590, 2008.
[ bib |
DOI |
arXiv |
http ]
|
|
[194]
|
Walter Carnielli, João Rasga, and Cristina Sernadas.
Preservation of interpolation features by fibring.
Journal of Logic and Computation, 18(1):123-151, 2008.
[ bib ]
|
|
[195]
|
Walter Carnielli and Francisco Dória.
Are the foundations of computer science logic-dependent?
In CDédric Dégremont, Laurent Keiff, and Helge RŸckert,
editors, Dialogues, Logics and Other Strange Things-Essays in Honour
of Shahid Rahman, pages 87-107. College Publications, London, 2008.
[ bib ]
|
|
[196]
|
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, and Cristina
Sernadas.
Analysis and synthesis of logics, volume 35 of Applied
Logic Series.
Springer, Dordrecht, 2008.
[ bib ]
|
|
[197]
|
Walter Carnielli and Claudio Pizzi.
Modalities and Multimodalities, volume 12 of Logic,
Epistemology, and the Unity of Science.
Springer, Dordrecht, 2008.
[ bib ]
|
|
[198]
|
Richard L. Epstein and Walter Carnielli.
Computability: Computable Functions, Logic, and the Foundations
of Mathematics, volume 3rd. Edition.
Advanced Reasoning Forum, Socorro, NM, USA, 2008.
[ bib ]
|
|
[199]
|
Patrizio Barbini, Guido Boella, Pier-Carlo Rossi, and Leendert van der Torre.
E-business outsourcing: a new approach combining information rights
technologies and agent-based theory on norms.
In Proceedings of the International Conference on Electronic
Commerce in the 21th Century (ECIC-2008), pages 93-96. Central Department
of Computer Science and Information Technology, Institute of Science and
Technology, Tribhuvan University, 2008.
[ bib ]
|
|
[200]
|
Guido Boella, Célia da Costa Pereira, Andrea Tettamanzi, and Leendert
van der Torre.
Making others believe what they want.
In Max Bramer, editor, Artificial Intelligence in Theory and
Practice II, IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream,
September 7-10, 2008, Milano, Italy, volume 276 of IFIP, pages
215-224. Springer, 2008.
[ bib ]
|
|
[201]
|
Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, and Leendert
van der Torre.
How to program organizations and roles in the JADE framework.
In Ralph Bergmann, Gabriela Lindemann, Stefan Kirn, and Michal
Pechoucek, editors, Multiagent System Technologies, 6th German
Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008.
Proceedings, volume 5244 of Lecture Notes in Computer Science, pages
25-36. Springer, 2008.
[ bib ]
|
|
[202]
|
Guido Boella, Leendert van der Torre, and Serena Villata.
Social viewpoints for arguing about coalitions.
In The Duy Bui, Tuong Vinh Ho, and Quang-Thuy Ha, editors,
Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International
Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008.
Proceedings, volume 5357 of Lecture Notes in Computer Science, pages
66-77. Springer, 2008.
[ bib ]
|
|
[203]
|
Guido Boella, Leendert van der Torre, and Serena Villata.
Changing institutional goals and beliefs of autonomous agents.
In The Duy Bui, Tuong Vinh Ho, and Quang-Thuy Ha, editors,
Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International
Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008.
Proceedings, volume 5357 of Lecture Notes in Computer Science, pages
78-85. Springer, 2008.
[ bib ]
|
|
[204]
|
Guido Boella, Jan Broersen, and Leendert van der Torre.
Reasoning about constitutive norms, counts-as conditionals,
institutions, deadlines and violations.
In The Duy Bui, Tuong Vinh Ho, and Quang-Thuy Ha, editors,
Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International
Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008.
Proceedings, volume 5357 of Lecture Notes in Computer Science, pages
86-97. Springer, 2008.
[ bib ]
|
|
[205]
|
Guido Boella and Leendert van der Torre.
Institutions with a hierarchy of authorities in distributed dynamic
environments.
Artif. Intell. Law, 16(1):53-71, 2008.
[ bib ]
|
|
[206]
|
Guido Boella, Leendert van der Torre, and Harko Verhagen.
Introduction to the special issue on normative multiagent systems.
Autonomous Agents and Multi-Agent Systems, 17(1):1-10, 2008.
[ bib ]
|
|
[207]
|
Souhila Kaci and Leendert van der Torre.
Preference-based argumentation: Arguments supporting multiple values.
Int. J. Approx. Reasoning, 48(3):730-751, 2008.
[ bib ]
|
|
[208]
|
Guido Boella and Leendert van der Torre.
Substantive and procedural norms in normative multiagent systems.
J. Applied Logic, 6(2):152-171, 2008.
[ bib ]
|
|
[209]
|
Jan Broersen and Leendert van der Torre.
Conditional norms and dyadic obligations in time.
In Proceedings of Eighteenth European Conference on Artificial
Intelligence (ECAI2008), 2008.
[ bib ]
|
|
[210]
|
Souhila Kaci and Leendert van der Torre.
Reasoning with various kinds of preferences: Logic, non-monotonicity,
and algorithms.
Annals of Operations Research, 163(1):89-114, 2008.
[ bib ]
|
|
[211]
|
Jerome Lang and Leendert van der Torre.
From belief change to preference change.
In Proceedings of Eighteenth European Conference on Artificial
Intelligence (ECAI2008), 2008.
[ bib ]
|
|
[212]
|
Antonino Rotolo, Guido Boella, Guido Governatori, Joris Hulstijn, Regis
Riveret, and Leendert van der Torre.
Time and defeasibility in FIPA ACL semantics.
In Proceedings of WLIAMAS 2008. IEEE, 2008.
[ bib ]
|
|
[213]
|
Guido Boella, Leendert van der Torre, and Serena Villata.
Self adaptive coalitions in multiagent systems.
In Proceedings of the 2nd IEEE International Conference on
Self-Adaptive and Self-Organizing Systems (SASO 2008), pages 461-462. IEEE,
2008.
[ bib ]
|
|
[214]
|
Valerio Genovese, Roberto Grenna, Leendert van der Torre, and Matteo Baldoni.
Adding organizations and roles as primitives to JADE framework.
In Guido Boella, Munindar Singh, Gabriella Pigozzi, and Harko
Verhagen, editors, Proceedings of the 3rd International Workshop on
Normative Multiagent Systems, NorMAS'08, pages 95-111, 2008.
[ bib ]
|
|
[215]
|
Patrice Caire, Serena Villata, Guido Boella, and Leendert van der Torre.
Conviviality masks in multiagent systems.
In Lin Padgham, David C. Parkes, Jörg Müller, and Simon
Parsons, editors, 7th International Joint Conference on Autonomous
Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16,
2008, Volume 3, pages 1265-1268. IFAAMAS, 2008.
[ bib |
.pdf ]
|
|
[216]
|
Jérôme Lang and Leendert van der Torre.
Preference change triggered by belief change: A principled approach.
In Bonanno et al. [83], pages 86-111.
[ bib ]
|
|
[217]
|
Patrice Caire.
Designing convivial digital cities.
In 7th International Joint Conference on Autonomous Agents and
Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Doctoral
Mentoring Program, pages 1727-1729. IFAAMAS, 2008.
[ bib ]
|
|
[218]
|
Guillaume Aucher.
Internal models and private multi-agent belief revision.
In Lin Padgham, David C. Parkes, Jörg Müller, and Simon
Parsons, editors, 7th International Joint Conference on Autonomous
Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16,
2008, Volume 2, pages 721-727. IFAAMAS, 2008.
[ bib ]
|
|
[219]
|
Guillaume Aucher.
Consistency preservation and crazy formulas in BMS.
In Steffen Hölldobler, Carsten Lutz, and Heinrich Wansing,
editors, Logics in Artificial Intelligence, 11th European Conference,
JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings,
volume 5293 of Lecture Notes in Computer Science, pages 21-33.
Springer, 2008.
[ bib ]
|
|
[220]
|
Guillaume Aucher.
Refinement on the notion of event.
In Prague International Colloquium: Logic of change, change of
logic, LOCCOL'08, pages 17-18, Villa Lanna, Prague, Czech Republic, 2008.
[ bib ]
|
|
[221]
|
Mathijs de Boer, Andreas Herzig, Tiago de Lima, and Emiliano Lorini.
What do we accept after an announcement?
In Prague International Colloquium: Logic of change, change of
logic, LOCCOL'08, pages 21-22, Villa Lanna, Prague, Czech Republic, 2008.
[ bib ]
|
|
[222]
|
Mathijs de Boer and Emil Weydert.
Changing attitudes about attitude change.
In Prague International Colloquium: Logic of change, change of
logic, LOCCOL'08, pages 23-24, Villa Lanna, Prague, Czech Republic, 2008.
[ bib ]
|
|
[223]
|
Davide Grossi, Dov Gabbay, and Leendert van der Torre.
A normative view on the blocks world.
In Guido Boella, Munindar Singh, Gabriella Pigozzi, and Harko
Verhagen, editors, Proceedings of the 3rd International Workshop on
Normative Multiagent Systems (NorMAS'08), pages 128-142, 2008.
[ bib ]
|
|
[224]
|
Davide Grossi.
Linguistic relevance in modal logic.
In A. Nijholt, M. Pantic, M. Poel, and G.H.W. Hondorp, editors,
Proceedings of the 20th Belgian-Netherlands Conference on Artificial
Intelligence (BNAIC'08), 2008.
[ bib ]
|
|
[225]
|
C. Biagioli and Davide Grossi.
Formal aspects of legislative meta drafting.
In Giovanni Sartor, E. Francesconi, and D. Tiscornia, editors,
Proceedings of the 21st International Conference on Legal Knowledge and
Information Systems (JURIX'08), 2008.
[ bib ]
|
|
[226]
|
J. Vazquez-Salceda, Huib Aldewereld, Davide Grossi, and Frank Dignum.
From human regulations to regulated software agents' behavior.
Artificial Intelligence and Law, 16(1):73-87, 2008.
[ bib ]
|
|
[227]
|
Davide Grossi, John-Jules Meyer, and Frank Dignum.
The many faces of counts-as: A formal analysis of constitutive-rules.
Journal of Applied Logic, 6(2):192-217, 2008.
[ bib |
.pdf ]
|
|
[228]
|
Davide Grossi.
Pushing Anderson's envelope: The modal logic of ascription.
In Ron van der Meyden and Leendert van der Torre, editors,
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, number 5076/2008 in LNAI, pages 263-277.
Springer, 2008.
[ bib |
.pdf ]
|
|
[229]
|
Farah Benamara, Souhila Kaci, and Gabriella Pigozzi.
Collective decision making with individual confidence scores in the
decision rule.
In B. Roy V. Paschos, editor, Annales du Lamsade, Proceedings of
the DIMACS-LAMSADE Workshop on Algorithmic Decision Theory, pages 29-45,
2008.
[ bib ]
|
|
[230]
|
Farah Benamara, Souhila Kaci, and Gabriella Pigozzi.
Judgment aggregation with rule confidence scores.
In M. Pagnucco and M. Thielscher, editors, Proceedings of the
Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08), pages
2-9, 2008.
[ bib ]
|
|
[231]
|
Gabriella Pigozzi, Marija Slavkovik, and Leendert van der Torre.
Desirable tie-breaking rules in collective decision making.
In B. Roy V. Paschos, editor, Annales du Lamsade, Proceedings of
the DIMACS-LAMSADE Workshop on Algorithmic Decision Theory, pages 171-174,
2008.
[ bib ]
|
|
[232]
|
Gabriella Pigozzi and Leendert van der Torre.
From belief change to norm change.
In Prague International Colloquium: Logic of change, change of
logic, LOCCOL'08, pages 51-52, Villa Lanna, Prague, Czech Republic, 2008.
[ bib ]
|
|
[233]
|
Gabriella Pigozzi, Marija Slavkovik, and Leendert van der Torre.
Conclusion-based procedure for judgment aggregation satisfying
premise independence.
In G. Bonanno, B. Lowe, and W. van der Hoek, editors,
Proceedings of the Eighth International Conference on Logic and the
Foundations of Game and Decision Theory, LOFT 2008, page 35, Amsterdam, The
Netherlands, 2008.
[ bib ]
|
|
[234]
|
Gabriella Pigozzi, Marija Slavkovik, and Leendert van der Torre.
Independence in judgment aggregation.
In Proceedings of the Ninth International Meeting of the Society
for Social Choice and Welfare, SCW'08, Montreal, Canada, 2008.
[ bib ]
|
|
[235]
|
Guido Boella, Gabriella Pigozzi, Munindar Singh, and Harko Verhagen.
Editorial to the Third International Workshop on Normative
Multiagent Systems.
In Guido Boella, Munindar Singh, Gabriella Pigozzi, and Harko
Verhagen, editors, Proceedings of the 3rd International Workshop on
Normative Multiagent Systems (NorMAS'08), pages i-v, 2008.
[ bib ]
|
|
[236]
|
Martin Caminada.
A formal account of Socratic-style argumentation.
Journal of Applied Logic, 6(1):109-132, 2008.
[ bib |
.pdf ]
|
|
[237]
|
Paul E. Dunne and Martin Caminada.
Computational complexity of semi-stable semantics in abstract
argumentation frameworks.
In Steffen Hölldobler, Carsten Lutz, and Heinrich Wansing,
editors, Logics in Artificial Intelligence, 11th European Conference
(JELIA 2008), volume 5293 of Lecture Notes in Computer Science, pages
153-165. Springer, 2008.
[ bib ]
|
|
[238]
|
Martin Caminada.
On the issue of contraposition of defeasible rules.
In Philippe Besnard, Sylvie Doutre, and Anthony Hunter, editors,
Computational Models of Argument: Proceedings of COMMA 2008, volume 172 of
Frontiers in Artificial Intelligence and Applications, pages 109-115.
IOS Press, 2008.
[ bib |
.pdf ]
|
|
[239]
|
Martin Caminada.
An algorithm for semi-stable semantics.
In Anton Nijholt, Maja Pantic, Mannes Poel, and Hendri Hondorp,
editors, Proceedings of BNAIC 2008, the twentieth Belgian-Dutch
Artificial Intelligence Conference, pages 291-292, 2008.
[ bib ]
|
|
[240]
|
Martin Caminada and Yining Wu.
Towards and argument game for stable semantics.
In Anton Nijholt, Maja Pantic, Mannes Poel, and Hendri Hondorp,
editors, Proceedings of BNAIC 2008, the twentieth Belgian-Dutch
Artificial Intelligence Conference, pages 293-294, 2008.
[ bib ]
|
|
[241]
|
Martin Caminada and Yining Wu.
Towards and argument game for stable semantics.
In Rodger Kibble Floriana Grasso, Nancy Green and Chris Reed,
editors, Proceedings of the 8th workshop on Computational Models of
Natural Argument (CMNA 2008), pages 11-15, 2008.
[ bib ]
|
|
[242]
|
Dov M. Gabbay, A. S. DÕAvila Garcez, and L. C. Lamb.
Connectionist Non-classical Logics: Distributed Reasoning &
Learning in Neural Networks.
Springer-Verlag, 2008.
[ bib ]
|
|
[243]
|
Dov M. Gabbay, G. Metcalfe, and N. Olivetti.
Proof theory for Fuzzy logics.
Springer, 2008.
[ bib ]
|
|
[244]
|
Dov M. Gabbay, K. Engesser, and D. Lehmann.
Quantum Logic.
College publications, 2008.
[ bib ]
|
|
[245]
|
Dov M. Gabbay, R. Schmidt, and A. Szalas.
Second-order Quantifier Elimination.
College publications, 2008.
[ bib ]
|
|
[246]
|
Dov M. Gabbay and John Woods.
Resource-origins of nonmonotonicity.
Studia Logica, 88(1):85-112, 2008.
[ bib ]
|
|
[247]
|
Dov M. Gabbay, Odinaldo Rodrigues, and Alessandra Russo.
Belief revision.
In Handbook of Philosophical Logic. 2nd edition, 2008.
[ bib ]
|
|
[248]
|
Dov M. Gabbay, M. D'Agostino, and M. Finger.
Cut-based abduction.
Logic Journal of IGPL, 16(6):537-560, 2008.
[ bib ]
|
|
[249]
|
Dov M. Gabbay.
Reactive kripke models and contrary to duty obligations.
In Ron van der Meyden and Leendert van der Torre, editors,
Deontic Logic in Computer Science, 9th International Conference, DEON 2008,
Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, volume 5076 of
Lecture Notes in Computer Science, pages 155-173. Springer, 2008.
[ bib ]
|
|
[250]
|
Dov M. Gabbay.
Introducing reactive kripke semantics and arc accessibility.
In Arnon Avron, Nachum Dershowitz, and Alexander Rabinovich, editors,
Pillars of Computer Science, Essays Dedicated to Boris (Boaz)
Trakhtenbrot on the Occasion of His 85th Birthday, volume 4800 of
Lecture Notes in Computer Science, pages 292-341. Springer, 2008.
[ bib ]
|
|
[251]
|
David Makinson and Leendert W. N. van der Torre.
What is input/output logic? input/output logic, constraints,
permissions.
In Boella et al. [255].
[ bib ]
|
|
[252]
|
Guido Boella, Leendert van der Torre, and Harko Verhagen.
Roles, an interdisciplinary perspective.
Applied Ontology, 2(2):81-88, 2007.
[ bib ]
|
|
[253]
|
Guido Boella and Leendert W. N. van der Torre.
The ontological properties of social roles in multi-agent systems:
definitional dependence, powers and roles playing roles.
Artif. Intell. Law, 15(3):201-221, 2007.
[ bib ]
|
|
[254]
|
Jan Broersen and Leendert W. N. van der Torre.
What an agent ought to do.
In Boella et al. [255].
[ bib ]
|
|
[255]
|
Guido Boella, Leendert W. N. van der Torre, and Harko Verhagen, editors.
Normative Multi-agent Systems, 18.03. - 23.03.2007, volume
07122 of Dagstuhl Seminar Proceedings. Internationales Begegnungs- und
Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.
[ bib ]
|
|
[256]
|
F. Arbab, F.S. de Boer, M. Bonsangue, M.M. Lankhorst, H.A. Proper, and
L. van der Torre.
Integrating architectural models.
Enterprise Modelling and Information Systems Architectures,
1(2):0-57, 2007.
[ bib ]
|
|
[257]
|
Arnon Avron, Jonathan Ben-Naim, and Beata Konikowska.
Cut-free ordinary sequent calculi for logics having generalized
finite-valued semantics.
Journal Logica Universalis, 1(1):41-70, 2007.
[ bib |
.pdf ]
|
|
[258]
|
Matteo Baldoni, Guido Boella, and Leendert van der Torre.
Interaction between objects in powerjava.
Journal of Object Technology, 6(2), 2007.
[ bib ]
|
|
[259]
|
G. Boella, R. Damiano, J. Hulstijn, and L. van der Torre.
A common ontology of agent communication languages: Modeling mental
attitudes and social commitments using roles.
Applied Ontology, (2):217-265, 2007.
[ bib ]
|
|
[260]
|
G. Boella, L. Sauro, and L. van der Torre.
From social power to social importance.
Web Intelligence and Agent Systems journal, (5):393-404, 2007.
[ bib ]
|
|
[261]
|
Guido Boella and Leendert van der Torre.
Norm negotiation in multiagent systems.
International Journal of Cooperative Information Systems (IJCIS)
Special Issue: Emergent Agent Societies, 16(2), 2007.
[ bib ]
|
|
[262]
|
T. Bosse, C.M. Jonker, S.A. Los, L. van der Torre, and J. Treur.
Formal analysis of trace conditioning.
Cognitive Systems Research Journal, 8(1):36-47, 2007.
[ bib ]
|
|
[263]
|
Matteo Baldoni, Guido Boella, and Leendert W.N. van der Torre.
Bridging agent theory and object orientation: Agent-like
communication among objects.
In Rafael H. Bordini, Mehdi Dastani, Jörgen Dix, and Amal El
Fallah-Seghrouchni, editors, Programming Multi-Agent Systems, 4th
International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised
and Invited Papers, volume 4411 of Lecture Notes in Computer Science,
pages 149-164. Springer, 2007.
[ bib ]
|
|
[264]
|
Matteo Baldoni, Guido Boella, and Leendert van der Torre.
Relationships meet their roles in object oriented programming.
In Farhad Arbab and Marjan Sirjani, editors, International
Symposium on Fundamentals of Software Engineering, International Symposium,
FSEN 2007, Tehran, Iran, April 17-19 2007, Proceedings, volume 4767 of
Lecture Notes in Computer Science, pages 440-448. Springer, 2007.
[ bib ]
|
|
[265]
|
Jonathan Ben-Naim and Emil Weydert.
On agent prioritization in trust networks.
In Mehdi Dastani and Edwin de Jong, editors, Proceedings of The
19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007), 2007.
[ bib ]
|
|
[266]
|
Guido Boella, Celia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, ,
and Leendert van der Torre.
What you should believe.
In Mehdi Dastani and Edwin de Jong, editors, Proceedings of The
19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007), 2007.
[ bib ]
|
|
[267]
|
Guido Boella, Valerio Genovese, Roberto Grenna, and Leendert van der Torre.
Merging roles in coordination and in agent deliberation.
In PRIMA, Lecture Notes in Computer Science. Springer, 2007.
[ bib ]
|
|
[268]
|
Leendert W.N. van der Torre Guido Boella.
An attacker model for normative multi-agent systems.
In Hans-Dieter Burkhard, Gabriela Lindemann, and László
Zsolt Varga Rineke Verbrugge, editors, 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, volume 4696 of Lecture Notes in Computer Science, pages
42-51. Springer, 2007.
[ bib ]
|
|
[269]
|
Guido Boella and Leendert W.N. van der Torre.
Power in norm negotiation.
In Ngoc Thanh Nguyen, Adam Grzech, Robert J. Howlett, and Lakhmi C.
Jain, editors, Agent and Multi-Agent Systems: Technologies and
Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw,
Poland, May 31 - June 1, 2007, Proceedings, volume 4496 of Lecture
Notes in Computer Science, pages 436-446. Springer, 2007.
Best paper award.
[ bib ]
|
|
[270]
|
Mathijs de Boer.
Ke tableaux for public announcement logic.
In Proceedings of the Formal Approaches to Multi-Agent Systems
Workshop (FAMAS'007), Durham, UK, 2007.
[ bib ]
|
|
[271]
|
Jan Broersen and Leendert van der Torre.
Reasoning about norms, obligations, time and agents.
In PRIMA, Lecture Notes in Computer Science. Springer, 2007.
[ bib ]
|
|
[272]
|
Patrice Caire.
Conviviality for digital cities: A normative multi-agent systems
approach.
In Mehdi Dastani and Edwin de Jong, editors, Proceedings of The
19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007), 2007.
[ bib |
.pdf ]
|
|
[273]
|
Patrice Caire.
A normative multi-agent systems approach to the use of conviviality
for digital cities.
In Pablo Noriega and Julian Padget, editors, Proceedings of The
International Workshop on Coordination, Organization, Institutions and Norms
in Agent Systems (COIN), 2007.
Durham, UK, 15-26, Aug.
[ bib |
.pdf ]
|
|
[274]
|
Martin Caminada.
An algorithm for computing semi-stable semantics.
In ECSQARU 2007, volume 4724 of Lecture Notes in
Artificial Intelligence, pages 222-234. Springer, 2007.
[ bib ]
|
|
[275]
|
Martin Caminada.
Comparing two unique extension semantics for formal argumentation:
Ideal and eager.
In BNAIC 2007, pages 81-87, 2007.
[ bib ]
|
|
[276]
|
Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, and Leendert
van der Torre.
Contextual agent deliberation in defeasible logic.
In PRIMA, Lecture Notes in Computer Science. Springer, 2007.
[ bib ]
|
|
[277]
|
G. Governatori, M. Dastani, A. Rotolo, I. Song, and L. van der Torre.
Contextual deliberation of cognitive agents in defeasible logic
(poster).
In Proceedings of AAMAS07, 2007.
[ bib ]
|
|
[278]
|
Souhila Kaci, Leendert W.N. van der Torre, and Emil Weydert.
On the acceptability of incompatible arguments.
In Khaled Mellouli, editor, Symbolic and Quantitative Approaches
to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007,
Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, volume 4724
of Lecture Notes in Computer Science, pages 247-258. Springer, 2007.
[ bib ]
|
|
[279]
|
Gabriella Pigozzi and Stephan Hartmann.
Aggregation in multi-agent systems and the problem of truth-tracking.
In 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, 2007.
[ bib |
.pdf ]
|
|
[280]
|
Gabriella Pigozzi and Stephan Hartmann.
Judgment aggregation and the problem of truth-tracking.
In Proceedings of the 11th Conference on Theoretical Aspects of
Rationality and Knowledge (TARK XI), 25-27 June 2007, Brussels, Belgium,
pages 248-252, 2007.
[ bib ]
|
|
[281]
|
M. Baldoni, G. Boella, and L. van der Torre.
Adding roles to relationship patterns.
In Proceedings of WOA07, 2007.
[ bib ]
|
|
[282]
|
M. Baldoni, G. Boella, V. Genovese, and L. van der Torre.
Roles in coordination and in agent deliberation: A merger of
concepts.
In Proceedings of AWESOME07, 2007.
[ bib ]
|
|
[283]
|
Jonathan Ben-Naim and Emil Weydert.
Information merging with trust (extended abstract).
In Workshop on Logics and Collective Decision making (LCD'07),
2007.
[ bib ]
|
|
[284]
|
G. Boella, J. Hulstijn, G. Governatori, R. Riveret, A. Rotolo, and L. van der
Torre.
FIPA communicative acts in defeasible logic.
In Proceedings of NRAC'07, 2007.
[ bib ]
|
|
[285]
|
G. Boella, R. Damiano, J. Hulstijn, and L. van der Torre.
Distinguishing propositional and action commitment in agent
communication.
In Proceedings of CMNA'07, 2007.
[ bib ]
|
|
[286]
|
Guido Boella and Leendert W.N. van der Torre.
A game-theoretic approach to normative multi-agent systems.
In Normative Multi-agent Systems, 2007.
[ bib ]
|
|
[287]
|
Guido Boella, Célia Da Costa Pereira, Gabriella Pigozzi, Andrea
Tettamanzi, and Leendert van der Torre.
Choosing your beliefs.
In Normative Multi-agent Systems, 2007.
[ bib ]
|
|
[288]
|
Guido Boella, Leendert W.N. van der Torre, and Harko Verhagen.
Introduction to normative multiagent systems.
In Normative Multi-agent Systems, 2007.
[ bib ]
|
|
[289]
|
Patrice Caire.
Conviviality for ambient intelligence.
In Patrick Olivier and Christian Kray, editors, Proceedings of
Artificial Societies for Ambient Intelligence, Artificial Intelligence and
Simulation of Behaviour (AISB'07), Newcastle upon Tyne, UK, May 2007, pages
14-19, 2007.
[ bib |
.pdf ]
|
|
[290]
|
Patrice Caire.
Designing convivial digital cities.
In A. Nijholt, O. Stock, and T. Nishida, editors, Proceedings of
the 6th Workshop on Social Intelligence Design (SID'07), pages 25-40, 2007.
[ bib |
.pdf ]
|
|
[291]
|
M. Caminada and J. Ben-Naim.
Postulates for paraconsistent reasoning and fault tolerant logic
programming.
Technical Report UU-CS-2007-004, Institute of Information and
Computing Sciences, Utrecht University, 2007.
[ bib ]
|
|
[292]
|
Dov Gabbay, Gabriella Pigozzi, and Odinaldo Rodrigues.
Common foundations for belief revision, belief merging and voting.
In Formal Models of Belief Change in Rational Agents, volume
07531 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl, Germany, 2007.
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI).
[ bib ]
|
|
[293]
|
Jörg Hansen, Gabriella Pigozzi, and Leendert W.N. van der Torre.
Ten philosophical problems in deontic logic.
In Normative Multi-agent Systems, 2007.
[ bib |
.pdf ]
|
|
[294]
|
G. Pigozzi and L. van der Torre.
Premise independence in judgment aggregation.
In Formal Models of Belief Change in Rational Agents, volume
07531 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl, Germany, 2007.
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI).
[ bib ]
|
|
[295]
|
Emil Weydert.
Ranking revision reloaded (extended abstract).
In Formal Models of Belief Change in Rational Agents, volume
07531 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl, Germany, 2007.
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI).
[ bib ]
|
|
[296]
|
Matteo Baldoni, Guido Boella, and Leendert van der Torre.
Importing agent-like interaction in object orientation.
In Paoli et al. [297].
[ bib ]
|
|
[297]
|
Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, and Corrado Santoro,
editors.
Proceedings of the 7th WOA 2006 Workshop, From Objects to Agents
(Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006, volume
204 of CEUR Workshop Proceedings. CEUR-WS.org, 2006.
[ bib ]
|
|
[298]
|
Guido Boella, Leendert van der Torre, and Harko Verhagen.
Introduction to normative multiagent systems.
Computational & Mathematical Organization Theory,
12(2-3):71-79, 2006.
[ bib ]
|
|
[299]
|
Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm,
and Pierre Wolper, editors.
Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland
University, Saarbrücken, Germany, volume 3 of OASICS.
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI),
Schloss Dagstuhl, Germany, 2006.
[ bib ]
|
|
[300]
|
G. Boella and L. van der Torre (Eds.).
Preface.
Electronic Notes in Theoretical Computer Science (ENTCS) Procs.
of the First International Workshop on Coordination and Organisation (CoOrg
2005), 150(3):1-2, 2006.
[ bib ]
|
|
[301]
|
G. Boella, L. van der Torre, and H. Verhagen (eds).
Computation and Mathematical Organizational Theory, Special
issue on Normative Multiagent Systems, 12(2-3), 2006.
[ bib ]
|
|
[302]
|
M. Baldoni, G. Boella, and L. van der Torre.
Roles as a coordination construct: Introducing powerJava.
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), 150(1):9-29,
2006.
[ bib |
.pdf ]
|
|
[303]
|
M. Baldoni, G. Boella, and L. van der Torre.
I fondamenti ontologici dei linguaggi di programmazione orientati
agli oggetti: i casi delle relazioni e dei ruoli.
Networks, rivista di filosofia dell'intelligenza artificiale e
scienze cognitive, 6, 2006.
[ bib |
.pdf ]
|
|
[304]
|
G. Boella and L. van der Torre.
Coordination and organization: Definitions, examples and future
research directions.
Electronic Notes in Theoretical Computer Science (ENTCS),
150(3):3-20, 2006.
[ bib ]
|
|
[305]
|
G. Boella and L. van der Torre.
A game theoretic approach to contracts in multiagent systems.
IEEE Transactions on Systems, Man and Cybernetics - Part C:
Applications and Reviews, 36(1):68-79, 2006.
[ bib ]
|
|
[306]
|
G. Boella and L. van der Torre.
Security policies for sharing knowledge in virtual communities.
IEEE Transactions on Systems, Man and Cybernetics - Part A:
Systems and Humans, 36(3):439-450, 2006.
[ bib ]
|
|
[307]
|
G. Boella, L. van der Torre, and H. Verhagen.
Introduction to normative multiagent systems.
Computation and Mathematical Organizational Theory, Special
issue on Normative Multiagent Systems, 12(2-3):71-79, 2006.
[ bib ]
|
|
[308]
|
G. Pigozzi.
Belief merging and the discursive dilemma: an argument-based account
to paradoxes of judgment aggregation.
Synthese, 152(2):285-298, 2006.
[ bib ]
|
|
[309]
|
M. Baldoni, G. Boella, and L. van der Torre.
Bridging agent theory and object orientation: Importing social roles
in object oriented languages.
In Programming Multi-Agent Systems, Third International
Workshop, ProMAS 2005, volume 3862 of LNCS, pages 57-75, Berlin,
2006. Springer.
[ bib ]
|
|
[310]
|
M. Baldoni, G. Boella, and L. van der Torre.
Modelling the interaction between objects: Roles as affordances.
In Knowledge Science, Engineering and Management, First
International Conference, KSEM 2006, volume 4092 of LNCS, pages
42-54. Springer, 2006.
[ bib ]
|
|
[311]
|
G. Boella, R. Damiano, J. Hulstijn, and L. van der Torre.
ACL semantics between social commitments and mental attitudes.
In International Workshops on Agent Communication, AC 2005 and
AC 2006, volume 3859 of LNAI, pages 30-44, Berlin, 2006. Springer.
[ bib ]
|
|
[312]
|
G. Boella, J. Hulstijn, and L. van der Torre.
A logic of abstract argumentation.
In S. Parsons, N. Maudet, P. Moraitis, and I. Rahwan, editors,
Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS
2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited
Papers, volume 4049 of Lecture Notes in Computer Science, pages
29-41. Springer, 2006.
[ bib ]
|
|
[313]
|
G. Boella, J. Hulstijn, Y. Tan, and L. van der Torre.
Modeling control mechanisms with normative multiagent systems: The
case of the renewables obligation.
In 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, volume 3913 of LNAI,
pages 114-126, Berlin, 2006. Springer.
[ bib ]
|
|
[314]
|
G. Boella and L. van der Torre.
Constitutive norms in the design of normative multiagent systems.
In Computational Logic in Multi-Agent Systems, 6th International
Workshop (CLIMA VI), volume 3900 of LNCS, pages 303-319, Berlin,
2006. Springer.
[ bib ]
|
|
[315]
|
G. Boella and L. van der Torre.
Organizations in artificial social systems.
In 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, volume 3913 of LNAI,
pages 198-210, Berlin, 2006. Springer.
[ bib ]
|
|
[316]
|
G. Boella and L. van der Torre.
A logical architecture of a normative system.
In Deontic Logic and Artificial Normative Systems, 8th
International Workshop on Deontic Logic in Computer Science
(ΔEON'06), volume 4048 of LNCS, pages 24-35, Berlin, 2006.
Springer.
[ bib ]
|
|
[317]
|
G. Boella and L. van der Torre.
Delegation of power in normative multiagent systems.
In Deontic Logic and Artificial Normative Systems, 8th
International Workshop on Deontic Logic in Computer Science
(ΔEON'06), volume 4048 of LNCS, pages 36-52, Berlin, 2006.
Springer.
[ bib ]
|
|
[318]
|
G. Boella and L. van der Torre.
A foundational ontology of organizations and roles.
In Declarative Agent Languages and Technologies IV, 4th
International Workshop (DALT'06), volume 4327 of LNCS, pages 78-88,
2006.
[ bib ]
|
|
[319]
|
T. Bosse, C. Jonker, S. Los, L. van der Torre, and J. Treur.
Formalisation and analysis of the temporal dynamics of conditioning.
In Agent-Oriented Software Engineering VI, volume 3950 of
LNCS, pages 54-68, 2006.
[ bib ]
|
|
[320]
|
C. Garion and L. van der Torre.
Design by contract deontic design language for multiagent systems.
In 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, volume 3913 of LNAI,
pages 170-182, Berlin, 2006. Springer.
[ bib ]
|
|
[321]
|
S. Kaci and L. van der Torre.
Permissions and uncontrollable propositions in DSDL3:
Non-monotonicity and algorithms.
In L. Goble and J.-J. Meyer, editors, 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, volume 4048 of Lecture Notes in Computer Science.
Springer, 2006.
[ bib ]
|
|
[322]
|
A. Stam, J. Jacob, F. S. de Boer, M. Bonsangue, and L. van der Torre.
Using XML transformations for enterprise architectures.
In T. Margaria and B. Steffen, editors, Leveraging Applications
of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus,
October 30 - November 2, 2004, Revised Selected Papers, volume 4313 of
Lecture Notes in Computer Science, pages 42-56. Springer, 2006.
[ bib ]
|
|
[323]
|
L. van der Torre, M. Lankhorst, H. ter Doest, J. Campschroer, and F. Arbab.
Landscape maps for enterprise architectures.
In E. Dubois and K. Pohl, editors, Advanced Information Systems
Engineering, 18th International Conference, CAiSE 2006, Luxembourg,
Luxembourg, June 5-9, 2006, Proceedings, volume 4001 of Lecture Notes
in Computer Science, pages 351-366. Springer, 2006.
[ bib ]
|
|
[324]
|
M. Baldoni, G. Boella, and L. van der Torre.
powerJava: ontologically founded roles in object oriented
programming language.
In Procs. of ACM Symposium on Applied Computing (SAC'06), Track
Object Oriented Programming Languages and Systems (OOPS'06), pages
1414-1418, New York (NJ), 2006. ACM.
[ bib ]
|
|
[325]
|
M. Baldoni, G. Boella, and L. van der Torre.
Interaction among objects via roles: sessions and affordances in
Java.
In Procs. of Principles and Practice of Programming in Java
(PPPJ'06), pages 188-193, New York (NY), 2006. ACM.
[ bib ]
|
|
[326]
|
J. Ben-Naim.
Lack of finite characterizations for the distance-based revision.
In 10th International Conference on Principles of Knowledge
Representation and Reasoning (KR'06), pages 239-248, 2006.
[ bib ]
|
|
[327]
|
G. Boella, R. Damiano, J. Hulstijn, and L. van der Torre.
Role-based semantics for agent communication: Embedding of the
`mental attitudes' and `social commitments' semantics.
In Procs. of the 5th International Joint Conference on
Autonomous Agents and Multiagent Systems (AAMAS'06), pages 688-690. ACM,
New York (NJ), 2006.
[ bib ]
|
|
[328]
|
G. Boella, J. Hulstijn, and L. van der Torre.
The roles of roles in agent communication languages.
In Procs. of the IEEE/WIC/ACM International Conference on
Intelligent Agent Technology (IAT'06), pages 381-384. IEEE, 2006.
[ bib ]
|
|
[329]
|
G. Boella, L. Sauro, and L. van der Torre.
Strengthening admissible coalitions.
In Procs. of the 17th European Conference on Artificial
Intelligence (ECAI'06), pages 195-199, Amsterdam, 2006. IOS.
[ bib ]
|
|
[330]
|
G. Boella and L. van der Torre.
Count-as conditionals, classification and context.
In Procs. of the 17th European Conference on Artificial
Intelligence (ECAI'06), 2006.
[ bib ]
|
|
[331]
|
G. Boella and L. van der Torre.
Fair distribution of collective obligations.
In Procs. of the 17th European Conference on Artificial
Intelligence(ECAI'06), pages 721-722, Amsterdam, 2006. IOS.
[ bib ]
|
|
[332]
|
Guido Boella and Leendert W. N. van der Torre.
An architecture of a normative system: counts-as conditionals,
obligations and permissions.
In Nakashima et al. [333], pages 229-231.
[ bib ]
|
|
[333]
|
Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, and Peter Stone,
editors.
5th International Joint Conference on Autonomous Agents and
Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. ACM, 2006.
[ bib ]
|
|
[334]
|
G. Boella and L. van der Torre.
Game-theoretic foundations for norms.
In Procs. of Artificial Intelligence Studies, volume 3, pages
39-51, 2006.
[ bib ]
|
|
[335]
|
R. Booth, S. Kaci, and L. van der Torre.
Merging rules: Preliminary version.
In Proceedings of the NMR'06, 2006.
[ bib ]
|
|
[336]
|
D. Gabbay, G. Pigozzi, and O. Rodrigues.
Belief revision, belief merging and voting.
In G. Bonanno, W. van der Hoek, and M. Wooldridge, editors,
Proceedings of the Seventh Conference on Logic and the Foundations of Games
and Decision Theory (LOFT06), pages 71-78, University of Liverpool, UK,
2006.
[ bib ]
|
|
[337]
|
S. Kaci, L. van der Torre, and E. Weydert.
Acyclic argumentation: Attack = conflict + preference.
In G. Brewka, S. Coradeschi, A. Perini, and P. Traverso, editors,
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, pages
725-726. IOS Press, 2006.
[ bib ]
|
|
[338]
|
S. Kaci and L. van der Torre.
Preference reasoning for argumentation: non-monotonicity and
algorithms.
In Proceedings of the NMR'06, 2006.
[ bib ]
|
|
[339]
|
S. Kaci and L. van der Torre.
Merging optimistic and pessimistic preferences.
In Proceedings of FUSION 2006, 2006.
Also in proceedings of NMR06.
[ bib ]
|
|
[340]
|
G. Pigozzi and S. Hartmann.
Merging judgments and the problem of truth-tracking.
In U. Endriss and J. Lang, editors, Proceedings of the 1st
International Workshop on Computational Social Choice (COMSOC 2006), pages
408-421, 2006.
[ bib ]
|
|
[341]
|
G. Pigozzi and D. Eckert.
Pareto consistency in a model-based perspective on judgment
aggregation.
In G. Bonanno, W. van der Hoek, and M. Wooldridge, editors,
Proceedings of the Seventh Conference on Logic and the Foundations of Games
and Decision Theory (LOFT06), pages 169-176, University of Liverpool, UK,
2006.
[ bib ]
|
|
[342]
|
E. Weydert.
Rankings from merging - a preliminary version.
In 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), London, 2006.
[ bib ]
|
|
[343]
|
Richard Booth, Samir Chopra, Thomas Meyer, and Aditya Ghose.
Double preference relations for generalised belief change.
Artificial Intelligence, Accepted September 2009.
[ bib ]
|
|
[344]
|
Dov M. Gabbay and A. Pnueli.
A sound and complete deductive system for CTL verification.
Logic Journal of IGPL, 16(6):499-536, December 2008.
[ bib ]
|
|
[345]
|
Dov M. Gabbay, Odinaldo Rodrigues, and Alessandra Russo.
Belief revision in non-classical logic II.
The Review of Symbolic Logic, 1:267-304, October 2008.
[ bib ]
|
|
[346]
|
Dov M. Gabbay and K. Schlechta.
Cumulativity without closure of the domain under finite unions.
The Review of Symbolic Logic, 1:267-304, October 2008.
[ bib ]
|
|
[347]
|
Dov Gabbay and H. Barringer.
Modal and temporal argumentation networks.
Time for Verification.
[ bib ]
|
