{"id":"https://openalex.org/W4414437704","doi":"https://doi.org/10.1007/978-3-032-05134-9_25","title":"Possibilistic Logic and\u00a0Inference for\u00a0Linear Systems","display_name":"Possibilistic Logic and\u00a0Inference for\u00a0Linear Systems","publication_year":2025,"publication_date":"2025-09-23","ids":{"openalex":"https://openalex.org/W4414437704","doi":"https://doi.org/10.1007/978-3-032-05134-9_25"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-05134-9_25","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-05134-9_25","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":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-05280512/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119705973","display_name":"Armand Gaudillier","orcid":null},"institutions":[{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210107720","display_name":"CentraleSup\u00e9lec","ror":"https://ror.org/019tcpt25","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I4210107720"]},{"id":"https://openalex.org/I4387152683","display_name":"Math\u00e9matiques et Informatique pour la Complexit\u00e9 et les Syst\u00e8mes","ror":"https://ror.org/03q29s414","country_code":null,"type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4387152683"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Armand Gaudillier","raw_affiliation_strings":["Universit\u00e9 Paris-Saclay, CentraleSupelec, MICS, Paris, France","MICS - Math\u00e9matiques et Informatique pour la Complexit\u00e9 et les Syst\u00e8mes (Plateau de Moulon 3 rue Joliot Curie 91192 GIF SUR YVETTE CEDEX - France)"],"raw_orcid":"https://orcid.org/0009-0003-4699-3650","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, CentraleSupelec, MICS, Paris, France","institution_ids":["https://openalex.org/I4210107720","https://openalex.org/I277688954"]},{"raw_affiliation_string":"MICS - Math\u00e9matiques et Informatique pour la Complexit\u00e9 et les Syst\u00e8mes (Plateau de Moulon 3 rue Joliot Curie 91192 GIF SUR YVETTE CEDEX - France)","institution_ids":["https://openalex.org/I4387152683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040868837","display_name":"Khaled Belahc\u00e8ne","orcid":"https://orcid.org/0000-0003-4502-9539"},"institutions":[{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210107720","display_name":"CentraleSup\u00e9lec","ror":"https://ror.org/019tcpt25","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I4210107720"]},{"id":"https://openalex.org/I4387152683","display_name":"Math\u00e9matiques et Informatique pour la Complexit\u00e9 et les Syst\u00e8mes","ror":"https://ror.org/03q29s414","country_code":null,"type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4387152683"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Khaled Belahc\u00e8ne","raw_affiliation_strings":["Universit\u00e9 Paris-Saclay, CentraleSupelec, MICS, Paris, France","MICS - Math\u00e9matiques et Informatique pour la Complexit\u00e9 et les Syst\u00e8mes (Plateau de Moulon 3 rue Joliot Curie 91192 GIF SUR YVETTE CEDEX - France)"],"raw_orcid":"https://orcid.org/0000-0003-4502-9539","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, CentraleSupelec, MICS, Paris, France","institution_ids":["https://openalex.org/I4210107720","https://openalex.org/I277688954"]},{"raw_affiliation_string":"MICS - Math\u00e9matiques et Informatique pour la Complexit\u00e9 et les Syst\u00e8mes (Plateau de Moulon 3 rue Joliot Curie 91192 GIF SUR YVETTE CEDEX - France)","institution_ids":["https://openalex.org/I4387152683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070507590","display_name":"Wassila Ouerdane","orcid":"https://orcid.org/0000-0002-4515-7461"},"institutions":[{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210107720","display_name":"CentraleSup\u00e9lec","ror":"https://ror.org/019tcpt25","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I4210107720"]},{"id":"https://openalex.org/I4387152683","display_name":"Math\u00e9matiques et Informatique pour la Complexit\u00e9 et les Syst\u00e8mes","ror":"https://ror.org/03q29s414","country_code":null,"type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4387152683"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Wassila Ouerdane","raw_affiliation_strings":["Universit\u00e9 Paris-Saclay, CentraleSupelec, MICS, Paris, France","MICS - Math\u00e9matiques et Informatique pour la Complexit\u00e9 et les Syst\u00e8mes (Plateau de Moulon 3 rue Joliot Curie 91192 GIF SUR YVETTE CEDEX - France)"],"raw_orcid":"https://orcid.org/0000-0002-4515-7461","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, CentraleSupelec, MICS, Paris, France","institution_ids":["https://openalex.org/I4210107720","https://openalex.org/I277688954"]},{"raw_affiliation_string":"MICS - Math\u00e9matiques et Informatique pour la Complexit\u00e9 et les Syst\u00e8mes (Plateau de Moulon 3 rue Joliot Curie 91192 GIF SUR YVETTE CEDEX - France)","institution_ids":["https://openalex.org/I4387152683"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070285963","display_name":"S\u00e9bastien Destercke","orcid":"https://orcid.org/0000-0003-2026-468X"},"institutions":[{"id":"https://openalex.org/I102516824","display_name":"Universit\u00e9 de Technologie de Compi\u00e8gne","ror":"https://ror.org/04y5kwa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I102516824"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210088387","display_name":"Heuristics and Diagnostics for Complex Systems","ror":"https://ror.org/0075hvk77","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102516824","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210088387","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"S\u00e9bastien Destercke","raw_affiliation_strings":["Universit\u00e9 de technologie de Compi\u00e8gne, CNRS, Alliance Sorbonne Universit\u00e9, Heudiasyc, Compi\u00e8gne, France","Heudiasyc - Heuristique et Diagnostic des Syst\u00e8mes Complexes [Compi\u00e8gne] (UTC, CS 60319 - 57 avenue de Landshut - 60203 Compi\u00e8gne cedex - France)"],"raw_orcid":"https://orcid.org/0000-0003-2026-468X","affiliations":[{"raw_affiliation_string":"Universit\u00e9 de technologie de Compi\u00e8gne, CNRS, Alliance Sorbonne Universit\u00e9, Heudiasyc, Compi\u00e8gne, France","institution_ids":["https://openalex.org/I102516824","https://openalex.org/I39804081","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Heudiasyc - Heuristique et Diagnostic des Syst\u00e8mes Complexes [Compi\u00e8gne] (UTC, CS 60319 - 57 avenue de Landshut - 60203 Compi\u00e8gne cedex - France)","institution_ids":["https://openalex.org/I4210088387","https://openalex.org/I102516824"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5119705973"],"corresponding_institution_ids":["https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4387152683"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.40553627,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"362","last_page":"375"},"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9983999729156494,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9900000095367432,"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/semantics","display_name":"Semantics (computer science)","score":0.66839998960495},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6177999973297119},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.48170000314712524},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.4668999910354614},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.45840001106262207},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.4255000054836273},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.421099990606308},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.3935000002384186},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.3880999982357025}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7414000034332275},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.66839998960495},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6177999973297119},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.48170000314712524},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.4668999910354614},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.45840001106262207},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4553999900817871},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.4255000054836273},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.421099990606308},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3986000120639801},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.3935000002384186},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.3880999982357025},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.3849000036716461},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.38179999589920044},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38040000200271606},{"id":"https://openalex.org/C137912672","wikidata":"https://www.wikidata.org/wiki/Q1967096","display_name":"Possibility theory","level":4,"score":0.37299999594688416},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3296999931335449},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.328000009059906},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.3158000111579895},{"id":"https://openalex.org/C2988105877","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference system","level":5,"score":0.31380000710487366},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.30790001153945923},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.2809000015258789},{"id":"https://openalex.org/C2780882242","wikidata":"https://www.wikidata.org/wiki/Q14235582","display_name":"Literal (mathematical logic)","level":2,"score":0.27399998903274536},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C107327155","wikidata":"https://www.wikidata.org/wiki/Q330268","display_name":"Decision support system","level":2,"score":0.26100000739097595},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.25609999895095825},{"id":"https://openalex.org/C2777472644","wikidata":"https://www.wikidata.org/wiki/Q16968992","display_name":"Approximate inference","level":3,"score":0.25360000133514404}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-032-05134-9_25","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-05134-9_25","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:HAL:hal-05280512v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05280512","pdf_url":"https://hal.science/hal-05280512/document","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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2025), Sep 2025, Hagen, Germany. pp.362-375, ⟨10.1007/978-3-032-05134-9_25⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-05280512v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05280512","pdf_url":"https://hal.science/hal-05280512/document","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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2025), Sep 2025, Hagen, Germany. pp.362-375, ⟨10.1007/978-3-032-05134-9_25⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414437704.pdf"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W19812932","https://openalex.org/W1184059260","https://openalex.org/W1557601222","https://openalex.org/W1583117182","https://openalex.org/W2002328436","https://openalex.org/W2081918316","https://openalex.org/W2118061494","https://openalex.org/W2401610261","https://openalex.org/W2611147814","https://openalex.org/W3048739385","https://openalex.org/W4210427261","https://openalex.org/W4213419683","https://openalex.org/W4230588984","https://openalex.org/W4384938813","https://openalex.org/W4388310111","https://openalex.org/W6891943987"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}