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..