Default logic [Reiter 80] is now commonly used in artificial intelligence systems and turns out to be one of the major research fields in knowledge representation. One of the first motivations of default logic wan to give a more accurate semantic represem tation to natural language statements of the form: Birds fl~: Mos t birds fly. or~ arguably: Typicall2o; birds lty~ The idea was to define a ...

We answer some question of [Gi]. The upper bound of [Gi] on the strength of N S µ + precipitous for a regular µ is proved to be exact. It is shown that saturatedness of N S ℵ 0 κ over inaccessible κ requires at least o(κ) = κ ++. The upper bounds on the strength of N S κ precipitous for inaccessible κ are reduced quite close to the lower bounds.

F a c u l t y M e n t o r

jahez is one m of the most prominent character in the field of science and literature in the world.in addition to his proficiency in sciences,education and literature,he is one of the most celebrated one in discourse science and beliefs.he innovated a new religion called “jahezie religion’’ in the history of discourse  cience.from among his important works which are famous in all over the world...

having in mind the high level of challenge in writing as a foreign language, this research provided iranian efl learners with audiovisual feedbacks as an alternative of common written feedback and focused on its’ meaningfulness in order to provide an incentive medium for the participants and increase their moti-vation. one hundred young adult female learners in addition to six english language ...

one of the important subjects of comparative literature_ in french school_ is studying common contents between literature of different languages and separating literati’s initiatives and borrowing from other authors in the same or another language by them. with this aspect. using analytic – comparative metod, this study compares poems of abu tayyib al-muttanabbi_ as one of the most impressive a...

The paper presents the results of a theoretical with elements empirical research aimed at identifying key factors building an academic career, disclosed in works sci- entists proposal to visualize construct multifactorial conditionality career growth environment. study was conducted on basis systematic bibliographic analysis most cited topic, published Scopus and RSCI abstract databases, from p...