Proof planning is an application of AI-planning in mathematical domains. The planning operators, called methods, encode proving steps. One of the strength of proof planning comes from the usage of mathematical knowledge that heuristically restricts the search space. Semantically guided proof planning takes a diierent perspective and uses semantic information as search control heuristics. In thi...

Posterior crossbite might cause serious long-term functional problems if not early treated. Nevertheless, in older patients, treatment might include palatal expansion in order to correct such malocclusion. In view of the above, this article aims at reporting late correction of bilateral posterior crossbite associated with Angle Class III malocclusion, right subdivision, with consequent midline ...

Indications for the extraction of permanent healthy teeth in dentofacial orthopedics, has been an object of polarized debate between extractionists and nonextractionist since the beginning of the twentieth century. In a media-hyped environment, where extractions have become routine, this concern that is not addressed during consultation, poses a problem for the patient-practitioner relationship...

This article describes an application of competitive associative net called CAN2 to plane extraction from 3D range images measured by a laser range finer (LRF). The CAN2 basically is a neural net which learns efficient piecewise linear approximation of nonlinear functions, and in this application it is utilized for learning piecewise planner (linear) surfaces from the range data. As a result of...

This paper presents a theoretical model in which the stock growth rate of durable goods has stochastic fluctuation over time. It concludes that a social planner increases the expected percentage rate of production since uncertainty increases the user cost from consumer’s point view.

cLinicAL GUideLines 213 Purpose The American Academy of Pediatric Dentistry (AAPD) recognizes the importance of managing the developing dentition and occlusion and its effect on the well-being of infants, children, and adolescents. Management includes the recognition, diagnosis, and appropriate treatment of dentofacial abnormalities. This guideline is intended to set forth objectives for manage...

*Department of Orthodontics, University of Athens, Greece and Private Practice, Athens, Greece, **Barts and The London School of Medicine and Dentistry, Queen Mary University of London, UK, ***Clinic of Orthodontics and Paediatric Dentistry, University of Zurich, Switzerland, ****Department of Orthodontics and Dentofacial Orthopedics, Dental School/Medical Faculty, University of Bern, Switzerla...

This paper describes an approach to automatically obtain an HTN planning domain from a well structured learning objects repository and also to apply an HTN planner to obtain IMS Learning Designs adapted to the features and needs of every student.

In the object-oriented paradigm, a real-world entity is modeled as an instance and operations applicable to the objects. In this paper the major features of subtyping mechanism and the main type of hierarchies in the Object Model are presented. The application of planning techniques in objectoriented design is specified and further developed by defining a generalized algorithm of the Planner an...