{"id":"https://openalex.org/W2088187556","doi":"https://doi.org/10.3166/ria.24.267-290","title":"Une logique modale pour raisonner sur la coh\u00e9rence et la compl\u00e9tude de r\u00e9glementations","display_name":"Une logique modale pour raisonner sur la coh\u00e9rence et la compl\u00e9tude de r\u00e9glementations","publication_year":2010,"publication_date":"2010-06-30","ids":{"openalex":"https://openalex.org/W2088187556","doi":"https://doi.org/10.3166/ria.24.267-290","mag":"2088187556"},"language":"fr","primary_location":{"id":"doi:10.3166/ria.24.267-290","is_oa":false,"landing_page_url":"https://doi.org/10.3166/ria.24.267-290","pdf_url":null,"source":{"id":"https://openalex.org/S4210205895","display_name":"Revue d intelligence artificielle","issn_l":"0992-499X","issn":["0992-499X","1958-5748"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310312982","host_organization_name":"International Information and Engineering Technology Association","host_organization_lineage":["https://openalex.org/P4310312982"],"host_organization_lineage_names":["International Information and Engineering Technology Association"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Revue d'intelligence artificielle","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://oatao.univ-toulouse.fr/2409/1/Garion_2409.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051407825","display_name":"Christophe Garion","orcid":"https://orcid.org/0000-0002-4467-2939"},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christophe Garion","raw_affiliation_strings":["ISAE/DMIA","ONERA Toulouse -DTIM BP 54025 31055 Toulouse Cedex 4","Universit\u00e9 de Toulouse BP 54032 31055 Toulouse Cedex"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ISAE/DMIA","institution_ids":[]},{"raw_affiliation_string":"ONERA Toulouse -DTIM BP 54025 31055 Toulouse Cedex 4","institution_ids":[]},{"raw_affiliation_string":"Universit\u00e9 de Toulouse BP 54032 31055 Toulouse Cedex","institution_ids":["https://openalex.org/I17866349"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017220889","display_name":"St\u00e9phanie Roussel","orcid":"https://orcid.org/0000-0001-7033-555X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"St\u00e9phanie Roussel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5064269267","display_name":"Laurence Cholvy","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Laurence Cholvy","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.10671118,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"24","issue":"3","first_page":"267","last_page":"290"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.996999979019165,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9782000184059143,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.6145026683807373},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.33673906326293945}],"concepts":[{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.6145026683807373},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.33673906326293945}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3166/ria.24.267-290","is_oa":false,"landing_page_url":"https://doi.org/10.3166/ria.24.267-290","pdf_url":null,"source":{"id":"https://openalex.org/S4210205895","display_name":"Revue d intelligence artificielle","issn_l":"0992-499X","issn":["0992-499X","1958-5748"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310312982","host_organization_name":"International Information and Engineering Technology Association","host_organization_lineage":["https://openalex.org/P4310312982"],"host_organization_lineage_names":["International Information and Engineering Technology Association"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Revue d'intelligence artificielle","raw_type":"journal-article"},{"id":"pmh:oai:oatao.univ-toulouse.fr:2409","is_oa":true,"landing_page_url":null,"pdf_url":"https://oatao.univ-toulouse.fr/2409/1/Garion_2409.pdf","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:oatao.univ-toulouse.fr:2409","is_oa":true,"landing_page_url":null,"pdf_url":"https://oatao.univ-toulouse.fr/2409/1/Garion_2409.pdf","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5099999904632568,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2088187556.pdf"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W13928559","https://openalex.org/W91768623","https://openalex.org/W172479525","https://openalex.org/W1528726871","https://openalex.org/W1545424768","https://openalex.org/W1568294368","https://openalex.org/W1593628007","https://openalex.org/W1596067335","https://openalex.org/W1970000427","https://openalex.org/W1991650963","https://openalex.org/W2016995324","https://openalex.org/W2046580268","https://openalex.org/W2062388094","https://openalex.org/W2071678764","https://openalex.org/W2075277371","https://openalex.org/W2103546069","https://openalex.org/W2136949097","https://openalex.org/W2142703740","https://openalex.org/W2155322595","https://openalex.org/W3144889436","https://openalex.org/W4213128210","https://openalex.org/W4229581653","https://openalex.org/W4233906803"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W93312527","https://openalex.org/W2603296253","https://openalex.org/W1589203209","https://openalex.org/W2557454913","https://openalex.org/W828925460","https://openalex.org/W11365241","https://openalex.org/W1013667899","https://openalex.org/W2559405764","https://openalex.org/W157591366"],"abstract_inverted_index":{"Nous":[0,57],"nous":[1,23,44],"int\u00e9ressons":[2],"dans":[3,11,59,66],"ce":[4],"papier":[5],"aux":[6],"r\u00e9glementations":[7,63],"qui":[8],"peuvent":[9],"exister":[10],"des":[12,19,28],"syst\u00e8mes":[13],"multi-agents":[14],"pour":[15],"r\u00e9guler":[16],"les":[17,62],"comportements":[18],"agents.":[20],"Plus":[21],"pr\u00e9cis\u00e9ment,":[22],"travaillons":[24],"sur":[25],"deux":[26,42],"propri\u00e9t\u00e9s":[27],"r\u00e9glementations,":[29],"la":[30,33],"coh\u00e9rence":[31],"et":[32],"compl\u00e9tude.":[34],"Apr\u00e8s":[35],"avoir":[36],"donn\u00e9":[37],"une":[38,54,67],"d\u00e9finition":[39],"de":[40,49,51],"ces":[41],"notions,":[43],"proposons":[45],"un":[46],"cadre":[47],"permettant":[48],"compl\u00e9ter":[50],"fa\u00e7on":[52],"coh\u00e9rente":[53],"r\u00e9glementation":[55],"incompl\u00e8te.":[56],"consid\u00e9rons":[58],"l'article":[60],"que":[61],"sont":[64],"exprim\u00e9es":[65],"logique":[68],"d\u00e9ontique":[69],"du":[70],"premier":[71],"ordre.
\\n
\\n":[72]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-27T08:26:11.824852","created_date":"2025-10-10T00:00:00"}