{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T14:39:15Z","timestamp":1777559955058,"version":"3.51.4"},"reference-count":28,"publisher":"SAGE Publications","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIC"],"published-print":{"date-parts":[[2018,5,17]]},"DOI":"10.3233\/aic-170749","type":"journal-article","created":{"date-parts":[[2017,12,22]],"date-time":"2017-12-22T11:10:29Z","timestamp":1513941029000},"page":"303-317","source":"Crossref","is-referenced-by-count":0,"title":["Consensus-finding that preserves mutually conflicting hypothetical information from\u00a0a\u00a0same agent"],"prefix":"10.1177","volume":"31","author":[{"given":"\u00c9ric","family":"Gr\u00e9goire","sequence":"first","affiliation":[{"name":"CRIL, Univ. Artois & CNRS, F-62300 Lens Cedex, France. E-mails:\u00a0gregoire@cril.fr,\u00a0lagniez@cril.fr"},{"name":"Faculty of Information Technology, Macau University of Science and Technology (MUST), Av. Wai Long, Taipa, Macau. E-mail:\u00a0duzhang@must.edu.mo"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marie","family":"Lagniez","sequence":"additional","affiliation":[{"name":"CRIL, Univ. Artois & CNRS, F-62300 Lens Cedex, France. E-mails:\u00a0gregoire@cril.fr,\u00a0lagniez@cril.fr"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Du","family":"Zhang","sequence":"additional","affiliation":[{"name":"Faculty of Information Technology, Macau University of Science and Technology (MUST), Av. Wai Long, Taipa, Macau. E-mail:\u00a0duzhang@must.edu.mo"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"issue":"1","key":"10.3233\/AIC-170749_ref1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s10479-012-1081-x","article-title":"Curriculum-based course timetabling with SAT and MaxSAT","volume":"218","author":"Ach\u00e1","year":"2014","journal-title":"Annals of Operations Research OR"},{"key":"10.3233\/AIC-170749_ref2","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.artint.2015.12.006","article-title":"MaxSAT by improved instance-specific algorithm configuration","volume":"235","author":"Ans\u00f3tegui","year":"2016","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AIC-170749_ref3","doi-asserted-by":"crossref","unstructured":"P.\u00a0Besnard, \u00c9.\u00a0Gr\u00e9goire and J.-M.\u00a0Lagniez, On computing maximal subsets of clauses that must be satisfiable with possibly mutually-contradictory assumptive contexts, in: Proceedings of the Twenty-Ninth National Conference on Artificial Intelligence (AAAI\u201915), 2015, pp.\u00a03710\u20133716.","DOI":"10.1609\/aaai.v29i1.9751"},{"key":"10.3233\/AIC-170749_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"issue":"3","key":"10.3233\/AIC-170749_ref5","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/s11704-015-3308-x","article-title":"A sequential model of bargaining in logic programming","volume":"9","author":"Chen","year":"2015","journal-title":"Frontiers of Computer Science"},{"key":"10.3233\/AIC-170749_ref6","doi-asserted-by":"crossref","unstructured":"N.\u00a0Creignou and D.\u00a0Le Berre (eds), Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Lecture Notes in Computer Science, Vol.\u00a09710, Springer, 2016.","DOI":"10.1007\/978-3-319-40970-2"},{"issue":"1\u20132","key":"10.3233\/AIC-170749_ref7","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0004-3702(95)00105-0","article-title":"Deriving consensus in multiagent systems","volume":"87","author":"Ephrati","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AIC-170749_ref8","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1613\/jair.4953","article-title":"An exact algorithm based on MaxSAT reasoning for the maximum weight clique problem","volume":"55","author":"Fang","year":"2016","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"issue":"5","key":"10.3233\/AIC-170749_ref9","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1093\/logcom\/exm047","article-title":"Conciliation through iterated belief merging","volume":"17","author":"Gauwin","year":"2007","journal-title":"Journal of Logic and Computation"},{"key":"10.3233\/AIC-170749_ref10","doi-asserted-by":"crossref","unstructured":"\u00c9.\u00a0Gr\u00e9goire, Y.\u00a0Izza and J.-M.\u00a0Lagniez, On the extraction of one maximal information subset that does not conflict with multiple contexts, in: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI\u201916), 2016, pp.\u00a03404\u20133410.","DOI":"10.1609\/aaai.v30i1.10431"},{"key":"10.3233\/AIC-170749_ref11","unstructured":"\u00c9.\u00a0Gr\u00e9goire, S.\u00a0Konieczny and J.-M.\u00a0Lagniez, On consensus extraction, in: Proceedings of the Twenty-Fifth Joint International Conference on Artificial Intelligence (IJCAI\u201916), 2016."},{"issue":"4","key":"10.3233\/AIC-170749_ref12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0218213016500263","article-title":"RCL: An A.I. tool for computing maximal consensuses","volume":"25","author":"Gr\u00e9goire","year":"2016","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"10.3233\/AIC-170749_ref13","doi-asserted-by":"crossref","unstructured":"\u00c9.\u00a0Gr\u00e9goire, J.\u00a0Lagniez and D.\u00a0Zhang, Logical consensuses for case-based reasoning and for mathematical engineering of AI, in: 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2016, Palo Alto, CA, USA, August 22\u201323, 2016, IEEE Computer Society, 2016, pp.\u00a029\u201333.","DOI":"10.1109\/ICCI-CC.2016.7862041"},{"key":"10.3233\/AIC-170749_ref14","doi-asserted-by":"crossref","unstructured":"\u00c9.\u00a0Gr\u00e9goire, J.\u00a0Lagniez and D.\u00a0Zhang, On computing non-hypocritical consensuses in standard logic, in: 27th International Workshop on Database and Expert Systems Applications, DEXA 2016 Workshops, Porto, Portugal, September 5\u20138, 2016, IEEE Computer Society, 2016, pp.\u00a097\u2013101.","DOI":"10.1109\/DEXA.2016.033"},{"key":"10.3233\/AIC-170749_ref15","doi-asserted-by":"crossref","unstructured":"\u00c9.\u00a0Gr\u00e9goire, J.-M.\u00a0Lagniez and B.\u00a0Mazure, An experimentally efficient method for (MSS, CoMSS) partitioning, in: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI\u201914), 2014, pp.\u00a02666\u20132673.","DOI":"10.1609\/aaai.v28i1.9118"},{"key":"10.3233\/AIC-170749_ref16","unstructured":"W.\u00a0Hamscher, L.\u00a0Console and J.\u00a0de\u00a0Kleer\u00a0(eds), Readings in Model-Based Diagnosis, Morgan Kaufmann Publishers Inc., 1992."},{"key":"10.3233\/AIC-170749_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24318-4"},{"issue":"1\/2","key":"10.3233\/AIC-170749_ref18","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0004-3702(02)00259-X","article-title":"The consensus operator for combining beliefs","volume":"141","author":"J\u00f8sang","year":"2002","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AIC-170749_ref19","unstructured":"J.\u00a0Marques-Silva, F.\u00a0Heras, M.\u00a0Janota, A.\u00a0Previti and A.\u00a0Belov, On computing minimal correction subsets, in: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI\u201913), 2013."},{"key":"10.3233\/AIC-170749_ref20","doi-asserted-by":"crossref","unstructured":"P.\u00a0Marquis, Consequence finding algorithms, in: J.\u00a0Kohlas and S.\u00a0Moral, eds, Algorithms for Uncertainty and Defeasible Reasoning, Kluwer, 2000, pp.\u00a041\u2013145.","DOI":"10.1007\/978-94-017-1737-3_3"},{"issue":"1","key":"10.3233\/AIC-170749_ref21","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1287\/ijoc.1090.0320","article-title":"Setting the research agenda in automated timetabling: The second international timetabling competition","volume":"22","author":"McCollum","year":"2010","journal-title":"INFORMS Journal on Computing"},{"issue":"3","key":"10.3233\/AIC-170749_ref22","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s10489-006-8514-7","article-title":"An effective heuristic algorithm for the maximum satisfiability problem","volume":"24","author":"Mena\u00ef","year":"2006","journal-title":"Applied Intelligence"},{"issue":"2","key":"10.3233\/AIC-170749_ref23","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1023\/A:1008322227554","article-title":"Model-based diagnosis and conditional logic","volume":"14","author":"Obeid","year":"2001","journal-title":"Applied Intelligence"},{"issue":"3","key":"10.3233\/AIC-170749_ref24","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s10489-005-4605-0","article-title":"The localization and correction of errors in models: A constraint-based approach","volume":"23","author":"Piechowiak","year":"2005","journal-title":"Applied Intelligence"},{"issue":"1","key":"10.3233\/AIC-170749_ref25","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10479-013-1340-5","article-title":"The third international timetabling competition","volume":"239","author":"Post","year":"2016","journal-title":"Annals of Operations Research OR"},{"key":"10.3233\/AIC-170749_ref26","doi-asserted-by":"crossref","unstructured":"W.\u00a0Ren, R.W.\u00a0Beard and E.M.\u00a0Atkins, A survey of consensus problems in multi-agent coordination, in: Proceedings of the 2005 American Control Conference, Vol.\u00a03, 2005, pp.\u00a01859\u20131864.","DOI":"10.1109\/ACC.2005.1470239"},{"issue":"1","key":"10.3233\/AIC-170749_ref27","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/TCNS.2014.2310271","article-title":"Collective decision-making in ideal networks: The speed\u2013accuracy tradeoff","volume":"1","author":"Srivastava","year":"2014","journal-title":"IEEE Transactions on Control of Network Systems"},{"issue":"16\u201317","key":"10.3233\/AIC-170749_ref28","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1016\/j.artint.2010.08.003","article-title":"A logic-based axiomatic model of bargaining","volume":"174","author":"Zhang","year":"2010","journal-title":"Artificial Intelligence"}],"container-title":["AI Communications"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AIC-170749","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T18:27:46Z","timestamp":1777400866000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AIC-170749"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,17]]},"references-count":28,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.3233\/aic-170749","relation":{},"ISSN":["1875-8452","0921-7126"],"issn-type":[{"value":"1875-8452","type":"electronic"},{"value":"0921-7126","type":"print"}],"subject":[],"published":{"date-parts":[[2018,5,17]]}}}