The SCEAS System
| |||||||

## Search the dblp DataBase
Regimantas Pliuskevicius:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - Regimantas Pliuskevicius
**Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL.**[Citation Graph (0, 0)][DBLP] IJCAR, 2001, pp:107-120 [Conf] - Regimantas Pliuskevicius
**On an**[Citation Graph (0, 0)][DBLP]*omega*-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL. Computational Logic, 2000, pp:523-537 [Conf] - 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] - 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] - Regimantas Pliuskevicius
**Similarity Saturation for First Order Linear Temporal Logic with UNLESS.**[Citation Graph (0, 0)][DBLP] JELIA, 1996, pp:320-336 [Conf] - Regimantas Pliuskevicius
**Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic.**[Citation Graph (0, 0)][DBLP] JELIA, 1992, pp:36-51 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - Regimantas Pliuskevicius
**On Saturated Calculi for a Linear Temporal Logic.**[Citation Graph (0, 0)][DBLP] MFCS, 1993, pp:640-649 [Conf] - Regimantas Pliuskevicius
**On Saturation with Flexible Function Symbols.**[Citation Graph (0, 0)][DBLP] MFCS, 1996, pp:482-493 [Conf] - Regimantas Pliuskevicius
**The Analytic Tableaux for Linear Minscoped Temporal Logic.**[Citation Graph (0, 0)][DBLP] SCAI, 1993, pp:90-96 [Conf] - Regimantas Pliuskevicius
**Saturated deductive systems for temporal specifications.**[Citation Graph (0, 0)][DBLP] SEKE, 1994, pp:267-273 [Conf] - Regimantas Pliuskevicius
**The Analityc Tableaux for Linear Temporal Logic.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1992, pp:70-72 [Conf] - 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] - 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] - 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] - 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 | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |