Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Adomas Birstunas"'
Autor:
Adomas Birštunas, Elena Reivytytė
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 62, Iss A (2021)
In this paper authors research the problem of traceability of assumptions in logical derivation. The essence of this task is to trace which assumptions from the available knowledge base of assumptions are necessary to derive a certain conclusion. The
Externí odkaz:
https://doaj.org/article/de2872bbfcbc4d21aadb41160f2dc961
Autor:
Adomas Birštunas
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 47, Iss spec. (2021)
We introduce sequent calculus for multi-modal logic KD45n which uses efficient loop-check. Efficiency of the used loop-check is obtained by using marked modal operator squarei which is used as an alternative to sequent with histories ([2,3]).We use i
Externí odkaz:
https://doaj.org/article/8f6bc8405a55499bb23c7255adff6d70
Autor:
Adomas Birštunas
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 50, Iss proc. LMS (2009)
In this paper, we present sequent calculus for branching-time temporal logic with until operator. This sequent calculus uses efficient loop-checktechinque. We prove that we can use not all but only several special sequents from the derivation tree fo
Externí odkaz:
https://doaj.org/article/d517651f71ad4a23b9100981009a8eee
Autor:
Adomas Birštunas
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 48, Iss proc. LMS (2008)
In this paper, we present sequent calculus for linear temporal logic. This sequent calculus uses efficient loop-check techinque. We prove that we can use not all but only several special sequents from the derivation tree for the loop-check. We use in
Externí odkaz:
https://doaj.org/article/bd6ab75296284f42bdfa8d14b76832a1
Autor:
Adomas Birstunas
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 46, Iss spec. (2023)
BDI logic is widely used to describe agent based systems, since it can express a lot of different real world domains with three main operators: belief, desire and intention. There are lots of works where BDI logic is used as descriptive language, but
Externí odkaz:
https://doaj.org/article/e5d402cae0f9499c920a6f66b1498978
Publikováno v:
Applied Computer Systems, Vol 17, Iss 1, Pp 46-52 (2015)
Applied computer systems / Riga Technical University, Warsaw : Walter de Gruyter Poland, 2015, vol. 17, iss. 1, p. 46-52
Applied computer systems / Riga Technical University, Warsaw : Walter de Gruyter Poland, 2015, vol. 17, iss. 1, p. 46-52
Transfer of information-based services to an electronic environment is the accomplished fact. Some of such services lead to creation of electronic documents that are signed by qualified e-signature and have legal value equal to hand-signed documents.
Autor:
Adomas Birštunas
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 45, Iss spec. (2005)
This paper defines decision algorithm for subclass of BKD45DKDIKD logic which is based on known algorithm for temporal BKD45DKDIKD logic [2]. BDI logics are widely used in agent based systems. Such usage of BDI logic can be found in [1]. The original
Externí odkaz:
https://doaj.org/article/a121399d78764d989af8ee6bd9bcfc15
Autor:
Adomas Birštunas, Stanislovas Norgėla
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 43, Iss spec. (2003)
There is not abstract.
Externí odkaz:
https://doaj.org/article/887da9ddf6194dd487549229f4bd0ba7