Prior approaches to generating diverse plans in domainindependent planning seek out variations on plan structure such as actions or causal links used, or states entered. As a result, these approaches can achieve great plan set diversity by synthesizing unnecessarily long plans. This type of misleading diversity may be useful if, for example, the plans are used as training data for a learner; ho...

criticism of public extension services has resulted in various countries seeking alternative approaches for provision of these services. in all these approaches, extension personnel are the key factors to the success of the implementation. today, agricultural extension services in turkey bear the responsibility of the ministry of food, agriculture and livestock. a number of non-public extension...

In this work we introduce Semantic Turkey, a Semantic Extension for the popular web browser Mozilla Firefox. Semantic Turkey can be used to keep track of relevant information from visited web sites and organize collected content according to a personally defined ontology. Clear separation between knowledge data (the WHAT) and web links (the WHERE) is established into the knowledge model of the ...

The focus of this paper is the technique of recur8\on analysis. Recursion analysis is used by the Boyer-Moore Theorem Prover to choose an appropriate induct ion schema and variable to prove theorems by mathematical induct ion. A rat ional reconstruction of recursion analysis is out l ined, using the technique of proof plans. This rat ional reconstruction suggests an extension of recursion analy...

The focus of this paper is the technique of recur8\on analysis. Recursion analysis is used by the Boyer-Moore Theorem Prover to choose an appropriate induct ion schema and variable to prove theorems by mathematical induct ion. A rat ional reconstruction of recursion analysis is out l ined, using the technique of proof plans. This rat ional reconstruction suggests an extension of recursion analy...

In recent years, public interest in aged apartment remodeling has come to rise in Korea with the government’s strict regulation to restrict apartment reconstruction. To meet the rising demands on apartment remodeling, we attempt in this paper to develop an analytical research and schematic application of extension types for domestic apartment building stocks. Our research adopts a typological a...

Timed initial literals refer to a recently added feature to the problem domain description language PDDL. Besides the modelling perspective to express exogenous events, this language extension allows to impose deadlines to action execution and to select temporal plans of high quality. For efficiently solving problems with explicit timing requirements, the work in this paper extends a two-stage ...

BACKGROUND To evaluate the dosimetric performance of multi-channel vaginal cylinder (MCVC) against interstitial brachytherapy (ISBT) for the treatment of vaginal tumors. METHODS Vaginal tumors with extension of > 0.5 cm and ≤ 2 cm from the lateral vaginal wall and/or ≤ 1 cm in height above the vaginal vault were retrospectively selected from a ISBT registry trial database. The selected patien...

Planning is a natural domain of application for frameworks of reasoning about actions and change. In this paper we study how one such framework, the Language E , can form the basis for planning under (possibly) incomplete information. We define two types of plans: weak and safe plans, and propose a planner, called the E-Planner, which is often able to extend an initial weak plan into a safe pla...

The initial stages of spinodal decomposition were studied by subjecting a critical blend of model polyolefins to a pressure quench and monitoring the evolution by time-resolved small angle neutron scattering. Contrary to the predictions of the widely accepted Cahn-Hilliard-Cook theory, we demonstrate that coarsening of the phase-separated structure begins immediately after the quench and occurs...