Accidental ingestion or inhalation of dental objects during daily clinical practice may cause various clinical complications such as damage to the digestive tract, abscess formation, peritonitis, septicemia, pneumonia, foreign-body granuloma, fistulas and duodenocolic fissures.[1] The severity of the situation depends on the anatomical direction that the object followed and the anatomical locat...

Agent supervision is a form of control/customization where a supervisor restricts the behavior of an agent to enforce certain requirements, while leaving the agent as much autonomy as possible. This is done in a setting based on the situation calculus and a variant of the ConGolog programming language that is situation-determined, i.e., the remaining program is a function of the action performe...

This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to provide adaptive navigation. The different levels of conception, related to different aspects of the available metadata, are split in different layers in GLAM, in order to ease the conception of the adaptation system a...

variations in arterial anatomy are less frequent, contrary to the venous system, and most of these variations affect visceral arteries. variations in the brachial artery are the most frequently reported and so far a minimum of six different patterns have been described. the most common of these patterns is the superficial brachial artery, which lies superficially to the median nerve. much less ...

BACKGROUND Three-dimensional (3D) visualization is thought to improve the anatomical understanding of clinicians, thus improving patient safety. CASE PRESENTATION A 58-year-old male was admitted to our hospital in April 2007 with a suspected metastasis of a sigmoid cancer in the Couinaud segment (CS) 7. The anatomical situation of this patient was analyzed using both a CT scan and 3D images. ...

We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segment based calculus, the dipole calculus and necessary extensions for representing navigational concepts like turn right. We investigate how its conceptual neighborhood structure can be applied in the situation calculus for reaso...

A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling search control knowledge, expressed declaratively in a logic, into the preconditions of the plan actions (operators). We do this within the framework of the situation calculus by introducing a transformation of nonMarkovia...

Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by means of depth profiles whereby each object in the world is represented as a single peak. We propose a logical theory, formulated in the situation calculus (SC), that is used for reasoning about object motion (includin...