Prison is often thought of as hell behind barbed wire, housing the most nefarious sorts who have thrown away any inkling wisdom. Nevertheless, a number reasons can make prison an ideal place to develop appreciation for, and put into practice, philosophy, love I offer rough characterization practice philosophy in context prison. The removal persons from world that comparatively unfettered silenc...

Plato in Theory of Philosopher-King believes that all of the members of ideal city-state, whether ruler or citizens, will attain happiness if the philosopher is the ruler. But there are paradoxes in the theory and the bases of the happiness are unstable too. In other words, Plato in his theory presents hierarchical dualities (Intelligible/Visible world, Episteme/ Doxa,True/ Untrue Or Shadow, …)...

by data mining in works of jahiz, i.e. the arabic proficient author and scientist in 3rd hegira century (10th ad cen.), we may find that on most of occasions, he has referred to iranian culture and civilization. efforts made by jahiz concerning to iranian culture and civilization are to the extent that make him to leave his arabic dogm and to acknowledge to iranian deserving position among civi...

At OM2013, the author suggested and sketched a system that would use LTEX documents as Literate Programming sources for content dictionaries. This paper reports on the progress that has since been made with this system. One important milestone that has been reached is that valid .ocd files with CDDefinitions, FMPs, CMPs, and Examples are being generated.

This paper presents a theory of dynamic slicing, which reveals that the relationship between static and dynamic slicing is more subtle than previously thought. The definitions of dynamic slicing are formulated in terms of the projection theory of slicing. This shows that existing forms of dynamic slicing contain three orthogonal dimensions in their slicing criteria and allows for a lattice-theo...

We outline a model of dimensional reasoning on time and space scales which integrates quantitative and qualitative knowledge about distances. At the core of this model lie constraints on interval boundaries, partial ordering and subsumption relations on interval relations and interval boundary constraints, as well as the transformation of interval relations to interval boundary constraints and ...

Finite model reasoning in expressive DLs such as ALCQI and SHIQ requires non-trivial algorithmic approaches that are substantially differerent from algorithms used for reasoning about unrestricted models. In contrast, finite model reasoning in the inexpressive fragment DL-LiteF of ALCQI and SHIQ is algorithmically rather simple: using a TBox completion procedure that reverses certain terminolog...