{"type":"ScholarlyArticle","title":"Contextual Default Reasoning","authors":[{"name":"Gerhard Brewka","slug":"gerhard-brewka","given":"Gerhard","family":"Brewka","affiliation":""},{"name":"Floris Roelofsen","slug":"floris-roelofsen","given":"Floris","family":"Roelofsen","affiliation":""},{"name":"Luciano Serafini","slug":"luciano-serafini","given":"Luciano","family":"Serafini","affiliation":""}],"abstract":"In this paper we introduce a multi-context variant of Reiter's default logic. The logic provides a syntactical counterpart of Roelofsen and Serafini's information chain approach (IJCAI-05), yet has several advantages: it is closer to standard ways of representing nonmonotonic inference and a number of results from that area come for free; it is closer to implementation, in particular the restriction to logic programming gives us a computationally attractive framework; and it allows us to handle a problem with the information chain approach related to skeptical reasoning.","doi":null,"url":"https://ijcai.org/proceedings/2007/41","pdf":"https://ijcai.org/proceedings/2007/0041.pdf","markdown":"https://ijcai.org/proceedings/2007/41.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/41","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":41,"pages":{"first":268,"last":272},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}