Lidia Tendera

37 papers A* 4A 4B 6Journal 17Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
On two-variable first-order logic with a partial order.
J. Log. Comput.
Dariusz Marzec, Lidia Tendera
2025 — ed.
Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025.
DL
Lidia Tendera, Yazmín Ibáñez-García, Patrick Koopmann
2024 — conf
On Two-variable First-order Logic with a Partial Order.
CILC
Dariusz Marzec, Lidia Tendera
2023 B conf
Adding Transitivity and Counting to the Fluted Fragment.
CSL
Ian Pratt-Hartmann, Lidia Tendera
2022 J jnl
The fluted fragment with transitive relations.
Ann. Pure Appl. Log.
Ian Pratt-Hartmann, Lidia Tendera
2021 A conf
On the Fluted Fragment (Invited Talk).
STACS
Lidia Tendera
2020 J jnl
The Fluted Fragment with Transitive Relations.
CoRR
Ian Pratt-Hartmann, Lidia Tendera
2019 J jnl
On the satisfiability problem for fragments of two-variable logic with one transitive relation.
J. Log. Comput.
Wieslaw Szwast, Lidia Tendera
2019 J jnl
The Fluted Fragment Revisited.
J. Symb. Log.
Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera
2019 B conf
The Fluted Fragment with Transitivity.
MFCS
Ian Pratt-Hartmann, Lidia Tendera
2019 J jnl
The Fluted Fragment with Transitivity.
CoRR
Ian Pratt-Hartmann, Lidia Tendera
2018 — conf
Decidability Frontier for Fragments of First-Order Logic with Transitivity.
Description Logics
Lidia Tendera
2018 J jnl
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants.
ACM Trans. Comput. Log.
Emanuel Kieronski, Lidia Tendera
2018 J jnl
On the satisfiability problem for fragments of the two-variable logic with one transitive relation.
CoRR
Wieslaw Szwast, Lidia Tendera
2018 J jnl
Quine's Fluted Fragment Revisited.
CoRR
Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera
2018 J jnl
Two-variable logics with counting and semantic constraints.
ACM SIGLOG News
Emanuel Kieronski, Ian Pratt-Hartmann, Lidia Tendera
2017 J jnl
Equivalence closure in the two-variable guarded fragment.
J. Log. Comput.
Emanuel Kieronski, Ian Pratt-Hartmann, Lidia Tendera
2017 — conf
Finite Model Reasoning in Expressive Fragments of First-Order Logic.
M4M@ICLA
Lidia Tendera
2016 J jnl
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants.
CoRR
Emanuel Kieronski, Lidia Tendera
2016 B conf
Quine's Fluted Fragment is Non-Elementary.
CSL
Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera
2014 J jnl
Two-Variable First-Order Logic with Equivalence Closure.
SIAM J. Comput.
Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera
2013 A conf
FO^2 with one transitive relation is decidable.
STACS
Wieslaw Szwast, Lidia Tendera
2013 B conf
Means and Limits of Decision (Invited Talk).
CSL
Lidia Tendera
2013 — conf
Querying the Guarded Fragment with Transitivity.
ICALP (2)
Georg Gottlob, Andreas Pieris, Lidia Tendera
2012 A* conf
Two-Variable First-Order Logic with Equivalence Closure.
LICS
Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera
2009 A* conf
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations.
LICS
Emanuel Kieronski, Lidia Tendera
2007 B conf
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards.
LPAR
Emanuel Kieronski, Lidia Tendera
2005 A conf
Counting in the Two Variable Guarded Logic with Transitivity.
STACS
Lidia Tendera
2005 B conf
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.
LPAR
Wieslaw Szwast, Lidia Tendera
2005 J jnl
The complexity of finite model reasoning in description logics.
Inf. Comput.
Carsten Lutz, Ulrike Sattler, Lidia Tendera
2004 J jnl
The guarded fragment with transitive guards.
Ann. Pure Appl. Log.
Wieslaw Szwast, Lidia Tendera
2003 — conf
Finite Model Reasoning in ALCQI is EXPTIME Logics.
Description Logics
Carsten Lutz, Ulrike Sattler, Lidia Tendera
2003 A conf
The Complexity of Finite Model Reasoning in Description Logics.
CADE
Carsten Lutz, Ulrike Sattler, Lidia Tendera
2001 A* conf
On the Decision Problem for the Guarded Fragment with Transitivity.
LICS
Wieslaw Szwast, Lidia Tendera
2000 J jnl
Complexity Results for First-Order Two-Variable Logic with Counting.
SIAM J. Comput.
Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
1997 A* conf
Complexity of Two-Variable Logic with Counting.
LICS
Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
1994 J jnl
A Note on Asymptotic Probabilities of Existential Second-Order Minimal Classes - the Last Step.
Fundam. Informaticae
Lidia Tendera