Agents interacting in a dynamically changing spatial environment often need to access the same spatial resources. A typical example is given by moving vehicles that meet at an intersection in a street network. In such situations right-of-way rules regulate the actions the vehicles involved may perform. For this application scenario we show how the Golog framework for reasoning about action and ...

Article history: Available online 3 April 2010

• Each table in the database has one column and stores the possible values for a ground fluent term. •Whenever there is complete knowledge about the term, the corresponding table has exactly one row. E.g., the ground fluent term door has only one possible value (Closed ) and so the table for door has exactly one row: Closed. •Whenever there is incomplete knowledge, the table has more than one r...

paper, we attempt to reconstruct the sitcalculus on a dense flow of time. The

Radioiodine (RAI)-refractory thyroid cancer is an uncommon entity, occurring with an estimated incidence of 4-5 cases/year/million people. RAI refractoriness is more frequent in older patients, in those with large metastases, in poorly differentiated thyroid cancer, and in those tumors with high 18-fluordeoxyglucose uptake on PET/CT. These patients have a 10-year survival rate of less than 10%....

We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hypertext systems. In our presentation, a particular version of the situation calculus (which includes a language for programming complex actions) developed for the modeling of dynamic worlds and for the control of robotic ag...