Publications
| 2015 | |
| [838] | Intention Reconsideration as Metareasoning , In Bounded Optimality and Rational Metareasoning NIPS 2015 Workshop, 2015. [bibtex] [pdf] |
| [837] | ARMED: ARgumentation Mining and reasoning about Enterprise architecture Decisions , 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 , 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 , 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 , In Proceedings of the International Joint Conference on Artificial Intelligence, 2015. [bibtex] [pdf] |
| [833] | AGM Revision of Beliefs about Action and Time , In Proceedings of the International Joint Conference on Artificial Intelligence, 2015. [bibtex] [pdf] |
| [832] | Consistency Conditions for Beliefs and Intentions , In Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning, 2015. [bibtex] [pdf] |
| [831] | A Non-classical Logical Foundation for Naturalised Realism , Chapter in The Logica Yearbook 2014 (Arazim P., Dancak M., eds.), College Publications, 2015. [bibtex] |
| [830] | Introducing Defeasibility into OWL Ontologies , 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 , 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? , 2015. [bibtex] |
| [827] | Commitments and interaction norms in organisations , In Autonomous Agents and Multi-Agent Systems, Springer US, 2015. [bibtex] [pdf] [doi] |
| 2014 | |
| [826] | Bridging Social Network Analysis and Judgment Aggregation , 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 , In Proceedings of the 26th Benelux Conference on Artificial Intelligence (BNAIC2014), 2014. [bibtex] [pdf] |
| [824] | Collective Intention Revision from a Database Perspective , In Collective Intentionality Conference, 2014. [bibtex] [pdf] |
| [823] | Encoding Definitional Fragments of Temporal Action Logic into Logic Programming , In International Workshop on Defeasible and Ampliative Reasoning (DARe), 2014. [bibtex] [pdf] |
| [822] | Formalizing Enterprise Architecture Decision Models using Integrity Constraints , In 16h IEEE Conference on Business Informatics (CBI), 2014. [bibtex] [pdf] |
| [821] | On the Semantic Feature Structure of Modeling Concepts: an Empirical Study , In 16h IEEE Conference on Business Informatics (CBI), 2014. [bibtex] [pdf] |
| [820] | Reasoning on Robot Knowledge from Discrete and Asynchronous Observations , In Knowledge Representation and Reasoning in Robotics, 2014. [bibtex] [pdf] |
| [819] | Social Network Analysis for Judgment Aggregation , In 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014), 2014. (Extended Abstract) [bibtex] [pdf] |
| [818] | A Plausibility Semantics for Abstract Argumentation Frameworks , 2014. [bibtex] |
| [817] | On the Input/Output behavior of argumentation frameworks , In , Elsevier Science, 2014. [bibtex] |
| [816] | Combining Regulative and Constitutive Norms in Input/Output Logic , 2014. [bibtex] |
| [815] | Compliance with Multiple Regulations , 2014. [bibtex] |
| [814] | A Critical Analysis of Legal Requirements Engineering from the Perspective of Legal Practice , 2014. [bibtex] |
| [813] | Integrating Legal-URN and Eunomos: towards a comprehensive compliance management solution , 2014. [bibtex] |
| [812] | Managing Legal Resources in Open Government and E-Democracy: Eunomos - an AI and Law Response , Verlagshaus Monsenstein und Vannerdat OHG, 2014. [bibtex] |
| [811] | The gap between legal and technical domains in norm representation , 2014. [bibtex] |
| [810] | Detecting Deontic Conflicts in Dynamic Settings , 2014. [bibtex] |
| [809] | Toward a Linguistic Interpretation of Deontic Paradoxes , 2014. [bibtex] |
| [808] | How do pessimistic agents save miners? A STIT based approach. , 2014. [bibtex] |
| [807] | Stratied action negation, a logic about travel , 2014. [bibtex] |
| [806] | STIT based deontic logics for the miners puzzle , 2014. [bibtex] |
| [805] | How to build input/output logic , 2014. [bibtex] |
| [804] | The deontic dilemma of action negation, and its solution , 2014. [bibtex] |
| [803] | Business Process Regulatory Compliance is Hard , In , 2014. [bibtex] |
| [802] | Algorithms for tractable compliance problems , In , Higher Education Press and Springer, 2014. [bibtex] |
| [801] | Bridging Social Network Analysis and Judgment Aggregation , In , 2014. [bibtex] |
| [800] | Probabilistic Abstract Dialectical Frameworks , Springer, 2014. [bibtex] |
| [799] | Probabilistic Argumentation Frameworks - A Logical Approach , Springer, 2014. [bibtex] |
| [798] | Modelling the usage of partial functions and undefined terms using presupposition theory , College Publications, 2014. [bibtex] |
| [797] | The paradoxes of permission an action based solution , In , Elsevier, 2014. [bibtex] |
| [796] | Plexil-Like Plan Execution Control in Agent Programming , 2014. [bibtex] |
| [795] | Towards Dialogue Games for the Down-Admissible and Up-Complete Procedures , 2014. [bibtex] |
| [794] | Intuitionistic basis for IOL , Springer, 2014. [bibtex] |
| [793] | Reasoning on Robot Knowledge from Discrete and Asynchronous Observations , 2014. [bibtex] |
| 2013 | |
| [792] | Argument Revival in Annotated Argumentation Networks , 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 , In Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), 2013. [bibtex] [pdf] |
| [790] | Belief Caching in 2APL , In The workshop on Engineering Multi-Agent Systems (EMAS), 2013. [bibtex] [pdf] |
| [789] | Accumulative Knowledge Under Bounded Resources. , Springer, 2013. [bibtex] |
| [788] | Preventing Coercion in E-Voting: Be Open and Commit , 2013. [bibtex] |
| [787] | Incentives and Rationality in Security of Interaction Protocols , 2013. [bibtex] |
| [786] | Revival of Arguments in Temporal Argumentation Networks , 2013. [bibtex] |
| [785] | Argumentation Theoretic Foundations for Abstract Dependence Networks , In , 2013. [bibtex] |
| [784] | Managing legal interpretation in regulatory compliance , 2013. [bibtex] |
| [783] | A propositional typicality logic for extending rational consequence , College Publications, 2013. [bibtex] |
| [782] | A Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software , 2013. [bibtex] |
| [781] | Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies. , 2013. [bibtex] |
| [780] | Game-theory and Logic for Non-repudiation Protocols and Attack Analysis , PhD thesis, , 2013. [bibtex] |
| [779] | Event-processing in Autonomous Robot Programming , International Foundation for Autonomous Agents and Multiagent Systems, 2013. [bibtex] [pdf] |
| [778] | Programming Autonomous Robots Using Agent Programming Languages , International Foundation for Autonomous Agents and Multiagent Systems, 2013. [bibtex] [pdf] |
| [777] | Agent Programming Languages Requirements for Programming Autonomous Robots , Springer Berlin Heidelberg, 2013. [bibtex] [pdf] |
| [776] | Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies , 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 , 2013. [bibtex] |
| [774] | Proof theory, Semantics and Algebra for Normative System , 2013. [bibtex] |
| [773] | Normative Reasoning and Consequence , Springer Netherlands, 2013. [bibtex] |
| [772] | Input/output logic , College Publications, 2013. [bibtex] |
| [771] | On the plausibility of abstract arguments , Springer, 2013. [bibtex] |
| [770] | Algorithms for Basic Compliance Problems , 2013. [bibtex] |
| [769] | Argument Revival in Annotated Argumentation Networks , 2013. [bibtex] |
| [768] | Strategic games and truly playable effectivity functions , In , Springer, 2013. [bibtex] |
| [767] | Towards an Abstract Framework for Compliance , 2013. [bibtex] |
| [766] | Compliance in Resource-based Process Models , 2013. [bibtex] |
| [765] | Monotonic and non-monotonic inference for abstract argumentation , 2013. [bibtex] |
| [764] | A logical theory about dynamics in abstract argumentation , 2013. [bibtex] |
| [763] | A logical theory about dynamics in abstract argumentation , 2013. [bibtex] |
| [762] | A logical theory about dynamics in abstract argumentation , 2013. [bibtex] |
| [761] | Property-based preferences in abstract argumentation , 2013. [bibtex] |
| 2012 | |
| [760] | Agent Programming Languages Requirements for Programming Cognitive Robots (extended abstract) , In Proceedings of the 24th Benelux Conference on Artificial Intelligence, 2012. [bibtex] |
| [759] | On arguments and conditionals , In ECAI WS Weighted Logics for AI (WL4AI), IRIT, 2012. [bibtex] |
| [758] | Conditional Ranking Revision - Iterated Revision with Sets of Conditionals , In Journal of Philosophical Logic, Springer, volume 41, 2012. [bibtex] |
| [757] | Modelling defeasible and prioritized support in bipolar argumentation , In Ann. Math. Artif. Intell., volume 66, 2012. [bibtex] |
| [756] | A logic of argumentation for specification and verification of abstract argumentation frameworks , In Ann. Math. Artif. Intell., Springer, volume 66, 2012. [bibtex] |
| [755] | The Synergy: A Platform for Argumentation-Based Group Decision Making , In Proceedings of the 4th International Conference on Computational Models of Argument, COMMA 2012, 2012. [bibtex] |
| [754] | Beyond Maxi-Consistent Argumentation Operators , In Proceedings of the 13th European Conference on Logics in Artificial Intelligence, JELIA 2012, 2012. [bibtex] |
| [753] | Maxi-Consistent Operators in Argumentation , 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 , Chapter in , Springer, 2012. [bibtex] |
| [750] | Agreements as Norms , In Deontic Logic in Computer Science, 2012. [bibtex] |
| [749] | Regulating competing coalitions: a logic for socially optimal group choices , In Journal of Applied Non-Classical Logics, volume 22, 2012. [bibtex] |
| [748] | Contrary-To-Duties in Games , In Logic Programs, Norms and Action, 2012. [bibtex] [pdf] |
| [747] | Abstract Normative Systems: Semantics and Proof Theory , In KR, 2012. [bibtex] [pdf] |
| [746] | Visualizing Normative Systems: An Abstract Approach , In DEON, 2012. [bibtex] [pdf] |
| [745] | Reasoning for Agreement Technologies , In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI), 2012. [bibtex] |
| [744] | Logics for Security and Privacy , In Data and Applications Security and Privacy XXVI, Springer, 2012. [bibtex] |
| [743] | A trust-augmented voting scheme for collaborative privacy management , In Journal of Computer Security, volume 20, 2012. [bibtex] |
| [742] | Distance-Based Rules for Weighted Judgment Aggregation (Extended Abstract) , 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 , In Proceedings of the IEEE Congress on Evolutionary Computation, IEEE, 2012. [bibtex] |
| [740] | Building an Epistemic Logic for Argumentation , In Proceedings of the 13th European Conference on Logics in Artificial Intelligence, JELIA 2012, 2012. [bibtex] |
| [739] | Towards a Probabilistic Dung-style Argumentation System , 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 , 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? , 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 , 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. , 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 , 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 , In Proceedings of the First International Conference on Agreement Technologies, AT 2012, 2012. [bibtex] |
| [729] | Concepts, Agents, and Coalitions in Alternating Time , In Proceedings of the 20th European Conference on Artificial Intelligence ECAI 2012, 2012. [bibtex] |
| [728] | Fairness in Non-Repudiation Protocols , In STM (Catherine Meadows, M. Carmen Fernández Gago, eds.), Springer, volume 7170, 2012. [bibtex] |
| [727] | Specification and Verification of Multi-Agent Systems , 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) , 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 , In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), 2012. [bibtex] |
| [723] | Dependence in games and dependence games , 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, eds.), IFAAMAS, 2012. [bibtex] |
| [721] | State and Path Effectivity Models for Logics of Multi-Player Games , 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 , In Autonomous Agents and Multi-Agent Systems, Springer, 2012. [bibtex] |
| [719] | Strategic Games and Truly Playable Effectivity Functions , 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 , 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 , 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 , In Ann. Math. Artif. Intell., Springer, volume 66, 2012. [bibtex] |
| [714] | Introducing reactive modal tableaux , In Ann. Math. Artif. Intell., Springer, volume 66, 2012. [bibtex] |
| [713] | Introducing reactive Kripke semantics and arc accessibility , In Ann. Math. Artif. Intell., volume 66, 2012. [bibtex] |
| [712] | Completeness theorems for reactive modal logics , In Ann. Math. Artif. Intell., Springer, volume 66, 2012. [bibtex] |
| [711] | Global view on reactivity: switch graphs and their logics , In Ann. Math. Artif. Intell., volume 66, 2012. [bibtex] |
| [710] | Diagram Analysis Report: Use Cases for Conviviality and Privacy in Ambient Intelligent Systems , Univrersity of Luxembourg,, 2012. [bibtex] |
| [709] | Privacy challenges in ambient intelligent systems: A critical discussion. , 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. , 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 , 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 , In Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, 2012. [bibtex] |
| [704] | Visualizing Normative Systems: an Abstract Approach , In Deontic Logic in Computer Science - 11th International Conference, DEON 2012, 2012. [bibtex] |
| [703] | Algorithms for Basic Compliance Problems , 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 , In J. Log. Comput., Oxford Journals, volume 22, 2012. [bibtex] |
| [700] | User-Computer Persuasion Dialogue for Grounded Semantics , In Proceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012), 2012. [bibtex] |
| [699] | Grounded Semantics as Persuasion Dialogue , In Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), IOS Press, volume 245, 2012. [bibtex] |
| [698] | Conviviality by Design , 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 , 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 , In Journal of Philosophical Logic, Springer, volume 41, 2012. [bibtex] |
| [694] | Quantifying disagreement in argument-based reasoning , 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' , In Proceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012), 2012. [bibtex] |
| [692] | Quantifying disagreement in argument-based reasoning , In AAMAS, 2012. [bibtex] |
| [691] | Credibility-Limited Revision Operators in Propositional Logic , In KR, 2012. [bibtex] |
| [690] | Credibility-limited revision operators in propositional logic , In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), AAAI, 2012. [bibtex] |
| [689] | Conditional acceptance functions , 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 , 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 , In IX Conference of the Italian Chapter of AIS, 2012. [bibtex] |
| [686] | Towards Legal Knowledge Management Systems for Regulatory Compliance , In IX Conference of the Italian Chapter of AIS, 2012. [bibtex] |
| [685] | NLP Challenges for Eunomos, a Tool to Build and Manage Legal Knowledge , 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 , 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 , In AT2012, Agreement Technologies, Proceedings of the First International Conference on Agreement Technologies, CEUR, volume 918, 2012. [bibtex] |
| [682] | Reasoning for Agreement Technologies , In ECAI, 2012. [bibtex] [pdf] |
| [681] | Learning and reasoning about norms using neural-symbolic systems , In AAMAS, 2012. [bibtex] [pdf] |
| [680] | Causal dynamic inference , In Ann. Math. Artif. Intell., volume 66, 2012. [bibtex] |
| [679] | Introducing Conviviality as a property of Multi-Context Systems , In Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE 2012), 2012. [bibtex] |
| [678] | Embedding and automating conditional logics in classical higher-order logic , In Ann. Math. Artif. Intell., Springer, volume 66, 2012. [bibtex] |
| [677] | Embedding and automating conditional logics in classical higher-order logic , In Ann. Math. Artif. Intell., volume 66, 2012. [bibtex] |
| [676] | On Input/Output Argumentation Frameworks , 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 , In Computational Models of Argument - Proceedings of COMMA 2012, IOS Press, volume 245, 2012. [bibtex] |
| [673] | Normative Multi-Agent Systems , In Dagstuhl Reports, volume 2, 2012. [bibtex] |
| [672] | Normative Multi-Agent Systems (Dagstuhl Seminar 12111) , In Dagstuhl Reports, volume 2, 2012. [bibtex] |
| [671] | A Product Line Modeling and Configuration Methodology to Support Model-based Testing: An Industrial Case Study , 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 , Springer, 2012. [bibtex] |
| [668] | Dependence Networks for Agreement Technologies , In , CEUR, 2012. [bibtex] |
| [667] | Overview on the connection between reactive Kripke models and argumentation networks , In , Springer, 2012. [bibtex] |
| [666] | Introducing reactive modal tableaux , In , Springer, 2012. [bibtex] |
| [665] | Introducing reactive Kripke semantics and arc accessibility , In , Springer, 2012. [bibtex] |
| [664] | Global view on reactivity: switch graphs and their logics , In , Springer, 2012. [bibtex] |
| [663] | Embedding and automating conditional logics in classical higher-order logic , In , Springer, 2012. [bibtex] |
| [662] | Completeness theorems for reactive modal logics , In , Springer, 2012. [bibtex] |
| [661] | Judgement aggregation for multiagent systems , PhD thesis, , 2012. [bibtex] |
| [660] | Between Argument and Conclusion - Argument-based Approaches to Discussion, Inference and Uncertainty , PhD thesis, , 2012. [bibtex] |
| [659] | Modalities for Access Control: Logics, Proof-Theory and Applications , PhD thesis, , 2012. [bibtex] |
| [658] | NLP Challenges for Eunomos, a Tool to Build and Manage Legal Knowledge , European Language Resources Association (ELRA), 2012. [bibtex] [pdf] |
| [657] | Causal dynamic inference , In , Springer, 2012. [bibtex] |
| [656] | Eunomos, a Legal Document and Knowledge Management System to Build Legal Services , Springer, 2012. [bibtex] [pdf] |
| [655] | Why Be Afraid of Identity? , Springer, 2012. [bibtex] |
| [654] | Modelling defeasible and prioritized support in bipolar argumentation , In , Springer Science & Business Media B.V., 2012. [bibtex] |
| [653] | A logic of argumentation for specification and verification of abstract argumentation frameworks , In , Springer, 2012. [bibtex] |
| [652] | Agent Programming Languages Requirements for Programming Cognitive Robots (extended abstract) , 2012. [bibtex] |
| [651] | Normative Multi-Agent Systems , 2012. [bibtex] |
| [650] | A programming approach to monitoring communication in an organisational environment , 2012. [bibtex] |
| [649] | Visualizing Normative Systems: an Abstract Approach , Springer, 2012. [bibtex] |
| [648] | Learning and Reasoning about Norms using Neural-Symbolic Systems , 2012. [bibtex] |
| [647] | Abstract Normative Systems: Semantics and Proof Theory , 2012. [bibtex] |
| [646] | State and Path Effectivity Models for Logics of Multi-Player Games , Springer, 2012. [bibtex] |
| [645] | Distance-Based Rules for Weighted Judgment Aggregation (Extended Abstract) , 2012. [bibtex] |
| [644] | Specification and Verification of Multi-Agent Systems , Springer, 2012. [bibtex] |
| [643] | Concepts, Agents, and Coalitions in Alternating Time , 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 , Springer, 2012. [bibtex] |
| [640] | A general family of preferential belief removal operators , In , Springer, 2012. [bibtex] |
| [639] | Quantifying disagreement in argument-based reasoning , 2012. [bibtex] |
| [638] | PTL: A propositional typicality logic , 2012. [bibtex] |
| [637] | Conditional acceptance functions , 2012. [bibtex] |
| [636] | Credibility-limited revision operators in propositional logic , 2012. [bibtex] |
| [635] | Credibility-limited revision operators in propositional logic , 2012. [bibtex] |
| 2011 | |
| [634] | Judgment aggregation rules based on minimization. , 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 , Chapter in BNAIC 2011, 2011. [bibtex] |
| [632] | Conditional Ranking Revision - Iterated revision with sets of conditionals , In Journal of Philosophical Logic, Springer, 2011. [bibtex] |
| [631] | Semi-stable Extensions for Infinite Frameworks , 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 , In ECSQARU, 2011. [bibtex] [pdf] |
| [628] | Attack Semantics for Abstract Argumentation , 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 , 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 , In RuleML Europe, 2011. [bibtex] [pdf] |
| [624] | Multi-sorted Argumentation , 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 , Imperial College Press, World Scientific, to appear, 2011. [bibtex] |
| [622] | An Implementation of Basic Argumentation Components (Demonstration) , 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 , 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 , 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) , In J. Applied Logic, volume 9, 2011. [bibtex] [pdf] |
| [617] | The Generative Capacity of the Lambek-Grishin Calculus: A New Lower Bound , 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 , 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 , In Proceedings of the RE-affiliated Workshop on Requirements Engineering for Electronic Voting Systems, IEEE, 2011. [bibtex] |
| [612] | Comparing Variants of Strategic Ability , In Proceedings of IJCAI-11, 2011. [bibtex] |
| [611] | Doubtful Deviations and Farsighted Play , 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 , In Proceedings of AAMAS2011, 2011. [bibtex] |
| [609] | New Modalities for Access Control Logics: Permission, Control and Ratification , 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 , In TABLEAUX, 2011. [bibtex] |
| [607] | Judgment Aggregation for Cooperative Anchoring on the NAO Robots , In Works-in-progress track - 3rd International Conference on Social Robotics, 2011. [bibtex] [pdf] |
| [606] | Uncertainty rules in Talmudic Logic , In History and Philosophy of Logic, volume 32, 2011. [bibtex] |
| [605] | Reactive intuitionistic tableaux , In Synthese, volume 179, 2011. [bibtex] |
| [604] | Equilibria und weiteres Heiteres II , In CoRR, volume abs/1108.3033, 2011. [bibtex] |
| [603] | Conditionals and Modularity in General Logics , Springer, 2011. [bibtex] |
| [602] | Introducing Equational Semantics for Argumentation Networks , In ECSQARU, 2011. [bibtex] |
| [601] | Dungs Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger , 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 , In Inf. Comput., volume 209, 2011. [bibtex] |
| [597] | Manipulation in Group Argument Evaluation , In IJCAI, 2011. [bibtex] |
| [596] | Manipulation in Group Argument Evaluation (Extended Abstract) , 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 , Chapter in BNAIC 2011, 2011. [bibtex] |
| [594] | On Judgment Aggregation in Abstract Argumentation , In JAAMAS special issue on Computational Social Choice, volume 22, 2011. ((Online First published on November 3, 2009)) [bibtex] |
| [593] | Conviviality measures , In AAMAS, 2011. [bibtex] [pdf] |
| [592] | Alternating Epistemic Mu-Calculus , 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 , In Proceedings of the 23rd Benelux Conference on Artificial Intelligence, 2011. [bibtex] |
| [589] | How to revise a total preorder , In Journal of Philosophical Logic, Springer, volume 40, 2011. [bibtex] |
| [588] | Belief change , 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 , 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] , In Synthese, Springer Netherlands, 2011. [bibtex] |
| [585] | Argumentative Agents Negotiating on Potential Attacks , In KES-AMSTA, 2011. [bibtex] [pdf] |
| [584] | Conditional Labelling for Abstract Argumentation , In TAFA, 2011. [bibtex] [pdf] |
| [583] | Neural symbolic architecture for normative agents , In AAMAS, 2011. [bibtex] [pdf] |
| [582] | Time and defeasibility in FIPA ACL semantics , In J. Applied Logic, volume 9, 2011. [bibtex] [pdf] |
| [581] | Group Intention Is Social Choice with Commitment , 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 , 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 , In CoRR, volume abs/1106.3685, 2011. [bibtex] |
| [578] | Quantified Conditional Logics are Fragments of HOL , 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 , In ESORICS, 2011. [bibtex] |
| [575] | Secommunity: A Framework for Distributed Access Control , In LPNMR, 2011. [bibtex] |
| [574] | A dynamic logic for privacy compliance , In Artif. Intell. Law, volume 19, 2011. [bibtex] [pdf] |
| [573] | Dynamics in Delegation and Revocation Schemes: A Logical Approach , 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 , College Publications, 2011. [bibtex] |
| [570] | Logical Analysis of the Talmudic Rule of General and Specific (Klal-u-Prat) , In History and Philosophy of Logic, volume 32, 2011. [bibtex] |
| [569] | Resolution of conflicts and normative loops in the Talmud , College Publications, 2011. [bibtex] |
| [568] | Obligations and prohibitions in Talmudic deontic logic , In Artif. Intell. Law, volume 19, 2011. [bibtex] |
| 2010 | |
| [567] | A Labelling-Based Justification Status of Arguments , 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 , 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 , In Studies in Logic, volume 3, 2010. [bibtex] |
| [564] | Ranking revision with conditional knowledge bases , In Procs. of the 22nd Benelux Conference on Artificial Intelligence (BNAIC'10), 2010. [bibtex] |
| [563] | A normative multiagent approach to requirements engineering , In Logic Journal of the IGPL, volume 18, 2010. [bibtex] |
| [562] | Arguing about Trust in Multiagent Systems , 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 , 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 , 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 , In Electronic Notes in Theoretical Computer Science, Springer, volume 262, 2010. [bibtex] |
| [557] | The Many Faces of Deception , In Proceedings of the Thirty Years of Nonmonotonic Reasoning (NonMon\@30), 2010. [bibtex] |
| [556] | Aggregation problems and models: what comes first? , 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 , 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 , In Logic Journal of the IGPL, volume 18, 2010. [bibtex] |
| [553] | Moral Particularism and Deontic Logic , In DEON, 2010. [bibtex] |
| [552] | On the Deployment of Contextual Reasoning in Ambient Intelligence Environments , 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 , 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 , 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 , In Proceedings of EUMAS2010, 2010. [bibtex] |
| [545] | Reliable Methods of Judgement Aggregation , 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 , 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 , In ECAI, 2010. [bibtex] |
| [539] | Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving , In STAIRS, 2010. [bibtex] [pdf] |
| [538] | Modal and Temporal Argumentation Networks , In Time for Verification (Springer, ed.), 2010. [bibtex] |
| [537] | Non-Deductive Inference in the Talmud , College Publications, 2010. [bibtex] |
| [536] | Subsumption and Count as Relation in Argument Ontologies , In Proceedings of NMR 2010, 2010. [bibtex] |
| [535] | A Theory of Hierarchical Consequence and Conditionals , In Journal of Logic, Language and Information, volume 19, 2010. [bibtex] |
| [534] | A Comment on Work by Booth and Co-authors , 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 , 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 , 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 , 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 , In Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010), 2010. [bibtex] |
| [525] | Manipulation in group argument evaluation , In Proceedings of the 8th European Workshop on Multi-Agent Systems, 2010. [bibtex] |
| [524] | On the Existence of Semi-Stable Extensions , In Proceedings of the 22nd Benelux Conference on Artificial Intelligence, 2010. [bibtex] |
| [523] | On the Jusification Status of Arguments , In Proceedings of the 22nd Benelux Conference on Artificial Intelligence, 2010. [bibtex] |
| [522] | New Tools for Conviviality: Masks, Norms, Ontology, Requirements and Measures , PhD thesis, Luxembourg University, Luxembourg, 2010. [bibtex] |
| [521] | How to import the concept of conviviality to web communities , In IJWBC, volume 6, 2010. [bibtex] |
| [520] | Convivial Ambient Technologies: Requirements, Ontology and Design , In Comput. J., volume 53, 2010. [bibtex] [pdf] |
| [519] | Model Checking Logics of Strategic Ability: Complexity , 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 , In Proceedings of AAMAS2010, 2010. [bibtex] |
| [517] | Verifying Agents with Memory Is Harder than It Seemed , In AI Communications, IOS Press, volume 23, 2010. [bibtex] |
| [516] | Learning conditionally lexicographic preference relations , In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), 2010. [bibtex] |
| [515] | Horn Belief Change: A Contraction Core , In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), 2010. [bibtex] |
| [514] | Double preference relations for generalised belief change , In Artificial Intelligence, volume 174, 2010. [bibtex] |
| [513] | Equilibria in social belief removal , In Synthese, volume 177, 2010. [bibtex] |
| [512] | A contraction core for Horn belief change: Preliminary report , 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 , In ECAI, 2010. [bibtex] [pdf] |
| [509] | A Logical Understanding of Legal Interpretation , In KR, 2010. [bibtex] [pdf] |
| [508] | The role of goals in belief selection , In Logic Journal of the IGPL, volume 18, 2010. [bibtex] [pdf] |
| [507] | Coalition Formation via Negotiation in Multiagent Systems with Voluntary Attacks , In Procs. of the 22th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC'10), 2010. [bibtex] |
| [506] | Support in Abstract Argumentation , 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 , In Procs. of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10), 2010. [bibtex] |
| [504] | Normative Multiagent Systems: Guest Editors' Introduction , In Logic Journal of the IGPL, volume 18, 2010. [bibtex] |
| [503] | Group Intentions are Social Choice with Commitment , In Procs. of the 8th European Workshop on Multi-agent Systems (EUMAS'10), 2010. [bibtex] [pdf] |
| [502] | Group Intentions are Social Choice with Commitment , 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 , In Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10), 2010. [bibtex] [pdf] |
| [500] | Rule-Based Contextual Reasoning in Ambient Intelligence , 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 , 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 , In Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10), 2010. [bibtex] |
| [497] | Defeasible Contextual Reasoning with Arguments in Ambient Intelligence , In IEEE Transactions on Knowledge and Data Engineering, volume 22, 2010. [bibtex] |
| [496] | Individual Opinions-Based Judgment Aggregation Procedures , In MDAI, 2010. [bibtex] |
| [495] | A Logic of Privacy , In DBSec, 2010. [bibtex] |
| [494] | A Middleware for Modelling Organizations and Roles in Jade , In Post-proceedings of the 7th International Workshop on Programming Multi-Agent Systems (Promas 2009), 2010. [bibtex] [pdf] |
| [493] | Privacy Policies with Modal Logic: The Dynamic Turn , In DEON, 2010. [bibtex] [pdf] |
| [492] | Reasoning with Imperfect Context and Preference Information Reasoning with Imperfect Context and Preference Information in Multi-Context Systems , 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 , 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 , 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 , In Proceedings of JURIX 2009 - The 22nd International Conference on Legal Knowledge and Information Systems, IOS Press, 2009. [bibtex] [pdf] |
| [487] | Input/output logics , In 9th De Morgan Workshop on Deontic Logic, 2009. [bibtex] [pdf] |
| [486] | White Manipulation in Judgment Aggregation , 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 , Technical report, University of Luxembourg, 2009. [bibtex] [pdf] |
| [484] | Formal ex-post rationalization - A complete conclusion-based procedure for judgment aggregation , In Proceedings of the Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 09), 2009. (3-5 June 2009, Lannion, France) [bibtex] [pdf] |
| [483] | Global and local graph modifiers , In Electronic Notes in Theoretical Computer Science, Elsevier, volume 231, 2009. [bibtex] |
| [482] | Normative systems in computer science. Ten guidelines for normative multiagent systems , 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 , In Studia Logica, volume 93, 2009. [bibtex] |
| [480] | Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming , In BNAIC 2009, 2009. (To appear) [bibtex] |
| [479] | Programming Normative Artifacts with Declarative Obligations and Prohibitions , In IAT, 2009. [bibtex] [pdf] |
| [478] | Assessing the Impact of Informedness on a Consultant's Profit , Technical report, University of Luxembourg, 2009. [bibtex] |
| [477] | Simulating Knowledge and Dishonesty in a Client-Consultant Setting , 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 , In Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09, 2009. [bibtex] |
| [474] | Dependency in Cooperative Boolean Games , 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 , 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 , In Logic Journal of the IGPL, 2009. (To appear) [bibtex] |
| [471] | Normative multi-agent systems , 2009. (Tutorial at the European Agent Systems Summer School (EASSS'09), Torino) [bibtex] [pdf] |
| [470] | Code Patterns for Agent Oriented Programming , 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 , 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 , In Proceedings of the 6th International Joint Conference on Computer Science and Software Engineering (JCSSE 2009), 2009. [bibtex] |
| [467] | Modal Foundations for Argumentation Networks , In Studia Logica, 2009. [bibtex] |
| [466] | Non-Monotonicity and Holicity in Quantum Logic , Chapter in , Elsevier Science, 2009. [bibtex] |
| [465] | Logical Modes of Attack in Argumentation Networks , In studia logica, 2009. [bibtex] |
| [464] | Revision, Acceptability and Context , Springer, 2009. [bibtex] |
| [463] | Size and Logic , In Review of symbolic logic, volume 2, 2009. [bibtex] |
| [462] | Independence-Revision and Defaults , In Studia Logica, volume 92, 2009. [bibtex] |
| [461] | Roadmap for Preferential Logics , In Journal of Applied Non-classical Logics, volume 19, 2009. [bibtex] |
| [460] | An Analysis of Defeasible Inheritance Systems , In Logic Journal of the IGPL, 2009. [bibtex] |
| [459] | Reactive Preferential Structures and Nonmonotonic consequence , In Review of Symbolic Logic, volume 2, 2009. [bibtex] |
| [458] | A Theory of Hierarchical Conditionals , In Journal of Logic Language and Information, 2009. (To appear) [bibtex] [doi] |
| [457] | Logical Tools for Handling Change in Agent-based Systems , Springer, 2009. [bibtex] |
| [456] | Quantification in Non-classical Logics , Elsevier, 2009. [bibtex] |
| [455] | Voting with Second Order Quantifier Elimination , In studia logica, volume 92, 2009. [bibtex] |
| [454] | Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview , In Studia Logica, volume 93, 2009. [bibtex] |
| [453] | Fibring Argumentation Frames , In Studia Logica, volume 93, 2009. [bibtex] |
| [452] | Logical Modes of Attack in Argumentation Networks , In Studia Logica, volume 93, 2009. [bibtex] |
| [451] | Modal Logics of Reactive Frames , In Studia Logica, volume 93, 2009. [bibtex] |
| [450] | An Analysis of Defeasible Inheritance Systems , In Logic Journal of the IGPL, 2009. [bibtex] |
| [449] | Reactive Preferencial Structures and Nonmonotonic consequence , In Review of Symbolic Logic, volume 2, 2009. [bibtex] |
| [448] | Annotation Theories over Finite Graphs , In Studia Logica, volume 93, 2009. [bibtex] |
| [447] | Voting by Eliminating Quantifiers , In Studia Logica, volume 92, 2009. [bibtex] |
| [446] | Preface for Studia Logica Special Issue (2) , In Studia Logica, volume 93, 2009. [bibtex] [pdf] |
| [445] | Fallacies as Cognitive Virtues , In Logic, Games and Philosophy: Foundational Perspectives, 2009. [bibtex] |
| [444] | An Introduction to Formal Argumenation , 2009. (Tutorial at the International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California) [bibtex] |
| [443] | Truth, Lies and Bullshit; distinguishing classes of dishonesty , In Social Simulation workshop (SS@IJCAI), 2009. [bibtex] |
| [442] | Truth, Lies and BS; distinguishing classes of dishonesty , In BNAIC 2009, 2009. (Short paper (to appear)) [bibtex] |
| [441] | A Logical Account of Formal Argumentation , In Studia Logica, volume 93, 2009. [bibtex] |
| [440] | An Argument Game for Stable Semantics , In Logic Journal of the IGPL, volume 17, 2009. [bibtex] |
| [439] | How to import the concept of conviviality to web communities , In International Journal of Web Based Communities (IJWBC), volume 3, 2009. [bibtex] |
| [438] | Designing Convivial Digital Cities: A Social Intelligence Design Approach , In AI Society Journal, volume 24, 2009. [bibtex] [pdf] |
| [437] | A Conviviality Measure for Early Requirement Phase of Multiagent System Design , In Normative Multiagent Systems, 2009. [bibtex] [pdf] |
| [436] | The Design of Convivial Multiagent Systems , 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 , 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 , In The Computer Journal, volume 3, 2009. [bibtex] [pdf] |
| [433] | Rational Play and Rational Beliefs under Uncertainty , In Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09, 2009. [bibtex] |
| [432] | What Agents Can Probably Enforce , In Fundamenta Informaticae, volume 93, 2009. [bibtex] |
| [431] | Learning various classes of models of lexicographic orderings , In Proceedings of the ECML/PKDD-09 Workshop on Preference Learning (PL 2009), 2009. [bibtex] |
| [430] | Double preference relations for generalised belief change , In Artificial Intelligence, 2009. [bibtex] |
| [429] | A general family of preferential belief removal operators , 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 , 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 , 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 , 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 , In AICOL Workshops, 2009. [bibtex] [pdf] |
| [424] | Dynamics in argumentation with single extensions: attack refinement and the grounded extension , In AAMAS (2), 2009. [bibtex] [pdf] |
| [423] | Conditional Dependence Networks in Requirements Engineering , In COIN@AAMAS&IJCAI&MALLOW, 2009. [bibtex] [pdf] |
| [422] | Representing Excuses in Social Dependence Networks , In AI*IA, Springer, 2009. [bibtex] [pdf] |
| [421] | Norm Negotiation in Online Multi-Player Games , In Knowledge Information System Journal, volume 18, 2009. [bibtex] [pdf] |
| [420] | Fibred Security Language , In Studia Logica, volume 92, 2009. [bibtex] [pdf] |
| [419] | Meta-Argumentation Modelling I: Methodology and Techniques , In Studia Logica, volume 93, 2009. [bibtex] [pdf] |
| [418] | A Multimodal view on Access Control and Trust Management: Fibred Security Language , In Proceedings of STM09, 2009. [bibtex] [pdf] |
| [417] | Checking Consistency in role oriented Dependence Networks , In BNAIC 2009: 21th Belgian - Netherlands Conference on Artificial Intelligence, 2009. [bibtex] [pdf] |
| [416] | Social network semantics for agent communication , 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 , 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 , 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 , In Logic Journal of the IGPL, volume 17, 2009. [bibtex] [pdf] |
| [412] | Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics , In Proceedings of COIN, 2009. [bibtex] [pdf] |
| [411] | Four measures for the dynamics of coalitions in social networks , 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 , In Journal of Universal Computer, volume 15(13), 2009. [bibtex] [pdf] |
| [409] | A Normative Multiagent Approach to Requirements Engineering , In SNAMAS, 2009. [bibtex] [pdf] |
| [408] | A Normative Multiagent Approach to Requirements Engineering , In Postproceedings COIN@AAMAS 2009, Springer, 2009. [bibtex] [pdf] |
| [407] | On the Acceptability of Meta-Arguments , In IAT 2009: Procs. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IEEE, 2009. [bibtex] [pdf] |
| [406] | Logical Modelling of Evolvable Systems , In Logic Journal of IGPL, 2009. [bibtex] [doi] |
| [405] | A Meta-model of Access Control in a Fibred Security Language , In Studia Logica, volume 92, 2009. [bibtex] |
| [404] | An Implementation of Argument Based Discussion , 2009. (AAMAS 2009. (demonstrator)) [bibtex] |
| [403] | A Middleware for modeling Organizations and Roles in Jade , In Proceedings of PROMAS, 2009. [bibtex] [pdf] |
| [402] | The Interplay between Relationships, Roles and Objects , In Proceedings of FSEN09, Springer, 2009. [bibtex] [pdf] |
| [401] | BMS revisited , 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 , In Studia logica, 2009. (To appear) [bibtex] |
| [399] | Generalizing AGM to a multi-agent setting , In Logic journal of the IGPL, 2009. (To appear) [bibtex] |
| [398] | Dynamic context logic and its application to norm change , 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 , 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 , Chapter in The Dynamic Turn in Epistemology, Springer, 2009. (To appear) [bibtex] |
| [395] | Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic , In AICOL Workshops, 2009. [bibtex] [pdf] |
| [394] | Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal-Vachomer) using Matrix Abduction , 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 , In Logic Journal of IGPL, volume 16, 2008. [bibtex] |
| [391] | Belief Revision in Non-classical Logic II , In The Review of Symbolic Logic, volume 1, 2008. [bibtex] |
| [390] | Cumulativity without closure of the domain under finite unions , 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 , In AAMAS (1), 2008. [bibtex] [pdf] |
| [388] | Goal Change in the Context of Beliefs: Partial Implication, Logical Properties, and Complexity , 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 , In Artificial Intelligence and Law, volume 16, 2008. [bibtex] |
| [386] | Time and Defeasibility in FIPA ACL Semantics , In Proceedings of WLIAMAS 2008, IEEE, 2008. [bibtex] [pdf] |
| [385] | Conclusion-based procedure for judgment aggregation satisfying premise independence , 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 , 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 , 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 , 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 , 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 , 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 , In LOFT, 2008. [bibtex] [pdf] |
| [376] | From belief change to preference change , 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 , In Annals of Operations Research, volume 163, 2008. [bibtex] [pdf] |
| [374] | Preference-based argumentation: Arguments supporting multiple values , In Int. J. Approx. Reasoning, volume 48, 2008. [bibtex] [pdf] |
| [373] | Pushing Anderson's Envelope: The Modal Logic of Ascription , 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 , 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 , 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 , In Journal of Applied Logic, Elsevier, volume 6, 2008. [bibtex] [pdf] |
| [369] | Adding Organizations and Roles as Primitives to JADE Framework , 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 , 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 , 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 , In Logic Journal of IGPL, volume 16, 2008. [bibtex] |
| [365] | Quantum Logic , College publications, 2008. [bibtex] |
| [364] | Connectionist Non-classical Logics: Distributed Reasoning & Learning in Neural Networks , Springer-Verlag, 2008. [bibtex] |
| [363] | Proof theory for Fuzzy logics , Springer, 2008. [bibtex] |
| [362] | Belief Revision , Chapter in Handbook of Philosophical Logic, Kluwer, 2008. [bibtex] |
| [361] | Second-order Quantifier Elimination , College publications, 2008. [bibtex] |
| [360] | Resource-origins of Nonmonotonicity , In Studia Logica, volume 88, 2008. [bibtex] |
| [359] | Institutional Social Networks for Ambient Intelligence , In AISB 2008, 2008. [bibtex] [pdf] |
| [358] | Computability: Computable Functions, Logic, and the Foundations of Mathematics , Advanced Reasoning Forum, volume 3rd. Edition, 2008. [bibtex] |
| [357] | Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks , 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 , Springer, volume 35, 2008. [bibtex] |
| [355] | Are the foundations of computer science logic-dependent? , 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 , Springer, volume 12, 2008. [bibtex] |
| [353] | Preservation of interpolation features by fibring , In Journal of Logic and Computation, volume 18, 2008. [bibtex] |
| [352] | On the Issue of Contraposition of Defeasible Rules , 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 , 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 , In Journal of Applied Logic, volume 6, 2008. [bibtex] [pdf] |
| [349] | Towards and Argument Game for Stable Semantics , 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 , 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 , 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 , 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 , In Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008), 2008. [bibtex] [pdf] |
| [344] | What do we accept after an announcement? , In Prague International Colloquium: Logic of change, change of logic, LOCCOL'08, 2008. [bibtex] |
| [343] | Changing Attitudes About Attitude Change , 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 , 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 , 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 , 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 , In J. Applied Logic, volume 6, 2008. [bibtex] [pdf] |
| [338] | Institutions with a hierarchy of authorities in distributed dynamic environments , In Artif. Intell. Law, volume 16, 2008. [bibtex] [pdf] |
| [337] | Introduction to the special issue on normative multiagent systems , In Autonomous Agents and Multi-Agent Systems, volume 17, 2008. [bibtex] [pdf] |
| [336] | Changing Institutional Goals and Beliefs of Autonomous Agents , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , In Prague International Colloquium: Logic of change, change of logic, LOCCOL'08, 2008. [bibtex] |
| 2007 | |
| [325] | Ranking revision reloaded (extended abstract) , 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 , 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 , 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 , 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 , In Normative Multi-agent Systems, 2007. [bibtex] [pdf] |
| [320] | On the Acceptability of Incompatible Arguments , 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 , 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 , 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) , In Proceedings of AAMAS07, 2007. [bibtex] [pdf] |
| [316] | Common Foundations for Belief Revision, Belief Merging and Voting , 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 , In PRIMA, Springer, 2007. [bibtex] [pdf] |
| [314] | Comparing Two Unique Extension Semantics for Formal Argumentation: Ideal and Eager , In BNAIC 2007, 2007. [bibtex] |
| [313] | An Algorithm for Computing Semi-Stable Semantics , In ECSQARU 2007, Springer, volume 4724, 2007. [bibtex] |
| [312] | Postulates for Paraconsistent Reasoning and Fault Tolerant Logic Programming , Technical report, Institute of Information and Computing Sciences, Utrecht University, 2007. [bibtex] |
| [311] | Conviviality for Digital Cities: A Normative Multi-Agent Systems Approach , 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 , 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 , 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 , 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 , In Normative Multi-agent Systems, 2007. [bibtex] [pdf] |
| [306] | Reasoning About Norms, Obligations, Time and Agents , In PRIMA, Springer, 2007. [bibtex] [pdf] |
| [305] | Formal analysis of trace conditioning , In Cognitive Systems Research Journal, volume 8, 2007. [bibtex] [pdf] |
| [304] | KE Tableaux for Public Announcement Logic , In Proceedings of the Formal Approaches to Multi-Agent Systems Workshop (FAMAS'007), Durham, UK, 2007. [bibtex] |
| [303] | What You should Believe , 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 , 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 , In Applied Ontology, volume 2, 2007. [bibtex] [pdf] |
| [300] | Distinguishing Propositional and Action Commitment in Agent Communication , In Proceedings of CMNA'07, 2007. [bibtex] [pdf] |
| [299] | Merging Roles in Coordination and in Agent Deliberation , In PRIMA, Springer, 2007. [bibtex] [pdf] |
| [298] | FIPA Communicative Acts in Defeasible Logic , In Proceedings of NRAC'07, 2007. [bibtex] [pdf] |
| [297] | Choosing Your Beliefs , In Normative Multi-agent Systems, 2007. [bibtex] [pdf] |
| [296] | From Social Power to Social Importance , In Web Intelligence and Agent Systems journal, volume 5, 2007. [bibtex] [pdf] |
| [295] | Norm negotiation in multiagent systems , 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 , In Artificial Intelligence and Law Journal (AILaw), 2007. [bibtex] [pdf] |
| [293] | Roles, an interdisciplinary perspective , In Applied Ontology, volume 2, 2007. [bibtex] [pdf] |
| [292] | Power in Norm Negotiation , 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 , In Normative Multi-agent Systems, 2007. [bibtex] [pdf] |
| [290] | Introduction to Normative Multiagent Systems , 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 , 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 , 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) , In Workshop on Logics and Collective Decision making (LCD'07), 2007. [bibtex] |
| [285] | Roles in Coordination and in Agent Deliberation: A Merger of Concepts , In Proceedings of AWESOME07, 2007. [bibtex] [pdf] |
| [284] | Relationships Meet Their Roles in Object Oriented Programming , 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 , In Journal of Object Technology, volume 6, 2007. [bibtex] [pdf] |
| [282] | Adding Roles to Relationship Patterns , In Proceedings of WOA07, 2007. [bibtex] [pdf] |
| [281] | Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects , 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 , In Journal Logica Universalis, volume 1, 2007. [bibtex] [pdf] |
| [279] | Integrating Architectural Models , In Enterprise Modelling and Information Systems Architectures, volume 1, 2007. [bibtex] [pdf] |
| 2006 | |
| [278] | Rankings from Merging - a preliminary version , In Informal Proceedings of the Eight Augustus de Morgan Workshop on Belief Revision, Belief Merging and Social Choice (http://www.dcs.kcl.ac.uk/events/ADMW06), 2006. [bibtex] |
| [277] | Landscape Maps for Enterprise Architectures. , 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 , 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 , In Synthese, volume 152(2), 2006. [bibtex] |
| [273] | Pareto consistency in a model-based perspective on judgment aggregation , 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 , 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. , 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 , In Proceedings of FUSION 2006, 2006. (Also in proceedings of NMR06) [bibtex] [pdf] |
| [264] | Preference reasoning for argumentation: non-monotonicity and algorithms , In Proceedings of the NMR'06, 2006. [bibtex] [pdf] |
| [263] | Acyclic Argumentation: Attack = Conflict + Preference , 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 , 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 , 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 , 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 , 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 , In AAMAS, 2006. [bibtex] [pdf] |
| [255] | ACL Semantics between Social Commitments and Mental Attitudes , 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 , 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 , 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. , 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 , In Procs. of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06), IEEE, 2006. [bibtex] [pdf] |
| [250] | Strengthening Admissible Coalitions , 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 , 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 , 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. , In Electronic Notes in Theoretical Computer Science (ENTCS), volume 150, 2006. [bibtex] [pdf] |
| [246] | Norm Negotiation Power. , In Proceedings of BNAIC06, 2006. [bibtex] [pdf] |
| [245] | Game-Theoretic Foundations for Norms , In Procs. of Artificial Intelligence Studies, volume 3(26), 2006. [bibtex] [pdf] |
| [244] | Fair Distribution of Collective Obligations. , In Procs. of the 17th European Conference on Artificial Intelligence(ECAI'06), IOS, 2006. [bibtex] [pdf] |
| [243] | Count-As Conditionals, Classification and Context. , In Procs. of the 17th European Conference on Artificial Intelligence (ECAI'06), 2006. [bibtex] [pdf] |
| [242] | A Foundational Ontology of Organizations and Roles , 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 , 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 , 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 , 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 , In Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI), Springer, volume 3900, 2006. [bibtex] [pdf] |
| [237] | Introduction to normative multiagent systems , In Computation and Mathematical Organizational Theory, Special issue on Normative Multiagent Systems, volume 12, 2006. [bibtex] [pdf] |
| [236] | Preface. , 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 , 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 , PhD thesis, University of Marseille, 2006. [bibtex] |
| [233] | Modelling the Interaction Between Objects: Roles as Affordances. , 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 , 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 , In Networks, rivista di filosofia dell'intelligenza artificiale e scienze cognitive, volume 6, 2006. [bibtex] [pdf] |
| [230] | Roles as a Coordination Construct: Introducing powerJava , 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 , 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 , 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 , 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) , 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 , 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 , In ECSQARU, 2005. [bibtex] [pdf] |
| [213] | Non-monotonic reasoning with various kinds of preferences , In Proceedings of PREF05, 2005. [bibtex] [pdf] |
| [212] | Analyzing Control Trust in Normative Multiagent Systems , In Proceedings of the 2005 Bled eCommerce Conference, 2005. [bibtex] [pdf] |
| [211] | Applying Normative Multiagent Systems: A Case Study , 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 , 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 , In Australian Conference on Artificial Intelligence, 2005. [bibtex] [pdf] |
| [204] | Programming Cognitive Agents in Defeasible Logic , In LPAR, 2005. [bibtex] [pdf] |
| [203] | How to decide what to do? , In European Journal of Operational Research, volume 160, 2005. [bibtex] [pdf] |
| [202] | Decisions, Deliberation, and Agent Types CDT - QDT - BDI - 3APL - BOID , 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 , In BNAIC, 2005. [bibtex] [pdf] |
| [199] | Beliefs, obligations, intentions, and desires as components in an agent architecture , In Int. J. Intell. Syst., volume 20, 2005. [bibtex] [pdf] |
| [198] | Formalisation and Analysis of the Temporal Dynamics of Conditioning , In AOSE, 2005. [bibtex] [pdf] |
| [197] | Change impact analysis of enterprise architectures , In IRI, 2005. [bibtex] [pdf] |
| [196] | Enterprise Architecture Analysis with XML , In HICSS, 2005. [bibtex] [pdf] |
| [195] | Argument Games for Interactive Access Control , In Web Intelligence, 2005. [bibtex] [pdf] |
| [194] | A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages , In IAT, 2005. [bibtex] [pdf] |
| [193] | Virtual Organizations as Normative Multiagent Systems , In HICSS, 2005. [bibtex] [pdf] |
| [192] | Reducing coalition structures via agreement specification , In AAMAS, 2005. [bibtex] [pdf] |
| [191] | Admissible Agreements among Goal-directed Agents , In IAT, 2005. [bibtex] [pdf] |
| [190] | Enforceable social laws , In AAMAS, 2005. [bibtex] [pdf] |
| [189] | The Evolution of Artificial Social Systems , In IJCAI, 2005. [bibtex] [pdf] |
| [188] | A Non-monotonic Logic for Specifying and Querying Preferences , In IJCAI, 2005. [bibtex] [pdf] |
| [187] | Permission and Authorization in Normative Multiagent Systems , In ICAIL, 2005. [bibtex] [pdf] |
| [186] | Role-based Rights in Artificial Social Systems , In IAT, 2005. [bibtex] [pdf] |
| [185] | Introduction to Normative Multiagent Systems , In NORMAS, 2005. [bibtex] [pdf] |
| [184] | Transaction trust in normative multiagent systems , In Procs. of Trust in Agent Societies Workshop at AAMAS'05, 2005. [bibtex] [pdf] |
| [183] | Coordination in Normative Multiagent Systems , In Procs. of FInCo'05, 2005. [bibtex] [pdf] |
| [182] | Decision-Theoretic Deliberation in Resource Bounded Self-Aware Agents , In Procs. of Commonsense'05, 2005. [bibtex] [pdf] |
| [181] | Argumentation for Access Control , In AI*IA, 2005. [bibtex] [pdf] |
| [180] | Interaction in Normative Multi-Agent Systems , In Electr. Notes Theor. Comput. Sci., volume 141, 2005. [bibtex] [pdf] |
| [179] | Permission and Authorization in Policies for Virtual Communities of Agents , 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 , In Proceedings of LOAIT'05, 2005. [bibtex] [pdf] |
| [177] | From the Theory of Mind to the Construction of Social Reality , In Procs. of Annual Conference on the Cognitive Science Society, Lawrence Erlbaum, 2005. [bibtex] [pdf] |
| [176] | Introduction to Normative Multiagent Systems , In Procs. of NorMas Symposium at AISB'05, 2005. [bibtex] [pdf] |
| [175] | Social roles, from agents back to objects , In WOA, 2005. [bibtex] [pdf] |
| [174] | Introducing Ontologically Founded Roles in Object Oriented Programming: powerJava , 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 , 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 , 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 , In ISoLA (Preliminary proceedings), 2004. [bibtex] [pdf] |
| [162] | Combining goal generation and planning in an argumentation framework , In Proc Proceedings NMR'04, 2004. [bibtex] [pdf] |
| [161] | Combining goal generation and planning in an argumentation framework , 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 , In CLIMA V, 2004. [bibtex] [pdf] |
| [157] | Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans , In AAMAS, 2004. [bibtex] [pdf] |
| [156] | Games for Cognitive Agents , In JELIA, 2004. [bibtex] [pdf] |
| [155] | A Logical Viewpoint on Architectures , In EDOC, 2004. [bibtex] [pdf] |
| [154] | Social Viewpoints on Multiagent Systems , In AAMAS, 2004. [bibtex] [pdf] |
| [153] | Power and Dependence Relations in Groups of Agents , In IAT, 2004. [bibtex] [pdf] |
| [152] | An Abstraction from Power to Coalition Structures , In ECAI, 2004. [bibtex] [pdf] |
| [151] | Groups as Agents with Mental Attitudes , In AAMAS, 2004. [bibtex] [pdf] |
| [150] | Contracts as Legal Institutions in Organizations of Autonomous Agents , In AAMAS, 2004. [bibtex] [pdf] |
| [149] | Local vs Global Policies and Centralized vs Decentralized Control in Virtual Communities of Agents , In Web Intelligence, 2004. [bibtex] [pdf] |
| [148] | Organizations as Socially Constructed Agents in the Agent Oriented Paradigm , In WOA, 2004. [bibtex] [pdf] |
| [147] | Normative Multiagent Systems and Trust Dynamics , In Trusting Agents for Trusting Electronic Societies, 2004. [bibtex] [pdf] |
| [146] | Regulative and Constitutive Norms in Normative Multiagent Systems , In KR, 2004. [bibtex] [pdf] |
| [145] | Attributing mental attitudes to roles: the agent metaphor applied to e-trade organizations , In ICEC, 2004. [bibtex] [pdf] |
| [144] | Game Specification in Normative Multiagent System: The Trias Politica , In IAT, 2004. [bibtex] [pdf] |
| [143] | Fulfilling or Violating Obligations in Normative Multiagent Systems , In IAT, 2004. [bibtex] [pdf] |
| [142] | Organizations as Socially Constructed Agents in the Agent Oriented Paradigm , In ESAW, 2004. [bibtex] [pdf] |
| [141] | Negotiating the Distribution of Obligations with Sanctions among Autonomous Agents , In ECAI, 2004. [bibtex] [pdf] |
| [140] | Delta: The Social Delegation Cycle , In DEON, 2004. [bibtex] [pdf] |
| [139] | Persuasion Strategies in Dialogue , In Procs. of CMNA Workshop at ECAI'04, 2004. [bibtex] [pdf] |
| [138] | Decision-Theoretic Deliberation under Bounded Rationality , In Procs. of LOFT'04, 2004. [bibtex] [pdf] |
| [137] | Power and Dependence in Multiagent Systems , In Procs. of CEAS Workshop at ECAI'04, 2004. [bibtex] [pdf] |
| [136] | Delta: The Social delegation Cycle , In Procs. of CEAS Workshop at ECAI'04, 2004. [bibtex] [pdf] |
| [135] | An agent oriented ontology of social reality , 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 , 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 , In Ann. Math. Artif. Intell., volume 37, 2003. [bibtex] [pdf] |
| [125] | Permission from an Input/Output Perspective , In Journal of Philosophical Logic, Springer Netherlands, volume 32, 2003. (10.1023/A:1024806529939) [bibtex] [pdf] |
| [124] | What is input/output logic? , 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 , In IJCAI, 2003. [bibtex] [pdf] |
| [122] | Towards a Language for Coherent Enterprise Architecture Descriptions , In EDOC, 2003. [bibtex] [pdf] |
| [121] | Combining Goal Generation and Planning in an Argumentation Framework , 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 , 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 , In IJCAI, 2003. [bibtex] [pdf] |
| [116] | BDIO CTL: Properties of obligation in agent specification languages , In Proceedings of IJCAI’03, 2003. [bibtex] [pdf] |
| [115] | What an Agent Ought To Do , In Artif. Intell. Law, volume 11, 2003. [bibtex] [pdf] |
| [114] | Local Policies for the Control of Virtual Communities , In Web Intelligence, 2003. [bibtex] [pdf] |
| [113] | Policy Management for Virtual Communities of Agents , In WOA, 2003. [bibtex] [pdf] |
| [112] | Decentralized Control: Obligations and Permissions in Virtual Communities of Agents , In ISMIS, 2003. [bibtex] [pdf] |
| [111] | Norm Governed Multiagent Systems: The Delegation of Control to Autonomous Agents , In IAT, 2003. [bibtex] [pdf] |
| [110] | Obligations as Social Constructs , In AI*IA, 2003. [bibtex] [pdf] |
| [109] | Attributing mental attitudes to normative systems , In AAMAS, 2003. [bibtex] [pdf] |
| [108] | Obligations and Permissions as Mental Entities , 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 , In Procs. of IJCAI Workshop on Computational Models of Natural Argument, 2003. [bibtex] [pdf] |
| [106] | Permissions and Undercutters , In Procs. of IJCAI Workshop on Non Monotonic Reasoning, Actions and Causality, 2003. [bibtex] [pdf] |
| [105] | Division of Powers in MAS Control , 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 , 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 , 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 , In Proceedings of the 9th international conference on Artificial intelligence and law, ACM, 2003. [bibtex] [pdf] [doi] |
| [101] | Rational Norm Creation , In ICAIL, 2003. [bibtex] [pdf] |
| [100] | Permissions and Obligations in Hierarchical Normative Systems , 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 , In Autonomous Agents and Multi-Agent Systems, volume 5, 2002. [bibtex] [pdf] |
| [92] | Decisions and games for BD agents , 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 , In CoRR, volume cs.MA/0207022, 2002. [bibtex] [pdf] |
| [90] | What Is a Normative Goal?: Towards Goal-Based Normative Agent Architectures , In RASTA, 2002. [bibtex] [pdf] |
| [89] | What is a joint goal? Games with beliefs and defeasible desires , In NMR, 2002. [bibtex] [pdf] |
| [88] | An Extension of BDI$_\mboxCTL$ with Functional Dependencies and Components , In LPAR, 2002. [bibtex] [pdf] |
| [87] | Specifying the Merging of Desires into Goals in the Context of Beliefs , In EurAsia-ICT, 2002. [bibtex] [pdf] |
| [86] | A classification of cognitive agents , In Proceedings of Cogsci02, 2002. [bibtex] [pdf] |
| [85] | Trust and Commitment in Dynamic Logic , In EurAsia-ICT, 2002. [bibtex] [pdf] |
| [84] | Goal generation in the BOID architecture , In Cognitive Science Quarterly, volume 2, 2002. [bibtex] [pdf] |
| [83] | Relating functionality descriptions to proof rules of input/output logic. , In Proceedings of BNAIC 2002, 2002. [bibtex] [pdf] |
| [82] | Realistic desires , 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 , 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 , In Appl. Intell., volume 14, 2001. [bibtex] [pdf] |
| [77] | Dialague games and negotiation , In Proceedings of the Agents 2001, 2001. [bibtex] [pdf] |
| [76] | Constraints for input/output logics , In Journal of Philosophical Logic, Springer, volume 30, 2001. [bibtex] [pdf] |
| [75] | Two types of conflicts between desires (and how to resolve them) , 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 , 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 , In Agents, 2001. [bibtex] [pdf] |
| [72] | Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires , In ECSQARU, 2001. [bibtex] [pdf] |
| [71] | An alternative classification of agent types based on BOID conflict resolution , 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 , In Agents, 2001. [bibtex] [pdf] |
| [69] | Wishful thinking , 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 , In Logique et Analyse, volume 43, 2000. [bibtex] [pdf] |
| [66] | Contextual Deontic Logic: violation contexts and factual defeasibility , Chapter in Formal Aspects of Context, Applied Logic Series (P. Bonzon, M. Cavalcanti, R. Nossum, eds.), Kluwer, 2000. [bibtex] [pdf] |
| [65] | Causal deontic logic , 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 , Chapter in Labelled Deduction, volume 17 of Applied Logic Series, Kluwer, 2000. [bibtex] [pdf] |
| [63] | Agents recognizing emergence , In Proceedings of the Belgium/Dutch AI Conference (BNAIC'2000), Kaatsheuvel, 2000. [bibtex] [pdf] |
| [62] | Consistency constraints for input/output logic: a comparative review , In Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon'2000), Toulouse, 2000. [bibtex] [pdf] |
| [61] | Input-output logics , In Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon'2000), Toulouse, 2000. [bibtex] [pdf] |
| [60] | Input/output logics , In Journal of Philosophical Logic, Springer, volume 29, 2000. [bibtex] [pdf] |
| [59] | Dynamic desires , 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 , In Proceedings of the Belgium/Dutch AI Conference (BNAIC'2000), Kaatsheuvel, 2000. [bibtex] [pdf] |
| [57] | Leveled commitment and trust in negotiation , 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 , 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 , 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) , In Proceedings of the IJCAI'99 Workshop on Practial Reasoning and Rationality (PRR'99), 1999. [bibtex] [pdf] |
| [53] | Labelled Logics of Defeasible Goals , 1999. [bibtex] [pdf] |
| [52] | Diagnosis and Decision Making in Normative Reasoning , In Artif. Intell. Law, volume 7, 1999. [bibtex] [pdf] |
| [51] | Contrary-to-duty reasoning with preference-based dyadic obligations , In Ann. Math. Artif. Intell., volume 27, 1999. [bibtex] [pdf] |
| [50] | Defeasible Goals , In ESCQARU, 1999. [bibtex] [pdf] |
| [49] | Violation Contexts and Deontic Independence , In CONTEXT, 1999. [bibtex] [pdf] |
| [48] | An Update Semantics for Defeasible Obligations , In UAI, 1999. [bibtex] [pdf] |
| [47] | Rights, Duties and Commitments between Agents , 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 , In Proceedings of the 1st International Workshop on Labelled Deduction (LD'98), 1998. [bibtex] [pdf] |
| [40] | Phased labeled logics of conditional goals , 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 , In Proceedings of the Fourth Workshop on Deontic Logic in Computer Science (Deon'98), 1998. [bibtex] [pdf] |
| [38] | Prohairetic Deontic Logic (PDL) , 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 , 1998. [bibtex] [pdf] |
| [36] | Prima facie obligations in update semantics , In Proc. 6th European Workshop on Logics in AI: Logics in Artificial Intelligence, 1998. [bibtex] [pdf] |
| [35] | Goals, desires, utilities and preferences , In Proceedings of the ECAI'98 Workshop on Decision Theory meets Artificial Intelligence, 1998. [bibtex] [pdf] |
| [34] | Deliberate Robbery, or the Calculating Samaritan , In In Proceedings of the ECAI'98 Workshop on Practical Reasoning and Rationality (PRR'98, 1998. [bibtex] [pdf] |
| [33] | Labeled Logics of Conditional Goals , In ECAI, 1998. [bibtex] [pdf] |
| [32] | An Update Semantics for Prima Facie Obligations , In ECAI, 1998. [bibtex] [pdf] |
| [31] | The Temporal Analysis of Chisholm's Paradox , In AAAI/IAAI, 1998. [bibtex] [pdf] |
| [30] | An Update Semantics for Deontic Reasoning , In International Workshop on Natural Language and Information Systems NLIS'98, 1998. [bibtex] [pdf] |
| [29] | Phased Labeled Logics of Conditional Goals , In JELIA, 1998. [bibtex] [pdf] |
| [28] | Towards a Formal Analysis of Control Systems , In In Proceedings of the ECAI'98, John Wiley and Sons, Ltd, 1998. [bibtex] [pdf] |
| [27] | Formal Models of Control Systems , 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 , Chapter in Defeasible Deontic Logic, volume 263 of Synthese Library (D. Nute, ed.), Kluwer, 1997. [bibtex] [pdf] |
| [24] | Contextual deontic logic , 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 , In Formal models of agents, Springer, volume 1760, 1997. [bibtex] [pdf] |
| [22] | Reasoning about obligations: defeasibility in preference-based deontic logic , Thesis, 1997. [bibtex] [pdf] |
| [21] | Prohairetic Deontic Logic and Qualitative Decision Theory , 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) , 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 , In ICAIL, 1997. [bibtex] [pdf] |
| [18] | Distinguishing Different Roles in Normative Reasoning , In Proceedings of the 9th Dutch Conference on Artificial Intelligence (NAICÕ97), 1997. [bibtex] [pdf] |
| [17] | An Update Semantics for Deontic Reasoning , 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 , In ModelAge Workshop, 1997. [bibtex] [pdf] |
| [15] | Contextual Deontic Logic , In ModelAge Workshop, 1997. [bibtex] [pdf] |
| [14] | Reasoning About Exceptions (Extended Abstract) , In KI, 1997. [bibtex] [pdf] |
| [13] | Sceptical Reasoning About Defaults , 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 , 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 , In DEON, 1996. [bibtex] [pdf] |
| [9] | How to Model Normative Behavior in Petri Nets , 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 , In IJCAI, 1995. [bibtex] [pdf] |
| [6] | Why Defeasible Deontic Logic needs a Multi Preference Semantics , 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 , 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 , In AI*IA, 1993. [bibtex] [pdf] |
| [1] | Orderings for first-order inductive logic (in Dutch) . [bibtex] [pdf] |
Powered by bibtexbrowser