{"id":"https://openalex.org/W182625891","doi":"https://doi.org/10.1007/978-3-319-14484-9_3","title":"A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants","display_name":"A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W182625891","doi":"https://doi.org/10.1007/978-3-319-14484-9_3","mag":"182625891"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-14484-9_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-14484-9_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034424053","display_name":"Zeineb Graja","orcid":null},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR","TN"],"is_corresponding":false,"raw_author_name":"Zeineb Graja","raw_affiliation_strings":["Institute for Research in Computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France","Research on Development and Control of Distributed Applications Laboratory (ReDCAD) Faculty of Economics and Management, University of Sfax, Tunisia","Paul Sabatier University","University of Sfax"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Research in Computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555"]},{"raw_affiliation_string":"Research on Development and Control of Distributed Applications Laboratory (ReDCAD) Faculty of Economics and Management, University of Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]},{"raw_affiliation_string":"Paul Sabatier University","institution_ids":["https://openalex.org/I134560555"]},{"raw_affiliation_string":"University of Sfax","institution_ids":["https://openalex.org/I142899784"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040015985","display_name":"Fr\u00e9d\u00e9ric Migeon","orcid":null},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Migeon","raw_affiliation_strings":["Institute for Research in Computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France","Paul Sabatier University;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Research in Computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555"]},{"raw_affiliation_string":"Paul Sabatier University;","institution_ids":["https://openalex.org/I134560555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084834551","display_name":"Christine Maurel","orcid":null},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christine Maurel","raw_affiliation_strings":["Institute for Research in Computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France","Paul Sabatier University;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Research in Computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555"]},{"raw_affiliation_string":"Paul Sabatier University;","institution_ids":["https://openalex.org/I134560555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111848861","display_name":"Marie-Pierre Gleizes","orcid":null},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marie-Pierre Gleizes","raw_affiliation_strings":["Institute for Research in Computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France","Paul Sabatier University;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Research in Computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555"]},{"raw_affiliation_string":"Paul Sabatier University;","institution_ids":["https://openalex.org/I134560555"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063228263","display_name":"Ahmed Hadj Kacem","orcid":"https://orcid.org/0000-0002-8895-0152"},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Ahmed Hadj Kacem","raw_affiliation_strings":["Research on Development and Control of Distributed Applications Laboratory (ReDCAD) Faculty of Economics and Management, University of Sfax, Tunisia","[University of Sfax]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research on Development and Control of Distributed Applications Laboratory (ReDCAD) Faculty of Economics and Management, University of Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]},{"raw_affiliation_string":"[University of Sfax]","institution_ids":["https://openalex.org/I142899784"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"40","last_page":"57"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9934999942779541,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8481550216674805},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.686764121055603},{"id":"https://openalex.org/keywords/foraging","display_name":"Foraging","score":0.5928562879562378},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.5295622944831848},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.48547986149787903},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4530493915081024},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.44956183433532715},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34212344884872437},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23064836859703064},{"id":"https://openalex.org/keywords/ecology","display_name":"Ecology","score":0.1754627525806427}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8481550216674805},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.686764121055603},{"id":"https://openalex.org/C165287380","wikidata":"https://www.wikidata.org/wiki/Q2916569","display_name":"Foraging","level":2,"score":0.5928562879562378},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.5295622944831848},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.48547986149787903},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4530493915081024},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44956183433532715},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34212344884872437},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23064836859703064},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.1754627525806427},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-14484-9_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-14484-9_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:oatao.univ-toulouse.fr:18785","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401987","display_name":"Open Archive Toulouse Archive Ouverte (University of Toulouse)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I17866349","host_organization_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","host_organization_lineage":["https://openalex.org/I17866349"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:HAL:hal-03260611v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03260611","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://link.springer.com/chapter/10.1007/978-3-319-14484-9_3","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:oatao.univ-toulouse.fr:18785","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401987","display_name":"Open Archive Toulouse Archive Ouverte (University of Toulouse)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I17866349","host_organization_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","host_organization_lineage":["https://openalex.org/I17866349"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W133647819","https://openalex.org/W1541838012","https://openalex.org/W1550365029","https://openalex.org/W1702854617","https://openalex.org/W1968797214","https://openalex.org/W1992164531","https://openalex.org/W2002956917","https://openalex.org/W2010392910","https://openalex.org/W2015688007","https://openalex.org/W2024254237","https://openalex.org/W2118172007","https://openalex.org/W2120822777","https://openalex.org/W2799340090","https://openalex.org/W4244819751"],"related_works":["https://openalex.org/W4200081355","https://openalex.org/W2135179174","https://openalex.org/W1932300341","https://openalex.org/W3081944365","https://openalex.org/W2294784349","https://openalex.org/W2890381285","https://openalex.org/W2048910501","https://openalex.org/W2136432055","https://openalex.org/W301102721","https://openalex.org/W1979659965"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}