The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Regimantas Pliuskevicius: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Regimantas Pliuskevicius
    Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary Calculus. [Citation Graph (0, 0)][DBLP]
    Baltic Computer Science, 1991, pp:504-528 [Conf]
  2. Regimantas Pliuskevicius
    Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:107-120 [Conf]
  3. Regimantas Pliuskevicius
    On an omega-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:523-537 [Conf]
  4. Regimantas Pliuskevicius, Aida Pliuskeviciene
    Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:112-128 [Conf]
  5. Regimantas Pliuskevicius
    Saturation Replaces Induction for a Miniscoped Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:299-311 [Conf]
  6. Regimantas Pliuskevicius
    Similarity Saturation for First Order Linear Temporal Logic with UNLESS. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:320-336 [Conf]
  7. Regimantas Pliuskevicius
    Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 1992, pp:36-51 [Conf]
  8. Regimantas Pliuskevicius
    On the Saturation Principle for a Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:289-300 [Conf]
  9. Regimantas Pliuskevicius
    On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1997, pp:241-254 [Conf]
  10. Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal
    On Specialization of Derivations in Axiomatic Equality Theories. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:291-303 [Conf]
  11. Regimantas Pliuskevicius
    Complete Sequential Calculi for the First Order Symmetrical Linear Temporal Logic with Until and Since. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:382-393 [Conf]
  12. Regimantas Pliuskevicius
    Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:391-406 [Conf]
  13. Regimantas Pliuskevicius
    Investigation of Finitary Calculi for the Temporal Logics by Means of Infinitary Calculi. [Citation Graph (0, 0)][DBLP]
    MFCS, 1990, pp:464-469 [Conf]
  14. Regimantas Pliuskevicius
    On Saturated Calculi for a Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:640-649 [Conf]
  15. Regimantas Pliuskevicius
    On Saturation with Flexible Function Symbols. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:482-493 [Conf]
  16. Regimantas Pliuskevicius
    The Analytic Tableaux for Linear Minscoped Temporal Logic. [Citation Graph (0, 0)][DBLP]
    SCAI, 1993, pp:90-96 [Conf]
  17. Regimantas Pliuskevicius
    Saturated deductive systems for temporal specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:267-273 [Conf]
  18. Regimantas Pliuskevicius
    The Analityc Tableaux for Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:70-72 [Conf]
  19. Regimantas Pliuskevicius
    On the Replacement of Induction for a First Order Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    WOCFAI, 1995, pp:331-342 [Conf]
  20. Regimantas Pliuskevicius, Aida Pliuskeviciene
    Decision Procedure for Temporal Logic of Belief and Actions. [Citation Graph (0, 0)][DBLP]
    Informatica, Lith. Acad. Sci., 2004, v:15, n:3, pp:379-398 [Journal]
  21. Regimantas Pliuskevicius
    Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1998, v:8, n:1-2, pp:- [Journal]
  22. Regimantas Pliuskevicius
    The Saturated Tableaux for Linear Miniscoped Horn-like Temporal Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:3, pp:391-407 [Journal]

Search in 0.042secs, Finished in 0.043secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002