Daniel Danielski

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 5

Top Topics

Guarded Fragment

Equivalence Relation

Logic Programming

Top Venues

Description Logics

Publications

Daniel Danielski, Emanuel Kieronski
Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract). Description Logics (2019)
Daniel Danielski, Emanuel Kieronski
Finite Satisfiability of Unary Negation Fragment with Transitivity. MFCS (2019)
Daniel Danielski, Emanuel Kieronski
Finite Satisfiability of Unary Negation Fragment with Transitivity. CoRR (2018)
Daniel Danielski, Emanuel Kieronski
Unary negation fragment with equivalence relations has the finite model property. CoRR (2018)
Daniel Danielski, Emanuel Kieronski
Unary negation fragment with equivalence relations has the finite model property. LICS (2018)