Consensus-finding that preserves mutually conflicting hypothetical information from a same agent

[1]  Maurice Bruynooghe,et al.  Theory and Applications of Satisfiability Testing – SAT 2016 , 2016, Lecture Notes in Computer Science.

[2]  Audun Jøsang,et al.  The consensus operator for combining beliefs , 2002, Artif. Intell..

[3]  Pierre Marquis,et al.  Consequence Finding Algorithms , 2000 .

[4]  Éric Grégoire,et al.  RCL: An A. I. Tool for Computing Maximal Consensuses , 2016, Int. J. Artif. Intell. Tools.

[5]  Dongmo Zhang,et al.  A sequential model of bargaining in logic programming , 2015, Frontiers of Computer Science.

[6]  Ke Xu,et al.  An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem , 2016, J. Artif. Intell. Res..

[7]  Robert Nieuwenhuis,et al.  Curriculum-based course timetabling with SAT and MaxSAT , 2012, Ann. Oper. Res..

[8]  Eithan Ephrati,et al.  Deriving Consensus in Multiagent Systems , 1996, Artif. Intell..

[9]  Éric Grégoire,et al.  Logical consensuses for case-based reasoning and for mathematical engineering of AI , 2016, 2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC).

[10]  Yuri Malitsky,et al.  MaxSAT by Improved Instance-Specific Algorithm Configuration , 2014, AAAI.

[11]  Mikolás Janota,et al.  Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence On Computing Minimal Correction Subsets , 2022 .

[12]  Sébastien Konieczny,et al.  Conciliation through Iterated Belief Merging , 2007, J. Log. Comput..

[13]  Éric Grégoire,et al.  On Computing Non-hypocritical Consensuses in Standard Logic , 2016, 2016 27th International Workshop on Database and Expert Systems Applications (DEXA).

[14]  Sylvain Piechowiak,et al.  The Localization and Correction of Errors in Models: A Constraint-Based Approach , 2005, Applied Intelligence.

[15]  Mohamed El Bachir Menai,et al.  An effective heuristic algorithm for the maximum satisfiability problem , 2006, Applied Intelligence.

[16]  Éric Grégoire,et al.  On Consensus Extraction , 2016, IJCAI.

[17]  Nadim Obeid,et al.  Model-Based Diagnosis and Conditional Logic , 2001, Applied Intelligence.

[18]  Éric Grégoire,et al.  An Experimentally Efficient Method for (MSS, CoMSS) Partitioning , 2014, AAAI.

[19]  Éric Grégoire,et al.  On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts , 2015, AAAI.

[20]  Éric Grégoire,et al.  On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts , 2016, AAAI.

[21]  Barry McCollum,et al.  The Third International Timetabling Competition , 2012, Ann. Oper. Res..

[22]  E.M. Atkins,et al.  A survey of consensus problems in multi-agent coordination , 2005, Proceedings of the 2005, American Control Conference, 2005..

[23]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[24]  Marijn J. H. Heule,et al.  Theory and Applications of Satisfiability Testing -- SAT 2015 , 2015, Lecture Notes in Computer Science.

[25]  Vaibhav Srivastava,et al.  Collective Decision-Making in Ideal Networks: The Speed-Accuracy Tradeoff , 2014, IEEE Transactions on Control of Network Systems.

[26]  Dongmo Zhang,et al.  A logic-based axiomatic model of bargaining , 2010, Artif. Intell..

[27]  Ben Paechter,et al.  Setting the Research Agenda in Automated Timetabling: The Second International Timetabling Competition , 2010, INFORMS J. Comput..