Computing Compliance

Computing Compliance. Ciardelli, I., Cornelisse, I., Groenendijk, J., & Roelofsen, F. In He, X, Horty, J, & Pacuit, E, editors, Logic, Rationality, and Interaction, pages 55–65, 2009. Springer.

Paper doi abstract bibtex 4 downloads

Inquisitive semantics (cf. Groenendijk, 2008) provides a formal framework for reasoning about information exchange. The central logical notion that the semantics gives rise to is compliance. This paper presents an algorithm that computes the set of compliant responses to a given initiative. The algorithm is sound and complete. The implementation is accessible online via www.illc.uva.nl/inquisitive-semantics .

@inproceedings{Ciardelli:09lori,
	abstract = {Inquisitive semantics (cf. Groenendijk, 2008) provides a formal framework for reasoning about information exchange. The central logical notion that the semantics gives rise to is compliance. This paper presents an algorithm that computes the set of compliant responses to a given initiative. The algorithm is sound and complete. The implementation is accessible online via www.illc.uva.nl/inquisitive-semantics .},
	author = {Ciardelli, Ivano and Cornelisse, Irma and Groenendijk, Jeroen and Roelofsen, Floris},
	booktitle = {Logic, Rationality, and Interaction},
	date-modified = {2021-08-17 00:00:00 +0000},
	doi = {10.1007/978-3-642-04893-7_5},
	editor = {He, X and Horty, J and Pacuit, E},
	keywords = {inquisitive semantics,theoretical linguistics,compliance,computational},
	mendeley-tags = {inquisitive semantics,theoretical linguistics},
	pages = {55--65},
	publisher = {Springer},
	title = {{Computing Compliance}},
	url = {https://projects.illc.uva.nl/inquisitivesemantics/computing-compliance/},
	year = {2009},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-04893-7_5}}

Downloads: 4