Laurent Perrussel

Proceedings of the Foundations of Information and Knowledge Systems, 2020

Auction Description Language (ADL): General Framework for Representing Auction-Based Markets.

[BibT_eX]

[DOI]

Munyque Mittelmann

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Refining HTN Methods via Task Insertion with Preferences.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Characterizing the Expressivity of Game Description Languages.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Game Equivalence and Bisimulation for Game Description Language.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Multi-Issue Opinion Diffusion under Constraints.

[BibT_eX]

[DOI]

Sirin Botan

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

A Hierarchical Approach to Judgment Aggregation with Abstentions.

[BibT_eX]

[DOI]

Maria del Pilar Pozos Parra

Comput. Intell., 2018

On Enumerating Models for the Logic of Paradox Using Tableau.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change.

[BibT_eX]

[DOI]

Sylvie Doutre

Proceedings of the Dynamics, 2018

2017

BDI Logics for BDI Architectures: Old Problems, New Perspectives.

[BibT_eX]

[DOI]

Künstliche Intell., 2017

Using inconsistency measures for estimating reliability.

[BibT_eX]

[DOI]

Laurence Cholvy

Int. J. Approx. Reason., 2017

Relaxing Exclusive Control in Boolean Games.

[BibT_eX]

[DOI]

Francesco Belardinelli

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

On Axiomatization of Epistemic GDL.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Hierarchical Task Network Planning with Task Insertion and State Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Strategic Disclosure of Opinions on a Social Network.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Deciding Refinement Relation in Belief-Intention Databases.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

Special Issue: Information Dynamics in Artificial Societies (IDAS@ESSLLI-14).

[BibT_eX]

[DOI]

Roland Mühlenbernd

J. Log. Lang. Inf., 2016

Strategic disclosure of opinions on a social network.

[BibT_eX]

[DOI]

CoRR, 2016

Refinement of Intentions.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

On Hierarchical Task Networks.

[BibT_eX]

[DOI]

Zhanhao Xiao

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Strategic Disclosure of Opinions on a Social Network: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Consistency-Based Reliability Assessment.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

Knowledge Sharing in Coalitions.

[BibT_eX]

[DOI]

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

A Logic for Collective Choice.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Propositional Opinion Diffusion.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Towards Consistency-Based Reliability Assessment.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Judgment Aggregation with Abstentions under Voters' Hierarchy.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

GDL Meets ATL: A Logic for Game Description and Strategic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

A Dynamic Logic Framework for Abstract Argumentation.

[BibT_eX]

[DOI]

Sylvie Doutre

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Trust-based belief change.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Editorial: Uncertain reasoning FLAIRS 2011.

[BibT_eX]

[DOI]

Cory J. Butz

Int. J. Approx. Reason., 2013

Decomposing Truthful and Competitive Online Double Auctions.

[BibT_eX]

[DOI]

CoRR, 2013

Dalal's Revision without Hamming Distance.

[BibT_eX]

[DOI]

Pilar Pozos Parra

Weiru Liu

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

2012

Special section - Uncertain reasoning FLAIRS 2010.

[BibT_eX]

[DOI]

Luis Enrique Sucar

Int. J. Approx. Reason., 2012

Relevant Minimal Change in Belief Update.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Multi-unit Double Auction under Group Buying.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

2011

Belief Merging Using Normal Forms.

[BibT_eX]

[DOI]

Pilar Pozos Parra

Proceedings of the Advances in Artificial Intelligence, 2011

Mechanism Design for Double Auctions with Temporal Constraints.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Special Track on Uncertain Reasoning.

[BibT_eX]

[DOI]

Cory J. Butz

Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

Prime Normal Forms in Belief Merging.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

How to Make Specialists NOT Specialised in TAC Market Design Competition? Behaviour-Based Mechanism Design.

[BibT_eX]

[DOI]

Proceedings of the E-Commerce and Web Technologies - 12th International Conference, 2011

A Modal Framework for Relating Belief and Signed Information.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

Prime forms and minimal change in propositional belief bases.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2010

Bargain over Joint Plans.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2010: Trends in Artificial Intelligence, 2010

From Signed Information to Belief in Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Maximal Matching for Double Auction.

[BibT_eX]

[DOI]

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

Characterizing Relevant Belief Revision Operators.

[BibT_eX]

[DOI]

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

Dynamic Auction: A Tractable Auction Procedure.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Prime Implicants and Belief Update.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Reasoning about Changes of Corpus of Documents: Reasoning on Association Rules.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Experimental Market Mechanism Design for Double Auction.

[BibT_eX]

[DOI]

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008

Online Market Coordination.

[BibT_eX]

[DOI]

Masabumi Furuhata

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Quantum-Based Belief Merging.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2008

Mechanism design for capacity allocation with price competition.

[BibT_eX]

[DOI]

Masabumi Furuhata

Proceedings of the 10th International Conference on Electronic Commerce 2008, 2008

2007

Arguing for gaining access to information.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

A Persuasion Dialog for Gaining Access to Information.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, 4th International Workshop, 2007

2006

Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach.

[BibT_eX]

Thomas Meyer

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Elaborating Domain Descriptions.

[BibT_eX]

Ivan Varzinczak

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Mutual enrichment through nested belief change.

[BibT_eX]

[DOI]

Thomas Andreas Meyer

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

(dis)belief Change and Argued Feed-back Dialog.

[BibT_eX]

[DOI]

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2005

A Syntactical Approach to Belief Update.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

Mediation Using m-States.

[BibT_eX]

[DOI]

Thomas Andreas Meyer

Pilar Pozos Parra

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

2004

(Dis)Belief Change and Feed-Back Loop.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

A Syntactical Approach to Revision.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

(Dis)Belief Change Based on Messages Processing.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

A Logical Approach for Describing (Dis)Belief Change and Message Processing.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Handling Sequences of Belief Change in a Multi-agent Context.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, First German Conference, 2003

Revising Contextual Theories.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

VOLYE: Viewpoint Oriented Requirement Engineering for Lyee Methodology.

[BibT_eX]

Pierre-Jean Charrel

Christophe Sibertin-Blanc

Proceedings of the Information Modelling and Knowledge Bases XV, 2003

On Iterated Revision in the AGM Framework.

[BibT_eX]

[DOI]

Sébastien Konieczny

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

2002

Inconsistent Requirements: An Argumentation View.

[BibT_eX]

[DOI]

Pierre-Jean Charrel

Int. J. Artif. Intell. Tools, 2002

First-Order Contextual Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2002

1998

A Formalism for Convergence Measurement in a multi-viewpoint Requirement Process.

[BibT_eX]

Bernard Rothenburger

Proceedings of the Information Modelling and Knowledge Bases X: 8th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1998

Contextual Reasoning.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1996

Solving conflicts produces new contexts.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

1995

Expressing Inter-Perspective Relationships: A Logical Approach.

[BibT_eX]

[DOI]