{"type":"ScholarlyArticle","title":"Allowed Arguments","authors":[{"name":"Michael Morreau","slug":"michael-morreau","given":"Michael","family":"Morreau","affiliation":""}],"abstract":"Starting with a first-order modal conditional logic which allows unlimited nesting of defaults and embeddings into any context analyzable in possibleworlds theory, I introduce two simple notions of default reasoning: the syntactic notion of (prioritized) Allowed Consequence and the semantic notion of (prioritized) Allowed Entailment. I prove that the one is sound and complete relative to the other.","doi":null,"url":"https://ijcai.org/proceedings/1995/189","pdf":"https://ijcai.org/proceedings/1995/0189.pdf","markdown":"https://ijcai.org/proceedings/1995/189.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/189","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Non-monotonic Reasoning","track":"Non-monotonic Reasoning","number":189,"pages":{"first":1466,"last":1472},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}