in last decades, the skillful planning of land resources has become a major issue for rural development. the development of cultivated areas becomes gradually impossible due to ever increasing population growth and urban development. fuzzy logic is preferred to boolean logic for land evaluation, because fuzzy techniques lead to estimate for land use suitability on a continuous scale and can the...

the water crisis is harmful effects on human life. also one of the most problems in the human society is water resources management. in this study, site selection of most suitable areas for artificial recharge using boolean model. criteria used to select the most suitable area for artificial recharge included: infiltration, slope, aquifer thickness, aquifer quality.  the layers were produced an...

Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset of a given knowledge base which has to entail the claim α. In most scenarios, arguments are given in the full language of classical propositional logic which makes reasoning in such frameworks a computationally costly task. For in...

Threshold logic is a powerful alternative to Boolean logic. Recently there has been renewed interest in the synthesis of threshold networks that implement logic functions. Until now, different heuristics have been proposed to generate threshold networks starting from the Boolean network of a function. These methods are essentially recombination of nodes of the Boolean network. We propose a new ...

Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning services which we designed and implemented to pinpoint logical contradictions when developing the medical terminology DICE. We provide complete algorithms for unfoldable ACC-TBoxes based on minimisation of axioms using Bo...

In the setting of secure computation, a set of parties wish to compute a joint function of their private inputs without revealing anything but the output. Garbled circuits, first introduced by Yao, are a central tool in the construction of protocols for secure two-party computation (and other tasks like secure outsourced computation), and are the fastest known method for constant-round protocol...

K Maps are generally and ideally , thought to be simplest form for obtaining solution of Boolean equations.Cubical Representation of Boolean equations is an alternate pick to incur a solution, otherwise to be meted out with Truth Tables, Boolean Laws and different traits of Karnaugh Maps. Largest possible kcubes that exist for a given function are equivalent to its prime implicants. A technique...