VU Duomenų mokslo ir skaitmeninių technologijų instituto / Matematikos ir informatikos instituto autoriaus (-ių) 'Regimantas Ričardas Pliuškevičius' publikacijų sąrašas (pagal Lietuvos akademinių bibliotekų tinklo (LABT) publikacijų bazes VUB [nuo 2011 m. iki dabar] ir LMAVB [iki 2010 m. imtinai]):
Publications of 'Regimantas Ričardas Pliuškevičius', VU Institute of Data Science and Digital Technologies / Institute of Mathematics and Informatics (based on 1. Lithuanian Academic Library Network (LABT) database of Vilnius University Library [since 2011 until now] and 2. LABT database of Wroblewski Library of the Lithuanian Academy of Sciences [until 2010]):
Eil. Nr. Publikacija
1Alonderis, Romas; Pliuškevičius, Regimantas Ričardas; Pliuškevičienė, Aida; Giedra, Haroldas. Loop-check specification for a sequent calculus of temporal logic // Studia logica. Dordrecht : Springer. ISSN 0039-3215. eISSN 1572-8730. 2022, vol. 110, p. 1507-1536. DOI: 10.1007/s11225-022-10010-9.
2Alonderis, Romas; Pliuškevičius, Regimantas Ričardas; Pliuškevičienė, Aida; Giedra, Haroldas. Loop-type sequent calculi for temporal logic // Journal of automated reasoning. Dordrecht : Springer. ISSN 0168-7433. eISSN 1573-0670. 2020, vol. 64, iss. 8, p. 1663-1684. DOI: 10.1007/s10817-020-09544-1.
3Alonderis, Romas; Pliuškevičius, Regimantas Ričardas; Pliuškevičienė, Aida. Finite sequent calculi for PLTL = Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai // Lietuvos matematikos rinkinys. LMD darbai. Ser. A. Vilnius : Matematikos ir informatikos institutas. ISSN 0132-2818. 2015, T. 56, p. 1-6. DOI: 10.15388/LMR.A.2015.01.
4Pliuškevičius, Regimantas Ričardas. Method of marks for propositional linear temporal logic // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. ISSN 0132-2818. 2014, t. 55, ser. A, p. 46-50. DOI: 10.15388/LMR.A.2014.09.
5Vsemirnov, M.A.; Hirch, E.A.; Grigorjev, D.Yu.; Dantsin, E.Ya.; Zaslavskii, I.D.; Karavaev, E.F.; Konev, B.Yu.; Kossovskii, N.K.; Lifschitz, V.A.; Margenstern, M.; Matiyasevich, Yu.V.; Mints, G.E.; Orevkov, V.P.; Pliuškevičius, Regimantas Ričardas; Slisenko, A.O.; Solovjev, S.V.; Chernov, V.P. Nikolai Aleksandrovich Shanin (obituary) // Russian mathematical surveys. London : Turpion Ltd. ISSN 0036-0279. 2013, vol. 68, no 4, p. 763-767.
6Alonderis, Romas; Pliuškevičius, Regimantas Ričardas. Sequent systems for PLTL // Lietuvos matematikos rinkinys. Ser. A. Vilnius : Vilniaus universiteto leidykla. ISSN 0132-2818. eISSN 2335-898X. 2013, t. 54, p. 1-5. DOI: 10.15388/LMR.A.2013.03.
7Girčys, Aurimas Paulius; Pliuškevičius, Regimantas Ričardas. Two complete finitary sequent calculi for reflexive common knowledge // Lietuvos matematikos rinkinys. Ser. A. Vilnius : Vilniaus universiteto leidykla. ISSN 0132-2818. eISSN 2335-898X. 2013, t. 54, p. 12-15. DOI: 10.15388/LMR.A.2013.05.
8Pliuškevičius, Regimantas Ričardas; Girčys, Aurimas Paulius. Saturation method for reflexive common knowledge logic = Prisotinimo metodas bendrojo žinojimo logikai // Lietuvos matematikos rinkinys. Ser. A. Vilnius : Vilniaus universiteto leidykla. ISSN 0132-2818. eISSN 2335-898X. 2012, t. 53, p. 108-111. DOI: 10.15388/LMR.A.2012.19.
9Girčys, Aurimas Paulius; Pliuškevičius, Regimantas Ričardas. A specialization of definitions in common knowledge logic = Išvedimų specializacija bendrojo žinojimo logikai // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. ISSN 0132-2818. 2011, t. 52, p. 249-252. DOI: 10.15388/LMR.2011.ml05.
10Alonderis, Romas; Pliuškevičius, Regimantas Ričardas. Cut, invariant rule, and loop-check free sequent calculus for PLTL = Sekvencinis skaičiavimas be pjūvio, invariantinės taisyklės ir ciklų tikrinimo tiesinio laiko teiginių logikai // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. ISSN 0132-2818. 2011, t. 52, p. 231-236. DOI: 10.15388/LMR.2011.ml02.
11Andrikonis, Julius; Pliuškevičius, Regimantas Ričardas. Contraction-free calculi for modal logics S5 and KD45 = Dubliavimo eliminavimas modalumo logikoms S5 ir KD45 // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. ISSN 0132-2818. 2011, t. 52, p. 237-242. DOI: 10.15388/LMR.2011.ml03.
12Pliuškevičius, Regimantas. Design complete sequential calculus for continuous fixpoint temporal logic // Lecture notes in computer science. ISSN 0302-9743. 1992, Vol. 633, p. 36-51. DOI: 10.1007/BFb0023420.
13Pliuškevičius, Regimantas. Complete sequential calculi for the first order symmetrical linear temporal logic with until and since // Lecture notes in computer science. ISSN 0302-9743. 1992, Vol. 620, p. 382-393. DOI: 10.1007/BFb0023891.
14Pliuškevičius, Regimantas. Logical foundation for logic programming based on first order linear temporal logic // Lecture notes in computer science. ISSN 0302-9743. 1992, Vol. 592, p. 391-406. DOI: 10.1007/3-540-55460-2_29.
15Pliuškevičius, Regimantas. Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus // Lecture notes in computer science. ISSN 0302-9743. 1991, Vol. 502, p. 504-528. DOI: 10.1007/BFb0019366.
16Pliuškevičius, Regimantas. Investigation of finitary calculi for the temporal logics by means of infinitary calculi // Lecture notes in computer science. ISSN 0302-9743. 1990, Vol. 452, p. 464-469. DOI: 10.1007/BFb0029643.
17Pliuškevičius, Regimantas. On sequential form of functional dynamic logics // Annales Societatis mathematicae Polonae. Ser. 4, Fundamenta informaticae. ISSN 0324-8429. 1984, Vol. 7, iss. 3, p. 357-358.
18Pliuškevičius, Regimantas. On the Gentzen type proof theory for program analysis // Mathematical logic in computer science. Amsterdam : Elsevier, 1981. ISBN 0444854401. P. 659-674.
19Pliuškevičienė, Aida; Pliuškevičius, Regimantas; Walicki, M.; Meldal, S. On specialization of derivations in axiomatic equality theories // Lecture notes in computer science. ISSN 0302-9743. 1994, Vol. 813, p. 291-303. DOI: 10.1007/3-540-58140-5_28.
20Pliuškevičius, Regimantas. The analytic tableaux for linear miniscoped temporal logic // Frontiers in artificial intelligence and applications. ISSN 0922-6389. 1994, Vol. 18, P. 90-96.
21Pliuškevičius, Regimantas. Saturated deductive systems for temporal specifications // SEKE'94, The 6th international conference on software engineering and knowledge engineering : June 21-23, 1994, Jurmala, Latvia. Skokie (IL) : Knowledge Systems Institute, 1994. ISBN 0964169908. P. 267-273.
22Pliuškevičius, Regimantas. On the saturation principle for a linear temporal logic // Lecture notes in computer science. ISSN 0302-9743. 1993, Vol. 713, p. 289-300. DOI: 10.1007/BFb0022577.
23Pliuškevičius, Regimantas. Saturation replaces induction for a miniscoped linear temporal logic // Lecture notes in computer science. ISSN 0302-9743. 1993, Vol. 735, p. 299-311. DOI: 10.1007/BFb0039716.
24Pliuškevičius, Regimantas. On saturated calculi for a linear temporal logic // Lecture notes in computer science. ISSN 0302-9743. 1993, Vol. 711, p. 640-649. DOI: 10.1007/3-540-57182-5_55.
25Pliuškevičius, Regimantas. On the saturation for a non-Horn miniscoped linear temporal logic // Romanian Symposium on Computer Science : 9th Symposium, ROSYCS'93 : Iasi, Romania, 12-13 November 1993: proceedings. Iasi (Romania) : Univ. Al.I. Cuza. 1993, P. 455-466.
26Pliuškevičius, Regimantas. On the completeness and decidability of a restricted first order linear temporal logic // Lecture notes in computer science. ISSN 0302-9743. 1997, Vol. 1289, p. 241-254. DOI: 10.1007/3-540-63385-5_47.
27Pliuškevičius, Regimantas. Similarity saturation for first order linear temporal logic with UNLESS // Lecture notes in computer science. ISSN 0302-9743. 1996, Vol. 1126, p. 320-336. DOI: 10.1007/3-540-61630-6_23.
28Pliuškevičius, Regimantas. On saturation with flexible function symbols // Lecture notes in computer science. ISSN 0302-9743. 1996, Vol. 1113, p. 482-493. DOI: 10.1007/3-540-61550-4_172.
29Pliuškevičius, Regimantas. The saturated tableaux for linear miniscoped horn-like temporal logic // Journal of automated reasoning. ISSN 0168-7433. 1994, Vol. 13, iss. 3, p. 391-407. DOI: 10.1007/BF00881951.
30Pliuškevičius, Regimantas; Pliuškevičienė, Aida. A new method to obtain termination in backward proof search for modal logic S4 // Journal of logic and computation. ISSN 0955-792X. 2010, Vol. 20, iss. 1, p. 381-387. DOI: 10.1093/logcom/exp051.
31Pliuškevičius, Regimantas. Termination of derivations for minimal tense logic // Lietuvos matematikos rinkinys. Lietuvos matematikų draugijos darbai. ISSN 0132-2818. 2009, T. 50, p. 264-268. Prieiga per internetą: <ftp://ftp.science.mii.lt/pub/Publications/50_TOMAS(2009)/MAT_LOGIKA/Pliusk2.pdf>.
32Pliuškevičius, Regimantas; Pliuškevičienė, Aida. A method of marks and indices for linear modal logic // Lietuvos matematikos rinkinys. Lietuvos matematikų draugijos darbai. ISSN 0132-2818. 2009, T. 50, p. 269-274. Prieiga per internetą: <ftp://ftp.science.mii.lt/pub/Publications/50_TOMAS(2009)/MAT_LOGIKA/Pliuspl.pdf>.
33Pliuškevičius, Regimantas; Pliuškevičienė, Aida. A new method to obtain termination in backward proof search for modal logic S4 // Journal of logic and computation. ISSN 0955-792X. 2010, Vol. 20, iss. 1, p. 353-379. DOI: 10.1093/logcom/exn071.
34Pliuškevičius, Regimantas. Loop-free verification of termination of derivation for a fragment of dynamic logic = Beciklis irodymų baigtinumo tikrinimas dinaminės logikos fragmentui // Lietuvos matematikos rinkinys. Vilnius : Vilniaus universiteto leidykla. ISSN 0132-2818. eISSN 2335-898X. 2008, t. 48/49, p. 283-287. DOI: 10.15388/LMR.2008.18111.
35Pliuškevičius, Regimantas; Pliuškevičienė, Aida. Termination of derivations in a fragment of transitive distributed knowledge logic // Informatica. ISSN 0868-4952. 2008, Vol. 19, no. 4, p. 597-616.
36Andrikonis, Julius; Pliuškevičius, Regimantas. Cut elimination for knowledge logic with interaction = Pjūvio eliminavimas žinių logikai su sąveika // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2007, T. 47, spec, Nr, p. 346-350.
37Pliuškevičius, Regimantas. Deduction-based decision procedure for a clausal miniscoped fragment of FTL // Lecture notes in artificial intelligence. ISSN 0302-9743. 2001, Vol. 2083, p. 107-120. Prieiga per internetą: <http://springerlink.com/content/92whnd5byugrttcl/?p=06cac6329c8b46f0be450b0fe694521c&pi=8>.
38Pliuškevičius, Regimantas. Invertible infinitary calculus without loop rules for a restricted FTL // Записки научных семинаров ПОМИ. ISSN 0373-2703. 2002, Т. 293, p. 149-180.
39Pliuškevičius, Regimantas. A parametrical similarity saturation based decision procedure for a fragment of FTL // Tableaux 2002 : position papers : International conference on automated reasoning with analytic tableaux and related methods : Copenhagen, Denmark, July 30 - August 1, 2002. Technical Report E185-CF-02.1. Wien : Technische Universität Wien. 2002, P. 1-15. Prieiga per internetą: <http://www.logic.at/TAB02-PP/pliuskevicius.pdf>.
40Pliuškevičius, Regimantas. Logic of knowledge with infinitely many agents = Žinojimo logika su begaliniu agentų skaičiumi // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2006, T. 46, spec, Nr, p. 247-252. DOI: 10.15388/LMR.2006.30719.
41Pliuškevičius, Regimantas. On ω-decidable and decidable deductive procedures for a restricted FTL with Unless // Fachberichte Informatik. ISSN 1860-4471. 2000, [Nr.] 5, p. 194-205.
42Pliuškevičius, Regimantas. Infinitary calculus without loop rules for restricted sequents of the first-order linear temporal logic // Lithuanian mathematical journal. ISSN 0363-1672. 2000, Vol. 40, no. 4, p. 379-388. DOI: 10.1023/A:1007665630787.
43Pliuškevičius, Regimantas. An ω-decidable deductive procedure for a restricted first-order linear temporal logic // Databases and information systems : Proceedings of the 4th IEEE international Baltic workshop. Vol. 2. Vilnius : Technika, 2000. ISBN 9986054052. p. 104-121.
44Pliuškevičius, Regimantas. Matematinė logika // Matematika Lietuvoje po 1945 metų. Vilnius : Matematikos ir informatikos institutas, 2006. ISBN 9986680328. p. 24-44.
45Pliuškevičius, Regimantas; Pliuškevičienė, Aida. Decision procedure for a fragment of FTL with equality // Tableaux 2003 : position papers and tutorials : Rome, Italy - September 2003 : Technical report RT-DIA-80-2003 / Dipartimento di Informatica e Automazione Università degli Studi di Roma Tre. Roma : Aracne editrice, 2003. ISBN 8879995480. p. 55-67.
46Pliuškevičius, Regimantas; Pliuškevičienė, Aida. Decision procedure for a fragment of temporal logic of belief and actions with quantified agent and action variables // Annals of mathematics, computing & teleinformatics. ISSN 1109-9305. 2004, Vol. 1, no. 2, p. 51-72.
47Pliuškevičius, Regimantas; Pliuškevičienė, Aida. Decision procedure for a fragment of mutual belief logic with quantified agent variables // Lecture notes in artificial intelligence. ISSN 0302-9743. 2006, Vol. 3900, p. 112-128. DOI: 10.1007/11750734_7.
48Pliuškevičius, Regimantas; Pliuškevičienė, Aida. Decision procedure for a fragment of mutual belief logic with quantified agent variables // CLIMA - VI : Pre-proceedings of the 6th international workshop on computational logic in multi-agent systems : City university, London, 27-29 June 2005. London. 2005, p. 57-72.
49Pliuškevičius, Regimantas. Invertible infinitary calculus without loop rules for restricted FTL // Journal of mathematical sciences. ISSN 1072-3374. 2005, Vol. 126, no. 3, p. 1210-1228. DOI: 10.1007/s10958-005-0109-z.
50Pliuškevičius, Regimantas. On an omega-decidable deductive procedure for non-horn sequents of a restricted FTL // Lecture notes in computer science. ISSN 0302-9743. 2000, Vol. 1861, p. 523-537.
51Pliuškevičius, Regimantas. A decision procedure for nonperiodic sequents of the first-order linear temporal logic = Išsprendžiamoji procedūra pirmosios eilės tiesinio laiko logikos neperiodinėms sekvencijoms // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2003, T. 43, Nr. 2, p. 240-255.
52Pliuškevičius, Regimantas. Combination of temporal logic with modal logic KD = Laiko logikos ir modalumo logikos KD apjungimas // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2003, T. 43, spec, nr, p. 444-448.
53Pliuškevičius, Regimantas; Pliuškevičienė, Aida. Decision procedure for temporal logic of belief and actions = Išsprendžiamoji procedūra tikėjimo ir veiksmų laiko logikai // Informatica. ISSN 0868-4952. 2004, Vol. 15, no. 3, p. 379-398.
54Pliuškevičius, Regimantas. Decision procedures for quantified fragments of reflexive common knowledge logic = Refleksyviosios bendro žinojimo logikos išsprendžiami kvantoriniai fragmentai // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2004, T. 44, spec, Nr, p. 530-534.
55Pliuškevičius, Regimantas. Decision procedure for first-order linear temporal logic with semi-periodic kernels = Išsprendžiamoji procedūra kvantorinės tiesinio laiko logikos fragmentui su pusiau-periodiniais branduoliais // Lietuvos matematikos rinkinys, T.42, spec. nr.: Lietuvos matematikų draugijos XLIII konferencijos mokslo darbai. Vilnius. ISSN 0132-2818. eISSN 2335-898X. 2002, t. 42, spec. nr. p. 481-489. DOI: 10.15388/LMR.2002.32981.
56Pliuškevičius, Regimantas. Simple decision procedure for a fragment of QPTL // International joint conference on automated reasoning IJCAR-2001 : Workshop W8 : Theory and application of quantified Boolean formulas : technical report DII 12/01. Siena. 2001, P. 65-74.
57Pliuškevičius, Regimantas. Полнота и разрешимость Хорновского типа фрагмента кванторной линейной временной логики = Kvantorinės tiesinės laiko logikos Horno tipo fragmento pilnumas ir išsprendžiamumas // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2001, T. 41, Nr. 4, p. 477-492.
58Pliuškevičius, Regimantas. Эффективная заменимость омега-правила для ограниченных секвенций кванторной линейной временной логики = Omega taisyklės efektyvus pakeičiamumas kvantorinės tiesinės logikos apribotosioms sekvencijoms // Lietuvos matematikos rinkinys. ISSN 0132-2818. 2001, T. 41, Nr. 3, p. 338-361.