Zoekresultaten

Zoekopdracht: auteur: "groenendijk,j."

Auteurs I. Ciardelli, I. Cornelisse, J. Groenendijk, F. Roelofsen Titel Computing compliance Boek/bron titel Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009: Proceedings Auteurs/Editors X. He, J. Horty, E. Pacuit Uitgever Springer Plaats Berlin Pagina's 55-65 ISBN 9783642048920 Faculteit Faculteit der Natuurwetenschappen, Wiskunde en Informatica Instituut/afd. FNWI: Institute for Logic, Language and Computation (ILLC) Samenvatting 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. Soort document Hoofdstuk Download bestand document/169230 Document finder Gebruik dit adres om naar deze pagina te linken: http://dare.uva.nl/record/335549 Vraag/opmerking over dit recordMail aan een collega Toevoegen aan bewaarset

• Disclaimer/Klachtenregeling
  Meent u dat de digitale beschikbaarstelling van bepaald materiaal inbreuk maakt op enig recht dat u toekomt of uw (privacy)belangen schaadt, dan kunt u dit onderbouwd aan de Universiteitsbibliotheek laten weten. Bij een gegronde klacht zal de Universiteitsbibliotheek het materiaal ontoegankelijk maken en/of van de website verwijderen, dan wel samen met u bekijken hoe op een andere manier aan uw klacht tegemoet kan worden gekomen.
  Stuurt u hiervoor een e-mail naar: dare@uva.nl, of een brief naar: Bibliotheek van de Universiteit van Amsterdam, afdeling Elektronische Diensten, UvA-DARE, Singel 425, 1012 WP Amsterdam. Er zal dan zo spoedig mogelijk contact met u worden opgenomen.

• UvA-DARE is een dienst van de Bibliotheek van de Universiteit van Amsterdam.