Roman Kontchakov
Orcid: 0000-0002-9349-9159Affiliations:
- Birkbeck, University of London, UK
According to our database1,
Roman Kontchakov
authored at least 105 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version).
CoRR, 2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
2022
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
J. Artif. Intell. Res., 2022
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
2021
Artif. Intell., 2021
2020
Proceedings of the Semantic Web - ISWC 2020, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
2019
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
2018
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity.
J. ACM, 2018
Proceedings of the Semantic Web - ISWC 2018, 2018
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
Proceedings of the Semantic Web - ISWC 2017, 2017
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.
Proceedings of the 30th International Workshop on Description Logics, 2017
Proceedings of the 30th International Workshop on Description Logics, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Artif. Intell., 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
2015
J. Web Semant., 2015
OBDA with the Ontop Framework.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
ACM Trans. Comput. Log., 2014
CoRR, 2014
Artif. Intell., 2014
Proceedings of the Semantic Web - ISWC 2014, 2014
Proceedings of the Reasoning Web. Reasoning on the Web in the Big Data Era, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
ACM Trans. Comput. Log., 2013
CoRR, 2013
Proceedings of the Semantic Web - ISWC 2013, 2013
Proceedings of the Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30, 2013
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013
Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
2012
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012
Proceedings of the 2012 International Workshop on Description Logics, 2012
2011
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Logic-based ontology comparison and module extraction, with an application to DL-Lite.
Artif. Intell., 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Conceptual Modeling, 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
2008
Proceedings of the Logic for Programming, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
Proceedings of the Semantic Web, 3rd Asian Semantic Web Conference, 2008
Proceedings of the Advances in Modal Logic 7, 2008
2007
Proceedings of the Handbook of Spatial Logics, 2007
Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007
Query Answering in Expressive Variants of DL-Lite.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Proceedings of the Advances in Modal Logic 6, 2006
2005
J. Artif. Intell. Res., 2005
Bull. Symb. Log., 2005
2004
PhD thesis, 2004
2003
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003