Publications

2015
[838] Intention Reconsideration as Metareasoning (Marc van Zee, Thomas Icard), In Bounded Optimality and Rational Metareasoning NIPS 2015 Workshop, 2015. [bibtex] [pdf]
[837] ARMED: ARgumentation Mining and reasoning about Enterprise architecture Decisions (Marc van Zee, Dirk van der Linden), In Proceedings of the 27th Benelux Conference on Artificial Intelligence (BNAIC2015), 2015. [bibtex] [pdf]
[836] Insights from a Study on Decision Making in Enterprise Architecture (Dirk van der Linden, Marc van Zee), In Short Paper Proceedings of the 8th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM), 2015. [bibtex] [pdf]
[835] Rationalization of Goal Models in GRL using Formal Argumentation (Marc van Zee, Floris Bex, Sepideh Ghanavati), In Proceedings of RE: Next! track at the Requirements Engineering Conference 2015 (RE'15), 2015. [bibtex] [pdf]
[834] Rational Architecture = Architecture from a Recommender Perspective (Marc van Zee), In Proceedings of the International Joint Conference on Artificial Intelligence, 2015. [bibtex] [pdf]
[833] AGM Revision of Beliefs about Action and Time (Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert van der Torre), In Proceedings of the International Joint Conference on Artificial Intelligence, 2015. [bibtex] [pdf]
[832] Consistency Conditions for Beliefs and Intentions (Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert van der Torre), In Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning, 2015. [bibtex] [pdf]
[831]A Non-classical Logical Foundation for Naturalised Realism (Casini G. Meyer T. Ruttkamp-Bloem E.), Chapter in The Logica Yearbook 2014 (Arazim P., Dancak M., eds.), College Publications, 2015. [bibtex]
[830] Introducing Defeasibility into OWL Ontologies (Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan José Varzinczak), In The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II, 2015. [bibtex] [pdf] [doi]
[829] On the Entailment Problem for a Logic of Typicality (Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak), In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, 2015. [bibtex] [pdf]
[828]How to Decrease and Resolve Inconsistency of a Knowledge Base? (D. Doder, S. Vesic), 2015. [bibtex]
[827] Commitments and interaction norms in organisations (Mehdi Dastani, Leendert van der Torre, Neil Yorke-Smith), In Autonomous Agents and Multi-Agent Systems, Springer US, 2015. [bibtex] [pdf] [doi]
2014
[826] Bridging Social Network Analysis and Judgment Aggregation (Silvano Colombo Tosatto, Marc van Zee), In Proceedings of the 6th International Conference on Social Informatics., 2014. [bibtex] [pdf]
[825] Capturing Evidence and Rationales with Requirements Engineering and Argumentation-Based Techniques (Marc van Zee, Sepideh Ghanavati), In Proceedings of the 26th Benelux Conference on Artificial Intelligence (BNAIC2014), 2014. [bibtex] [pdf]
[824] Collective Intention Revision from a Database Perspective (Marc van Zee, Mehdi Dastani, Yoav Shoham, Leendert van der Torre), In Collective Intentionality Conference, 2014. [bibtex] [pdf]
[823] Encoding Definitional Fragments of Temporal Action Logic into Logic Programming (Marc van Zee, Patrick Doherty, John-Jules Meyer), In International Workshop on Defeasible and Ampliative Reasoning (DARe), 2014. [bibtex] [pdf]
[822] Formalizing Enterprise Architecture Decision Models using Integrity Constraints (Marc van Zee, Georgios Plataniotis, Diana Marosin, Dirk van der Linden), In 16h IEEE Conference on Business Informatics (CBI), 2014. [bibtex] [pdf]
[821] On the Semantic Feature Structure of Modeling Concepts: an Empirical Study (Dirk van der Linden, Marc van Zee), In 16h IEEE Conference on Business Informatics (CBI), 2014. [bibtex] [pdf]
[820] Reasoning on Robot Knowledge from Discrete and Asynchronous Observations (Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Leendert van der Torre, Holger Voos, Mehdi Dastani, John-Jules Meyer), In Knowledge Representation and Reasoning in Robotics, 2014. [bibtex] [pdf]
[819] Social Network Analysis for Judgment Aggregation (Silvano Colombo Tosatto, Marc van Zee), In 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014), 2014. (Extended Abstract) [bibtex] [pdf]
[818]A Plausibility Semantics for Abstract Argumentation Frameworks (E. Weydert), 2014. [bibtex]
[817]On the Input/Output behavior of argumentation frameworks (P. Baroni, G. Boella, F. Cerutti, M. Giacomin, L. van der Torre), In , Elsevier Science, 2014. [bibtex]
[816]Combining Regulative and Constitutive Norms in Input/Output Logic (X. Sun, L. van der Torre), 2014. [bibtex]
[815]Compliance with Multiple Regulations (S. Ghanavati, L. Humphreys, G. Boella, L. di Caro, L. Robaldo), 2014. [bibtex]
[814]A Critical Analysis of Legal Requirements Engineering from the Perspective of Legal Practice (G. Boella, L. Humphreys, R. Muthuri, L. van der Torre, P. Rossi), 2014. [bibtex]
[813]Integrating Legal-URN and Eunomos: towards a comprehensive compliance management solution (G. Boella, S. Colombo Tosatto, S. Ghavanati, H. Joris, L. Humphreys, R. Muthuri, A. Rifaut), 2014. [bibtex]
[812]Managing Legal Resources in Open Government and E-Democracy: Eunomos - an AI and Law Response (G. Boella, R. Muthuri, L. Humphreys), Verlagshaus Monsenstein und Vannerdat OHG, 2014. [bibtex]
[811]The gap between legal and technical domains in norm representation (A. Antonini, G. Boella, L. Humphreys, Hulstijn), 2014. [bibtex]
[810]Detecting Deontic Conflicts in Dynamic Settings (S. Colombo Tosatto, P. Kelsen, G. Governatori), 2014. [bibtex]
[809]Toward a Linguistic Interpretation of Deontic Paradoxes (X. Sun), 2014. [bibtex]
[808]How do pessimistic agents save miners? A STIT based approach. (X. Sun), 2014. [bibtex]
[807]Stratied action negation, a logic about travel (X. Sun), 2014. [bibtex]
[806]STIT based deontic logics for the miners puzzle (X. Sun), 2014. [bibtex]
[805]How to build input/output logic (X. Sun), 2014. [bibtex]
[804]The deontic dilemma of action negation, and its solution (X. Sun), 2014. [bibtex]
[803]Business Process Regulatory Compliance is Hard (S. Colombo Tosatto, P. Kelsen, G. Governatori), In , 2014. [bibtex]
[802]Algorithms for tractable compliance problems (S. Colombo Tosatto, P. Kelsen, Q. Ma, M. el Kharbili, G. Governatori, L. van der Torre), In , Higher Education Press and Springer, 2014. [bibtex]
[801]Bridging Social Network Analysis and Judgment Aggregation (S. Colombo Tosatto, M. Van Zee), In , 2014. [bibtex]
[800]Probabilistic Abstract Dialectical Frameworks (S. Polberg, D. Doder), Springer, 2014. [bibtex]
[799]Probabilistic Argumentation Frameworks - A Logical Approach (D. Doder, S. Woltran), Springer, 2014. [bibtex]
[798]Modelling the usage of partial functions and undefined terms using presupposition theory (M. Cramer), College Publications, 2014. [bibtex]
[797]The paradoxes of permission an action based solution (D. M. Gabbay, L. Gammaitoni, X. Sun), In , Elsevier, 2014. [bibtex]
[796]Plexil-Like Plan Execution Control in Agent Programming (P. Ziafati), 2014. [bibtex]
[795]Towards Dialogue Games for the Down-Admissible and Up-Complete Procedures (M. Caminada, R. Booth), 2014. [bibtex]
[794]Intuitionistic basis for IOL (X. Parent, L. van der Torre, D. M. Gabbay), Springer, 2014. [bibtex]
[793]Reasoning on Robot Knowledge from Discrete and Asynchronous Observations (P. Ziafati, Y. Elrakaiby, L. van der Torre, H. Voos, M. Dastani, J.-J. Meyer, M. Van Zee), 2014. [bibtex]
2013
[792] Argument Revival in Annotated Argumentation Networks (Diego Agustin Ambrossio, Alessio Antonini, Yehia Elrakaiby, Dov Gabbay, Marc van Zee), In Second workshop on Argumentation in Artificial Intelligence and Philosophy: computational and philosophical perspectives (ARGAIP-13), 2013. [bibtex] [pdf]
[791] Multi-Cycle Query Caching in Agent Programming (Natasha Alechina, Tristan Behrens, Mehdi Dastani, Koen Hindriks, Koen Hubner, Fred Jomi, Brian Logan, Hai H. Nguyen, Marc van Zee), In Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), 2013. [bibtex] [pdf]
[790] Belief Caching in 2APL (Mehdi Dastani, Marc van Zee), In The workshop on Engineering Multi-Agent Systems (EMAS), 2013. [bibtex] [pdf]
[789]Accumulative Knowledge Under Bounded Resources. (W. Jamroga, M. Tabatabaei), Springer, 2013. [bibtex]
[788]Preventing Coercion in E-Voting: Be Open and Commit (M. Tabatabaei, W. Jamroga, P. Ryan), 2013. [bibtex]
[787]Incentives and Rationality in Security of Interaction Protocols (W. Jamroga, M. Melissen, H. Schnoor), 2013. [bibtex]
[786]Revival of Arguments in Temporal Argumentation Networks (M. Van Zee, D. A. Ambrossio, Y. Elrakaiby, A. Antonini, D. Gabbay), 2013. [bibtex]
[785]Argumentation Theoretic Foundations for Abstract Dependence Networks (P. Caire, L. van der Torre, S. Villata), In , 2013. [bibtex]
[784]Managing legal interpretation in regulatory compliance (G. Boella, M. Janssen, H. Joris, L. Humphreys, L. van der Torre), 2013. [bibtex]
[783]A propositional typicality logic for extending rational consequence (R. Booth, T. Meyer, I. Varzinczak), College Publications, 2013. [bibtex]
[782]A Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software (P. Ziafati, H. Voos, L. van der Torre, M. Dastani, J.-J. Meyer), 2013. [bibtex]
[781]Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies. (P. Caire, L. van der Torre, S. Villata), 2013. [bibtex]
[780]Game-theory and Logic for Non-repudiation Protocols and Attack Analysis (M. Melissen), PhD thesis, , 2013. [bibtex]
[779] Event-processing in Autonomous Robot Programming (P. Ziafati, M. Dastani, J.-J. Meyer, L. van der Torre), International Foundation for Autonomous Agents and Multiagent Systems, 2013. [bibtex] [pdf]
[778] Programming Autonomous Robots Using Agent Programming Languages (P. Ziafati), International Foundation for Autonomous Agents and Multiagent Systems, 2013. [bibtex] [pdf]
[777] Agent Programming Languages Requirements for Programming Autonomous Robots (P. Ziafati, M. Dastani, J.-J. Meyer, L. van der Torre), Springer Berlin Heidelberg, 2013. [bibtex] [pdf]
[776]Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies (P. Caire, L. van der Torre, S. Villata), 2013. [bibtex]
[775]\text\textquotedblTo be or not to be\text\textquotedbl is not \text\textquotedblto kill or not to kill\text\textquotedbl, a logic on action negation (X. Sun), 2013. [bibtex]
[774]Proof theory, Semantics and Algebra for Normative System (X. Sun), 2013. [bibtex]
[773]Normative Reasoning and Consequence (J. Broersen, S. Cranefield, Y. Elrakaiby, D. M. Gabbay, D. Grossi, E. Lorini, X. Parent, L. van der Torre, L. Tummolini, P. Turrini, F. Schwarzentruber), Springer Netherlands, 2013. [bibtex]
[772]Input/output logic (X. Parent, L. van der Torre), College Publications, 2013. [bibtex]
[771]On the plausibility of abstract arguments (E. Weydert), Springer, 2013. [bibtex]
[770]Algorithms for Basic Compliance Problems (S. Colombo Tosatto, M. El Kharbili, G. Governatori, P. Kelsen, Q. Ma, L. van der Torre), 2013. [bibtex]
[769]Argument Revival in Annotated Argumentation Networks (D. A. Ambrossio, A. Antonini, Y. Elrakaiby, D. Gabbay, M. Van Zee), 2013. [bibtex]
[768]Strategic games and truly playable effectivity functions (V. Goranko, W. Jamroga, P. Turrini), In , Springer, 2013. [bibtex]
[767]Towards an Abstract Framework for Compliance (S. Colombo Tosatto, G. Governatori, P. Kelsen), 2013. [bibtex]
[766]Compliance in Resource-based Process Models (S. Colombo Tosatto, Y. Elrakaiby, P. Ziafati), 2013. [bibtex]
[765]Monotonic and non-monotonic inference for abstract argumentation (R. Booth, S. Kaci, T. Rienstra, L. van der Torre), 2013. [bibtex]
[764]A logical theory about dynamics in abstract argumentation (R. Booth, S. Kaci, T. Rienstra, L. van der Torre), 2013. [bibtex]
[763]A logical theory about dynamics in abstract argumentation (R. Booth, S. Kaci, T. Rienstra, L. van der Torre), 2013. [bibtex]
[762]A logical theory about dynamics in abstract argumentation (R. Booth, S. Kaci, T. Rienstra, L. van der Torre), 2013. [bibtex]
[761]Property-based preferences in abstract argumentation (R. Booth, S. Kaci, T. Rienstra), 2013. [bibtex]
2012
[760]Agent Programming Languages Requirements for Programming Cognitive Robots (extended abstract) (Pouyan Ziafati, Mehdi Dastani, John-Jules Meyer, Leon Van Der Torre), In Proceedings of the 24th Benelux Conference on Artificial Intelligence, 2012. [bibtex]
[759]On arguments and conditionals (Emil Weydert), In ECAI WS Weighted Logics for AI (WL4AI), IRIT, 2012. [bibtex]
[758]Conditional Ranking Revision - Iterated Revision with Sets of Conditionals (Emil Weydert), In Journal of Philosophical Logic, Springer, volume 41, 2012. [bibtex]
[757]Modelling defeasible and prioritized support in bipolar argumentation (Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre), In Ann. Math. Artif. Intell., volume 66, 2012. [bibtex]
[756]A logic of argumentation for specification and verification of abstract argumentation frameworks (Serena Villata, Guido Boella, Dov Gabbay, Leendert van der Torre), In Ann. Math. Artif. Intell., Springer, volume 66, 2012. [bibtex]
[755]The Synergy: A Platform for Argumentation-Based Group Decision Making (Srdjan Vesic, Mykhailo Ianchuk, Andrii Rubtsov), In Proceedings of the 4th International Conference on Computational Models of Argument, COMMA 2012, 2012. [bibtex]
[754]Beyond Maxi-Consistent Argumentation Operators (Srdjan Vesic, Leendert van der Torre), In Proceedings of the 13th European Conference on Logics in Artificial Intelligence, JELIA 2012, 2012. [bibtex]
[753]Maxi-Consistent Operators in Argumentation (Srdjan Vesic), In Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012, 2012. [bibtex]
[752]Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012, (Bart Verheij, Stefan Szeider, Stefan Woltran, eds.), IOS Press, volume 245, 2012. [bibtex]
[751]Contrary-To-Duties in Games (Paolo Turrini, Xavier Parent, Leendert van der Torre, Silvano Colombo Tosatto), Chapter in , Springer, 2012. [bibtex]
[750]Agreements as Norms (Paolo Turrini), In Deontic Logic in Computer Science, 2012. [bibtex]
[749]Regulating competing coalitions: a logic for socially optimal group choices (Paolo Turrini, Jan Broersen, Rosja Mastrop, John-Jules Ch. Meyer), In Journal of Applied Non-Classical Logics, volume 22, 2012. [bibtex]
[748] Contrary-To-Duties in Games (Paolo Turrini, Xavier Parent, Leendert van der Torre, Silvano Colombo Tosatto), In Logic Programs, Norms and Action, 2012. [bibtex] [pdf]
[747] Abstract Normative Systems: Semantics and Proof Theory (Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata), In KR, 2012. [bibtex] [pdf]
[746] Visualizing Normative Systems: An Abstract Approach (Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata), In DEON, 2012. [bibtex] [pdf]
[745]Reasoning for Agreement Technologies (Leendert van der Torre, Guido Boella), In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI), 2012. [bibtex]
[744]Logics for Security and Privacy (Leendert van der Torre), In Data and Applications Security and Privacy XXVI, Springer, 2012. [bibtex]
[743]A trust-augmented voting scheme for collaborative privacy management (Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw), In Journal of Computer Security, volume 20, 2012. [bibtex]
[742]Distance-Based Rules for Weighted Judgment Aggregation (Extended Abstract) (Marija Slavkovik, Wojciech Jamroga), In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS2012, 2012. [bibtex]
[741]Generation of Realistic Mobility for VANETs Using Genetic Algorithms (Marcin Seredynski, Gregoire Danoy, Masoud Tabatabaei, Pascal Bouvry, Yoann Pignie), In Proceedings of the IEEE Congress on Evolutionary Computation, IEEE, 2012. [bibtex]
[740]Building an Epistemic Logic for Argumentation (François Schwarzentruber, Srdjan Vesic, Tjitze Rienstra), In Proceedings of the 13th European Conference on Logics in Artificial Intelligence, JELIA 2012, 2012. [bibtex]
[739]Towards a Probabilistic Dung-style Argumentation System (Tjitze Rienstra), In AT 2012, Agreement Technologies, Proceedings of the First International Conference on Agreement Technologies, CEUR, 2012. [bibtex]
[738]ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012, (Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas, eds.), IOS Press, volume 242, 2012. [bibtex]
[737]Learning and Reasoning about Norms using Neural-Symbolic Systems (Alan Perotti, Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Leendert van der Torre), In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, volume 2, 2012. [bibtex]
[736]Why Be Afraid of Identity? (Xavier Parent), Chapter in , Springer, volume 7360, 2012. [bibtex]
[735]Proceedings of the First International Conference on Agreement Technologies, AT 2012, Dubrovnik, Croatia, October 15-16, 2012, (Sascha Ossowski, Francesca Toni, George A. Vouros, eds.), CEUR-WS.org, volume 918, 2012. [bibtex]
[734]Novel efficient asynchronous cooperative co-evolutionary multi-objective algorithms (Sune S. Nielsen, Bernabe Dorronsoro, Grégoire Danoy, Pascal Bouvry), In Congress on Evolutionary Computation, IEEE, 2012. [bibtex]
[733]Theorie and Applications of Formal Argumentation - First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers, (Sanjay Modgil, Nir Oren, Francesca Toni, eds.), Springer, volume 7132, 2012. [bibtex]
[732]Introducing Conviviality as a New Paradigm for Interactions among IT Objects. (Assaad Moawad, Vasileios Efthymiou, Patrice Caire, Gregory Nain, Yves Le Traon), In Workshop on AI Problems and Approaches for Intelligent Environments (AI@IE 2012), CEUR-WS.org, volume 907, 2012. [bibtex]
[731]Peer-to-Peer Load Testing (Jorge Augusto Meira, Eduardo Cunha Almeida, Yves Le Traon, Gerson Sunye), In ICST - 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, IEEE, 2012. [bibtex]
[730]Changing Agreements: Intention Reconsideration based on Assumptions and Reasons (Diana Marosin, Alex Handrik Proper, Leendert van der Torre), In Proceedings of the First International Conference on Agreement Technologies, AT 2012, 2012. [bibtex]
[729]Concepts, Agents, and Coalitions in Alternating Time (Wojciech Jamroga), In Proceedings of the 20th European Conference on Artificial Intelligence ECAI 2012, 2012. [bibtex]
[728]Fairness in Non-Repudiation Protocols (Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen), In STM (Catherine Meadows, M. Carmen Fernández Gago, eds.), Springer, volume 7170, 2012. [bibtex]
[727]Specification and Verification of Multi-Agent Systems (W. Jamroga, W. Penczek), Chapter in Lectures on Logic and Computation (N. Bezhanishvili, V. Goranko, eds.), Springer, volume 7388, 2012. [bibtex]
[726]Defending against insider threats and internal data leakage (Guest Editorial) (You Ilsun, Lenzini Gabriele, Ogiela Marek R., Bertino Elisa), In Security and Communication Networks, John Wiley & Sons, Ltd., volume 5, 2012. [bibtex]
[725]International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes), (Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff, eds.), IFAAMAS, 2012. [bibtex]
[724]Short sight in extensive games (Davide Grossi, Paolo Turrini), In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), 2012. [bibtex]
[723]Dependence in games and dependence games (Davide Grossi, Paolo Turrini), In Autonomous Agents and Multi-Agent Systems, Springer, volume 25, 2012. [bibtex]
[722]Proceedings of the 5th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2012) (Valentin Goranko, Wojciech Jamroga), (Valentin Goranko, Wojciech Jamroga, eds.), IFAAMAS, 2012. [bibtex]
[721]State and Path Effectivity Models for Logics of Multi-Player Games (Valentin Goranko, Wojciech Jamroga), In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2012, Springer, 2012. [bibtex]
[720]Strategic games and truly playable effectivity functions (Valentin Goranko, Wojciech Jamroga, Paolo Turrini), In Autonomous Agents and Multi-Agent Systems, Springer, 2012. [bibtex]
[719]Strategic Games and Truly Playable Effectivity Functions (V. Goranko, W. Jamroga, P. Turrini), In Journal of Autonomous Agents and Multi-Agent Systems, Springer, 2012. (Published through Online First) [bibtex]
[718]LAMAS'2012, (V. Goranko, W. Jamroga, eds.), IFAAMAS, 2012. [bibtex]
[717]Towards a More Semantically Transparent i* Visual Syntax (Nicolas Genon, Patrice Caire, Hubert Toussaint, Patrick Heymans, Daniel Moody), In Requirements Engineering: Foundation for Software Quality - 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings. Lecture Notes in Computer Science 7195 Springer 2012, Springer Berlin Heidelberg, volume 7195, 2012. [bibtex]
[716]Selecting judgment aggregation rules for NAO robots: an experimental approach (Vijayalakshmi Ganesan, Sergio Sousa, Marija Slavkovik, Leendert van der Torre), In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), International Foundation for Autonomous Agents and Multiagent Systems, 2012. [bibtex]
[715]Overview on the connection between reactive Kripke models and argumentation networks (Dov Gabbay), In Ann. Math. Artif. Intell., Springer, volume 66, 2012. [bibtex]
[714]Introducing reactive modal tableaux (Dov Gabbay), In Ann. Math. Artif. Intell., Springer, volume 66, 2012. [bibtex]
[713]Introducing reactive Kripke semantics and arc accessibility (Dov M. Gabbay), In Ann. Math. Artif. Intell., volume 66, 2012. [bibtex]
[712]Completeness theorems for reactive modal logics (Dov Gabbay), In Ann. Math. Artif. Intell., Springer, volume 66, 2012. [bibtex]
[711]Global view on reactivity: switch graphs and their logics (Dov M. Gabbay, Sérgio Marcelino), In Ann. Math. Artif. Intell., volume 66, 2012. [bibtex]
[710]Diagram Analysis Report: Use Cases for Conviviality and Privacy in Ambient Intelligent Systems (Vasileios Efthymiou, Patrice Caire), Univrersity of Luxembourg,, 2012. [bibtex]
[709]Privacy challenges in ambient intelligent systems: A critical discussion. (Vasileios Efthymiou, Patrice Caire), In Proceedings of the 3rd Privacy Protection Symposium - Atelier protection de la vie privée (APVP), 2012. [bibtex]
[708]Modeling and Evaluating Cooperation in Multi-Context Systems using Conviviality. (Vasileios Efthymiou, Patrice Caire, Antonis Bikakis), In Proceedings of BNAIC 2012 The 24th Benelux Conference on Artificial Intelligence, 2012. [bibtex]
[707]A programming approach to monitoring communication in an organisational environment (Mehdi Dastani, Leendert van der Torre, Neil Yorke-Smith), In AAMAS '12 Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3, 2012. [bibtex]
[706]Data and Applications Security and Privacy XXVI - 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings, (Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquín García-Alfaro, eds.), Springer, volume 7371, 2012. [bibtex]
[705]Abstract Normative Systems: Semantics and Proof Theory (Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata), In Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, 2012. [bibtex]
[704]Visualizing Normative Systems: an Abstract Approach (Silvano Colombo Tosatto, Guido Boella, Leon van der Torre, Serena Villata), In Deontic Logic in Computer Science - 11th International Conference, DEON 2012, 2012. [bibtex]
[703]Algorithms for Basic Compliance Problems (Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leender van der Torre), In Benelux conference on Artificial Intelligence (BNAIC), 2012. [bibtex]
[702]Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, (Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin, eds.), Springer, volume 7519, 2012. [bibtex]
[701]Semi-stable semantics (Martin Caminada, Walter Carnielli, Paul Dunne), In J. Log. Comput., Oxford Journals, volume 22, 2012. [bibtex]
[700]User-Computer Persuasion Dialogue for Grounded Semantics (Martin Caminada, Miko?aj Podlaszewski), In Proceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012), 2012. [bibtex]
[699]Grounded Semantics as Persuasion Dialogue (Martin Caminada, Miko?aj Podlaszewski), In Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), IOS Press, volume 245, 2012. [bibtex]
[698]Conviviality by Design (Patrice Caire, Antonis Bikakis, Vasileios Efthymiou), In Social computing, Social cognition, social networks Acquisition, representation and reasoning with contextualized knowledge (ARCOE 2012), 2012. [bibtex]
[697]Discussion Paper: Changing Norms Is Changing Obligation Change (Jan Broersen, Dov Gabbay, Leendert van der Torre), In Deontic Logic in Computer Science, Springer, volume 7393, 2012. [bibtex]
[696]Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, (Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, eds.), AAAI Press, 2012. [bibtex]
[695]A general family of preferential belief removal operators (Richard Booth, Thomas Meyer, Chattrakul Sombattheera), In Journal of Philosophical Logic, Springer, volume 41, 2012. [bibtex]
[694]Quantifying disagreement in argument-based reasoning (Richard Booth, Martin Caminada, Mikolaj Podlaszewski, Iyad Rahwan), In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), International Foundation for Autonomous Agents and Multiagent Systems, 2012. [bibtex]
[693]Credibility-limited revision operators in propositional logic' (Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramon Pino Pérez), In Proceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012), 2012. [bibtex]
[692]Quantifying disagreement in argument-based reasoning (Richard Booth, Martin Caminada, Mikolaj Podlaszewski, Iyad Rahwan), In AAMAS, 2012. [bibtex]
[691]Credibility-Limited Revision Operators in Propositional Logic (Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez), In KR, 2012. [bibtex]
[690]Credibility-limited revision operators in propositional logic (Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramon Pino Pérez), In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), AAAI, 2012. [bibtex]
[689]Conditional acceptance functions (Richard Booth, Souhila Kaci, Tjitze Rienstra, Leon van der Torre), In Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), IOS Press, volume 245, 2012. [bibtex]
[688]PTL: A propositional typicality logic (Richard Booth, Thomas Meyer, Ivan Vazinczak), In 13th Conference on Logics in Artificial Intelligence (JELIA 2012), Springer Berlin Heidelberg, volume 7519, 2012. [bibtex]
[687]Legal Knowledge Management Systems for Regulatory Compliance (Guido Boella, Joris Hulstijn, Llio Humphreys, Livio Robaldo, Leendert Van der Torre), In IX Conference of the Italian Chapter of AIS, 2012. [bibtex]
[686]Towards Legal Knowledge Management Systems for Regulatory Compliance (Guido Boella, Joris Hulstijn, Llio Humphreys, Marijn Janssen, Leendert van der Torre), In IX Conference of the Italian Chapter of AIS, 2012. [bibtex]
[685]NLP Challenges for Eunomos, a Tool to Build and Manage Legal Knowledge (Guido Boella, Luigi di Caro, Llio Humphreys, Livio Robaldo, Leendert van der Torre), In Proceedings of the Eighth International Conference on Language Resources and Evaluation (LREC '12), European Language Resources Association (ELRA), 2012. [bibtex]
[684]Eunomos, a Legal Document and Knowledge Management System to Build Legal Services (Guido Boella, Llio Humphreys, Marco Martin, Piercarlo Rossi, Leendert van der Torre), In AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents (Monica (Editor) Palmirani, Ugo (Editor) Pagallo, Pompeu (Editor) Casanovas, Giovanni (Editor) Sartor, eds.), Springer, volume 7639, 2012. [bibtex]
[683]Dependence Networks for Agreement Technologies (Guido Boella, Patrice Caire, Leendert van der Torre, Serena Villata), In AT2012, Agreement Technologies, Proceedings of the First International Conference on Agreement Technologies, CEUR, volume 918, 2012. [bibtex]
[682] Reasoning for Agreement Technologies (Guido Boella, Leendert van der Torre), In ECAI, 2012. [bibtex] [pdf]
[681] Learning and reasoning about norms using neural-symbolic systems (Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert van der Torre), In AAMAS, 2012. [bibtex] [pdf]
[680]Causal dynamic inference (Alexander Bochman, Dov M. Gabbay), In Ann. Math. Artif. Intell., volume 66, 2012. [bibtex]
[679]Introducing Conviviality as a property of Multi-Context Systems (Antonis Bikakis, Vasileios Efthymiou, Patrice Caire, Yves Le Traon), In Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE 2012), 2012. [bibtex]
[678]Embedding and automating conditional logics in classical higher-order logic (Christoph Benzmuller, Dov Gabbay, Valerio Genovese, Daniele Rispoli), In Ann. Math. Artif. Intell., Springer, volume 66, 2012. [bibtex]
[677]Embedding and automating conditional logics in classical higher-order logic (Christoph Benzmüller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli), In Ann. Math. Artif. Intell., volume 66, 2012. [bibtex]
[676]On Input/Output Argumentation Frameworks (Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert van der Torre, Serena Villata), In Computational Models of Argument (Proceedings of COMMA 2012), IOS Press, 2012. [bibtex]
[675]Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday, (Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis, eds.), Springer, volume 7360, 2012. [bibtex]
[674]A General QBF-based Formalization of abstract Argumentation Theory (Ofer Arieli, Martin Caminada), In Computational Models of Argument - Proceedings of COMMA 2012, IOS Press, volume 245, 2012. [bibtex]
[673]Normative Multi-Agent Systems (Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leendert van der Torre), In Dagstuhl Reports, volume 2, 2012. [bibtex]
[672]Normative Multi-Agent Systems (Dagstuhl Seminar 12111) (Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leon van der Torre), In Dagstuhl Reports, volume 2, 2012. [bibtex]
[671]A Product Line Modeling and Configuration Methodology to Support Model-based Testing: An Industrial Case Study (Shaukat Ali, Tao Yue, Lionel Briand, Suneth Walawege), In Proceedings of ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS'12), Springer-Verlag, 2012. [bibtex]
[670]Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, (Thomas Ågotnes, Jan Broersen, Dag Elgesem, eds.), Springer, volume 7393, 2012. [bibtex]
[669]Fairness in Non-repudiation Protocols (W. Jamroga, S. Mauw, M. Melissen), Springer, 2012. [bibtex]
[668]Dependence Networks for Agreement Technologies (G. Boella, P. Caire, L. van der Torre, S. Villata), In , CEUR, 2012. [bibtex]
[667]Overview on the connection between reactive Kripke models and argumentation networks (D. M. Gabbay), In , Springer, 2012. [bibtex]
[666]Introducing reactive modal tableaux (D. M. Gabbay), In , Springer, 2012. [bibtex]
[665]Introducing reactive Kripke semantics and arc accessibility (D. M. Gabbay), In , Springer, 2012. [bibtex]
[664]Global view on reactivity: switch graphs and their logics (D. M. Gabbay, S. Marcelino), In , Springer, 2012. [bibtex]
[663]Embedding and automating conditional logics in classical higher-order logic (C. Benzmuller, D. M. Gabbay, V. Genovese, D. Rispoli), In , Springer, 2012. [bibtex]
[662]Completeness theorems for reactive modal logics (D. M. Gabbay), In , Springer, 2012. [bibtex]
[661]Judgement aggregation for multiagent systems (M. Slavkovik), PhD thesis, , 2012. [bibtex]
[660]Between Argument and Conclusion - Argument-based Approaches to Discussion, Inference and Uncertainty (Y. Wu), PhD thesis, , 2012. [bibtex]
[659]Modalities for Access Control: Logics, Proof-Theory and Applications (V. Genovese), PhD thesis, , 2012. [bibtex]
[658] NLP Challenges for Eunomos, a Tool to Build and Manage Legal Knowledge (G. Boella, L. di Caro, L. Humphreys, L. Robaldo, L. van der Torre), European Language Resources Association (ELRA), 2012. [bibtex] [pdf]
[657]Causal dynamic inference (A. Bochman, D. M. Gabbay), In , Springer, 2012. [bibtex]
[656] Eunomos, a Legal Document and Knowledge Management System to Build Legal Services (G. Boella, L. Humphreys, M. Martin, P. Rossi, L. van der Torre), Springer, 2012. [bibtex] [pdf]
[655]Why Be Afraid of Identity? (X. Parent), Springer, 2012. [bibtex]
[654]Modelling defeasible and prioritized support in bipolar argumentation (S. Villata, G. Boella, D. M. Gabbay, L. van der Torre), In , Springer Science & Business Media B.V., 2012. [bibtex]
[653]A logic of argumentation for specification and verification of abstract argumentation frameworks (S. Villata, G. Boella, D. M. Gabbay, L. van der Torre), In , Springer, 2012. [bibtex]
[652]Agent Programming Languages Requirements for Programming Cognitive Robots (extended abstract) (P. Ziafati, M. Dastani, J.-J. Meyer, L. van der Torre), 2012. [bibtex]
[651]Normative Multi-Agent Systems (G. Andrighetto, G. Governatori, P. Noriega, L. van der Torre), 2012. [bibtex]
[650]A programming approach to monitoring communication in an organisational environment (M. Dastani, L. van der Torre, N. Yorke-Smith), 2012. [bibtex]
[649]Visualizing Normative Systems: an Abstract Approach (S. Colombo Tosatto, G. Boella, L. van der Torre, S. Villata), Springer, 2012. [bibtex]
[648]Learning and Reasoning about Norms using Neural-Symbolic Systems (A. Perotti, G. Boella, S. Colombo Tosatto, A. S. d\text'Avila Garcez, V. Genovese, L. van der Torre), 2012. [bibtex]
[647]Abstract Normative Systems: Semantics and Proof Theory (S. Colombo Tosatto, G. Boella, L. van der Torre, S. Villata), 2012. [bibtex]
[646]State and Path Effectivity Models for Logics of Multi-Player Games (V. Goranko, W. Jamroga), Springer, 2012. [bibtex]
[645]Distance-Based Rules for Weighted Judgment Aggregation (Extended Abstract) (M. Slavkovik, W. Jamroga), 2012. [bibtex]
[644]Specification and Verification of Multi-Agent Systems (W. Jamroga, W. Penczek), Springer, 2012. [bibtex]
[643]Concepts, Agents, and Coalitions in Alternating Time (W. Jamroga), 2012. [bibtex]
[642]LAMAS 2012 Proceedings of the 5rd Workshop on Logical Aspects of Multi-Agent Systems, (W. Jamroga, V. Goranko, eds.), IFAAMAS, 2012. [bibtex]
[641]Contrary-To-Duties in Games (P. Turrini, X. Parent, L. van der Torre, S. Colombo Tosatto), Springer, 2012. [bibtex]
[640]A general family of preferential belief removal operators (R. Booth, T. Meyer, C. Sombattheera), In , Springer, 2012. [bibtex]
[639]Quantifying disagreement in argument-based reasoning (R. Booth, M. Caminada, M. Podlaszewski, I. Rahwan), 2012. [bibtex]
[638]PTL: A propositional typicality logic (R. Booth, T. Meyer, I. Vazinczak), 2012. [bibtex]
[637]Conditional acceptance functions (R. Booth, S. Kaci, T. Rienstra, L. van der Torre), 2012. [bibtex]
[636]Credibility-limited revision operators in propositional logic (R. Booth, E. Ferm\texté, S. Konieczny, R. Pino P\textérez), 2012. [bibtex]
[635]Credibility-limited revision operators in propositional logic (R. Booth, E. Ferm\texté, S. Konieczny, R. Pino P\textérez), 2012. [bibtex]
2011
[634]Judgment aggregation rules based on minimization. (J. Lang, G. Pigozzi, M. Slavkovik, L. van der Torre), In Actes des Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 11) (J.L. Dessalles, S. Konieczny, eds.), 2011. (3-5 June 2009, Lannion, France) [bibtex]
[633]Transforming Fuzzy Description Logic ALC_FL into Classical Description Logic ALCH (Yining Wu), Chapter in BNAIC 2011, 2011. [bibtex]
[632]Conditional Ranking Revision - Iterated revision with sets of conditionals (Emil Weydert), In Journal of Philosophical Logic, Springer, 2011. [bibtex]
[631]Semi-stable Extensions for Infinite Frameworks (Emil Weydert), In Procs. of the 23nd Benelux Conference on Artificial Intelligence (BNAIC'11), 2011. [bibtex]
[630]IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, (Toby Walsh, ed.), IJCAI/AAAI, 2011. [bibtex]
[629] Arguing about the Trustworthiness of the Information Sources (Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre), In ECSQARU, 2011. [bibtex] [pdf]
[628] Attack Semantics for Abstract Argumentation (Serena Villata, Guido Boella, Leendert van der Torre), In IJCAI, 2011. [bibtex] [pdf]
[627]10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, (Liz Sonenberg, Peter Stone, Kagan Tumer, Pinar Yolum, eds.), IFAAMAS, 2011. [bibtex]
[626]Distance-based Judgment Aggregation of Three-valued Judgments with Weights (M. Slavkovik, W. Jamroga), In Proceedings of the IJCAI Workshop on Social Choice and Artificial Intelligence (E. Elkind, U. Endriss, J. Lang, eds.), 2011. [bibtex]
[625] Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems (Antonino Rotolo, Leendert van der Torre), In RuleML Europe, 2011. [bibtex] [pdf]
[624] Multi-sorted Argumentation (Tjitze Rienstra, Alan Perotti, Serena Villata, Dov Gabbay Leendert van der Torre), In Proceedings of the 1st International Workshop on the Theory and Applications of Formal Argumentation (TAFA 2011), 2011. [bibtex] [pdf]
[623]The Functional Interpretation of Logical Deduction (R. de Queiroz, A.G. de Oliveira, D.M. Gabbay), Imperial College Press, World Scientific, to appear, 2011. [bibtex]
[622]An Implementation of Basic Argumentation Components (Demonstration) (Mikolaj Podlaszewski, Martin Caminada, Gabriella Pigozzi), In Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May, 2-6, 2011 (Tumer, Yolum, Sonenberg, Stone, eds.), 2011. [bibtex]
[621]Moral particularism in the light of deontic logic (Xavier Parent), In Artif. Intell. Law, volume 19, 2011. [bibtex]
[620]Agent and Multi-Agent Systems: Technologies and Applications - 5th KES International Conference, KES-AMSTA 2011, Manchester, UK, June 29 - July 1, 2011. Proceedings, (James O'Shea, Ngoc Thanh Nguyen, Keeley A. Crockett, Robert J. Howlett, Lakhmi C. Jain, eds.), Springer, volume 6682, 2011. [bibtex]
[619]Agents, Actions and Goals in Dynamic Environments (P. Novak, W. Jamroga), In Proceedings of IJCAI-11, 2011. [bibtex]
[618] Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008) (Ron van der Meyden, Leon van der Torre), In J. Applied Logic, volume 9, 2011. [bibtex] [pdf]
[617] The Generative Capacity of the Lambek-Grishin Calculus: A New Lower Bound (Matthijs Melissen), In Proceedings of Formal Grammar 2009 (Philippe de Groote, Markus Egg, Laura Kallmeyer, eds.), Springer, volume 5591, 2011. [bibtex] [pdf]
[616]Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011. Proceedings, (Weiru Liu, ed.), Springer, volume 6717, 2011. [bibtex]
[615]Data and Applications Security and Privacy XXV - 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings, (Yingjiu Li, ed.), Springer, volume 6818, 2011. [bibtex]
[614] Judgment aggregation rules based on minimization (J. Lang, G. Pigozzi, M. Slavkovik, L. van der Torre), In Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, ACM, 2011. [bibtex] [pdf]
[613]A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems (S. Kramer, P.Y.A. Ryan), In Proceedings of the RE-affiliated Workshop on Requirements Engineering for Electronic Voting Systems, IEEE, 2011. [bibtex]
[612]Comparing Variants of Strategic Ability (W. Jamroga, N. Bulling), In Proceedings of IJCAI-11, 2011. [bibtex]
[611] Doubtful Deviations and Farsighted Play (Wojciech Jamroga, Matthijs Melissen), In Progress in Artificial Intelligence, Proceedings of the 15th Portuguese Conference on Artificial Intelligence (Luis Antunes, Helena Sofia Pinto, eds.), Springer, volume 7026, 2011. [bibtex] [pdf]
[610]Strategic Games and Truly Playable Effectivity Functions (V. Goranko, W. Jamroga, P. Turrini), In Proceedings of AAMAS2011, 2011. [bibtex]
[609]New Modalities for Access Control Logics: Permission, Control and Ratification (Valerio Genovese, Deepak Garg), In 7th International Workshop on Security and Trust Management - STM 2011, 2011. (to appear in LNCS post-proceedings) [bibtex]
[608]A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato), In TABLEAUX, 2011. [bibtex]
[607] Judgment Aggregation for Cooperative Anchoring on the NAO Robots (V. Ganesan, M. Slavkovik, S. Sousa, L. van der Torre), In Works-in-progress track - 3rd International Conference on Social Robotics, 2011. [bibtex] [pdf]
[606]Uncertainty rules in Talmudic Logic (D.M. Gabbay, M. Koppel), In History and Philosophy of Logic, volume 32, 2011. [bibtex]
[605]Reactive intuitionistic tableaux (Dov M. Gabbay), In Synthese, volume 179, 2011. [bibtex]
[604]Equilibria und weiteres Heiteres II (Dov M. Gabbay, Karl Schlechta), In CoRR, volume abs/1108.3033, 2011. [bibtex]
[603]Conditionals and Modularity in General Logics (Dov M. Gabbay, Karl Schlechta), Springer, 2011. [bibtex]
[602]Introducing Equational Semantics for Argumentation Networks (Dov M. Gabbay), In ECSQARU, 2011. [bibtex]
[601]Dungs Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger (D.M. Gabbay), In Logica Universalis, Springer, volume 5, 2011. [bibtex]
[600]M4M'2011 and LAMAS'2011, (H. van Ditmarsch, D. Fernandez Duque, V. Goranko, W. Jamroga, M. Ojeda-Aciego, eds.), Elsevier, volume 278, 2011. [bibtex]
[599]Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings, (James P. Delgrande, Wolfgang Faber, eds.), Springer, volume 6645, 2011. [bibtex]
[598]Reactive automata (Maxime Crochemore, Dov M. Gabbay), In Inf. Comput., volume 209, 2011. [bibtex]
[597]Manipulation in Group Argument Evaluation (Martin Caminada, Gabriella Pigozzi, Mikolaj Podlaszewski), In IJCAI, 2011. [bibtex]
[596]Manipulation in Group Argument Evaluation (Extended Abstract) (Martin Caminada, Gabriella Pigozzi, Miko\laj Podlaszewski), In Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May, 2-6, 2011 (Tumer, Yolum, Sonenberg, Stone, eds.), 2011. [bibtex]
[595]On the Limitations of Abstract Argumentation (Martin Caminada, Yining Wu), Chapter in BNAIC 2011, 2011. [bibtex]
[594]On Judgment Aggregation in Abstract Argumentation (Martin W. A. Caminada, Gabriella Pigozzi), In JAAMAS special issue on Computational Social Choice, volume 22, 2011. ((Online First published on November 3, 2009)) [bibtex]
[593] Conviviality measures (Patrice Caire, Baptiste Alcalde, Leendert van der Torre, Chattrakul Sombattheera), In AAMAS, 2011. [bibtex] [pdf]
[592]Alternating Epistemic Mu-Calculus (N. Bulling, W. Jamroga), In Proceedings of IJCAI-11, 2011. [bibtex]
[591]Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings, (Kai Brünnler, George Metcalfe, eds.), Springer, volume 6793, 2011. [bibtex]
[590]Learning conditionally lexicographic preference relations (Richard Booth, Yann Chevaleyre, Jérôme Lang, Jérôme Mengin, Chattrakul Sombattheera), In Proceedings of the 23rd Benelux Conference on Artificial Intelligence, 2011. [bibtex]
[589]How to revise a total preorder (Richard Booth, Thomas Meyer), In Journal of Philosophical Logic, Springer, volume 40, 2011. [bibtex]
[588]Belief change (Richard Booth, Thomas Meyer), In Journal of Indian Council of Philosophical Research, Indian Council of Philosophical Research, volume 27, 2011. [bibtex]
[587]On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic (Richard Booth, Thomas Meyer, Ivan José Varzinczak, Renata Wassermann), In J. Artif. Intell. Res. (JAIR), volume 42, 2011. [bibtex]
[586]Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones--Pörn deontic logic system] (M. de Boer, D. Gabbay, X. Parent, M. Slavkovik), In Synthese, Springer Netherlands, 2011. [bibtex]
[585] Argumentative Agents Negotiating on Potential Attacks (Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata), In KES-AMSTA, 2011. [bibtex] [pdf]
[584] Conditional Labelling for Abstract Argumentation (Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata), In TAFA, 2011. [bibtex] [pdf]
[583] Neural symbolic architecture for normative agents (Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert van der Torre), In AAMAS, 2011. [bibtex] [pdf]
[582] Time and defeasibility in FIPA ACL semantics (Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre), In J. Applied Logic, volume 9, 2011. [bibtex] [pdf]
[581] Group Intention Is Social Choice with Commitment (G. Boella, G. Pigozzi, M. Slavkovik, L. van der Torre), Chapter in Coordination, Organizations, Institutions, and Norms in Agent Systems VI (M. De Vos, N. Fornara, J. Pitt, G. Vouros, eds.), Springer Berlin / Heidelberg, volume 6541, 2011. [bibtex] [pdf]
[580] A Satisficing Agreements Model (G. Boella, G. Pigozzi, M. Slavkovik, L. van der Torre), In Proceedings of the 13th International Workshop on Coordination, Organization, Institutions and Norms (COIN@WI-IAT) (M. B. van Riemsdijk, J.V. Salceda, eds.), 2011. [bibtex] [pdf]
[579]Embedding and Automating Conditional Logics in Classical Higher-Order Logic (Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli), In CoRR, volume abs/1106.3685, 2011. [bibtex]
[578]Quantified Conditional Logics are Fragments of HOL (Christoph Benzmueller, Valerio Genovese), In International Conference on Non-classical Modal and Predicate Logic - NCMPL 2011, 2011. (to appear) [bibtex]
[577]Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings, (Nick Bassiliades, Guido Governatori, Adrian Paschke, eds.), Springer, volume 6826, 2011. [bibtex]
[576]Socially Constructed Trust for Distributed Authorization (Steve Barker, Valerio Genovese), In ESORICS, 2011. [bibtex]
[575]Secommunity: A Framework for Distributed Access Control (Steve Barker, Valerio Genovese), In LPNMR, 2011. [bibtex]
[574] A dynamic logic for privacy compliance (Guillaume Aucher, Guido Boella, Leendert van der Torre), In Artif. Intell. Law, volume 19, 2011. [bibtex] [pdf]
[573] Dynamics in Delegation and Revocation Schemes: A Logical Approach (Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van der Torre), In DBSec, 2011. [bibtex] [pdf]
[572]Computer Security - ESORICS 2011 - 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings, (Vijay Atluri, Claudia Díaz, eds.), Springer, volume 6879, 2011. [bibtex]
[571]Temporal Logic in the Talmud (M. Abraham, I. Belfer, D.M. Gabbay, U. Schild), College Publications, 2011. [bibtex]
[570]Logical Analysis of the Talmudic Rule of General and Specific (Klal-u-Prat) (M. Abraham, D.M. Gabbay, G. Hazut, Y. Maruyka, U. Schild), In History and Philosophy of Logic, volume 32, 2011. [bibtex]
[569]Resolution of conflicts and normative loops in the Talmud (M. Abraham, D.M. Gabbay, U. Schild), College Publications, 2011. [bibtex]
[568]Obligations and prohibitions in Talmudic deontic logic (Michael Abraham, Dov M. Gabbay, Uri J. Schild), In Artif. Intell. Law, volume 19, 2011. [bibtex]
2010
[567]A Labelling-Based Justification Status of Arguments (M.W.A. Caminada Y. Wu, M. Podlaszewski), In Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR), 2010. [bibtex]
[566]Transforming Fuzzy Description Logic ALC_FL into Classical Description Logic ALCH (Yining Wu), Chapter in Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), Springer Verlag, 2010. [bibtex]
[565]A Labelling-Based Justification Status of Arguments (Y. Wu, M.W.A. Caminada), In Studies in Logic, volume 3, 2010. [bibtex]
[564]Ranking revision with conditional knowledge bases (Emil Weydert), In Procs. of the 22nd Benelux Conference on Artificial Intelligence (BNAIC'10), 2010. [bibtex]
[563]A normative multiagent approach to requirements engineering (Serena Villata), In Logic Journal of the IGPL, volume 18, 2010. [bibtex]
[562] Arguing about Trust in Multiagent Systems (Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre), In Proceedings of the 11th Symposium on Artificial Intelligence of the Italian Association for Artificial Intelligence (AIIA'10), 2010. [bibtex] [pdf]
[561] Deontic Redundancy: A Fundamental Challenge for Deontic Logic (Leendert van der Torre), In DEON, 2010. [bibtex] [pdf]
[560]Modeling Decisions for Artificial Intelligence - 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings, (Vicenç Torra, Yasuo Narukawa, Marc Daumas, eds.), Springer, volume 6408, 2010. [bibtex]
[559]On the Profitability of Incompetence (E. Staab, M.W.A. Caminada), In Proceedings of the Eleventh International Workshop on Multi-Agent-Based Simulation (MABS) (T. Bosse, A. Geller, C.M. Jonker, eds.), 2010. [bibtex]
[558]Coalition Description Logic for Individuals (\.I. Seylan, W. Jamroga), In Electronic Notes in Theoretical Computer Science, Springer, volume 262, 2010. [bibtex]
[557]The Many Faces of Deception (Ch. Sakama, M.W.A. Caminada), In Proceedings of the Thirty Years of Nonmonotonic Reasoning (NonMon\@30), 2010. [bibtex]
[556]Aggregation problems and models: what comes first? (Gabriella Pigozzi), Chapter in The Present Situation in the Philosophy of Science (F. Stadler et al., ed.), Springer, 2010. (141-152) [bibtex]
[555]A Reasoning Framework for Ambient Intelligence (Theodore Patkos, Ioannis Chryssakis, Antonis Bikakis, Dimitris Plexousakis, Grigoris Antoniou), In SETN (Stasinos Konstantopoulos, Stavros J. Perantonis, Vangelis Karkaletsis, Constantine D. Spyropoulos, George A. Vouros, eds.), Springer, volume 6040, 2010. [bibtex]
[554]A complete axiom set for Hansson's deontic logic DSDL2 (Xavier Parent), In Logic Journal of the IGPL, volume 18, 2010. [bibtex]
[553]Moral Particularism and Deontic Logic (Xavier Parent), In DEON, 2010. [bibtex]
[552]On the Deployment of Contextual Reasoning in Ambient Intelligence Environments (Constantinos Papatheodorou, Antonis Bikakis, Grigoris Antoniou), In Intelligent Environments (IE), 2010. [bibtex]
[551]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, (Julian A. Padget, Alexander Artikis, Wamberto Weber Vasconcelos, Kostas Stathis, Viviane Torres da Silva, Eric T. Matson, Axel Polleres, eds.), Springer, volume 6069, 2010. [bibtex]
[550]Argumentation in Multi-Agent Systems, 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers, (Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet, eds.), Springer, volume 6057, 2010. [bibtex]
[549]An Implementation of Basic Argumentation Components (Y. Wu M. Pdslaszewski, M.W.A. Caminada), In Proceedings of the DEMO session of the Thirs International Conference on Computational Models or Argument (COMMA), 2010. [bibtex]
[548]Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, (Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds.), AAAI Press, 2010. [bibtex]
[547] Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent (Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer), In Proceedings of the Conference on Decision and Game Theory for Security (GameSec 2010), Springer, volume 6442, 2010. [bibtex] [pdf]
[546]Comparing Variants of Strategic Ability (W. Jamroga, N. Bulling), In Proceedings of EUMAS2010, 2010. [bibtex]
[545]Reliable Methods of Judgement Aggregation (Stephan Hartmann, Gabriella Pigozzi, Jan Sprenger), In J. Log. Comput., volume 20, 2010. [bibtex]
[544]Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, (Guido Governatori, Giovanni Sartor, eds.), Springer, volume 6181, 2010. [bibtex]
[543]Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fi esole, Italy, July 7-9, 2010. Proceedings, (Guido Governatori, Giovanni Sartor, eds.), Springer, volume 6181, 2010. [bibtex]
[542]Strategic Games and Truly Playable Effectivity Functions (V. Goranko, W. Jamroga, P. Turrini), In Proceedings of EUMAS2010, 2010. [bibtex]
[541]Proceedings of the 3rd Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2010), (V. Goranko, W. Jamroga, eds.), IFAAMAS, 2010. [bibtex]
[540]A constructive conditional logic for access control: a preliminary report (Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato), In ECAI, 2010. [bibtex]
[539] Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving (Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre), In STAIRS, 2010. [bibtex] [pdf]
[538]Modal and Temporal Argumentation Networks (Dov Gabbay, H. Barringer), In Time for Verification (Springer, ed.), 2010. [bibtex]
[537]Non-Deductive Inference in the Talmud (D. M. Gabbay, M. Abraham, U. Schild), College Publications, 2010. [bibtex]
[536]Subsumption and Count as Relation in Argument Ontologies (D. M. Gabbay, G. Boella, S. Villata), In Proceedings of NMR 2010, 2010. [bibtex]
[535]A Theory of Hierarchical Consequence and Conditionals (Dov M. Gabbay, Karl Schlechta), In Journal of Logic, Language and Information, volume 19, 2010. [bibtex]
[534]A Comment on Work by Booth and Co-authors (Dov M. Gabbay, Karl Schlechta), In Studia Logica, volume 94, 2010. [bibtex]
[533]Data and Applications Security and Privacy XXIV, 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010. Proceedings, (Sara Foresti, Sushil Jajodia, eds.), Springer, volume 6166, 2010. [bibtex]
[532]Computational Logic in Multi-Agent Systems. Proceedings of CLIMA XI, (J. Dix, J. Leite, G. Governatori, W. Jamroga, eds.), Springer, volume 6245, 2010. [bibtex]
[531]Reasoning about Strategies of Multi-Agent Programs (M. Dastani, W. Jamroga), In Proceedings of AAMAS2010, 2010. [bibtex]
[530]ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, (Helder Coelho, Rudi Studer, Michael Wooldridge, eds.), IOS Press, volume 215, 2010. [bibtex]
[529]A Logical Account of Lying (M.W.A. Caminada Ch. Sakama, A. Herzig), In Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA) (Tomi Janhunen, Ilkka Niemelä, eds.), Springer Berlin / Heidelberg, volume 6341, 2010. [bibtex]
[528]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, (Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, Gianmaria Ajani, eds.), Springer, volume 6237, 2010. [bibtex]
[527]Preferred Semantics as Socratic Discussion (M.W.A. Caminada), In Proceedings of the eleventh AI*IA symposium on artificial intelligence (Alfonso E. Gerevini, Alessandro Saetti, eds.), 2010. [bibtex]
[526]An Algorithm for Stage Semantics (M.W.A. Caminada), In Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010), 2010. [bibtex]
[525]Manipulation in group argument evaluation (M.W.A. Caminada, G. Pigozzi, M. Podlaszewski), In Proceedings of the 8th European Workshop on Multi-Agent Systems, 2010. [bibtex]
[524]On the Existence of Semi-Stable Extensions (M.W.A. Caminada, B. Verheij), In Proceedings of the 22nd Benelux Conference on Artificial Intelligence, 2010. [bibtex]
[523]On the Jusification Status of Arguments (M.W.A. Caminada, Y. Wu), In Proceedings of the 22nd Benelux Conference on Artificial Intelligence, 2010. [bibtex]
[522]New Tools for Conviviality: Masks, Norms, Ontology, Requirements and Measures (Patrice Caire), PhD thesis, Luxembourg University, Luxembourg, 2010. [bibtex]
[521]How to import the concept of conviviality to web communities (Patrice Caire), In IJWBC, volume 6, 2010. [bibtex]
[520] Convivial Ambient Technologies: Requirements, Ontology and Design (Patrice Caire, Leendert van der Torre), In Comput. J., volume 53, 2010. [bibtex] [pdf]
[519]Model Checking Logics of Strategic Ability: Complexity (N. Bulling, J. Dix, W. Jamroga), Chapter in Specification and Verification of Multi-Agent Systems (M. Dastani, K. Hindriks, J.-J. Meyer, eds.), Springer, 2010. [bibtex]
[518]Verifying Agents with Memory Is Harder than It Seemed (N. Bulling, W. Jamroga), In Proceedings of AAMAS2010, 2010. [bibtex]
[517]Verifying Agents with Memory Is Harder than It Seemed (N. Bulling, W. Jamroga), In AI Communications, IOS Press, volume 23, 2010. [bibtex]
[516]Learning conditionally lexicographic preference relations (Richard Booth, Yann Chevaleyre, Jérôme Lang, Jérôme Mengin, Chattrakul Sombattheera), In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), 2010. [bibtex]
[515]Horn Belief Change: A Contraction Core (Richard Booth, Thomas Meyer, Ivan José Varzinczak, Renata Wassermann), In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), 2010. [bibtex]
[514]Double preference relations for generalised belief change (Richard Booth, Samir Chopra, Thomas Meyer, Aditya Ghose), In Artificial Intelligence, volume 174, 2010. [bibtex]
[513]Equilibria in social belief removal (Richard Booth, Thomas Meyer), In Synthese, volume 177, 2010. [bibtex]
[512]A contraction core for Horn belief change: Preliminary report (Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann), In Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR 2010), 2010. [bibtex]
[511]Logic and the Foundations of Game and Decision Theory - LOFT 8, 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers, (Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek, eds.), Springer, volume 6006, 2010. [bibtex]
[510] Higher-Order Coalition Logic (Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre), In ECAI, 2010. [bibtex] [pdf]
[509] A Logical Understanding of Legal Interpretation (Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre), In KR, 2010. [bibtex] [pdf]
[508] The role of goals in belief selection (Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert van der Torre), In Logic Journal of the IGPL, volume 18, 2010. [bibtex] [pdf]
[507]Coalition Formation via Negotiation in Multiagent Systems with Voluntary Attacks (Guido Boella, Dov M. Gabbay, Alan Perotti, Serena Villata), In Procs. of the 22th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC'10), 2010. [bibtex]
[506] Support in Abstract Argumentation (Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata), In Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10), Frontiers in Artificial Intelligence and Applications, IOS Press, 2010. [bibtex] [pdf]
[505]Subsumption and Count as Relation in Arguments Ontologies (Guido Boella, Dov M. Gabbay, Serena Villata), In Procs. of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10), 2010. [bibtex]
[504]Normative Multiagent Systems: Guest Editors' Introduction (Guido Boella, Gabriella Pigozzi, Munindar P. Singh, Harko Verhagen), In Logic Journal of the IGPL, volume 18, 2010. [bibtex]
[503] Group Intentions are Social Choice with Commitment (Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Procs. of the 8th European Workshop on Multi-agent Systems (EUMAS'10), 2010. [bibtex] [pdf]
[502] Group Intentions are Social Choice with Commitment (Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Procs. of the 11th International Workshop on Coordination, Optimization, Institution and Norms in Multiagent Systems (COIN@MALLOW'10), 2010. [bibtex] [pdf]
[501] Trust in Abstract Argumentation (Guido Boella, Leendert van der Torre, Serena Villata), In Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10), 2010. [bibtex] [pdf]
[500]Rule-Based Contextual Reasoning in Ambient Intelligence (Antonis Bikakis, Grigoris Antoniou), In Semantic Web Rules - International Symposium, RuleML 2010 (Mike Dean, John Hall, Antonino Rotolo, Said Tabet, eds.), Springer, volume 6403, 2010. [bibtex]
[499]Defeasible Contextual Reasoning in Ambient Intelligence: Theory and Applications (Antonis Bikakis, Grigoris Antoniou), In OTM Workshops (Robert Meersman, Tharam S. Dillon, Pilar Herrero, eds.), Springer, volume 6428, 2010. [bibtex]
[498]Contextual Argumentation in Ambient Intelligence: Overview and Future Steps (Antonis Bikakis, Grigoris Antoniou), In Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10), 2010. [bibtex]
[497]Defeasible Contextual Reasoning with Arguments in Ambient Intelligence (Antonis Bikakis, Grigoris Antoniou), In IEEE Transactions on Knowledge and Data Engineering, volume 22, 2010. [bibtex]
[496]Individual Opinions-Based Judgment Aggregation Procedures (Farah Benamara, Souhila Kaci, Gabriella Pigozzi), In MDAI, 2010. [bibtex]
[495]A Logic of Privacy (Steve Barker, Valerio Genovese), In DBSec, 2010. [bibtex]
[494] A Middleware for Modelling Organizations and Roles in Jade (Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert van der Torre), In Post-proceedings of the 7th International Workshop on Programming Multi-Agent Systems (Promas 2009), 2010. [bibtex] [pdf]
[493] Privacy Policies with Modal Logic: The Dynamic Turn (Guillaume Aucher, Guido Boella, Leendert van der Torre), In DEON, 2010. [bibtex] [pdf]
[492]Reasoning with Imperfect Context and Preference Information Reasoning with Imperfect Context and Preference Information in Multi-Context Systems (Grigoris Antoniou, Antonis Bikakis, Constantinos Papatheodorou), In Advances in Databases and Information Systems - 14th East European Conference, ADBIS 2010 (Barbara Catania, Mirjana Ivanovic, Bernhard Thalheim, eds.), Springer, volume 6295, 2010. [bibtex]
[491]Reasoning about Context in Ambient Intelligence Environments: A Report from the Field (Grigoris Antoniou, Constantinos Papatheodorou, Antonis Bikakis), In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010 (Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds.), AAAI Press, 2010. [bibtex]
[490]Obligations and Prohibitions in Talmudic Deontic Logic (Michael Abraham, Dov M. Gabbay, Uri J. Schild), In DEON, 2010. [bibtex]
[489]STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium, Lisbon, Portugal, 16-20 August, 2010, (Thomas Ågotnes, ed.), IOS Press, volume 222, 2010. [bibtex]
2009
[488] Five guidelines for normative multiagent systems (Guido Boella, Gabriella Pigozzi, Leendert van der Torre), In Proceedings of JURIX 2009 - The 22nd International Conference on Legal Knowledge and Information Systems, IOS Press, 2009. [bibtex] [pdf]
[487] Input/output logics (Xavier Parent, Leendert van der Torre), In 9th De Morgan Workshop on Deontic Logic, 2009. [bibtex] [pdf]
[486]White Manipulation in Judgment Aggregation (Davide Grossi, Gabriella Pigozzi, Marija Slavkovik), In Proceedings of BNAIC 2009 - The 21st Benelux Conference on Artificial Intelligence (to appear), 2009. [bibtex]
[485] A complete conclusion-based procedure for judgment aggregation (Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), Technical report, University of Luxembourg, 2009. [bibtex] [pdf]
[484] Formal ex-post rationalization - A complete conclusion-based procedure for judgment aggregation (Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Proceedings of the Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 09), 2009. (3-5 June 2009, Lannion, France) [bibtex] [pdf]
[483]Global and local graph modifiers (Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig), In Electronic Notes in Theoretical Computer Science, Elsevier, volume 231, 2009. [bibtex]
[482] Normative systems in computer science. Ten guidelines for normative multiagent systems (Guido Boella, Gabriella Pigozzi, Leendert van der Torre), In Normative Multi-Agent Systems, Dagstuhl Seminar Proceedings 09121 (Guido Boella, P. Noriega, Gabriella Pigozzi, H. Verhagen, eds.), 2009. (15-20 March 2009, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany) [bibtex] [pdf]
[481]Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming (Yining Wu, Martin Caminada, Dov M. Gabbay), In Studia Logica, volume 93, 2009. [bibtex]
[480]Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming (Yining Wu, Martin W. A. Caminada), In BNAIC 2009, 2009. (To appear) [bibtex]
[479] Programming Normative Artifacts with Declarative Obligations and Prohibitions (Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre), In IAT, 2009. [bibtex] [pdf]
[478]Assessing the Impact of Informedness on a Consultant's Profit (Eugen Staab, Martin W. A. Caminada), Technical report, University of Luxembourg, 2009. [bibtex]
[477]Simulating Knowledge and Dishonesty in a Client-Consultant Setting (Eugen Staab, Martin W. A. Caminada), In BNAIC 2009, 2009. (demonstrator (to appear)) [bibtex]
[476]8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, (Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, eds.), IFAAMAS, 2009. [bibtex]
[475]Description Logic for Coalitions (Inanc Seylan, Wojciech Jamroga), In Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09, 2009. [bibtex]
[474] Dependency in Cooperative Boolean Games (Luigi Sauro, Leendert van der Torre, Serena Villata), In Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings (Anne Håkansson, Ngoc Thanh Nguyen, Ronald L. Hartung, Robert J. Howlett, Lakhmi C. Jain, eds.), Springer, volume 5559, 2009. [bibtex] [pdf]
[473] A Complete Conclusion-Based Procedure for Judgment Aggregation (Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Algorithmic Decision Theory, First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings (Francesca Rossi, Alexis Tsoukiàs, eds.), Springer, volume 5783, 2009. [bibtex] [pdf]
[472]A complete axiom set for Hansson's deontic logic DSDL2 (Xavier Parent), In Logic Journal of the IGPL, 2009. (To appear) [bibtex]
[471] Normative multi-agent systems (Xavier Parent, Leendert van der Torre, Guido Boella), 2009. (Tutorial at the European Agent Systems Summer School (EASSS'09), Torino) [bibtex] [pdf]
[470]Code Patterns for Agent Oriented Programming (Peter Novak, Wojciech Jamroga), In Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09, 2009. [bibtex]
[469]Proof Theories and Algorithms for Abstract Argumentation Frameworks (S. Modgil, Martin W.A. Caminada), Chapter in Argumentation in Artificial Intelligence (I. Rahwan, G. Simari, eds.), Springer Publishing Company, Incorporated, 2009. [bibtex]
[468]English syntactic reordering for English-Thai phrase-based statistical machine translation (Nawaphol Labutsri, Rapeeporn Chamchong, Richard Booth, Annupan Rodtook), In Proceedings of the 6th International Joint Conference on Computer Science and Software Engineering (JCSSE 2009), 2009. [bibtex]
[467]Modal Foundations for Argumentation Networks (Dov Gabbay), In Studia Logica, 2009. [bibtex]
[466]Non-Monotonicity and Holicity in Quantum Logic (Dov Gabbay, K. Engesser, D. Lehmann), Chapter in , Elsevier Science, 2009. [bibtex]
[465]Logical Modes of Attack in Argumentation Networks (Dov Gabbay, A. Garcez), In studia logica, 2009. [bibtex]
[464]Revision, Acceptability and Context (D. Gabbay, O. Rodrigues, A. Russo), Springer, 2009. [bibtex]
[463]Size and Logic (Dov Gabbay, Karl Schlechta), In Review of symbolic logic, volume 2, 2009. [bibtex]
[462]Independence-Revision and Defaults (Dov Gabbay, Karl Schlechta), In Studia Logica, volume 92, 2009. [bibtex]
[461]Roadmap for Preferential Logics (Dov Gabbay, Karl Schlechta), In Journal of Applied Non-classical Logics, volume 19, 2009. [bibtex]
[460]An Analysis of Defeasible Inheritance Systems (Dov Gabbay, Karl Schlechta), In Logic Journal of the IGPL, 2009. [bibtex]
[459]Reactive Preferential Structures and Nonmonotonic consequence (Dov Gabbay, Karl Schlechta), In Review of Symbolic Logic, volume 2, 2009. [bibtex]
[458]A Theory of Hierarchical Conditionals (Dov Gabbay, Karl Schlechta), In Journal of Logic Language and Information, 2009. (To appear) [bibtex] [doi]
[457]Logical Tools for Handling Change in Agent-based Systems (Dov Gabbay, Karl Schlechta), Springer, 2009. [bibtex]
[456]Quantification in Non-classical Logics (D. Gabbay, V. Shehtman, D. Skvortsov), Elsevier, 2009. [bibtex]
[455]Voting with Second Order Quantifier Elimination (Dov Gabbay, A. Szalas), In studia logica, volume 92, 2009. [bibtex]
[454]Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview (Dov M. Gabbay), In Studia Logica, volume 93, 2009. [bibtex]
[453]Fibring Argumentation Frames (Dov M. Gabbay), In Studia Logica, volume 93, 2009. [bibtex]
[452]Logical Modes of Attack in Argumentation Networks (Dov M. Gabbay, Artur S. d'Avila Garcez), In Studia Logica, volume 93, 2009. [bibtex]
[451]Modal Logics of Reactive Frames (Dov M. Gabbay, Sérgio Marcelino), In Studia Logica, volume 93, 2009. [bibtex]
[450]An Analysis of Defeasible Inheritance Systems (Dov M. Gabbay, K. Schlechta), In Logic Journal of the IGPL, 2009. [bibtex]
[449]Reactive Preferencial Structures and Nonmonotonic consequence (Dov M. Gabbay, K. Schlechta), In Review of Symbolic Logic, volume 2, 2009. [bibtex]
[448]Annotation Theories over Finite Graphs (Dov M. Gabbay, Andrzej Szalas), In Studia Logica, volume 93, 2009. [bibtex]
[447]Voting by Eliminating Quantifiers (Dov M. Gabbay, Andrzej Szalas), In Studia Logica, volume 92, 2009. [bibtex]
[446] Preface for Studia Logica Special Issue (2) (Dov M. Gabbay, Leendert van der Torre), In Studia Logica, volume 93, 2009. [bibtex] [pdf]
[445]Fallacies as Cognitive Virtues (Dov M. Gabbay, J. Woods), In Logic, Games and Philosophy: Foundational Perspectives, 2009. [bibtex]
[444]An Introduction to Formal Argumenation (Martin W. A. Caminada), 2009. (Tutorial at the International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California) [bibtex]
[443]Truth, Lies and Bullshit; distinguishing classes of dishonesty (Martin W. A. Caminada), In Social Simulation workshop (SS@IJCAI), 2009. [bibtex]
[442]Truth, Lies and BS; distinguishing classes of dishonesty (Martin W. A. Caminada), In BNAIC 2009, 2009. (Short paper (to appear)) [bibtex]
[441]A Logical Account of Formal Argumentation (Martin W. A. Caminada, Dov M. Gabbay), In Studia Logica, volume 93, 2009. [bibtex]
[440]An Argument Game for Stable Semantics (Martin W. A. Caminada, Yining Wu), In Logic Journal of the IGPL, volume 17, 2009. [bibtex]
[439]How to import the concept of conviviality to web communities (Patrice Caire), In International Journal of Web Based Communities (IJWBC), volume 3, 2009. [bibtex]
[438] Designing Convivial Digital Cities: A Social Intelligence Design Approach (Patrice Caire), In AI Society Journal, volume 24, 2009. [bibtex] [pdf]
[437] A Conviviality Measure for Early Requirement Phase of Multiagent System Design (Patrice Caire, Leendert van der Torre), In Normative Multiagent Systems, 2009. [bibtex] [pdf]
[436] The Design of Convivial Multiagent Systems (Patrice Caire, Leendert van der Torre), In Social Networks and Multiagent Systems symposium; Artificial Intelligence and Simulation of Behaviour, AISB, 2009. [bibtex] [pdf]
[435] Temporal Dependence Networks for the Design of Convivial Multiagent Systems (Patrice Caire, Leendert van der Torre), In Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2009. [bibtex] [pdf]
[434] Convivial ambient technologies: Requirements, ontology, and design (Patrice Caire, Leendert van der Torre), In The Computer Journal, volume 3, 2009. [bibtex] [pdf]
[433]Rational Play and Rational Beliefs under Uncertainty (Nils Bulling, Wojciech Jamroga), In Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09, 2009. [bibtex]
[432]What Agents Can Probably Enforce (Nils Bulling, Wojciech Jamroga), In Fundamenta Informaticae, volume 93, 2009. [bibtex]
[431]Learning various classes of models of lexicographic orderings (Richard Booth, Yann Chevaleyre, Jèrôme Lang, Jèrôme Mengin, Chattrakul Sombattheera), In Proceedings of the ECML/PKDD-09 Workshop on Preference Learning (PL 2009), 2009. [bibtex]
[430]Double preference relations for generalised belief change (Richard Booth, Samir Chopra, Thomas Meyer, Aditya Ghose), In Artificial Intelligence, 2009. [bibtex]
[429]A general family of preferential belief removal operators (Richard Booth, Thomas Meyer, Chattrakul Sombattheera), In Proceedings of the 2nd International Workshop on Logic, Rationality and Interaction (LORI 2009) (X. He, J. Horty, E. Pacuit, eds.), Springer, volume 5834, 2009. (Also presented at the 8th Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2009), 2009.) [bibtex]
[428]Next steps in propositional Horn contraction (Richard Booth, Thomas Meyer, Ivan José Varzinczak), In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009) (C. Boutilier, ed.), 2009. (Also presented at the 9th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), 2009) [bibtex]
[427]First steps in EL contraction (Richard Booth, Thomas Meyer, Ivan José Varzinczak), In Proceedings of the Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE 2009), 2009. [bibtex]
[426]An axiomatic approach to firewall rule update (Richard Booth, Wijittra Noisanguan), In Proceedings of the 6th International Joint Conference on Computer Science and Software Engineering (JCSSE 2009), 2009. [bibtex]
[425] it Lex Minus Dixit Quam Voluit, it Lex Magisit Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation (Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre), In AICOL Workshops, 2009. [bibtex] [pdf]
[424] Dynamics in argumentation with single extensions: attack refinement and the grounded extension (Guido Boella, Souhila Kaci, Leendert van der Torre), In AAMAS (2), 2009. [bibtex] [pdf]
[423] Conditional Dependence Networks in Requirements Engineering (Guido Boella, Leendert van der Torre, Serena Villata), In COIN@AAMAS&IJCAI&MALLOW, 2009. [bibtex] [pdf]
[422] Representing Excuses in Social Dependence Networks (Guido Boella, Jan Broersen, Leendert van der Torre, Serena Villata), In AI*IA, Springer, 2009. [bibtex] [pdf]
[421] Norm Negotiation in Online Multi-Player Games (Guido Boella, Patrice Caire, Leendert van der Torre), In Knowledge Information System Journal, volume 18, 2009. [bibtex] [pdf]
[420] Fibred Security Language (Guido Boella, Dov Gabbay, Valerio Genovese, Leendert van der Torre), In Studia Logica, volume 92, 2009. [bibtex] [pdf]
[419] Meta-Argumentation Modelling I: Methodology and Techniques (Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata), In Studia Logica, volume 93, 2009. [bibtex] [pdf]
[418] A Multimodal view on Access Control and Trust Management: Fibred Security Language (Guido Boella, Valerio Genovese, Dov Gabbay, Leendert van der Torre), In Proceedings of STM09, 2009. [bibtex] [pdf]
[417] Checking Consistency in role oriented Dependence Networks (Guido Boella, Valerio Genovese, Leendert van der Torre, Serena Villata), In BNAIC 2009: 21th Belgian - Netherlands Conference on Artificial Intelligence, 2009. [bibtex] [pdf]
[416] Social network semantics for agent communication (Guido Boella, Joris Hulstijn, Leendert van der Torre), In 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2 (Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, eds.), IFAAMAS, 2009. [bibtex] [pdf]
[415] Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension (Guido Boella, Souhila Kaci, Leendert van der Torre), In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings (Claudio Sossai, Gaetano Chemello, eds.), Springer, volume 5590, 2009. [bibtex] [pdf]
[414] Normative framework for normative system change (Guido Boella, Gabriella Pigozzi, Leendert van der Torre), In The 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1 (Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, eds.), IFAAMAS, 2009. [bibtex] [pdf]
[413] Algorithms for finding coalitions exploiting a new reciprocity condition (Guido Boella, Luigi Sauro, Leendert W. N. van der Torre), In Logic Journal of the IGPL, volume 17, 2009. [bibtex] [pdf]
[412] Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics (Guido Boella, Leendert van der Torre, Serena villata), In Proceedings of COIN, 2009. [bibtex] [pdf]
[411] Four measures for the dynamics of coalitions in social networks (Guido Boella, Leendert van der Torre, Serena Villata), In HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29 - July 1, 2009 (Ciro Cattuto, Giancarlo Ruffo, Filippo Menczer, eds.), ACM, 2009. [bibtex] [pdf]
[410] Analyzing Cooperation in Iterative Social Network Design (Guido Boella, Leendert van der Torre, Serena Villata), In Journal of Universal Computer, volume 15(13), 2009. [bibtex] [pdf]
[409] A Normative Multiagent Approach to Requirements Engineering (Guido Boella, Leendert van der Torre, Serena Villata), In SNAMAS, 2009. [bibtex] [pdf]
[408] A Normative Multiagent Approach to Requirements Engineering (Guido Boella, Leendert van der Torre, Serena Villata), In Postproceedings COIN@AAMAS 2009, Springer, 2009. [bibtex] [pdf]
[407] On the Acceptability of Meta-Arguments (Guido Boella, Leendert van der Torre, Serena Villata), In IAT 2009: Procs. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IEEE, 2009. [bibtex] [pdf]
[406]Logical Modelling of Evolvable Systems (H. Barringer, Dov Gabbay, D. Rydeheard), In Logic Journal of IGPL, 2009. [bibtex] [doi]
[405]A Meta-model of Access Control in a Fibred Security Language (Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese), In Studia Logica, volume 92, 2009. [bibtex]
[404]An Implementation of Argument Based Discussion (Patrizio Barbini, Yining Wu, Martin Caminada), 2009. (AAMAS 2009. (demonstrator)) [bibtex]
[403] A Middleware for modeling Organizations and Roles in Jade (Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Andrea Mugnaini, Leendert van der Torre), In Proceedings of PROMAS, 2009. [bibtex] [pdf]
[402] The Interplay between Relationships, Roles and Objects (Matteo Baldoni, Guido Boella, Leendert van der Torre), In Proceedings of FSEN09, Springer, 2009. [bibtex] [pdf]
[401]BMS revisited (Guillaume Aucher), In Proceedings of the 12th conference on Theoretical Aspects of Rationality and Knowledge (TARK 2009) (Aviad Heifetz, ed.), Stanford, 2009. [bibtex]
[400]An internal version of epistemic logic (Guillaume Aucher), In Studia logica, 2009. (To appear) [bibtex]
[399]Generalizing AGM to a multi-agent setting (Guillaume Aucher), In Logic journal of the IGPL, 2009. (To appear) [bibtex]
[398] Dynamic context logic and its application to norm change (Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini), In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings (Guido Boella, Pablo Noriega, Gabriella Pigozzi, Harko Verhagen, eds.), 2009. (Extended abstract) [bibtex] [pdf]
[397]Dynamic context logic (Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini), In Proceedings of Logic, Rationality and Interaction (LORI 2009) (X. He, J. Horty, E. Pacuit, eds.), Springer Verlag, volume 5884, 2009. [bibtex]
[396]Exploring the power of converse events (Guillaume Aucher, Andreas Herzig), Chapter in The Dynamic Turn in Epistemology, Springer, 2009. (To appear) [bibtex]
[395] Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic (Guillaume Aucher, Guido Boella, Leendert van der Torre), In AICOL Workshops, 2009. [bibtex] [pdf]
[394]Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal-Vachomer) using Matrix Abduction (M. Abraham, Dov Gabbay, U. Schild), In Studia Logica, volume 92, 2009. [bibtex]
[393]Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009, Milan, Italy, 15-18 September 2009, IEEE, 2009. [bibtex]
2008
[392]A Sound and Complete Deductive System for CTL Verification (Dov M. Gabbay, A. Pnueli), In Logic Journal of IGPL, volume 16, 2008. [bibtex]
[391]Belief Revision in Non-classical Logic II (Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo), In The Review of Symbolic Logic, volume 1, 2008. [bibtex]
[390]Cumulativity without closure of the domain under finite unions (Dov M. Gabbay, K. Schlechta), In The Review of Symbolic Logic, volume 1, 2008. [bibtex]
[389] Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity (Yi Zhou, Leendert van der Torre, Yan Zhang), In AAMAS (1), 2008. [bibtex] [pdf]
[388] Goal Change in the Context of Beliefs: Partial Implication, Logical Properties, and Complexity (Leendert van der Torre Yan Zhang Yi Zhou), In Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008. [bibtex] [pdf]
[387]From Human Regulations to Regulated Software Agents' Behavior (J. Vazquez-Salceda, Huib Aldewereld, Davide Grossi, Frank Dignum), In Artificial Intelligence and Law, volume 16, 2008. [bibtex]
[386] Time and Defeasibility in FIPA ACL Semantics (Antonino Rotolo, Guido Boella, Guido Governatori, Joris Hulstijn, Regis Riveret, Leendert van der Torre), In Proceedings of WLIAMAS 2008, IEEE, 2008. [bibtex] [pdf]
[385] Conclusion-based procedure for judgment aggregation satisfying premise independence (Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Proceedings of the Eighth International Conference on Logic and the Foundations of Game and Decision Theory, LOFT 2008 (G. Bonanno, B. Lowe, W. van der Hoek, eds.), 2008. [bibtex] [pdf]
[384] Desirable Tie-breaking Rules in Collective Decision Making (Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Annales du Lamsade, Proceedings of the DIMACS-LAMSADE Workshop on Algorithmic Decision Theory (B. Roy V. Paschos, ed.), 2008. [bibtex] [pdf]
[383] Independence in judgment aggregation (Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Proceedings of the Ninth International Meeting of the Society for Social Choice and Welfare, SCW'08, 2008. [bibtex] [pdf]
[382] From belief change to norm change (Gabriella Pigozzi, Leendert van der Torre), In Prague International Colloquium: Logic of change, change of logic, LOCCOL'08, 2008. [bibtex] [pdf]
[381]Conviviality Masks in Role-Based Institutions Multi-Agent Teleconferencing in Virtual Worlds (Serena Villata Leendert van der Torre Guido Boella Patrice caire), In Proceedings of AAMAS 2008), 2008. [bibtex]
[380]7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1, (Lin Padgham, David C. Parkes, Jörg P. Müller, Simon Parsons, eds.), IFAAMAS, 2008. [bibtex]
[379] The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories (Igor Carboni Oliveira, Walter Carnielli), In Logic Journal of IGPL, volume 16, 2008. [bibtex] [pdf] [doi]
[378] Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, (Ron van der Meyden, Leendert van der Torre, eds.), Springer, volume 5076, 2008. [bibtex] [pdf]
[377] Preference Change Triggered by Belief Change: A Principled Approach (Jérôme Lang, Leendert van der Torre), In LOFT, 2008. [bibtex] [pdf]
[376] From belief change to preference change (Jerome Lang, Leendert van der Torre), In Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008), 2008. [bibtex] [pdf]
[375] Reasoning With Various Kinds of Preferences: Logic, Non-Monotonicity, and Algorithms (Souhila Kaci, Leendert van der Torre), In Annals of Operations Research, volume 163, 2008. [bibtex] [pdf]
[374] Preference-based argumentation: Arguments supporting multiple values (Souhila Kaci, Leendert van der Torre), In Int. J. Approx. Reasoning, volume 48, 2008. [bibtex] [pdf]
[373] Pushing Anderson's Envelope: The Modal Logic of Ascription (Davide Grossi), In 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 (Ron van der Meyden, Leendert van der Torre, eds.), Springer, 2008. [bibtex] [pdf]
[372]Linguistic Relevance in Modal Logic (Davide Grossi), In Proceedings of the 20th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC'08) (A. Nijholt, M. Pantic, M. Poel, G.H.W. Hondorp, eds.), 2008. [bibtex]
[371] A Normative View on The Blocks World (Davide Grossi, Dov Gabbay, Leendert van der Torre), In Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS'08) (Guido Boella, Munindar Singh, Gabriella Pigozzi, Harko Verhagen, eds.), 2008. [bibtex] [pdf]
[370] The Many Faces of Counts-as: A Formal Analysis of Constitutive-rules (Davide Grossi, John-Jules Meyer, Frank Dignum), In Journal of Applied Logic, Elsevier, volume 6, 2008. [bibtex] [pdf]
[369] Adding Organizations and Roles as Primitives to JADE Framework (Valerio Genovese, Roberto Grenna, Leendert van der Torre, Matteo Baldoni), In Proceedings of the 3rd International Workshop on Normative Multiagent Systems, NorMAS'08 (Guido Boella, Munindar Singh, Gabriella Pigozzi, Harko Verhagen, eds.), 2008. [bibtex] [pdf]
[368]Introducing Reactive Kripke Semantics and Arc Accessibility (Dov M. Gabbay), In Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (Arnon Avron, Nachum Dershowitz, Alexander Rabinovich, eds.), Springer, volume 4800, 2008. [bibtex]
[367] Reactive Kripke Models and Contrary to Duty Obligations (Dov M. Gabbay), In Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings (Ron van der Meyden, Leendert van der Torre, eds.), Springer, volume 5076, 2008. [bibtex] [pdf]
[366]Cut-Based Abduction (Dov M. Gabbay, M. D'Agostino, M. Finger), In Logic Journal of IGPL, volume 16, 2008. [bibtex]
[365]Quantum Logic (Dov M. Gabbay, K. Engesser, D. Lehmann), College publications, 2008. [bibtex]
[364]Connectionist Non-classical Logics: Distributed Reasoning & Learning in Neural Networks (Dov M. Gabbay, A. S. DÕAvila Garcez, L. C. Lamb), Springer-Verlag, 2008. [bibtex]
[363]Proof theory for Fuzzy logics (Dov M. Gabbay, G. Metcalfe, N. Olivetti), Springer, 2008. [bibtex]
[362]Belief Revision (Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo), Chapter in Handbook of Philosophical Logic, Kluwer, 2008. [bibtex]
[361]Second-order Quantifier Elimination (Dov M. Gabbay, R. Schmidt, A. Szalas), College publications, 2008. [bibtex]
[360]Resource-origins of Nonmonotonicity (Dov M. Gabbay, John Woods), In Studia Logica, volume 88, 2008. [bibtex]
[359] Institutional Social Networks for Ambient Intelligence (Boella G., L. van der Torre, Villata S.), In AISB 2008, 2008. [bibtex] [pdf]
[358]Computability: Computable Functions, Logic, and the Foundations of Mathematics (Richard L. Epstein, Walter Carnielli), Advanced Reasoning Forum, volume 3rd. Edition, 2008. [bibtex]
[357]Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks (Paul E. Dunne, Martin Caminada), In Logics in Artificial Intelligence, 11th European Conference (JELIA 2008) (Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, eds.), Springer, volume 5293, 2008. [bibtex]
[356]Analysis and synthesis of logics (Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas), Springer, volume 35, 2008. [bibtex]
[355]Are the foundations of computer science logic-dependent? (Walter Carnielli, Francisco Dória), Chapter in Dialogues, Logics and Other Strange Things--Essays in Honour of Shahid Rahman (CDédric Dégremont, Laurent Keiff, Helge RŸckert, eds.), College Publications, 2008. [bibtex]
[354]Modalities and Multimodalities (Walter Carnielli, Claudio Pizzi), Springer, volume 12, 2008. [bibtex]
[353]Preservation of interpolation features by fibring (Walter Carnielli, João Rasga, Cristina Sernadas), In Journal of Logic and Computation, volume 18, 2008. [bibtex]
[352] On the Issue of Contraposition of Defeasible Rules (Martin Caminada), In Computational Models of Argument: Proceedings of COMMA 2008 (Philippe Besnard, Sylvie Doutre, Anthony Hunter, eds.), IOS Press, volume 172, 2008. [bibtex] [pdf]
[351]An Algorithm for Semi-Stable Semantics (Martin Caminada), In Proceedings of BNAIC 2008, the twentieth Belgian-Dutch Artificial Intelligence Conference (Anton Nijholt, Maja Pantic, Mannes Poel, Hendri Hondorp, eds.), 2008. [bibtex]
[350] A formal account of Socratic-style argumentation (Martin Caminada), In Journal of Applied Logic, volume 6, 2008. [bibtex] [pdf]
[349]Towards and Argument Game for Stable Semantics (Martin Caminada, Yining Wu), In Proceedings of the 8th workshop on Computational Models of Natural Argument (CMNA 2008) (Nancy Green Rodger Kibble Floriana Grasso, Chris Reed, eds.), 2008. [bibtex]
[348]Towards and Argument Game for Stable Semantics (Martin Caminada, Yining Wu), In Proceedings of BNAIC 2008, the twentieth Belgian-Dutch Artificial Intelligence Conference (Anton Nijholt, Maja Pantic, Mannes Poel, Hendri Hondorp, eds.), 2008. [bibtex]
[347]Designing convivial digital cities (Patrice Caire), In 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Doctoral Mentoring Program, IFAAMAS, 2008. [bibtex]
[346] Conviviality masks in multiagent systems (Patrice Caire, Serena Villata, Guido Boella, Leendert van der Torre), In 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 3 (Lin Padgham, David C. Parkes, Jörg Müller, Simon Parsons, eds.), IFAAMAS, 2008. [bibtex] [pdf]
[345] Conditional norms and dyadic obligations in time (Jan Broersen, Leendert van der Torre), In Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008), 2008. [bibtex] [pdf]
[344]What do we accept after an announcement? (Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini), In Prague International Colloquium: Logic of change, change of logic, LOCCOL'08, 2008. [bibtex]
[343]Changing Attitudes About Attitude Change (Mathijs de Boer, Emil Weydert), In Prague International Colloquium: Logic of change, change of logic, LOCCOL'08, 2008. [bibtex]
[342] Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations (Guido Boella, Jan Broersen, Leendert van der Torre), In Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings (The Duy Bui, Tuong Vinh Ho, Quang-Thuy Ha, eds.), Springer, volume 5357, 2008. [bibtex] [pdf]
[341] Making Others Believe What They Want (Guido Boella, Célia da Costa Pereira, Andrea Tettamanzi, Leendert van der Torre), In Artificial Intelligence in Theory and Practice II, IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy (Max Bramer, ed.), Springer, volume 276, 2008. [bibtex] [pdf]
[340]Editorial to the Third International Workshop on Normative Multiagent Systems (Guido Boella, Gabriella Pigozzi, Munindar Singh, Harko Verhagen), In Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS'08) (Guido Boella, Munindar Singh, Gabriella Pigozzi, Harko Verhagen, eds.), 2008. [bibtex]
[339] Substantive and procedural norms in normative multiagent systems (Guido Boella, Leendert van der Torre), In J. Applied Logic, volume 6, 2008. [bibtex] [pdf]
[338] Institutions with a hierarchy of authorities in distributed dynamic environments (Guido Boella, Leendert van der Torre), In Artif. Intell. Law, volume 16, 2008. [bibtex] [pdf]
[337] Introduction to the special issue on normative multiagent systems (Guido Boella, Leendert van der Torre, Harko Verhagen), In Autonomous Agents and Multi-Agent Systems, volume 17, 2008. [bibtex] [pdf]
[336] Changing Institutional Goals and Beliefs of Autonomous Agents (Guido Boella, Leendert van der Torre, Serena Villata), In Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings (The Duy Bui, Tuong Vinh Ho, Quang-Thuy Ha, eds.), Springer, volume 5357, 2008. [bibtex] [pdf]
[335] Social Viewpoints for Arguing about Coalitions (Guido Boella, Leendert van der Torre, Serena Villata), In Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings (The Duy Bui, Tuong Vinh Ho, Quang-Thuy Ha, eds.), Springer, volume 5357, 2008. [bibtex] [pdf]
[334] Self Adaptive Coalitions in Multiagent Systems (Guido Boella, Leendert van der Torre, Serena Villata), In Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008), IEEE, 2008. [bibtex] [pdf]
[333]Formal Aspects of Legislative Meta Drafting (C. Biagioli, Davide Grossi), In Proceedings of the 21st International Conference on Legal Knowledge and Information Systems (JURIX'08) (Giovanni Sartor, E. Francesconi, D. Tiscornia, eds.), 2008. [bibtex]
[332]Judgment Aggregation with Rule Confidence Scores (Farah Benamara, Souhila Kaci, Gabriella Pigozzi), In Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08) (M. Pagnucco, M. Thielscher, eds.), 2008. [bibtex]
[331]Collective Decision Making with Individual Confidence Scores in the Decision Rule (Farah Benamara, Souhila Kaci, Gabriella Pigozzi), In Annales du Lamsade, Proceedings of the DIMACS-LAMSADE Workshop on Algorithmic Decision Theory (B. Roy V. Paschos, ed.), 2008. [bibtex]
[330] E-business Outsourcing: a New Approach combining Information Rights Technologies and Agent-Based Theory on Norms (Patrizio Barbini, Guido Boella, Pier-Carlo Rossi, Leendert van der Torre), In Proceedings of the International Conference on Electronic Commerce in the 21th Century (ECIC-2008), Central Department of Computer Science and Information Technology, Institute of Science and Technology, Tribhuvan University, 2008. [bibtex] [pdf]
[329] How to Program Organizations and Roles in the JADE Framework (Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Leendert van der Torre), In Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings (Ralph Bergmann, Gabriela Lindemann, Stefan Kirn, Michal Pechoucek, eds.), Springer, volume 5244, 2008. [bibtex] [pdf]
[328]Consistency Preservation and Crazy Formulas in BMS (Guillaume Aucher), In Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings (Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, eds.), Springer, volume 5293, 2008. [bibtex]
[327]Internal models and private multi-agent belief revision (Guillaume Aucher), In 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2 (Lin Padgham, David C. Parkes, Jörg Müller, Simon Parsons, eds.), IFAAMAS, 2008. [bibtex]
[326]Refinement on the notion of event (Guillaume Aucher), In Prague International Colloquium: Logic of change, change of logic, LOCCOL'08, 2008. [bibtex]
2007
[325]Ranking revision reloaded (extended abstract) (Emil Weydert), In Formal Models of Belief Change in Rational Agents, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), volume 07531, 2007. [bibtex]
[324]Judgment Aggregation and the Problem of Truth-Tracking (Gabriella Pigozzi, Stephan Hartmann), In Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), 25--27 June 2007, Brussels, Belgium, 2007. [bibtex]
[323] Aggregation in Multi-Agent Systems and the Problem of Truth-Tracking (Gabriella Pigozzi, Stephan Hartmann), In Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 07), 14--18 May 2007, Honolulu, Hawaii, USA, 2007. [bibtex] [pdf]
[322] Premise Independence in Judgment Aggregation (G. Pigozzi, L. van der Torre), In Formal Models of Belief Change in Rational Agents, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), volume 07531, 2007. [bibtex] [pdf]
[321] What is Input/Output Logic? Input/Output Logic, Constraints, Permissions (David Makinson, Leendert W. N. van der Torre), In Normative Multi-agent Systems, 2007. [bibtex] [pdf]
[320] On the Acceptability of Incompatible Arguments (Souhila Kaci, Leendert W.N. van der Torre, Emil Weydert), In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 -- November 2, 2007, Proceedings (Khaled Mellouli, ed.), Springer, volume 4724, 2007. [bibtex] [pdf]
[319] Ten Philosophical Problems in Deontic Logic (Jörg Hansen, Gabriella Pigozzi, Leendert van der Torre), In Normative Multi-agent Systems (Guido Boella, Leon van der Torre, Harko Verhagen, eds.), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [bibtex] [pdf]
[318] An Attacker Model for Normative Multi-agent Systems (Leendert W.N. van der Torre Guido Boella), In 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 (Hans-Dieter Burkhard, Gabriela Lindemann, László Zsolt Varga Rineke Verbrugge, eds.), Springer, volume 4696, 2007. [bibtex] [pdf]
[317] Contextual Deliberation of Cognitive Agents in Defeasible Logic (poster) (G. Governatori, M. Dastani, A. Rotolo, I. Song, L. van der Torre), In Proceedings of AAMAS07, 2007. [bibtex] [pdf]
[316]Common Foundations for Belief Revision, Belief Merging and Voting (Dov Gabbay, Gabriella Pigozzi, Odinaldo Rodrigues), In Formal Models of Belief Change in Rational Agents, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), volume 07531, 2007. [bibtex]
[315] Contextual Agent Deliberation in Defeasible Logic (Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert van der Torre), In PRIMA, Springer, 2007. [bibtex] [pdf]
[314]Comparing Two Unique Extension Semantics for Formal Argumentation: Ideal and Eager (Martin Caminada), In BNAIC 2007, 2007. [bibtex]
[313]An Algorithm for Computing Semi-Stable Semantics (Martin Caminada), In ECSQARU 2007, Springer, volume 4724, 2007. [bibtex]
[312]Postulates for Paraconsistent Reasoning and Fault Tolerant Logic Programming (M. Caminada, J. Ben-Naim), Technical report, Institute of Information and Computing Sciences, Utrecht University, 2007. [bibtex]
[311] Conviviality for Digital Cities: A Normative Multi-Agent Systems Approach (Patrice Caire), In Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007) (Mehdi Dastani, Edwin de Jong, eds.), 2007. [bibtex] [pdf]
[310] Designing Convivial Digital Cities (Patrice Caire), In Proceedings of the 6th Workshop on Social Intelligence Design (SID'07) (A. Nijholt, O. Stock, T. Nishida, eds.), 2007. [bibtex] [pdf]
[309] A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities (Patrice Caire), In Proceedings of The International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN) (Pablo Noriega, Julian Padget, eds.), 2007. (Durham, UK, 15-26, Aug.) [bibtex] [pdf]
[308] Conviviality for Ambient Intelligence (Patrice Caire), In Proceedings of Artificial Societies for Ambient Intelligence, Artificial Intelligence and Simulation of Behaviour (AISB'07), Newcastle upon Tyne, UK, May 2007 (Patrick Olivier, Christian Kray, eds.), 2007. [bibtex] [pdf]
[307] What an Agent Ought To Do (Jan Broersen, Leendert W. N. van der Torre), In Normative Multi-agent Systems, 2007. [bibtex] [pdf]
[306] Reasoning About Norms, Obligations, Time and Agents (Jan Broersen, Leendert van der Torre), In PRIMA, Springer, 2007. [bibtex] [pdf]
[305] Formal analysis of trace conditioning (T. Bosse, C.M. Jonker, S.A. Los, L. van der Torre, J. Treur), In Cognitive Systems Research Journal, volume 8, 2007. [bibtex] [pdf]
[304]KE Tableaux for Public Announcement Logic (Mathijs de Boer), In Proceedings of the Formal Approaches to Multi-Agent Systems Workshop (FAMAS'007), Durham, UK, 2007. [bibtex]
[303] What You should Believe (Guido Boella, Celia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, and Leendert van der Torre), In Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007) (Mehdi Dastani, Edwin de Jong, eds.), 2007. [bibtex] [pdf]
[302] What You Should Believe: Obligations and Beliefs (G. Boella, C. da Costa Periera, G. Pigozzi, A. Tettamanzi, L. van der Torre), In Proceedings of KI07-Workshop on Dynamics of Knowledge and Belief, 2007. [bibtex] [pdf]
[301] A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments using Roles (G. Boella, R. Damiano, J. Hulstijn, L. van der Torre), In Applied Ontology, volume 2, 2007. [bibtex] [pdf]
[300] Distinguishing Propositional and Action Commitment in Agent Communication (G. Boella, R. Damiano, J. Hulstijn, L. van der Torre), In Proceedings of CMNA'07, 2007. [bibtex] [pdf]
[299] Merging Roles in Coordination and in Agent Deliberation (Guido Boella, Valerio Genovese, Roberto Grenna, Leendert van der Torre), In PRIMA, Springer, 2007. [bibtex] [pdf]
[298] FIPA Communicative Acts in Defeasible Logic (G. Boella, J. Hulstijn, G. Governatori, R. Riveret, A. Rotolo, L. van der Torre), In Proceedings of NRAC'07, 2007. [bibtex] [pdf]
[297] Choosing Your Beliefs (Guido Boella, Célia Da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert van der Torre), In Normative Multi-agent Systems, 2007. [bibtex] [pdf]
[296] From Social Power to Social Importance (G. Boella, L. Sauro, L. van der Torre), In Web Intelligence and Agent Systems journal, volume 5, 2007. [bibtex] [pdf]
[295] Norm negotiation in multiagent systems (Guido Boella, Leendert van der Torre), In International Journal of Cooperative Information Systems (IJCIS) Special Issue: Emergent Agent Societies, volume 16, 2007. [bibtex] [pdf]
[294] The Ontological Properties of Social Roles in Multi-agent Systems: Definitional Dependence, Powers and Roles Playing Roles (G. Boella, L. van der Torre), In Artificial Intelligence and Law Journal (AILaw), 2007. [bibtex] [pdf]
[293] Roles, an interdisciplinary perspective (Guido Boella, Leendert van der Torre, Harko Verhagen), In Applied Ontology, volume 2, 2007. [bibtex] [pdf]
[292] Power in Norm Negotiation (Guido Boella, Leendert W.N. van der Torre), In Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31 -- June 1, 2007, Proceedings (Ngoc Thanh Nguyen, Adam Grzech, Robert J. Howlett, Lakhmi C. Jain, eds.), Springer, volume 4496, 2007. (Best paper award) [bibtex] [pdf]
[291] A Game-Theoretic Approach to Normative Multi-Agent Systems (Guido Boella, Leendert W.N. van der Torre), In Normative Multi-agent Systems, 2007. [bibtex] [pdf]
[290] Introduction to Normative Multiagent Systems (Guido Boella, Leendert W.N. van der Torre, Harko Verhagen), In Normative Multi-agent Systems, 2007. [bibtex] [pdf]
[289] The ontological properties of social roles in multi-agent systems: definitional dependence, powers and roles playing roles (Guido Boella, Leendert W. N. van der Torre), In Artif. Intell. Law, volume 15, 2007. [bibtex] [pdf]
[288]Normative Multi-agent Systems, 18.03. - 23.03.2007, (Guido Boella, Leendert W. N. van der Torre, Harko Verhagen, eds.), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, volume 07122, 2007. [bibtex]
[287]On Agent Prioritization in Trust Networks (Jonathan Ben-Naim, Emil Weydert), In Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007) (Mehdi Dastani, Edwin de Jong, eds.), 2007. [bibtex]
[286]Information Merging with Trust (extended abstract) (Jonathan Ben-Naim, Emil Weydert), In Workshop on Logics and Collective Decision making (LCD'07), 2007. [bibtex]
[285] Roles in Coordination and in Agent Deliberation: A Merger of Concepts (M. Baldoni, G. Boella, V. Genovese, L. van der Torre), In Proceedings of AWESOME07, 2007. [bibtex] [pdf]
[284] Relationships Meet Their Roles in Object Oriented Programming (Matteo Baldoni, Guido Boella, Leendert van der Torre), In International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19 2007, Proceedings (Farhad Arbab, Marjan Sirjani, eds.), Springer, volume 4767, 2007. [bibtex] [pdf]
[283] Interaction between Objects in powerJava (Matteo Baldoni, Guido Boella, Leendert van der Torre), In Journal of Object Technology, volume 6, 2007. [bibtex] [pdf]
[282] Adding Roles to Relationship Patterns (M. Baldoni, G. Boella, L. van der Torre), In Proceedings of WOA07, 2007. [bibtex] [pdf]
[281] Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects (Matteo Baldoni, Guido Boella, Leendert W.N. van der Torre), In Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers (Rafael H. Bordini, Mehdi Dastani, Jörgen Dix, Amal El Fallah-Seghrouchni, eds.), Springer, volume 4411, 2007. [bibtex] [pdf]
[280] Cut-free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics (Arnon Avron, Jonathan Ben-Naim, Beata Konikowska), In Journal Logica Universalis, volume 1, 2007. [bibtex] [pdf]
[279] Integrating Architectural Models (F. Arbab, F.S. de Boer, M. Bonsangue, M.M. Lankhorst, H.A. Proper, L. van der Torre), In Enterprise Modelling and Information Systems Architectures, volume 1, 2007. [bibtex] [pdf]
2006
[278]Rankings from Merging - a preliminary version (E. Weydert), 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), 2006. [bibtex]
[277] Landscape Maps for Enterprise Architectures. (L. van der Torre, M. Lankhorst, H. ter Doest, J. Campschroer, F. Arbab), In Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings (E. Dubois, K. Pohl, eds.), Springer, volume 4001, 2006. [bibtex] [pdf]
[276]Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, (Francesca Toni, Paolo Torroni, eds.), Springer, volume 3900, 2006. [bibtex]
[275] Using XML Transformations for Enterprise Architectures (A. Stam, J. Jacob, F. S. de Boer, M. Bonsangue, L. van der Torre), In Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (T. Margaria, B. Steffen, eds.), Springer, volume 4313, 2006. [bibtex] [pdf]
[274]Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation (G. Pigozzi), In Synthese, volume 152(2), 2006. [bibtex]
[273]Pareto consistency in a model-based perspective on judgment aggregation (G. Pigozzi, D. Eckert), In Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06) (G. Bonanno, W. van der Hoek, M. Wooldridge, eds.), 2006. [bibtex]
[272]Merging judgments and the problem of truth-tracking (G. Pigozzi, S. Hartmann), In Proceedings of the 1st International Workshop on Computational Social Choice (COMSOC 2006) (U. Endriss, J. Lang, eds.), 2006. [bibtex]
[271]Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers, (Simon Parsons, Nicolas Maudet, Pavlos Moraitis, Iyad Rahwan, eds.), Springer, volume 4049, 2006. [bibtex]
[270]Proceedings of the 7th WOA 2006 Workshop, From Objects to Agents (Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006, (Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro, eds.), CEUR-WS.org, volume 204, 2006. [bibtex]
[269]5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, (Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, eds.), ACM, 2006. [bibtex]
[268]Agent-Oriented Software Engineering VI, 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers, (Jörg P. Müller, Franco Zambonelli, eds.), Springer, volume 3950, 2006. [bibtex]
[267]Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers, (Tiziana Margaria, Bernhard Steffen, eds.), Springer, volume 4313, 2006. [bibtex]
[266] Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms. (S. Kaci, L. van der Torre), In 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 (L. Goble, J.-J. Meyer, eds.), Springer, volume 4048, 2006. [bibtex] [pdf]
[265] Merging Optimistic and Pessimistic Preferences (S. Kaci, L. van der Torre), In Proceedings of FUSION 2006, 2006. (Also in proceedings of NMR06) [bibtex] [pdf]
[264] Preference reasoning for argumentation: non-monotonicity and algorithms (S. Kaci, L. van der Torre), In Proceedings of the NMR'06, 2006. [bibtex] [pdf]
[263] Acyclic Argumentation: Attack = Conflict + Preference (S. Kaci, L. van der Torre, E. Weydert), In 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 (G. Brewka, S. Coradeschi, A. Perini, P. Traverso, eds.), IOS Press, 2006. [bibtex] [pdf]
[262] Design By Contract Deontic Design Language for Multiagent Systems (C. Garion, L. van der Torre), 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, Springer, volume 3913, 2006. [bibtex] [pdf]
[261]Belief revision, belief merging and voting (D. Gabbay, G. Pigozzi, O. Rodrigues), In Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06) (G. Bonanno, W. van der Hoek, M. Wooldridge, eds.), 2006. [bibtex]
[260] Formalisation and Analysis of the Temporal Dynamics of Conditioning (T. Bosse, C. Jonker, S. Los, L. van der Torre, J. Treur), In Agent-Oriented Software Engineering VI, volume 3950, 2006. [bibtex] [pdf]
[259]Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers, (Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni, eds.), Springer, volume 3862, 2006. [bibtex]
[258] Merging Rules: Preliminary Version (R. Booth, S. Kaci, L. van der Torre), In Proceedings of the NMR'06, 2006. [bibtex] [pdf]
[257]Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers, (Olivier Boissier, Julian A. Padget, Virginia Dignum, Gabriela Lindemann, Eric T. Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda, eds.), Springer, volume 3913, 2006. [bibtex]
[256] An architecture of a normative system: counts-as conditionals, obligations and permissions (Guido Boella, Leendert W. N. van der Torre), In AAMAS, 2006. [bibtex] [pdf]
[255] ACL Semantics between Social Commitments and Mental Attitudes (G. Boella, R. Damiano, J. Hulstijn, L. van der Torre), In International Workshops on Agent Communication, AC 2005 and AC 2006, Springer, volume 3859, 2006. [bibtex] [pdf]
[254] Role-Based Semantics for Agent Communication: Embedding of the `Mental Attitudes' and `Social Commitments' Semantics (G. Boella, R. Damiano, J. Hulstijn, L. van der Torre), Chapter in Procs. of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), ACM, 2006. [bibtex] [pdf]
[253] Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation (G. Boella, J. Hulstijn, Y. Tan, L. van der Torre), 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, Springer, volume 3913, 2006. [bibtex] [pdf]
[252] A Logic of Abstract Argumentation. (G. Boella, J. Hulstijn, L. van der Torre), In Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers (S. Parsons, N. Maudet, P. Moraitis, I. Rahwan, eds.), Springer, volume 4049, 2006. [bibtex] [pdf]
[251] The Roles of Roles in Agent Communication Languages (G. Boella, J. Hulstijn, L. van der Torre), In Procs. of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06), IEEE, 2006. [bibtex] [pdf]
[250] Strengthening Admissible Coalitions (G. Boella, L. Sauro, L. van der Torre), In Procs. of the 17th European Conference on Artificial Intelligence (ECAI'06), IOS, 2006. [bibtex] [pdf]
[249] Security Policies for Sharing Knowledge in Virtual Communities (G. Boella, L. van der Torre), In IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans, volume 36, 2006. [bibtex] [pdf]
[248] A Game Theoretic Approach to Contracts in Multiagent Systems (G. Boella, L. van der Torre), In IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews, volume 36, 2006. [bibtex] [pdf]
[247] Coordination and Organization: Definitions, Examples and Future Research Directions. (G. Boella, L. van der Torre), In Electronic Notes in Theoretical Computer Science (ENTCS), volume 150, 2006. [bibtex] [pdf]
[246] Norm Negotiation Power. (G. Boella, L. van der Torre), In Proceedings of BNAIC06, 2006. [bibtex] [pdf]
[245] Game-Theoretic Foundations for Norms (G. Boella, L. van der Torre), In Procs. of Artificial Intelligence Studies, volume 3(26), 2006. [bibtex] [pdf]
[244] Fair Distribution of Collective Obligations. (G. Boella, L. van der Torre), In Procs. of the 17th European Conference on Artificial Intelligence(ECAI'06), IOS, 2006. [bibtex] [pdf]
[243] Count-As Conditionals, Classification and Context. (G. Boella, L. van der Torre), In Procs. of the 17th European Conference on Artificial Intelligence (ECAI'06), 2006. [bibtex] [pdf]
[242] A Foundational Ontology of Organizations and Roles (G. Boella, L. van der Torre), In Declarative Agent Languages and Technologies IV, 4th International Workshop (DALT'06), volume 4327, 2006. [bibtex] [pdf]
[241] Delegation of Power in Normative Multiagent Systems (G. Boella, L. van der Torre), In Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($\Delta$EON'06), Springer, volume 4048, 2006. [bibtex] [pdf]
[240] A Logical Architecture of a Normative System (G. Boella, L. van der Torre), In Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($\Delta$EON'06), Springer, volume 4048, 2006. [bibtex] [pdf]
[239] Organizations in Artificial Social Systems (G. Boella, L. van der Torre), 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, Springer, volume 3913, 2006. [bibtex] [pdf]
[238] Constitutive Norms in the Design of Normative Multiagent Systems (G. Boella, L. van der Torre), In Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI), Springer, volume 3900, 2006. [bibtex] [pdf]
[237] Introduction to normative multiagent systems (G. Boella, L. van der Torre, H. Verhagen), In Computation and Mathematical Organizational Theory, Special issue on Normative Multiagent Systems, volume 12, 2006. [bibtex] [pdf]
[236] Preface. (G. Boella, L. van der Torre (Eds.)), In Electronic Notes in Theoretical Computer Science (ENTCS) Procs. of the First International Workshop on Coordination and Organisation (CoOrg 2005), volume 150, 2006. [bibtex] [pdf]
[235]Lack of Finite Characterizations for the Distance-based Revision (J. Ben-Naim), In 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), 2006. [bibtex]
[234]On the Characterization of Commonsense Reasoning in the Presence of Uncertain Information (J. Ben-Naim), PhD thesis, University of Marseille, 2006. [bibtex]
[233] Modelling the Interaction Between Objects: Roles as Affordances. (M. Baldoni, G. Boella, L. van der Torre), In Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Springer, volume 4092, 2006. [bibtex] [pdf]
[232] Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages (M. Baldoni, G. Boella, L. van der Torre), In Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Springer, volume 3862, 2006. [bibtex] [pdf]
[231] I fondamenti ontologici dei linguaggi di programmazione orientati agli oggetti: i casi delle relazioni e dei ruoli (M. Baldoni, G. Boella, L. van der Torre), In Networks, rivista di filosofia dell'intelligenza artificiale e scienze cognitive, volume 6, 2006. [bibtex] [pdf]
[230] Roles as a Coordination Construct: Introducing powerJava (M. Baldoni, G. Boella, L. van der Torre), In 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), volume 150, 2006. [bibtex] [pdf]
[229] Interaction among objects via roles: sessions and affordances in Java (M. Baldoni, G. Boella, L. van der Torre), In Procs. of Principles and Practice of Programming in Java (PPPJ'06), ACM, 2006. [bibtex] [pdf]
[228] powerJava: ontologically founded roles in object oriented programming language (M. Baldoni, G. Boella, L. van der Torre), In Procs. of ACM Symposium on Applied Computing (SAC'06), Track Object Oriented Programming Languages and Systems (OOPS'06), ACM, 2006. [bibtex] [pdf]
[227] Importing Agent-like Interaction in Object Orientation (Matteo Baldoni, Guido Boella, Leendert van der Torre), In WOA, 2006. [bibtex] [pdf]
[226]Workshop ``Trustworthy Software'' 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany, (Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper, eds.), Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, volume 3, 2006. [bibtex]
2005
[225] Coordination and Organization 05 (event report) (Guido Boella, Leendert van der Torre), AgentLink News 18, 2005. [bibtex] [pdf]
[224]Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005, August 15-17, 2005, Las Vegas Hilton, Las Vegas, NV, USA, (Du Zhang, Taghi M. Khoshgoftaar, Mei-Ling Shyu, eds.), IEEE Systems, Man, and Cybernetics Society, 2005. [bibtex]
[223]AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings, (Shichao Zhang, Ray Jarvis, eds.), Springer, volume 3809, 2005. [bibtex]
[222]BNAIC 2005 - Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005, (Katja Verbeeck, Karl Tuyls, Ann Nowé, Bernard Manderick, Bart Kuijpers, eds.), Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten, 2005. [bibtex]
[221]Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, (Geoff Sutcliffe, Andrei Voronkov, eds.), Springer, volume 3835, 2005. [bibtex]
[220]2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 19-22 September 2005, Compiegne, France, (Andrzej Skowron, Rakesh Agrawal, Michael Luck, Takahira Yamaguchi, Pierre Morizet-Mahoudeaux, Jiming Liu, Ning Zhong, eds.), IEEE Computer Society, 2005. [bibtex]
[219]Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Compiegne, France, September 19-22, 2005, (Andrzej Skowron, Jean-Paul A. Barthès, Lakhmi C. Jain, Ron Sun, Pierre Morizet-Mahoudeaux, Jiming Liu, Ning Zhong, eds.), IEEE Computer Society, 2005. [bibtex]
[218]Agents and Peer-to-Peer Computing, Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers, (Gianluca Moro, Sonia Bergamaschi, Karl Aberer, eds.), Springer, volume 3601, 2005. [bibtex]
[217]Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers, (João Alexandre Leite, Paolo Torroni, eds.), Springer, volume 3487, 2005. [bibtex]
[216] Enterprise architecture at work: modelling, communication, and analysis (M. Lankhorst), Springer, 2005. [bibtex] [pdf]
[215]IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005, (Leslie Pack Kaelbling, Alessandro Saffiotti, eds.), Professional Book Center, 2005. [bibtex]
[214] Algorithms for a Nonmonotonic Logic of Preferences (Souhila Kaci, Leendert W. N. van der Torre), In ECSQARU, 2005. [bibtex] [pdf]
[213] Non-monotonic reasoning with various kinds of preferences (S. Kaci, L. van der Torre), In Proceedings of PREF05, 2005. [bibtex] [pdf]
[212] Analyzing Control Trust in Normative Multiagent Systems (J. Hulstijn, Tan Y.H., L. van der Torre), In Proceedings of the 2005 Bled eCommerce Conference, 2005. [bibtex] [pdf]
[211] Applying Normative Multiagent Systems: A Case Study (Joris Hulstijn Yao-Hua Tan Guido Boella, Leendert van der Torre), In Proceedings of AAMAS Workshop on Agents, Norms and Institutions for Regulated Multiagent Systems, 2005. [bibtex] [pdf]
[210]Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, (Lluis Godo, ed.), Springer, volume 3571, 2005. [bibtex]
[209]Engineering Societies in the Agents World V, 5th InternationalWorkshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers, (Marie Pierre Gleizes, Andrea Omicini, Franco Zambonelli, eds.), Springer, volume 3451, 2005. [bibtex]
[208] Design by Contract Deontic Design Language for Multiagent Systems (Christophe Garion, Leendert van der Torre), In AAMAS Workshops, 2005. [bibtex] [pdf]
[207]Trusting Agents for Trusting Electronic Societies, Theory and Applications in HCI and E-Commerce, (Rino Falcone, K. Suzanne Barber, Jordi Sabater-Mir, Munindar P. Singh, eds.), Springer, volume 3577, 2005. [bibtex]
[206]4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, (Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael Wooldridge, eds.), ACM, 2005. [bibtex]
[205] Preferences of Agents in Defeasible Logic (Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre), In Australian Conference on Artificial Intelligence, 2005. [bibtex] [pdf]
[204] Programming Cognitive Agents in Defeasible Logic (Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre), In LPAR, 2005. [bibtex] [pdf]
[203] How to decide what to do? (Mehdi Dastani, Joris Hulstijn, Leendert W. N. van der Torre), In European Journal of Operational Research, volume 160, 2005. [bibtex] [pdf]
[202] Decisions, Deliberation, and Agent Types CDT - QDT - BDI - 3APL - BOID (Mehdi Dastani, Leendert van der Torre), In Focus in Computer Science, Nova Science, 2005, 2005. [bibtex] [pdf]
[201]WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy, (Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini, eds.), Pitagora Editrice Bologna, 2005. [bibtex]
[200] Semantic Analysis of Chisholm's Paradox (Jan Broersen, Leendert W. N. van der Torre), In BNAIC, 2005. [bibtex] [pdf]
[199] Beliefs, obligations, intentions, and desires as components in an agent architecture (Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre), In Int. J. Intell. Syst., volume 20, 2005. [bibtex] [pdf]
[198] Formalisation and Analysis of the Temporal Dynamics of Conditioning (Tibor Bosse, Catholijn M. Jonker, Sander A. Los, Leendert W. N. van der Torre, Jan Treur), In AOSE, 2005. [bibtex] [pdf]
[197] Change impact analysis of enterprise architectures (Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre), In IRI, 2005. [bibtex] [pdf]
[196] Enterprise Architecture Analysis with XML (Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre), In HICSS, 2005. [bibtex] [pdf]
[195] Argument Games for Interactive Access Control (Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre), In Web Intelligence, 2005. [bibtex] [pdf]
[194] A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages (Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre), In IAT, 2005. [bibtex] [pdf]
[193] Virtual Organizations as Normative Multiagent Systems (Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre), In HICSS, 2005. [bibtex] [pdf]
[192] Reducing coalition structures via agreement specification (Guido Boella, Luigi Sauro, Leendert W. N. van der Torre), In AAMAS, 2005. [bibtex] [pdf]
[191] Admissible Agreements among Goal-directed Agents (Guido Boella, Luigi Sauro, Leendert W. N. van der Torre), In IAT, 2005. [bibtex] [pdf]
[190] Enforceable social laws (Guido Boella, Leendert W. N. van der Torre), In AAMAS, 2005. [bibtex] [pdf]
[189] The Evolution of Artificial Social Systems (Guido Boella, Leendert W. N. van der Torre), In IJCAI, 2005. [bibtex] [pdf]
[188] A Non-monotonic Logic for Specifying and Querying Preferences (Guido Boella, Leendert W. N. van der Torre), In IJCAI, 2005. [bibtex] [pdf]
[187] Permission and Authorization in Normative Multiagent Systems (Guido Boella, Leendert W. N. van der Torre), In ICAIL, 2005. [bibtex] [pdf]
[186] Role-based Rights in Artificial Social Systems (Guido Boella, Leendert W. N. van der Torre), In IAT, 2005. [bibtex] [pdf]
[185] Introduction to Normative Multiagent Systems (Guido Boella, Leendert W. N. van der Torre, Harko Verhagen), In NORMAS, 2005. [bibtex] [pdf]
[184] Transaction trust in normative multiagent systems (G. Boella, J. Hulstijn, Y.H. Tan, L. Van Der Torre, others), In Procs. of Trust in Agent Societies Workshop at AAMAS'05, 2005. [bibtex] [pdf]
[183] Coordination in Normative Multiagent Systems (G. Boella, J. Hulstijn, L. van der Torre), In Procs. of FInCo'05, 2005. [bibtex] [pdf]
[182] Decision-Theoretic Deliberation in Resource Bounded Self-Aware Agents (G. Boella, J. Hulstijn, L. van der Torre), In Procs. of Commonsense'05, 2005. [bibtex] [pdf]
[181] Argumentation for Access Control (Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre), In AI*IA, 2005. [bibtex] [pdf]
[180] Interaction in Normative Multi-Agent Systems (Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre), In Electr. Notes Theor. Comput. Sci., volume 141, 2005. [bibtex] [pdf]
[179] Permission and Authorization in Policies for Virtual Communities of Agents (Guido Boella, Leendert van der Torre), In Agents and Peer-to-Peer Computing (Gianluca Moro, Sonia Bergamaschi, Karl Aberer, eds.), Springer Berlin / Heidelberg, volume 3601, 2005. (10.1007/11574781_8) [bibtex] [pdf]
[178] The Ontological Properties of Social Roles: Definitional Dependence, Powers and Roles Playing Roles (G. Boella, L. van der Torre), In Proceedings of LOAIT'05, 2005. [bibtex] [pdf]
[177] From the Theory of Mind to the Construction of Social Reality (G. Boella, L. van der Torre), In Procs. of Annual Conference on the Cognitive Science Society, Lawrence Erlbaum, 2005. [bibtex] [pdf]
[176] Introduction to Normative Multiagent Systems (G. Boella, L. van der Torre, H. Verhagen), In Procs. of NorMas Symposium at AISB'05, 2005. [bibtex] [pdf]
[175] Social roles, from agents back to objects (Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre), In WOA, 2005. [bibtex] [pdf]
[174] Introducing Ontologically Founded Roles in Object Oriented Programming: powerJava (M. Baldoni, G. Boella, L. van der Torre), In Proceedings of ROLES05, 2005. [bibtex] [pdf]
[173]38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, IEEE Computer Society, 2005. [bibtex]
[172]Symposium on Normative Multi-Agent Systems, NORMAS 2005, part of the SSAISB 2005 Convention, University of Hertfordshire, Hatfield, UK, 12-15 April 2005. Proceedings, 2005. [bibtex]
[171]The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy, ACM, 2005. [bibtex]
2004
[170] Specifying Multiagent Organizations (L. van der Torre, J. Hulstijn, M. Dastani, J. Broersen), In In Proceedings of the Seventh Workshop on Deontic Logic in Computer Science (Deon'2004), Springer, volume 3065, 2004. [bibtex] [pdf]
[169]International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings, (Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß, eds.), Department of Computer Science, University of Cyprus, volume TR-2004-6, 2004. [bibtex]
[168]Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, (Ramon López de Mántaras, Lorenza Saitta, eds.), IOS Press, 2004. [bibtex]
[167]Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, (Alessio Lomuscio, Donald Nute, eds.), Springer, volume 3065, 2004. [bibtex]
[166]Regulated Agent-Based Social Systems, First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers, (Gabriela Lindemann, Daniel Moldt, Mario Paolucci, eds.), Springer, volume 2934, 2004. [bibtex]
[165] Concepts For Modeling Enterprise Architectures (Henk Jonkers, Marc M. Lankhorst, René van Buuren, Stijn Hoppenbrouwers, Marcello M. Bonsangue, Leendert W. N. van der Torre), In Int. J. Cooperative Inf. Syst., volume 13, 2004. [bibtex] [pdf]
[164]Proceedings of the 6th International Conference on Electronic Commerce, ICEC 2004, Delft, The Netherlands, October 25-27, 2004, (Marijn Janssen, Henk G. Sol, René W. Wagenaar, eds.), ACM, volume 60, 2004. [bibtex]
[163] Using XML Transformations for Enterprise Architectures (Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert van der Torre), In ISoLA (Preliminary proceedings), 2004. [bibtex] [pdf]
[162] Combining goal generation and planning in an argumentation framework (J. Hulstijn, L. van der Torre), In Proc Proceedings NMR'04, 2004. [bibtex] [pdf]
[161] Combining goal generation and planning in an argumentation framework (Joris Hulstijn, Leendert W. N. van der Torre), In NMR, 2004. [bibtex] [pdf]
[160]Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, (Didier Dubois, Christopher A. Welty, Mary-Anne Williams, eds.), AAAI Press, 2004. [bibtex]
[159]10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, (James P. Delgrande, Torsten Schaub, eds.), 2004. [bibtex]
[158] Inferring Trust (Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre), In CLIMA V, 2004. [bibtex] [pdf]
[157] Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans (Mehdi Dastani, Leendert W. N. van der Torre), In AAMAS, 2004. [bibtex] [pdf]
[156] Games for Cognitive Agents (Mehdi Dastani, Leendert W. N. van der Torre), In JELIA, 2004. [bibtex] [pdf]
[155] A Logical Viewpoint on Architectures (Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre), In EDOC, 2004. [bibtex] [pdf]
[154] Social Viewpoints on Multiagent Systems (Guido Boella, Luigi Sauro, Leendert W. N. van der Torre), In AAMAS, 2004. [bibtex] [pdf]
[153] Power and Dependence Relations in Groups of Agents (Guido Boella, Luigi Sauro, Leendert W. N. van der Torre), In IAT, 2004. [bibtex] [pdf]
[152] An Abstraction from Power to Coalition Structures (Guido Boella, Luigi Sauro, Leendert W. N. van der Torre), In ECAI, 2004. [bibtex] [pdf]
[151] Groups as Agents with Mental Attitudes (Guido Boella, Leendert W. N. van der Torre), In AAMAS, 2004. [bibtex] [pdf]
[150] Contracts as Legal Institutions in Organizations of Autonomous Agents (Guido Boella, Leendert W. N. van der Torre), In AAMAS, 2004. [bibtex] [pdf]
[149] Local vs Global Policies and Centralized vs Decentralized Control in Virtual Communities of Agents (Guido Boella, Leendert W. N. van der Torre), In Web Intelligence, 2004. [bibtex] [pdf]
[148] Organizations as Socially Constructed Agents in the Agent Oriented Paradigm (Guido Boella, Leendert W. N. van der Torre), In WOA, 2004. [bibtex] [pdf]
[147] Normative Multiagent Systems and Trust Dynamics (Guido Boella, Leendert W. N. van der Torre), In Trusting Agents for Trusting Electronic Societies, 2004. [bibtex] [pdf]
[146] Regulative and Constitutive Norms in Normative Multiagent Systems (Guido Boella, Leendert W. N. van der Torre), In KR, 2004. [bibtex] [pdf]
[145] Attributing mental attitudes to roles: the agent metaphor applied to e-trade organizations (Guido Boella, Leendert W. N. van der Torre), In ICEC, 2004. [bibtex] [pdf]
[144] Game Specification in Normative Multiagent System: The Trias Politica (Guido Boella, Leendert W. N. van der Torre), In IAT, 2004. [bibtex] [pdf]
[143] Fulfilling or Violating Obligations in Normative Multiagent Systems (Guido Boella, Leendert W. N. van der Torre), In IAT, 2004. [bibtex] [pdf]
[142] Organizations as Socially Constructed Agents in the Agent Oriented Paradigm (Guido Boella, Leendert W. N. van der Torre), In ESAW, 2004. [bibtex] [pdf]
[141] Negotiating the Distribution of Obligations with Sanctions among Autonomous Agents (Guido Boella, Leendert W. N. van der Torre), In ECAI, 2004. [bibtex] [pdf]
[140] Delta: The Social Delegation Cycle (Guido Boella, Leendert W. N. van der Torre), In DEON, 2004. [bibtex] [pdf]
[139] Persuasion Strategies in Dialogue (G. Boella, J. Hulstijn, L. van der Torre), In Procs. of CMNA Workshop at ECAI'04, 2004. [bibtex] [pdf]
[138] Decision-Theoretic Deliberation under Bounded Rationality (G. Boella, J. Hulstijn, L. van der Torre), In Procs. of LOFT'04, 2004. [bibtex] [pdf]
[137] Power and Dependence in Multiagent Systems (G. Boella, L. Sauro, L. van der Torre), In Procs. of CEAS Workshop at ECAI'04, 2004. [bibtex] [pdf]
[136] Delta: The Social delegation Cycle (G. Boella, L. van der Torre), In Procs. of CEAS Workshop at ECAI'04, 2004. [bibtex] [pdf]
[135] An agent oriented ontology of social reality (G. Boella, L. van der Torre), In Procs. of FOIS'04, IOS Press, 2004. [bibtex] [pdf]
[134] Attributing Mental Attitudes to Social Entities: Constitutive Rules are Beliefs, Regulative Rules are Goals (G. Boella, L. van der Torre), In Procs. of Conference on Collective Intentionality IV, 2004. [bibtex] [pdf]
[133]WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November - 1 December 2004, Torino, Italy, (Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini, eds.), Pitagora Editrice Bologna, 2004. [bibtex]
[132]Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, (José Júlio Alferes, João Alexandre Leite, eds.), Springer, volume 3229, 2004. [bibtex]
[131]3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, IEEE Computer Society, 2004. [bibtex]
[130]2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 20-24 September 2004, Beijing, China, IEEE Computer Society, 2004. [bibtex]
[129]2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 20-24 September 2004, Beijing, China, IEEE Computer Society, 2004. [bibtex]
[128]8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings, IEEE Computer Society, 2004. [bibtex]
2003
[127]Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings, (Ning Zhong, Zbigniew W. Ras, Shusaku Tsumoto, Einoshin Suzuki, eds.), Springer, volume 2871, 2003. [bibtex]
[126] Contextual Deontic Logic: Normative Agents, Violations and Independence (Leendert W. N. van der Torre), In Ann. Math. Artif. Intell., volume 37, 2003. [bibtex] [pdf]
[125] Permission from an Input/Output Perspective (David Makinson, Leendert van der Torre), In Journal of Philosophical Logic, Springer Netherlands, volume 32, 2003. (10.1023/A:1024806529939) [bibtex] [pdf]
[124] What is input/output logic? (D. Makinson, L. van der Torre), In Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference Held in Bonn, November 10-13, 2000, 2003. [bibtex] [pdf]
[123] Hidden Uncertainty in the Logical Representation of Desires (Jérôme Lang, Leendert W. N. van der Torre, Emil Weydert), In IJCAI, 2003. [bibtex] [pdf]
[122] Towards a Language for Coherent Enterprise Architecture Descriptions (Henk Jonkers, René van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Hans Bosma, Hugo W. L. ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten), In EDOC, 2003. [bibtex] [pdf]
[121] Combining Goal Generation and Planning in an Argumentation Framework (Joris Hulstijn, Leenderd van deer Torre), In Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2003), 2003. [bibtex] [pdf]
[120]IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, (Georg Gottlob, Toby Walsh, eds.), Morgan Kaufmann, 2003. [bibtex]
[119] Design by contract - Deontic design language for component-based systems (Christophe Garion, Leendert van der Torre), In Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2003), 2003. [bibtex] [pdf]
[118]AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings, (Amedeo Cappelli, Franco Turini, eds.), Springer, volume 2829, 2003. [bibtex]
[117] BDIOCTL: Obligations and the Specification of Agent Behavior (Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre), In IJCAI, 2003. [bibtex] [pdf]
[116] BDIO CTL: Properties of obligation in agent specification languages (J Broersen, M Dastani, L van der Torre), In Proceedings of IJCAI’03, 2003. [bibtex] [pdf]
[115] What an Agent Ought To Do (Jan Broersen, Leendert W. N. van der Torre), In Artif. Intell. Law, volume 11, 2003. [bibtex] [pdf]
[114] Local Policies for the Control of Virtual Communities (Guido Boella, Leendert W. N. van der Torre), In Web Intelligence, 2003. [bibtex] [pdf]
[113] Policy Management for Virtual Communities of Agents (Guido Boella, Leendert W. N. van der Torre), In WOA, 2003. [bibtex] [pdf]
[112] Decentralized Control: Obligations and Permissions in Virtual Communities of Agents (Guido Boella, Leendert W. N. van der Torre), In ISMIS, 2003. [bibtex] [pdf]
[111] Norm Governed Multiagent Systems: The Delegation of Control to Autonomous Agents (Guido Boella, Leendert W. N. van der Torre), In IAT, 2003. [bibtex] [pdf]
[110] Obligations as Social Constructs (Guido Boella, Leendert W. N. van der Torre), In AI*IA, 2003. [bibtex] [pdf]
[109] Attributing mental attitudes to normative systems (Guido Boella, Leendert W. N. van der Torre), In AAMAS, 2003. [bibtex] [pdf]
[108] Obligations and Permissions as Mental Entities (G. Boella, L. van der Torre), In Procs. of IJCAI Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions, 2003. [bibtex] [pdf]
[107] BDI and BOID Argumentation: Some examples and ideas for formalization (G. Boella, L. van der Torre), In Procs. of IJCAI Workshop on Computational Models of Natural Argument, 2003. [bibtex] [pdf]
[106] Permissions and Undercutters (G. Boella, L. van der Torre), In Procs. of IJCAI Workshop on Non Monotonic Reasoning, Actions and Causality, 2003. [bibtex] [pdf]
[105] Division of Powers in MAS Control (G. Boella, L. van der Torre), In Procs. of AAMAS Workshop on Autonomy, Delegation and Control, 2003. [bibtex] [pdf]
[104] Access Control in Virtual Communities: Prohibition, Permission, Authorization and Delegation of Power in the Grid (G. Boella, L. van der Torre), In Procs. of Knowledge Grid and Grid Intelligence workshop at WI/IAT'03 (KGGI'03), 2003. [bibtex] [pdf]
[103] Attributing Mental Attitudes to Groups: Cooperation in a Qualitative Game Theory (G. Boella, L. van der Torre), In Procs. of Collaboration Agents: Autonomous Agents for Collaborative Environments at WI/IAT'03 (COLA'03), 2003. [bibtex] [pdf]
[102] Rational norm creation: attributing mental attitudes to normative systems, part 2 (Guido Boella, Leendert van der Torre), In Proceedings of the 9th international conference on Artificial intelligence and law, ACM, 2003. [bibtex] [pdf] [doi]
[101] Rational Norm Creation (Guido Boella, Leendert W. N. van der Torre), In ICAIL, 2003. [bibtex] [pdf]
[100] Permissions and Obligations in Hierarchical Normative Systems (Guido Boella, Leendert W. N. van der Torre), In ICAIL, 2003. [bibtex] [pdf]
[99]WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 10-11 September 2003, Villasimius, CA, Italy, (Giuliano Armano, Flavio De Paoli, Andrea Omicini, Eloisa Vargiu, eds.), Pitagora Editrice Bologna, 2003. [bibtex]
[98]2003 IEEE / WIC International Conference on Web Intelligence, (WI 2003), 13-17 October 2003, Halifax, Canada, IEEE Computer Society, 2003. [bibtex]
[97]2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 13-17 October 2003, Halifax, Canada, IEEE Computer Society, 2003. [bibtex]
[96]7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 16-19 September 2003, Brisbane, Australia, Proceedings, IEEE Computer Society, 2003. [bibtex]
[95]The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, ACM, 2003. [bibtex]
2002
[94]EurAsia-ICT 2002: Information and Communication Technology, First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings, (Hassan Shafazand, A. Min Tjoa, eds.), Springer, volume 2510, 2002. [bibtex]
[93] Utilitarian Desires (Jérôme Lang, Leendert W. N. van der Torre, Emil Weydert), In Autonomous Agents and Multi-Agent Systems, volume 5, 2002. [bibtex] [pdf]
[92] Decisions and games for BD agents (M. Dastani, L. van der Torre), In Game Theoretic and Decision Theoretic Agents (GTDT'02), Papers from the AAAI workshop, Technical Report WS-02-06, AAAI Press, 2002. [bibtex] [pdf]
[91] What is a Joint Goal? Games with Beliefs and Defeasible Desires (Mehdi Dastani, Leendert W. N. van der Torre), In CoRR, volume cs.MA/0207022, 2002. [bibtex] [pdf]
[90] What Is a Normative Goal?: Towards Goal-Based Normative Agent Architectures (Mehdi Dastani, Leendert W. N. van der Torre), In RASTA, 2002. [bibtex] [pdf]
[89] What is a joint goal? Games with beliefs and defeasible desires (Mehdi Dastani, Leendert W. N. van der Torre), In NMR, 2002. [bibtex] [pdf]
[88] An Extension of BDI$_\mboxCTL$ with Functional Dependencies and Components (Mehdi Dastani, Leendert W. N. van der Torre), In LPAR, 2002. [bibtex] [pdf]
[87] Specifying the Merging of Desires into Goals in the Context of Beliefs (Mehdi Dastani, Leendert W. N. van der Torre), In EurAsia-ICT, 2002. [bibtex] [pdf]
[86] A classification of cognitive agents (M. Dastani, L. van der Torre), In Proceedings of Cogsci02, 2002. [bibtex] [pdf]
[85] Trust and Commitment in Dynamic Logic (Jan Broersen, Mehdi Dastani, Zhisheng Huang, Leendert W. N. van der Torre), In EurAsia-ICT, 2002. [bibtex] [pdf]
[84] Goal generation in the BOID architecture (J. Broersen, M. Dastani, J. Hulstijn, L. van der Torre), In Cognitive Science Quarterly, volume 2, 2002. [bibtex] [pdf]
[83] Relating functionality descriptions to proof rules of input/output logic. (J.M. Broersen, M. Dastani, L.W.N. van der Torre), In Proceedings of BNAIC 2002, 2002. [bibtex] [pdf]
[82] Realistic desires (Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre), In Journal of Applied Non-Classical Logics, volume 12, 2002. [bibtex] [pdf]
[81]9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, (Salem Benferhat, Enrico Giunchiglia, eds.), 2002. [bibtex]
[80]Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings, (Matthias Baaz, Andrei Voronkov, eds.), Springer, volume 2514, 2002. [bibtex]
2001
[79] Dynamic Normative Reasoning Under Uncertainty: How to Distinguish Between Obligations Under Uncertainty and Prima Facie Obligations (L. van der Torre, Y. Tan), Chapter in Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol 6: Agents, Reasoning and Dynamics (D.M. Gabbay, Ph. Smets, eds.), Kluwer, 2001. [bibtex] [pdf]
[78] Parameters for Utilitarian Desires in a Qualitative Decision Theory (Leendert W. N. van der Torre, Emil Weydert), In Appl. Intell., volume 14, 2001. [bibtex] [pdf]
[77] Dialague games and negotiation (Joris Hulstijn Leendert van der Torre Mehdi Dastani), In Proceedings of the Agents 2001, 2001. [bibtex] [pdf]
[76] Constraints for input/output logics (D. Makinson, L. Van der Torre), In Journal of Philosophical Logic, Springer, volume 30, 2001. [bibtex] [pdf]
[75] Two types of conflicts between desires (and how to resolve them) (J. Lang, L. van der Torre, E. Weydert), In In Proceedings of AAAI Spring Symposium on Game Theoretic and Decision Theoretic Agents (GTDT2001), AAAI press, 2001. [bibtex] [pdf]
[74] BDI and QDT: a comparison based on classical decision theory (M. Dastani, J. Hulstijn, L. van der Torre), In Proceedings of AAAI Spring Symposium on Game Theoretic and Decision Theoretic Agents (GTDT2001), AAAI Press, 2001. [bibtex] [pdf]
[73] Negotiation protocols and dialogue games (Mehdi Dastani, Joris Hulstijn, Leendert W. N. van der Torre), In Agents, 2001. [bibtex] [pdf]
[72] Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires (Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre), In ECSQARU, 2001. [bibtex] [pdf]
[71] An alternative classification of agent types based on BOID conflict resolution (J.M. Broersen, M. Dastani, Z. Huang, J. Hulstijn, L.W.N. van der Torre), In Proceedings of the 13th Belgium-Netherlands Artificial Intelligence Conference (B. Kröse, M. de Rijke, G. Schreiber, M. van Someren, eds.), 2001. [bibtex] [pdf]
[70] The BOID architecture: conflicts between beliefs, obligations, intentions and desires (Jan Broersen, Mehdi Dastani, Joris Hulstijn, Zhisheng Huang, Leendert W. N. van der Torre), In Agents, 2001. [bibtex] [pdf]
[69] Wishful thinking (J. Broersen, M. Dastani, L. van der Torre), In Proceedings of DGNMR01, 2001. [bibtex] [pdf]
[68]Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, (Salem Benferhat, Philippe Besnard, eds.), Springer, volume 2143, 2001. [bibtex]
2000
[67] Two-phase deontic logic (L. Van der Torre, Y.H. Tan), In Logique et Analyse, volume 43, 2000. [bibtex] [pdf]
[66] Contextual Deontic Logic: violation contexts and factual defeasibility (Leendert van der Torre), Chapter in Formal Aspects of Context, Applied Logic Series (P. Bonzon, M. Cavalcanti, R. Nossum, eds.), Kluwer, 2000. [bibtex] [pdf]
[65] Causal deontic logic (L. van der Torre), In Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon'2000), Toulouse, 2000. [bibtex] [pdf]
[64] The Logic Of Reusable Propositional Output With The Fulfilment Constraint (Leendert van der Torre), Chapter in Labelled Deduction, volume 17 of Applied Logic Series, Kluwer, 2000. [bibtex] [pdf]
[63] Agents recognizing emergence (L. van der Torre, F. Wan), In Proceedings of the Belgium/Dutch AI Conference (BNAIC'2000), Kaatsheuvel, 2000. [bibtex] [pdf]
[62] Consistency constraints for input/output logic: a comparative review (D. Makinson, L. van der Torre), In Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon'2000), Toulouse, 2000. [bibtex] [pdf]
[61] Input-output logics (D. Makinson, L. van der Torre), In Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon'2000), Toulouse, 2000. [bibtex] [pdf]
[60] Input/output logics (D. Makinson, L. Van Der Torre), In Journal of Philosophical Logic, Springer, volume 29, 2000. [bibtex] [pdf]
[59] Dynamic desires (M. Dastani, Z. Huang, L. van der Torre), In Proceedings of the ICMAS2000 Workshop on game-theoretic and decision-theoretic approaches to agency (GTDT 2000), 2000. [bibtex] [pdf]
[58] Negotiation protocols and dialogue games (M. Dastani, J. Hulstijn, L. van der Torre), In Proceedings of the Belgium/Dutch AI Conference (BNAIC'2000), Kaatsheuvel, 2000. [bibtex] [pdf]
[57] Leveled commitment and trust in negotiation (J. Broersen, M. Dastani, L. van der Torre), In Proceedings of the Autonomous Agents 2000 Workshop on Deception, Fraud and Trust in Agent Societies, Barcelona, 2000. [bibtex] [pdf]
1999
[56] The role of diagnosis and decision theory in normative reasoning (L. van der Torre, P. Ramos, J.L. Fiadeiro, Y.-H. Tan), In Formal Models of Agents (ESPRIT Project ModelAge Final Workshop, Selected Papers) (Ch. J.-J. Meyer, P.-Y. Schobbens, eds.), Springer, volume 1760, 1999. [bibtex] [pdf]
[55] An update semantics for deontic reasoning (L. van der Torre, Y> Tan), Chapter in Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, Volume 49 in Frontiers in Artificial Intelligence and Applications (P. McNamara, H. Prakken, eds.), IOS Press, 1999. [bibtex] [pdf]
[54] Risk parameters for utilitarian desires (extended abstract) (L. van der Torre, E. Weydert), In Proceedings of the IJCAI'99 Workshop on Practial Reasoning and Rationality (PRR'99), 1999. [bibtex] [pdf]
[53] Labelled Logics of Defeasible Goals (Leendert W.N. van der Torre), 1999. [bibtex] [pdf]
[52] Diagnosis and Decision Making in Normative Reasoning (Leendert W. N. van der Torre, Yao-Hua Tan), In Artif. Intell. Law, volume 7, 1999. [bibtex] [pdf]
[51] Contrary-to-duty reasoning with preference-based dyadic obligations (Leendert W. N. van der Torre, Yao-Hua Tan), In Ann. Math. Artif. Intell., volume 27, 1999. [bibtex] [pdf]
[50] Defeasible Goals (Leendert W. N. van der Torre), In ESCQARU, 1999. [bibtex] [pdf]
[49] Violation Contexts and Deontic Independence (Leendert W. N. van der Torre), In CONTEXT, 1999. [bibtex] [pdf]
[48] An Update Semantics for Defeasible Obligations (Leendert W. N. van der Torre, Yao-Hua Tan), In UAI, 1999. [bibtex] [pdf]
[47] Rights, Duties and Commitments between Agents (Leendert W. N. van der Torre, Yao-Hua Tan), In IJCAI, 1999. [bibtex] [pdf]
[46]Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers, (John-Jules Ch. Meyer, Pierre-Yves Schobbens, eds.), Springer, volume 1760, 1999. [bibtex]
[45]UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30-August 1, 1999, (Kathryn B. Laskey, Henri Prade, eds.), Morgan Kaufmann, 1999. [bibtex]
[44]Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings, (Anthony Hunter, Simon Parsons, eds.), Springer, volume 1638, 1999. [bibtex]
[43]Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages, (Thomas Dean, ed.), Morgan Kaufmann, 1999. [bibtex]
[42]Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings, (Paolo Bouquet, Luciano Serafini, Patrick Brézillon, Massimo Benerecetti, F. Castellani, eds.), Springer, volume 1688, 1999. [bibtex]
1998
[41] Phased labeled logics of conditional goals (L. van der Torre), In Proceedings of the 1st International Workshop on Labelled Deduction (LD'98), 1998. [bibtex] [pdf]
[40] Phased labeled logics of conditional goals (L. van der Torre), In Logics in Artificial Intelligence. Proceedings of the 6th European Workshop on Logics in AI (JELIA'98), Springer, volume 1489, 1998. [bibtex] [pdf]
[39] An update semantics for deontic reasoning (L. van der Torre, Y. Tan), In Proceedings of the Fourth Workshop on Deontic Logic in Computer Science (Deon'98), 1998. [bibtex] [pdf]
[38] Prohairetic Deontic Logic (PDL) (L. van der Torre, Y. Tan), In Logics in Artificial Intelligence. Proceedings of the 6th European Workshop on Logics in AI (JELIA'98), Springer, volume 1489, 1998. [bibtex] [pdf]
[37] Two-Phase Exception Logic (Leendert van der Torre, Yao-Hua Tan), 1998. [bibtex] [pdf]
[36] Prima facie obligations in update semantics (Leendert van der Torre, Yao-Hua Tan), In Proc. 6th European Workshop on Logics in AI: Logics in Artificial Intelligence, 1998. [bibtex] [pdf]
[35] Goals, desires, utilities and preferences (L. van der Torre, E. Weydert), In Proceedings of the ECAI'98 Workshop on Decision Theory meets Artificial Intelligence, 1998. [bibtex] [pdf]
[34] Deliberate Robbery, or the Calculating Samaritan (Leendert W.N. van der Torre, Yao-hua Tan), In In Proceedings of the ECAI'98 Workshop on Practical Reasoning and Rationality (PRR'98, 1998. [bibtex] [pdf]
[33] Labeled Logics of Conditional Goals (Leendert W. N. van der Torre), In ECAI, 1998. [bibtex] [pdf]
[32] An Update Semantics for Prima Facie Obligations (Leendert W. N. van der Torre, Yao-Hua Tan), In ECAI, 1998. [bibtex] [pdf]
[31] The Temporal Analysis of Chisholm's Paradox (Leendert W. N. van der Torre, Yao-Hua Tan), In AAAI/IAAI, 1998. [bibtex] [pdf]
[30] An Update Semantics for Deontic Reasoning (L.W.N. van der Torre, Y.-H. Tan), In International Workshop on Natural Language and Information Systems NLIS'98, 1998. [bibtex] [pdf]
[29] Phased Labeled Logics of Conditional Goals (Leendert W. N. van der Torre), In JELIA, 1998. [bibtex] [pdf]
[28] Towards a Formal Analysis of Control Systems (Babak Sadighi Firozabadi, Leendert W.N. van der Torre), In In Proceedings of the ECAI'98, John Wiley and Sons, Ltd, 1998. [bibtex] [pdf]
[27]Formal Models of Control Systems (Babak Sadighi Firozabadi, Leendert W. N. van der Torre), In ECAI, 1998. [bibtex]
[26]Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings, (Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach, eds.), Springer, volume 1489, 1998. [bibtex]
1997
[25] The many faces of defeasibility in defeasible deontic logic (L. van der Torre, Y Tan), Chapter in Defeasible Deontic Logic, volume 263 of Synthese Library (D. Nute, ed.), Kluwer, 1997. [bibtex] [pdf]
[24] Contextual deontic logic (L. van der Torre, Y. Tan), In Proceedings of the First International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'97), Rio de Janeiro, 1997. [bibtex] [pdf]
[23] Contextual deontic logic (L. van der Torre, Y. Tan), In Formal models of agents, Springer, volume 1760, 1997. [bibtex] [pdf]
[22] Reasoning about obligations: defeasibility in preference-based deontic logic (L.W.N. Torre, L. Torre), Thesis, 1997. [bibtex] [pdf]
[21] Prohairetic Deontic Logic and Qualitative Decision Theory (L.W.N. van der Torre, Yao-hua Tan), In In Proceedings of the AAAI Spring Symposium on Qualitative Approaches to Deliberation and Reasoning, AAAI Press, 1997. [bibtex] [pdf]
[20] Prohairetic Deontic Logic (PDL) (Leendert W.N. van der Torre, Yao-hua Tan), In In Proceedings of the AAAI Spring Symposium on Qualitative Approaches to Deliberation and Reasoning, AAAI Press, 1997. [bibtex] [pdf]
[19] Distinguishing Different Roles in Normative Reasoning (Leendert W. N. van der Torre, Yao-Hua Tan), In ICAIL, 1997. [bibtex] [pdf]
[18] Distinguishing Different Roles in Normative Reasoning (L.W.N. van der Torre, Y.-H. Tan), In Proceedings of the 9th Dutch Conference on Artificial Intelligence (NAICÕ97), 1997. [bibtex] [pdf]
[17] An Update Semantics for Deontic Reasoning (L.W.N. van der Torre, Y.-H. Tan), In Proceedings of the 9th Dutch Conference on Artificial Intelligence (NAICÕ97), 1997. [bibtex] [pdf]
[16] The Role of Diagnosis and Decision Theory in Normative Reasoning (Leendert W. N. van der Torre, Pedro Ramos, José Luiz Fiadeiro, Yao-Hua Tan), In ModelAge Workshop, 1997. [bibtex] [pdf]
[15] Contextual Deontic Logic (Leendert W. N. van der Torre, Yao-Hua Tan), In ModelAge Workshop, 1997. [bibtex] [pdf]
[14] Reasoning About Exceptions (Extended Abstract) (Leendert W. N. van der Torre, Yao-Hua Tan), In KI, 1997. [bibtex] [pdf]
[13] Sceptical Reasoning About Defaults (Yao-hua Tan, Leendert W.N. van der Torre), 1997. [bibtex] [pdf]
[12]KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, (Gerhard Brewka, Christopher Habel, Bernhard Nebel, eds.), Springer, volume 1303, 1997. [bibtex]
1996
[11] Credulous Reasoning About Defaults (L. van der Torre, Y Tan), In Proceedings of the Asian Conference on Logic, China, 1996. [bibtex] [pdf]
[10] How to Combine Ordering and Minimizing in a Deontic Logic Based on Preferences (Yao-Hua Tan, Leendert W. N. van der Torre), In DEON, 1996. [bibtex] [pdf]
[9] How to Model Normative Behavior in Petri Nets (Jean-François Raskin, B Namur, Leendert W.N. van der Torre, Yao-hua Tan), In Proceedings of the 2nd Modelage Workshop on Formal Models of Agents, 1996. [bibtex] [pdf]
[8]Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996, (Mark A. Brown, José Carmo, eds.), Springer, 1996. [bibtex]
1995
[7] Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic (Leendert W. N. van der Torre, Yao-Hua Tan), In IJCAI, 1995. [bibtex] [pdf]
[6] Why Defeasible Deontic Logic needs a Multi Preference Semantics (Yao-Hua Tan, Leendert W. N. van der Torre), In ECSQARU, 1995. [bibtex] [pdf]
[5]Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5, 1995, Proceedings, (Christine Froidevaux, Jürg Kohlas, eds.), Springer, volume 946, 1995. [bibtex]
1994
[4] Violated Obligations in a Defeasible Deontic Logic (Leendert W. N. van der Torre), In ECAI, 1994. [bibtex] [pdf]
1993
[3]Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings, (Pietro Torasso, ed.), Springer, volume 728, 1993. [bibtex]
[2] Constructing Refinement Operators by Decomposing Logical Implication (Shan-Hwei Nienhuys-Cheng, Patrick R. J. van der Laag, Leendert W. N. van der Torre), In AI*IA, 1993. [bibtex] [pdf]
[1] Orderings for first-order inductive logic (in Dutch) (Leendert van der Torre). [bibtex] [pdf]
Powered by bibtexbrowser