We study the trade-off between the expressive abilities and the complexity of reasoning in propositional nonmonotonic knowledge bases. We first analyze, in an expressive epistemic modal framework, the most popular forms of nonmonotonic mechanisms used in knowledge representation: in particular, we prove that epistemic queries and epistemic integrity constraints are naturally expressed through t...

A series of 3-substituted-4-(5-nitro-2-furfurylidene)amino-5-mercapto-1,2,4-triazoles 3 and their Mannich bases have been synthesized. The structures of these Schiff bases and Mannich bases were confirmed on the basis of elemental analysis, H NMR and mass spectral data. The above compounds were also screened for their antifungal activity against C.albicans.

economic policy consists of various methodologies, approaches and models through which the economists devise strategies to influence the overall economy. the integration of theoretical and practical frameworks provides the ground for emerging new models which are a part of economic system of the countries.each economic model is a combination of specific methodology, theoretical bases and specia...

We devise a general framework for formalizing Dynamic Systems centered around a Description Logic knowledge base. Our framework is parametric w.r.t. both the description logic and the progression mechanism. For such kinds of systems, we provide general decidability results for verification and adversarial synthesis of first-order μ-calculus properties under a natural assumption which we call “s...

A well known strategy for belief revision is the use of an operator which takes as input a belief base and formula and outputs a new consistent revised belief base. Many operators require additional information such as epistemic entrenchment relations, system of spheres, faithful orderings, subformulae relation, etc. However, in many applications this extra information does not exist and all be...

A well known strategy for belief revision is the use of an operator which takes as input a belief base and formula and outputs a new consistent revised belief base. Many operators require additional information such as epistemic entrenchment relations, system of spheres, faithful orderings, subformulae relation, etc. However, in many applications this extra information does not exist and all be...