Recently Lakemeyer and Levesque proposed the logic AOL, which amalgamates both the situation calculus and Levesque’s logic of only knowing. While very expressive the practical relevance of the formalism is unclear because it heavily relies on second-order logic. In this paper we demonstrate that the picture is not as bleak as it may seem. In particular, we show that for large classes of AOL kno...

We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be explicitly expressed. We propose a formulation for epistemic logic program updates based on a principle called minimal change and maximal coherence. The central feature of our approach is that during an update procedur...

Recently Lakemeyer and Levesque proposed the logic , which amalgamates both the situation calculus and Levesque’s logic of only knowing. While very expressive the practical relevance of the formalism is unclear because it heavily relies on second-order logic. In this paper we demonstrate that the picture is not as bleak as it may seem. In particular, we show that for large classes of knowledge ...

In order to evaluate the influence of substitution on biological properties of Schiff bases and their metal complexes, a series of differently substituted fluorine-containing Schiff bases starting from the drug isoniazid (isonicotinylhydrazide) were prepared and their structures were established by single-crystal X-ray diffraction. Also, four copper(II) complexes of these Schiff bases were synt...

the issues that arise in this articles are the causes and the bases of social - and sexual - devience according to a sociological point of view. then a search through a number of 350 files of sexual - crimes in babol, declares the causes on a sociological point of view, cultural transmission & contrast theory. in assessment during this research regarding age, sex & occupation as the main criter...

Threat knowledge-bases such as those maintained by MITRE and NIST provide a basis with which to mitigate known threats to an enterprise. These centralised knowledge-bases assume a global and uniform level of trust for all threat and countermeasure knowledge. However, in practice these knowledge-bases are composed of threats and countermeasures that originate from a number of threat providers, f...