{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T03:12:48Z","timestamp":1783566768137,"version":"3.55.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Comput Supported Coop Work"],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bf00133662","type":"journal-article","created":{"date-parts":[[2004,11,4]],"date-time":"2004-11-04T04:24:54Z","timestamp":1099542294000},"page":"323-336","source":"Crossref","is-referenced-by-count":3,"title":["Constructive difference and disagreement: A suprA-cooperation among agents"],"prefix":"10.1007","volume":"5","author":[{"given":"Catherine","family":"Tessier","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laurent","family":"Chaudron","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF00314724","volume":"18","author":"N. Balacheff","year":"1987","unstructured":"Balacheff, N. (1987): Proof Process and Validation Situation, Educational Studies in Mathematics, vol. 18, pp. 147?176.","journal-title":"Educational Studies in Mathematics"},{"key":"CR2","unstructured":"Brandt, P.-Y (1990): Strat\u00e9gie de contre argumentation et de logique ? Proceedings of the 4th ARC Symposium, Paris, March 1990."},{"key":"CR3","unstructured":"Chaudron, L. (1990): Continuous Inference ? Proceedings of the 4th ARC Symposium, Paris, March 1990."},{"key":"CR4","volume-title":"SuprA-cooperation: When Difference and Disagreement Are Constructive ? Proceedings International Workshop on the Design of Cooperative Systems","author":"L. Chaudron","year":"1995","unstructured":"Chaudron, L. and C. Tessier (1995): SuprA-cooperation: When Difference and Disagreement Are Constructive ? Proceedings International Workshop on the Design of Cooperative Systems, Antibes, France, January 1995."},{"key":"CR5","unstructured":"Chittaro, L, G. Guida, C. Tasso, and E. Toppano (1993): Functional and Teleological Knowledge in the Multimodeling Approach for Reasoning about Physical Systems: A Case Study in Diagnosis, IEEE Transactions on SMC, vol. 23.6, December 1993."},{"key":"CR6","unstructured":"Cuppens, R. and M. Carral (1993): Les tribulations d'un pentag\u00f4ne (on comment mener une recherche avec Cabri-G\u00e9om\u00e8tre), Revue Rep\u00e8re, no. 12, juillet 1993, pp. 51?73."},{"key":"CR7","volume-title":"Du Grafcet au r\u00e9seau de Petri","author":"R. David","year":"1989","unstructured":"David, R. and H. Alla (1989): Du Grafcet au r\u00e9seau de Petri. Paris: Herm\u00e8s."},{"key":"CR8","volume-title":"The Mathematical Experience","author":"Ph. Davis","year":"1982","unstructured":"Davis, Ph. and R. Hersch (1982): The Mathematical Experience. Boston: Birkhauser."},{"key":"CR9","first-page":"485","volume-title":"Readings in Distributed AI","author":"K. Decker","year":"1988","unstructured":"Decker, K. et al. (1988): Evaluating Research in Cooperative Distributed Problem Solving. In Readings in Distributed AI, A. Bond and L. Gasser (eds.). Los Angeles: Morgan Kaufmann, pp. 485?519."},{"key":"CR10","unstructured":"Duffaut, O. (1994): Probl\u00e9matique multi-mod\u00e8le pour la g\u00e9n\u00e9ration d'arbres de tests: application aux syst\u00e8mes de commande automobiles. Th\u00e8se de doctorat Ensae."},{"key":"CR11","volume-title":"Syst\u00e8ms coop\u00e9ratis: de la mod\u00e9lisation \u00e0 la conception","author":"J. Erceau","year":"1994","unstructured":"Erceau, J., L. Chaudron, J. Ferber, and T. Bouron (1994): Syst\u00e8mes Personne(s)-Machine(s): patrimoines cognitifs distribu\u00e9s et mondes multi-agents, coop\u00e9ration et prises de d\u00e9cision collectives. In Syst\u00e8ms coop\u00e9ratis: de la mod\u00e9lisation \u00e0 la conception. Toulouse: Octares Ed."},{"key":"CR12","unstructured":"Fiorino, H. and C. Tessier (1994): A Functional and a Behavioural Models Working Together to Diagnose Failures More Accurately. In Proceedings IA'94, Paris, France, May 1994, pp. 301?310."},{"key":"CR13","first-page":"221","volume-title":"Proceedings Avignon'93 Scientific Conference","author":"M. Gams","year":"1993","unstructured":"Gams, M., N. Karba, M. Drobnic, and V. Krizman (1993): Combined Systems Offer Better Performance. In Proceedings Avignon'93 Scientific Conference, Avignon, France, May 1993, pp. 221?230."},{"key":"CR14","first-page":"41","volume-title":"Syntax and Semantic 3: Speech Acts","author":"H.P. Grice","year":"1975","unstructured":"Grice, H.P. (1975): Logic and Conversation. In Syntax and Semantic 3: Speech Acts, P. Cole and J. Morgan (eds.). New York: Academic Press, pp. 41?58."},{"key":"CR15","unstructured":"Hunt, J. and C. Price (1991): Diagnosis of Electromechanical Subsystems Using Multiple Models. In Second International Workshop on Principles of Diagnosis, Milano, October 1991."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. Kleer de","year":"1984","unstructured":"de Kleer, J. and J.S. Brown (1984): A Qualitative Physics Based on Confluences. Artificial Intelligence, vol. 24, pp. 7?83.","journal-title":"Artificial Intelligence"},{"key":"CR17","unstructured":"Laborde, C. and B. Capponi (1994): Cabri-g\u00e9om\u00e8tre constituant d'un milieu pour l'apprentissage de la notion de figure g\u00e9om\u00e9trique. In Recherches en didactique des math\u00e9matiques, vol. 14\/1.2. La pens\u00e9e sauvage Ed, pp. 245?256."},{"key":"CR18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171472","volume-title":"Proofs and Refutations","author":"Imre Lakatos","year":"1976","unstructured":"Lakatos, Imre (1976): Proofs and Refutations. Cambridge: Cambridge University Press."},{"key":"CR19","unstructured":"Lakatos, Imre (1986): A Renaissance of Empiricism in the Philosophy of Mathematics. In New Directions in the Philosophy of Mathematics, T. Tymoczko (ed.). Birkh\u00e4user, pp. 29?48."},{"key":"CR20","unstructured":"Lander, S. and V. Lesser (1993): Understanding the Role of Negotiation in Distributed Search among Heterogeneous Agents. In Proceedings IJCAI'93, pp. 438?444."},{"key":"CR21","first-page":"473","volume-title":"Actes Avignon'93, Conf\u00e9rence Scientifique","author":"V. Lef\u00e8vre","year":"1993","unstructured":"Lef\u00e8vre, V. and Y. Pollet (1993): BBI: un syst\u00e8me multi-agent d'aide \u00e0 la photo-interpretation. In Actes Avignon'93, Conf\u00e9rence Scientifique, Avignon, France, May 1993, pp. 473?482."},{"key":"CR22","unstructured":"Meilhac, C. (1993): Etude d'une pragmatique du dessin g\u00e9om\u00e9trique. M\u00e9moire de DEA Sciences cognitives. Crea Ecole Polytechnique, 1993."},{"key":"CR23","first-page":"601","volume-title":"Proceedings Avignon'93 Scientific Conference","author":"E. Oliviera","year":"1993","unstructured":"Oliviera, E., F. Monta, and A.P. Rocha (1993): Cooperation in a Multi-Agent Community. In Proceedings Avignon'93 Scientific Conference, Avignon, France, May 1993, pp. 601?610."},{"key":"CR24","unstructured":"Perret, Ch. (1988): Structuration des connaissances et raisonnement \u00e0 Faide d'objets. Rapport de recherche Inria no. 847, May 1988."},{"issue":"no. 1","key":"CR25","first-page":"9","volume":"5","author":"J. Sallantin","year":"1991","unstructured":"Sallantin, J., J.-J. Szczeciniarz, C. Barboux, M.-S. Lagrange, and M. Renaud (1991a): Semi Empirical Theory: Conception and Illustration, Revue d'Intelligence Artificielle, vol. 5, no. 1, pp. 9?67.","journal-title":"Revue d'Intelligence Artificielle"},{"issue":"no. 1","key":"CR26","first-page":"69","volume":"5","author":"J. Sallantin","year":"1991","unstructured":"Sallantin, J., Quinqueton, J., Barboux, C., and J.-P. Aubert (1991b): Semi Empirical Theory: Elements of Formalization, Revue d'Intelligence Artificielle, vol. 5, no. 1, pp. 69?92.","journal-title":"Revue d'Intelligence Artificielle"},{"key":"CR27","unstructured":"Sticklen, J. and B. Chandrasekaran (1990): Integrating Classification Based Reasoning with Function Based Deep Level Reasoning. In Causal AI Models, Werner Horn (ed.). Hemisphere Publishing Corporation."},{"key":"CR28","first-page":"343","volume-title":"Proceedings Avignon'93 Scientific Conference","author":"C. Tessier-Badie","year":"1993","unstructured":"Tessier-Badie, C. and Ch. Castel (1993): A Grafcet Based Model for Diagnosis. In Proceedings Avignon'93 Scientific Conference, Avignon, France, May 1993, pp. 343?353."},{"key":"CR29","unstructured":"Tymoczko, T. (1986): New Directions in the Philosophy of Mathematics. Birkh\u00e4user."},{"key":"CR30","volume-title":"Principles of Biological Autonomy","author":"F. Varela","year":"1979","unstructured":"Varela, F. (1979): Principles of Biological Autonomy. New York: Elsevier\/North Holland Publishers."}],"container-title":["Computer Supported Cooperative Work (CSCW)"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00133662.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00133662\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00133662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T10:23:55Z","timestamp":1554287035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00133662"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"references-count":30,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1996]]}},"alternative-id":["BF00133662"],"URL":"https:\/\/doi.org\/10.1007\/bf00133662","relation":{},"ISSN":["0925-9724","1573-7551"],"issn-type":[{"value":"0925-9724","type":"print"},{"value":"1573-7551","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}