{"type":"ScholarlyArticle","title":"Inferences in Quantified Semantic Networks","authors":[{"name":"Robert F. Simmons","slug":"robert-f-simmons","given":"Robert F.","family":"Simmons","affiliation":""},{"name":"Daniel Chester","slug":"daniel-chester","given":"Daniel","family":"Chester","affiliation":""}],"abstract":"Conventions are shown for representing information in semantic networks in a linear form called semantic case relations. Representations of variables, truth functions, and quantified statements are provided. Methods for answering questions from the resulting semantic predicates are iilustrated and a computational procedure for answering questior.s from quantified semantic predicates is described.","doi":null,"url":"https://ijcai.org/proceedings/1977/59","pdf":"https://ijcai.org/proceedings/1977/0059.pdf","markdown":"https://ijcai.org/proceedings/1977/59.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/59","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Representation of Knowledge","track":"Representation of Knowledge","number":59,"pages":{"first":267,"last":272},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}