We define a notion of bounded action theory in the situation calculus, where the theory entails that in all situations, the number of ground fluent atoms is bounded by a constant. Such theories can still have an infinite domain and an infinite set of states. We argue that such theories are fairly common in applications, either because facts do not persist indefinitely or because one eventually ...

We propose a translation into Modal Logic of the ideas that formalise belief change in the Situation Calculus. This translation is extended to the case of revision. In the conclusion is presented a set of open issues.

For applications of volume visualization in medicine, it is important to assure that the 3D images show the true anatomical situation, or at least to know about their limitations. In this paper, various methods for evaluation of image quality are reviewed. They are classified based on the fundamental terms of diagnostic and technical image quality, and discussed with respect to the question wha...

For applications of volume visualization in medicine, it is important to assure that the 3D images show the true anatomical situation, or at least to know about their limitations. In this paper, various methods for evaluation of image quality are reviewed. They are classified based on the fundamental terms of intelligibility and fidelity, and discussed with respect to the question what clues th...

Abstract In Poland, cholelithiasis affects approximately 20% of the population and require 45.000 cholecystectomies per year. Women, especially mature women, are more at risk developing this condition. Hormonal reproductive factors reason for higher incidence in women. publication, we review significant affecting situation. The anatomical structure gallbladder may have a impact on course cholec...

introduction: medical undergraduates usually understand and memorize anatomical course material with difficulty. also, the current text books and atlases of anatomy and histology do not fulfill all the learning needs of the undergraduates. therefore, it is necessary to consider the role of internet websites and computer programs (i.e. the role of electronic learning) in teaching. the present re...

absracta rare variant of ansa cervicalis was discovered during dissection of the neck in amale cadaver. the superior root of the ansa cervicalis was formed by the c1 ventralramus. it accompanied with the vagus nerve in place of the hypoglossal nerve and descendedinto the carotid sheath with it. moreover the c1 ventral ramus formed fromthe sheath and joined the inferior root from c2 and c3 ventr...

The anatomy of the clitoris is described in human anatomy textbooks. Some researchers have proposal and divulged a new anatomical terminology for the clitoris. This paper is a revision of the anatomical terms proposed by Helen O'Connell, Emmanuele Jannini, and Odile Buisson. Gynecologists, sexual medicine experts, and sexologists should spread certainties for all women, not hypotheses or person...

A congenital anomaly of the right aortic arch (RAA) is rare, and esophageal cancer associated with the vascular ring is even more rare. In such cases, it is very important to understand the anatomical situation in the upper mediastinum in order to perform a safe and curative operation. A 52-year-old man who presented with odynophagia was admitted to our department after a diagnosis of advanced ...

FDG-PET imaging of primary breast cancer tumors is currently not a generally accepted indication. This is explained by scientific research in the early days of PET imaging, that demonstrated poor visibility of tumors with FDG within surrounding glandular tissue, and poor anatomical localization of lesions within a breast on PET alone. On the other hand, MRI is now developing as a standard tool ...