Rineke Verbrugge

Rineke Verbrugge
Född	( 1965-03-12 ) 12 mars 1965 amsterdam
Medborgarskap	holländska
Alma mater	Universitetet i Amsterdam
Vetenskaplig karriär
Fält	Matematik , logik , artificiell intelligens
Avhandling	Efficient Meta-Mathematics (1993)
Doktorandrådgivare	Dick de Jongh , Anne Troelstra , Albert Visser

Laurina Christina (Rineke) Verbrugge (född 12 mars 1965 i Amsterdam ) är en holländsk logiker och datavetare känd för sitt arbete med tolkningslogik och bevisbarhetslogik . Hon disputerade vid universitetet i Amsterdam 1993 under ledning av Dick de Jongh , Anne Troelstra och Albert Visser.

Hon innehar ordförandeskapet för logik och kognition vid University of Groningens Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, där hon har varit ledare för Multi-Agent Systems-arbetsgruppen sedan 2002. Hon är särskilt känd för sitt arbete koppla formell logik till kognition och utvecklingspsykologi och logikens roll för att förklara socialt beteende.

Från 2005 till 2021 var hon ordförande ( ordförande ) för Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen ( VvL; Dutch Association for Logic and Philosophy of the Exact Sciences). 2021 valdes hon till stipendiat vid Royal Netherlands Academy of Arts and Sciences ( KNAW). Verbrugge är biträdande redaktör för Journal of Logic, Language and Information .

Utvalda publikationer

• Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge, "Agent theory for team formation by dialogue" Internationell workshop om agentteorier, arkitekturer och språk (2000: 150–166.
• Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge, "Creating collective intention through dialogue," Logic Journal of the IGPL 9 no. 2 (2001): 289-304.
• Barbara Dunin-Keplicz, Rineke Verbrugge, " Teamwork in multi-agent systems: A formal approach " (Wiley 2011)
• Barbara Dunin-Keplicz, Rineke Verbrugge, "Kollektiva avsikter", Fundamenta Informaticae 51 nr. 3 (2002): 271-295.
• Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks, Irene Krämer, "Children's application of theory of mind in reasoning and language", Journal of Logic, Language and Information 17 nr. 4 (2008): 417–442.
• Rineke Verbrugge, "Logic and social cognition," Journal of Philosophical Logic 38, nr. 6 (2009): 649–680.
• Rineke Verbrugge, "Provability Logic", Stanford Encyclopedia of Philosophy (Fall 2017 Edition), Edward N. Zalta (red.), URL = < https://plato.stanford.edu/archives/fall2017/entries/logic-provability/ >.