We propose a novel approach to automating the synthesis of logic programs: Logic programs are synthesized as a by-product of the planning of a verification proof. The approach is a two-level one: At the object level, we prove program verification conjectures in a sorted, first-order theory. The conjectures are of the form ∀args . prog(args ) ↔ spec(args ). At the meta-level, we plan the object-...

Introduction A systematic review attempts to comprehensively and reproducibly collect, appraise, and synthesize all available empirical evidence that meets pre-defined criteria in order to answer a research question. The quantitative combination and statistical synthesis of the systematically-collected data is what defines a meta-analysis. Here, we first attempt to delineate the basic steps for...

This chapter introduces an assembly-based method engineering approach for constructing situational analysis and design methods. The approach is supported by a meta-modeling technique, based on UML activity and class diagrams. Both the method engineering approach and meta-modeling technique will be explained and illustrated by case studies. The first case study describes the use of the meta-mode...

Usage of meta- Synthesis methodology in analyzing paradigm shifts based on spiritual urbanism approach

It is necessary to consider community opinions about social events and respond with proper actions. Support is needed to acquire a basic or rough idea of community opinions quickly. In this paper, the authors show how to elicit main points from community opinions with a simple word association test on college students about the highlighted social events in China in 2010. Two supporting technolo...

OBJECTIVE To perform a systematic literature review and data synthesis of level-1 evidence comparing recovery-related outcomes after intracapsular tonsillectomy (IT) (any technique) with those of total tonsillectomy (TT) (any technique) in a pediatric population. DATA SOURCES Two independent reviewers searched the following databases: Ovid MEDLINE, including old MEDLINE and pre-MEDLINE, EBM r...

Rational cryptography is an emerging field which combines aspects traditionally related to security with concepts described in economic theoretical frameworks. For example, it applies game theory concepts to address security problems arising when executing cryptographic protocols. The aim is to replace the assumption of a worst–case attacker by the notion of rational agents that try to maximize...

From the viewpoint of knowledge and intelligence, to bridge data mining and agents, this paper deal with an efficient way that is building intelligent systems by means of meta-synthesis proposed by Chinese scientists, which is used multiple human intelligence implantations for intelligent system, take full advantage of agents as well as analysis and meta-synthesis. Such systems combine the qual...