Zobrazeno 1 - 10
of 511
pro vyhledávání: '"A. Kikot"'
Publikováno v:
Культура України, Iss 85 (2024)
Проаналізовано критичне ставлення Г. Сковороди до масового суспільства з характерним йому антропологічним типом «плотської людини». Д
Externí odkaz:
https://doaj.org/article/5e730164e6c54b509594b44bdf1d6937
We study the interaction of views, queries, and background knowledge in the form of existential rules. The motivating questions concern monotonic determinacy of a query using views w.r.t. rules, which refers to the ability to recover the query answer
Externí odkaz:
http://arxiv.org/abs/2407.14907
Autor:
Kikot, Stanislav
In this paper we show how rule-based decision making can be combined with traditional motion planning techniques to achieve human-like behavior of a self-driving vehicle in complex traffic situations. We give and discuss examples of decision rules in
Externí odkaz:
http://arxiv.org/abs/2308.01085
We show that deciding boundedness (aka FO-rewritability) of monadic single rule datalog programs (sirups) is 2Exp-hard, which matches the upper bound known since 1988 and finally settles a long-standing open problem. We obtain this result as a byprod
Externí odkaz:
http://arxiv.org/abs/2108.00433
Publikováno v:
Proceedings of Advances in Modal Logic 2020
We give a sufficient condition for Kripke completeness of modal logics enriched with the transitive closure modality. More precisely, we show that if a logic admits what we call definable filtration (ADF), then such an expansion of the logic is compl
Externí odkaz:
http://arxiv.org/abs/2011.02205
Our concern is the problem of efficiently determining the data complexity of answering queries mediated by description logic ontologies and constructing their optimal rewritings to standard database queries. Originated in ontology-based data access a
Externí odkaz:
http://arxiv.org/abs/2006.04167
A query Q is monotonically determined over a set of views if Q can be expressed as a monotonic function of the view image. In the case of relational algebra views and queries, monotonic determinacy coincides with rewritability as a union of conjuncti
Externí odkaz:
http://arxiv.org/abs/2003.05898
Publikováno v:
Adsorption Science & Technology, Vol 11 (1994)
One method of increasing the storage capacity of compressed natural gas, an alternative for vehicular fuel, is by adsorbing it on to microporous solids such as zeolites or activated carbons. NaX and NaY zeolites with different Si/Al ratios have been
Externí odkaz:
https://doaj.org/article/57bf13aa40b1468f88a97bb44e93294b
Our concern is the axiomatisation problem for modal and algebraic logics that correspond to various fragments of two-variable first-order logic with counting quantifiers. In particular, we consider modal products with Diff, the propositional unimodal
Externí odkaz:
http://arxiv.org/abs/1905.09536
Publikováno v:
In Artificial Intelligence August 2022 309