default logic, autoepistemic logic, approximations, lattice operators, fixpoint semantics - قابل دانلود در فورشيرد. default logic, autoepistemic logic, approximations, lattice operators, fixpoint semantics توسط سرويس رايگان فورشيرد در هاست های قوی 4shared ذخيره گرديده است.