Roman Kontchakov

122 papers A* 24A 3B 5C 4Misc 1Journal 35Unranked 45
YearRankTypeTitle / Venue / Authors
2026 J jnl
Fusions of One-Variable First-Order Modal Logics.
CoRR
Roman Kontchakov, Dmitry Shkatov, Frank Wolter
2025 J jnl
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions.
CoRR
Alessandro Artale, Christopher Hampson, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2024 — conf
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract).
Description Logics
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2024 J jnl
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version).
CoRR
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2024 A* conf
Non-Rigid Designators in Modal and Temporal Free Description Logics.
KR
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
2022 J jnl
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
J. Artif. Intell. Res.
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022 A* conf
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).
IJCAI
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2021 J jnl
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
CoRR
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2021 J jnl
First-order rewritability of ontology-mediated queries in linear temporal logic.
Artif. Intell.
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2020 A* conf
Boolean Role Inclusions in DL-Lite With and Without Time.
KR
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2020 J jnl
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
CoRR
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2020 — conf
The Virtual Knowledge Graph System Ontop (Extended Abstract).
Description Logics
Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2020 — conf
The Virtual Knowledge Graph System Ontop.
ISWC (2)
Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2019 — conf
A Note on DL-Lite with Boolean Role Inclusions.
Description Logics
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019 C conf
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.
TIME
Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2018 J jnl
Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version).
CoRR
Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2018 — conf
Efficient Handling of SPARQL OPTIONAL for OBDA.
ISWC (1)
Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2018 A* conf
Ontology-Based Data Access: A Survey.
IJCAI
Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev
2018 J jnl
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity.
J. ACM
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2018 — conf
STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries.
OTM Conferences (2)
Stanislav Kikot, Roman Kontchakov, Salvatore Rapisarda, Michael Zakharyaschev
2017 — conf
On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL.
Description Logics
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2017 — conf
Ontology-Based Data Access to Slegge.
ISWC (2)
Dag Hovland, Roman Kontchakov, Martin G. Skjæveland, Arild Waaler, Michael Zakharyaschev
2017 A* conf
Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic.
AAAI
Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2017 C conf
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).
TIME
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2017 J jnl
Ontop: Answering SPARQL queries over relational databases.
Semantic Web
Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao
2017 — conf
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.
Description Logics
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2017 — ed.
Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.
Description Logics
Alessandro Artale, Birte Glimm, Roman Kontchakov
2017 — ed.
Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017.
RuleML+RR (Supplement)
Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel
2017 B ed.
Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
RuleML+RR
Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
2017 A* conf
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
PODS
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
2017 J jnl
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
CoRR
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
2016 J jnl
Games for query inseparability of description logic knowledge bases.
Artif. Intell.
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016 — conf
On Decidability and Tractability of Querying in Temporal EL.
Description Logics
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov
2016 A* conf
On Expressibility of Non-Monotone Operators in SPARQL.
KR
Roman Kontchakov, Egor V. Kostylev
2016 J jnl
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity.
CoRR
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2016 A* conf
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.
IJCAI
Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev
2016 A* conf
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries.
IJCAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov
2016 — conf
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries.
Description Logics
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2016 J jnl
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries.
CoRR
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2015 A* conf
First-Order Rewritability of Temporal Ontology-Mediated Queries.
IJCAI
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2015 — conf
Interval Temporal Description Logics.
Description Logics
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2015 — conf
OBDA with the Ontop Framework.
SEBD
Diego Calvanese, Benjamin Cogrel, Elem Guzel Kalayci, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao
2015 J jnl
Queries with negation and inequalities over lightweight ontologies.
J. Web Semant.
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev
2015 A* conf
Tractable Interval Temporal Propositional and Description Logics.
AAAI
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2015 A* conf
When Are Description Logic Knowledge Bases Indistinguishable?
IJCAI
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014 J jnl
A Cookbook for Temporal Conceptual Data Modelling with Description Logics.
ACM Trans. Comput. Log.
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2014 — conf
An Introduction to Description Logics and Query Rewriting.
Reasoning Web
Roman Kontchakov, Michael Zakharyaschev
2014 — conf
Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime.
ISWC (1)
Roman Kontchakov, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao, Michael Zakharyaschev
2014 J jnl
On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases.
CoRR
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2014 — conf
On the succinctness of query rewriting over shallow ontologies.
CSL-LICS
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2014 — conf
Query Inseparability by Games.
Description Logics
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014 A* conf
Query Inseparability for Description Logic Knowledge Bases.
KR
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014 J jnl
Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces.
Artif. Intell.
Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev
2014 — conf
Temporal OBDA with LTL and DL-Lite.
Description Logics
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014 J jnl
The DL-Lite Family and Relations.
CoRR
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2014 J jnl
The price of query rewriting in ontology-based data access.
Artif. Intell.
Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev
2014 — ed.
Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
RR
Roman Kontchakov, Marie-Laure Mugnier
2013 — conf
Conjunctive Queries with Negation over DL-Lite: A Closer Look.
RR
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev
2013 — conf
Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard.
Description Logics
Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2013 — conf
OBDA with Ontop.
ORE
Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
2013 — conf
Ontology-Based Data Access with Databases: A Short Course.
Reasoning Web
Roman Kontchakov, Mariano Rodriguez-Muro, Michael Zakharyaschev
2013 — conf
Ontology-Based Data Access: Ontop of Databases.
ISWC (1)
Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
2013 — conf
Ontop at Work.
OWLED
Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
2013 — conf
Query Rewriting and Optimisation with Database Dependencies in Ontop.
Description Logics
Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
2013 — conf
Query Rewriting over Shallow Ontologies.
Description Logics
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2013 J jnl
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
CoRR
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013 A* conf
Temporal Description Logic for Ontology-Based Data Access.
IJCAI
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013 — conf
Temporalising OWL 2 QL.
Description Logics
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013 B conf
The Complexity of Clausal Fragments of LTL.
LPAR
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2013 J jnl
The Complexity of Clausal Fragments of LTL.
CoRR
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2013 J jnl
Topological Logics with Connectedness over Euclidean Spaces.
ACM Trans. Comput. Log.
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
2012 J jnl
A Cookbook for Temporal Conceptual Data Modelling with Description Logics
CoRR
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2012 — conf
An Update on Query Answering with Restricted Forms of Negation.
RR
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov
2012 A* conf
Conjunctive Query Answering with OWL 2 QL.
KR
Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
2012 A conf
DL-Lite with Attributes and Datatypes.
ECAI
Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov
2012 J jnl
Exponential Lower Bounds and Separation for Query Rewriting
CoRR
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2012 — conf
Exponential Lower Bounds and Separation for Query Rewriting.
ICALP (2)
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2012 — conf
Long Rewritings, Short Rewritings.
Description Logics
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2011 J jnl
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
CoRR
David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2011 A* conf
Conjunctive Query Inseparability of OWL 2 QL TBoxes.
AAAI
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
2011 — conf
DL-Lite with Attributes and Sub-Roles (Extended Abstract).
Description Logics
Alessandro Artale, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov
2011 — conf
Module Extraction via Query Inseparability in OWL 2 QL.
Description Logics
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
2011 — conf
On (In)Tractability of OBDA with OWL 2 QL.
Description Logics
Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
2011 J jnl
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
CoRR
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
2011 A* conf
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces.
IJCAI
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
2011 — conf
Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies.
RR
Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
2011 — conf
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.
FroCoS
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2011 A* conf
The Combined Approach to Ontology-Based Data Access.
IJCAI
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2011 J jnl
Topological Logics with Connectedness over Euclidean Spaces
CoRR
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
2010 A conf
Complexity of Reasoning over Temporal Data Models.
ER
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2010 A* conf
Interpreting Topological Logics over Euclidean Spaces.
KR
Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev
2010 J jnl
Logic-based ontology comparison and module extraction, with an application to DL-Lite.
Artif. Intell.
Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2010 A* conf
Past and Future of DL-Lite.
AAAI
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2010 J jnl
Spatial logics with connectedness predicates
Log. Methods Comput. Sci.
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
2010 — conf
Temporal Conceptual Modelling with DL-Lite.
Description Logics
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2010 A* conf
The Combined Approach to Query Answering in DL-Lite.
KR
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2009 — conf
Adding Weight to DL-Lite.
Description Logics
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2009 — conf
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite.
Description Logics
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2009 — conf
DL-Lite without UNA.
Description Logics
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2009 — conf
Extending DL-Lite Sometime in the Future.
Description Logics
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2009 A* conf
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.
IJCAI
Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev
2009 J jnl
The DL-Lite Family and Relations.
J. Artif. Intell. Res.
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2008 A* conf
Can You Tell the Difference Between DL-Lite Ontologies?.
KR
Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2008 — conf
Checking DL-Lite Modularity with QBF Solvers.
Description Logics
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2008 — conf
DL-Lite and Role Inclusions.
ASWC
Roman Kontchakov, Michael Zakharyaschev
2008 B conf
On the Computational Complexity of Spatial Logics with Connectedness Constraints.
LPAR
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
2008 B conf
Topology, connectedness, and modal logic.
Advances in Modal Logic
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
2007 — conf
Complexity of Reasoning in Entity Relationship Models.
Description Logics
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2007 A* conf
DL-Lite in the Light of First-Order Logic.
AAAI
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2007 — conf
Modularity in DL-Lite.
Description Logics
Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2007 — conf
Query Answering in Expressive Variants of DL-Lite.
SEBD
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2007 A conf
Reasoning over Extended ER Models.
ER
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2007 — ch.
Spatial Logic + Temporal Logic = ?.
Handbook of Spatial Logics
Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2007 C conf
Temporalising Tractable Description Logics.
TIME
Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2006 B conf
Dynamic topological logics over spaces with continuous functions.
Advances in Modal Logic
Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2006 J jnl
On Dynamic Topological and Metric Logics.
Stud Logica
Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2005 J jnl
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.
J. Artif. Intell. Res.
David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev
2005 J jnl
Undecidability of first-order intuitionistic and modal logics with two variables.
Bull. Symb. Log.
Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev
2004 — —
Monodic first-order temporal logics : complexity, tableaux, and applications.
Roman Kontchakov
2004 J jnl
Temporalising Tableaux.
Stud Logica
Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2003 C conf
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics.
TIME
Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2003 Misc conf
On the Computational Complexity of Spatio-Temporal Logics.
FLAIRS
David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev