Search

Your search keyword '"van der Hoek W"' showing total 956 results
Start Over Author "van der Hoek W"
956 results on '"van der Hoek W"'

3. Introduction to the special issue

Author

Ågotnes, T, Bonanno, G, and van der Hoek, W

Subjects
Philosophy, History and Philosophy of Specific Fields, Artificial Intelligence and Image Processing
Published
2016

9. Introduction to the special issue

Author

Bonanno, G, Herzig, A, van der Hoek, W, and Lang, J

Subjects
Economic Theory, Applied Mathematics, Statistics
Published
2013

10. Agent Programming with Declarative Goals

Author

de Boer, F. S., Hindriks, K. V., van der Hoek, W., and Meyer, J. -J. Ch.

Subjects
Computer Science - Artificial Intelligence, Computer Science - Programming Languages, F.3.1, F.3.2, I.2.5, I.2.4
Abstract

A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have not incorporated the concept of a `declarative goal'. Instead, such frameworks have focused mainly on plans or `goals-to-do' instead of the end goals to be realised which are also called `goals-to-be'. In this paper, a new programming language called GOAL is introduced which incorporates such declarative goals. The notion of a `commitment strategy' - one of the main theoretical insights due to agent logics, which explains the relation between beliefs and goals - is used to construct a computational semantics for GOAL. Finally, a proof theory for proving properties of GOAL agents is introduced. Thus, we offer a complete theory of agent programming in the sense that our theory provides both for a programming framework and a programming logic for such agents. An example program is proven correct by using this programming logic.

Published
2002

23. Concurrent Dynamic Epistemic Logic

Author

Van Ditmarsch, H. P., Van Der Hoek, W., Kooi, B. P., Symons, John, editor, Hendricks, Vincent F., editor, Hintikka, Jaakko, editor, Van Dalen, Dirk, editor, Kuipers, Theo A. F., editor, Seidenfeld, Teddy, editor, Suppes, Patrick, editor, Woleński, Jan, editor, Jørgensen, Klaus Frovin, editor, and Pedersen, Stig Andur, editor

Published
2003
Full Text
View/download PDF

31. A Complete Epistemic Logic for Multiple Agents

Author

Van der Hoek, W., Meyer, J. J., Leinfellner, W., editor, Eberlein, G., editor, Tijs, S. H., editor, Bacharach, Michael, editor, Gérard-Varet, Louis-André, editor, Mongin, Philippe, editor, and Shin, Hyun Song, editor

Published
1997
Full Text
View/download PDF

37. Communicating rational agents

Author

van Linder, B., van der Hoek, W., Meyer, J. -J. Ch., Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Nebel, Bernhard, editor, and Dreschler-Fischer, Leonie, editor

Published
1994
Full Text
View/download PDF

45. Annual report Surveillance of influenza and other respiratory infections in the Netherlands: winter 2019/2020

Author

Reukers, DFM, van Asten, L, Brandsema, PS, Dijkstra, F, Hendriksen, JMT, van der Hoek, W, Hooiveld, M, de Lange, MMA, Niessen, FA, Teirlinck, AC, Meijer, A, and van Gageldonk-Lafeber, AB

Subjects
RIVM rapport 2020-0177
Abstract

Griepepidemie De griepepidemie in de winter van 2019/2020 was mild en duurde 5 weken. Dat is korter dan het gemiddelde van tien weken in de afgelopen 25 jaar. De laatste twee weken van de griepepidemie, de eerste helft van maart 2020, vielen samen met het begin van de COVID-19-epidemie in Nederland. Naar schatting hebben tussen oktober 2019 en mei 2020 400.000 mensen de griep gehad. Ongeveer 74.000 mensen gingen naar de huisarts met griepachtige klachten. Mensen zijn vooral ziek geworden van het type A-griepvirus. Tijdens de epidemie stierven er 600 mensen meer dan verwacht in deze periode. Deze 'oversterfte' hangt waarschijnlijk samen met de griep. Mensen die een griepprik hebben gekregen, hadden in het griepseizoen 48 procent minder kans om griep te krijgen. De effectiviteit van het vaccin is ongeveer hetzelfde als in vorige griepseizoenen. COVID-19 epidemie in Nederland In deze rapportage zijn de gegevens over COVID-19 meegenomen voor de duur van het griepseizoen, tot en met 17 mei. Op 27 februari 2020 is de eerste COVID-19-patiënt in Nederland bevestigd. Sindsdien zijn veel mensen besmet met het nieuwe coronavirus (SARSCoV-2) dat de ziekte COVID-19 veroorzaakt. Tussen 27 februari en 17 mei 2020 heeft de GGD 43.993 mensen met COVID-19 gemeld, met een piek van 7794 meldingen in de week van 6 april. In deze eerste golf zijn 11.095 patiënten opgenomen in het ziekenhuis en zijn er 9600 mensen meer overleden dan normaal. Meldingsplichtige luchtweginfecties Sommige luchtweginfecties moeten bij de GGD worden gemeld. De GGD kan ze dan intensief volgen en als het nodig is op tijd actie nemen om te voorkomen dat ze zich verder verspreiden. Het aantal meldingen van psittacose is in 2019 sterk gestegen naar 91, het hoogste aantal sinds 2010. Het aantal gemelde gevallen van legionella (566) tuberculose (759) en Q-koorts (18) bleef stabiel. Q-koorts, psittacose en legionella uiten zich meestal in de vorm van longontstekingen. De werkelijke aantallen liggen hoger dan de gemelde. Mensen met een longontsteking worden vaak niet getest, waardoor de ziekteverwekker niet bekend is.

Published
2021

49. Griepvaccinatie

Author

van der Hoek, W, Carpay, M, de Lange, M, and Meijer, A

Published
2020

Catalog

Books, media, physical & digital resources
See catalog results