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