Zoekresultaten

Zoekopdracht: faculteit: "FNWI" en publicatiejaar: "2004"

Auteur Ji Ruan Titel Exploring the Update Universe Jaar 2004 Faculteit Faculteit der Natuurwetenschappen, Wiskunde en Informatica Instituut/afd. FNWI/FGw: Institute for Logic, Language and Computation (ILLC) Serie ILLC Master of Logic Theses / ILLC ; MoL-2004-08 Samenvatting Exploring the Update Universe Ji Ruan Abstract: In this thesis, the author shows how BMS framework models the cases of message passing. He studies the sufficient and necessary conditions for two action models to have the same update effects, and proposes a structural relation between action models, named action emulation, to capture the same update effects for the propositional case. Finally, the author discusses the problem of update evolution and shows a sufficient condition for the stabilization of update evolution. Soort document Preprint Download bestand document/443367 Document finder Gebruik dit adres om naar deze pagina te linken: http://dare.uva.nl/record/419902 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.