Lidia Tendera

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 18

Top Topics

Satisfiability Problem

Guarded Fragment

Mazurkiewicz Traces

Top Venues

J. Log. Comput.

Ann. Pure Appl. Log.

Publications

Dariusz Marzec, Lidia Tendera
On Two-variable First-order Logic with a Partial Order. CILC (2024)
Ian Pratt-Hartmann, Lidia Tendera
Adding Transitivity and Counting to the Fluted Fragment. CSL (2023)
Ian Pratt-Hartmann, Lidia Tendera
The fluted fragment with transitive relations. Ann. Pure Appl. Log. 173 (1) (2022)
Lidia Tendera
On the Fluted Fragment (Invited Talk). STACS (2021)
Ian Pratt-Hartmann, Lidia Tendera
The Fluted Fragment with Transitive Relations. CoRR (2020)
Ian Pratt-Hartmann, Lidia Tendera
The Fluted Fragment with Transitivity. MFCS (2019)
Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera
The Fluted Fragment Revisited. J. Symb. Log. 84 (3) (2019)
Ian Pratt-Hartmann, Lidia Tendera
The Fluted Fragment with Transitivity. CoRR (2019)
Wieslaw Szwast, Lidia Tendera
On the satisfiability problem for fragments of two-variable logic with one transitive relation. J. Log. Comput. 29 (6) (2019)
Emanuel Kieronski, Ian Pratt-Hartmann, Lidia Tendera
Two-variable logics with counting and semantic constraints. ACM SIGLOG News 5 (3) (2018)
Lidia Tendera
Decidability Frontier for Fragments of First-Order Logic with Transitivity. Description Logics (2018)
Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera
Quine's Fluted Fragment Revisited. CoRR (2018)
Wieslaw Szwast, Lidia Tendera
On the satisfiability problem for fragments of the two-variable logic with one transitive relation. CoRR (2018)
Emanuel Kieronski, Lidia Tendera
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants. ACM Trans. Comput. Log. 19 (2) (2018)
Emanuel Kieronski, Ian Pratt-Hartmann, Lidia Tendera
Equivalence closure in the two-variable guarded fragment. J. Log. Comput. 27 (4) (2017)
Lidia Tendera
Finite Model Reasoning in Expressive Fragments of First-Order Logic. M4M@ICLA (2017)
Emanuel Kieronski, Lidia Tendera
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants. CoRR (2016)
Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera
Quine's Fluted Fragment is Non-Elementary. CSL (2016)
Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera
Two-Variable First-Order Logic with Equivalence Closure. SIAM J. Comput. 43 (3) (2014)
Lidia Tendera
Means and Limits of Decision (Invited Talk). CSL (2013)
Georg Gottlob, Andreas Pieris, Lidia Tendera
Querying the Guarded Fragment with Transitivity. ICALP (2) (2013)
Wieslaw Szwast, Lidia Tendera
FO^2 with one transitive relation is decidable. STACS (2013)
Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera
Two-Variable First-Order Logic with Equivalence Closure. LICS (2012)
Emanuel Kieronski, Lidia Tendera
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations. LICS (2009)
Emanuel Kieronski, Lidia Tendera
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. LPAR (2007)
Carsten Lutz, Ulrike Sattler, Lidia Tendera
The complexity of finite model reasoning in description logics. Inf. Comput. 199 (1-2) (2005)
Wieslaw Szwast, Lidia Tendera
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity. LPAR (2005)
Lidia Tendera
Counting in the Two Variable Guarded Logic with Transitivity. STACS (2005)
Wieslaw Szwast, Lidia Tendera
The guarded fragment with transitive guards. Ann. Pure Appl. Log. 128 (1-3) (2004)
Carsten Lutz, Ulrike Sattler, Lidia Tendera
The Complexity of Finite Model Reasoning in Description Logics. CADE (2003)
Carsten Lutz, Ulrike Sattler, Lidia Tendera
Finite Model Reasoning in ALCQI is EXPTIME Logics. Description Logics (2003)
Wieslaw Szwast, Lidia Tendera
On the Decision Problem for the Guarded Fragment with Transitivity. LICS (2001)
Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
Complexity Results for First-Order Two-Variable Logic with Counting. SIAM J. Comput. 29 (4) (2000)
Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
Complexity of Two-Variable Logic with Counting. LICS (1997)
Lidia Tendera
A Note on Asymptotic Probabilities of Existential Second-Order Minimal Classes - the Last Step. Fundam. Informaticae 20 (4) (1994)