Projection in the situation calculus refers to answering queries about the future evolutions of the modeled domain, while progression refers to updating the logical representation of the initial state so that it reflects the changes due to an executed action. In the general case projection is not decidable and progression may require second-order logic. In this paper we focus on a recent result...

Education is an effort designed to achieve the goals that have been set improve quality of human resources. One these efforts go through a learning process. In educational resources, teachers are component resources must be fostered and developed continuously. The establishment teacher profession carried out pre-service education programs in-service programs. Not all who educate in institutions...

The article analyzes the law enforcement practice, in particular practice of prosecutorial supervision, judicial on appointment and payment financial assistance to victims an emergency. On basis study, main situations are identified that dictate need for systematic work building integral legislative framework ensuring rights citizens emergency situation, particular: legality defining boundaries...

Abstract To monitor the discharge of water pollutants from vessels, a monitoring system for vessels has been established on Yangtze River. The generates tens thousands ship wastewater pollutant data every day. analysis and visualization can help department to grasp situation improve accuracy supervision. This extracts warehouse in real-time based extraction technology, improves query efficiency...

for the vast majority of the iranian m.a. students of tefl, thesis writing is the first individual engagement with research. despite having some pedagogical merits, such an academic activity generally poses some intellectual and affective challenges to such students. during thesis completion, if students are not effectively scaffolded by supervisors and not supported by universities, they are l...

This paper studies the notion of ability and its relation with the notion of action in a multi-agent context. It introduces the distinction between two notions respectively called “theoretical ability” and “ability”. The main contribution of this paper is a model of these notions in the Situation Calculus.

SEFRE (Shoulder-Elbow-Forearm Robotics Economic) rehabilitation system is presented in this paper. SEFRE Rehab System is composed of a robotic manipulator and an exoskeleton, so-called Forearm Supportive Mechanism (FSM). The controller of the system is developed as the Master PC consisting of five modules, that is, Intelligent Control (IC), Patient Communication (PC), Training with Game (TG), P...

BACKGROUND In recent years, the focus on patient safety and housestaff supervision has led to a steady increase in institutions providing 24/7 in-hospital (also known as in-house, henceforth referred to as IH) coverage by pediatric intensivists. Effects of this increased attending physician presence on education of pediatric housestaff have not been studied. We hypothesized that IH coverage wou...

AIM To evaluate an intervention aimed at enriching day centres for people with psychiatric disabilities by exploring staff experiences from developing and implementing the intervention. METHOD Each staff group developed a tailor-made intervention plan, following a manual, for how to enrich the day centre. They received supervision and support from the research team. The study was based on foc...

Psychological treatments delivered by lay therapists, with little or no previous mental health training, have been shown to be effective in treating a range of mental health problems. In low resource settings, the dearth of available experts to assess therapy quality potentially leads to a bottleneck in scaling up lay therapist delivered psychological treatments. Peer-led supervision and the as...