4 Hits in 1.9 sec

Using Rewrite Strategies for Testing BUpL Agents [chapter]

Lăcrămioara Aştefănoaei, Frank S. de Boer, M. Birna van Riemsdijk
2010 Lecture Notes in Computer Science  
We first define a formal language for the specification of test cases with respect to BUpL.  ...  Testing an agent program with respect to a given test case corresponds to strategically executing the rewrite theory associated to the agent with respect to the strategy implementing the test case.  ...  First, we have provided a formalisation for testing BUpL agents. Second, we have introduced rewrite strategies to define test drivers that implement test cases.  ... 
doi:10.1007/978-3-642-12592-8_11 fatcat:ddzm27ag6zcdrjneuhzsmsslxy

Using the Maude Term Rewriting Language for Agent Development with Formal Foundations [chapter]

M.B. van Riemsdijk, L. Aştefănoaei, F.S. de Boer
2010 Specification and Verification of Multi-agent Systems  
We advocate the use of the Maude term rewriting language and its supporting tools for prototyping, model-checking, and testing agent programming languages and agent programs.  ...  We use the agent programming language BUpL (Belief Update programming Language) for illustration.  ...  Meyer for their contributions to work on which this chapter is partly based.  ... 
doi:10.1007/978-1-4419-6984-2_9 fatcat:62xmrb6o3zev3bv2aimxylabtu

A Verification Framework for Normative Multi-Agent Systems [chapter]

Lăcrămioara Aştefănoaei, Mehdi Dastani, John-Jules Meyer, Frank S. de Boer
2008 Lecture Notes in Computer Science  
This paper presents a programming language that facilitates the implementation of coordination artifacts which in turn can be used to regulate the behaviour of individual agents.  ...  Prototyping by means of rewriting is important since it allows us both to design and to experiment with the language definitions.  ...  Another topic for future research is how rewrite strategies [EMOMV07] can be used to compare various implementation strategies.  ... 
doi:10.1007/978-3-540-89674-6_9 fatcat:hbz6ggwxf5h7pixjsjxjbbh6tq

Medicalization and Masculinities

Karen Hvidtfeldt, Camilla Bruun Eriksen, Michael Nebeling Petersen, Kristian Møller, Sebastian Mohr, Anna Sofie Bach, Sheila L. Cavanagh, Eli Smeplass, Bent Olsen, Camilla Tved
2020 Kvinder, Køn og Forskning  
Andelen af maend blandt personalet i danske børnehaver for de 0-6 årige børn er beskedent. I begyndelsen af januar 2013 var den omkring 7 procent (BUPL 2015; Nielsen 2017, s. 104) .  ...  No. 1 2020 duplicity and strategy that often structure discussions of passing."  ...  enkelt ikke belaeg for at haevde i dag.  ... 
doi:10.7146/kkf.v29i1.123455 fatcat:fgh4zp6thndnnkebpebjrflxxu