Belief, Desire, and Intentions (BDI) agents are well suited for complex applications with (soft) real-time reasoning and control requirements. BDI agents are adaptive in the sense that they can quickly reason and react to asynchronous events and act accordingly. However, BDI agents lack learning capabilities to modify their behavior when failures occur frequently. We discuss the use of past exp...

The growing digitization and networking process within our society has a large influence on all aspects of everyday life. Large amounts of data are being produced continuously, and when these are analyzed and interlinked they have the potential to create new knowledge and intelligent solutions for economy and society. To process this data, we developed the Big Data Integrator (BDI) Platform wit...

Although the Beck Depression Inventory (BDI) is commonly used to assess levels of depressive symptoms in socially anxious adults, its psychometric properties in this context have never been formally examined. Therefore, we examined the psychometrics of the BDI in a sample of adults with a principal diagnosis of social anxiety disorder (N = 113). The BDI exhibited good internal consistency and r...

We examined the psychometric properties of the Beck Depression InventorySecond Edition (BDI-II) [Beck et al., 1996, San Antonio: The Psychological Corporation]. Four hundred fourteen undergraduate students at two public universities participated. A confirmatory factor analysis supported the BDI-II two-factor structure measuring cognitive-affective and somatic depressive symptoms. In addition, t...

The Belief-Desire-Intention (BDI) architecture is a popular framework for rational agents, yet most verification approaches are limited to analysing qualitative properties, example whether an intention completes. BDI-based systems, however, operate in uncertain environments with dynamic behaviours: we may need quantitative analysis establish properties such as the probability of eventually comp...

• We show BDI agent programming languages can be encoded in Milner's Bigraphs. prove the encoding of a superset AgentSpeak, e.g. CAN language, is faithful. provide verified executable semantics for language programs. verify program properties through model checking. This foundation to enable advanced reasoning, probabilistic verification. The Belief-Desire-Intention (BDI) architecture popular f...

As the Web gradually evolves into the semantic web, the World Wide Web consortium (W3C) recommends that web ontology language (OWL) be used to encode semantic information content over the Web. Semantic web is an essential infrastructure to enhance Web to obtain better integration of information and intelligent use of web resources. Moreover, a web service is annotated by web ontology language f...

BACKGROUND AND STUDY AIMS A study was undertaken to describe the management of post-cholecystectomy biliary fistula according to the type of cholecystectomy. PATIENTS AND METHODS A retrospective analysis of 111 patients was undertaken. They were divided into open cholecystectomy (OC) and laparoscopic cholecystectomy (LC) groups. RESULTS Of the 111 patients, 38 (34.2 %) underwent LC and 73 (...