{"type":"ScholarlyArticle","title":"40 Years of Research in Possibilistic Logic – a Survey","authors":[{"name":"Didier Dubois","slug":"didier-dubois","given":"Didier","family":"Dubois","affiliation":""},{"name":"Henri Prade","slug":"henri-prade","given":"Henri","family":"Prade","affiliation":""}],"abstract":"Possibilistic logic is forty years old. Possibilistic logic is a logic that handles classical logic formulas\r\nassociated with weights taking values in a linearly ordered set or more generally in a lattice. Over the\r\ndecades, possibilistic logic has undergone numerous developments at both theoretical and applied\r\nlevels. The ambition of this article is to review all these developments while exposing the main ideas\r\nbehind them.","doi":"10.24963/ijcai.2025/1158","url":"https://ijcai.org/proceedings/2025/1158","pdf":"https://ijcai.org/proceedings/2025/1158.pdf","markdown":"https://ijcai.org/proceedings/2025/1158.md","bibtex":"https://ijcai.org/proceedings/2025/bibtex/1158","volume":{"slug":"2025","title":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2025","url":"https://ijcai.org/proceedings/2025/","year":2025,"location":"Montreal, Canada","dates":"16-22 August 2025","editors":"James Kwok","isbn":"978-1-956792-06-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2025"},"section":"Survey Track","track":"Survey Track","number":1158,"pages":{"first":10427,"last":10435},"keywords":["Knowledge Representation and Reasoning: General","Knowledge Representation and Reasoning: KRR: Other","Uncertainty in AI: UAI: Nonprobabilistic models"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}