A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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
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