Filters








2 Hits in 6.1 sec

Achievement of Ergonomics in Architecture due to the Use of Façade De´cor on the Basis of Mineral Wool

Y.A. GONCHAROV, G.G. DUBROVINA
2019 Stroitel nye Materialy  
Valkman 6WDQLVODY 1 Vasiliev 9ODGLPLU $ Vittikh 9ODGLPLU 9 Golenkov 9ODGLPLU , Gorodetsky $OH[DQGHU 6 Kleshchev 9DOHU\ $ Komarov 6HUJH\ 0 Krylov 9LFWRU 0 Kureichik 'PLWU\ 9 Lande /\XGPLOD 9 Massel 'PLWU  ...  ɩɭɛɥɢɤɭɟɦɵɯ ɫɬɚɬɟɣ ¤ ɂɡɞɚɬɟɥɶɫɬɜɨ ©ɇɨɜɚɹ ɬɟɯɧɢɤɚª ¤ ɋɚɦɚɪɫɤɢɣ ɭɧɢɜɟɪɫɢɬɟɬ ¤ ɂɉɍɋɋ ɊȺɇ Ɉɬɩɟɱɚɬɚɧɨ ɜ ɢɡɞɚɬɟɥɶɫɬɜɟ ©ɇɨɜɚɹ ɬɟɯɧɢɤɚª ɉɨɞɩɢɫɚɧɨ ɜ ɩɟɱɚɬɶ Ɍɢɪɚɠ ɷɤɡ ɂɧɞɟɤɫ $QDWRO\ , Belousov 1LNROD\ 0 Borgest <XUL 5  ...  Abstract The article analyzes the results of sociological poll of students of the Samara University.  ... 
doi:10.31659/0585-430x-2019-768-3-14-18 fatcat:mho3p76ucjblpiabuoyipgarxm

Reconciling description logics and rules

Boris Motik, Riccardo Rosati
2010 Journal of the ACM  
We overcome this discrepancy by basing the semantics of our formalism on the logic of minimal knowledge and negation as failure (MKNF) by Lifschitz.  ...  We present several algorithms for reasoning with MKNF + knowledge bases, each suitable to different kinds of rules, and establish tight complexity bounds. 1 The DL SROIQ [Kutz et al. 2006 ] provides role  ...  ACKNOWLEDGMENTS The authors thank Jos de Bruijn, Thomas Lukasiewicz, and the anonymous referees for their numerous comments, which have significantly contributed to the quality of this paper.  ... 
doi:10.1145/1754399.1754403 fatcat:l7tmgw7pqvanpoe5zwjv3rjpzy