The below list of publications is not actively updated anymore. You should be able to find the all recent publications in online databases:
Conferences
Federica Di Stefano, Mantas Simkus
Stable Model Semantics for Description Logic Terminologies Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024). 2024.
PDFFederica Di Stefano, Mantas Simkus
Equilibrium Description Logics: Results on Complexity and Relations to Circumscription Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR 2024). 2024.
PDFCem Okulmus, Mantas Simkus
SHACL Validation under the Well-founded Semantics Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR 2024). 2024.
PDFFederica Di Stefano, Magdalena Ortiz, Mantas Simkus
Description Logics with Pointwise Circumscription Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023). 2023.
PDFShqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023). 2023.
Robert David, Shqiponja Ahmetaj, Axel Polleres, Mantas Simkus
Repairing SHACL Constraint Violations using Answer Set Programming The 21th International Semantic Web Conference (ISWC 2022). 2022.
PDFShqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
Reasoning about Explanations for Non-validation in SHACL Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). 2021.
PDFSanja Lukumbuzya, Mantas Simkus
Bounded Predicates in Description Logics with Counting Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021). 2021.
PDF VIDEOSanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). 2020.
PDFMedina Andresel, Magdalena Ortiz, Mantas Simkus
Query Rewriting for Ontology-mediated Conditional Answers Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). 2020.
PDFTomasz Gogacz, Victor Gutierrez Basulto, Yazmin A. Ibanez Garcia, Filip Murlak, Magdalena Ortiz, Mantas Simkus
Ontology Focusing: Knowledge-enriched Databases on Demand Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). 2020.
PDF VIDEOMedina Andresel, Julien Corman, Magdalena Ortiz, Juan L. Reutter, Ognjen Savkovic, Mantas Simkus
Stable Model Semantics for Recursive SHACL Proceedings of The Web Conference 2020 (WWW 2020). 2020.
PDF VIDEONadia Labai, Magdalena Ortiz, Mantas Simkus
An ExpTime Upper Bound for ALC with Integers Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). 2020.
PDF VIDEOSanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). 2020.
PDF VIDEOMedina Andresel, Yazmin A. Ibanez Garcia, Magdalena Ortiz, Mantas Simkus
Relaxing and Restraining Queries for OBDA Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). 2019.
PDFShqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Rewriting Guarded Existential Rules into Small Datalog Programs Proceedings of the 21st International Conference on Database Theory (ICDT 2018). 2018.
PDFLabinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Combining Rules and Ontologies into Clopen Knowledge Bases Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI 2018). 2018.
PDFSebastian Rudolph, Mantas Simkus
The Triguarded Fragment of First-order Logic Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-22). 2018.
PDFLabinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Compiling Model Representations for Querying Large ABoxes in Expressive DLs Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018). 2018.
PDFMedina Andresel, Yazmin A. Ibanez Garcia, Magdalena Ortiz, Mantas Simkus
Relaxing and Restraining Queries for OBDA - Extended Abstract Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). 2018.
PDFDiego Calvanese, Magdalena Ortiz, Mantas Simkus
Verification of Evolving Graph-structured Data under Expressive Path Constraints Proceedings of the 19th International Conference on Database Theory (ICDT 2016). 2016.
PDFShqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). 2016.
PDFNhung Ngo, Magdalena Ortiz, Mantas Simkus
Closed Predicates in Description Logics: Results on Combined Complexity Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016). 2016.
PDFGeorg Gottlob, Andreas Pieris, Mantas Simkus
The Impact of Active Domain Predicates on Guarded Existential Rules Proceedings of the 10th International Conference on Web Reasoning and Rule Systems (RR 2016). 2016.
PDFTomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Extending ALCQIO with Trees Proceedings of the 30th Annual ACM/IEEE Symposiun on Logic in Computer Science (LICS 2015). 2015.
PDFShqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Towards Reconciling SPARQL and Certain Answers Proceedings of the 24th International World Wide Web Conference (WWW 2015). 2015.
PDFThomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao
A Rule-based Framework for Creating Instance Data from OpenStreetMap Proceedings of the 9th International Conference On Web Reasoning And Rule Systems (RR 2015). 2015.
PDFMantas Simkus
Binary Frontier-guarded ASP with Function Symbols Proceedings of the 9th International Web Rule Symposium (RuleML 2015). 2015.
PDFThomas Eiter, Mantas Simkus
Linking Open-world Knowledge Bases using Nonmonotonic Rules Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015). 2015.
PDFGeorg Gottlob, Mantas Simkus, Sebastian Rudolph
Expressiveness of Guarded Existential Rule Languages Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2014). 2014.
PDFMeghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Nested Regular Path Queries in Description Logics Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014). 2014.
PDFShqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Managing Change in Graph-structured Data Using Description Logics Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014). 2014.
PDFDiego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
Capturing Relational Schemas and Functional Dependencies in RDFS Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014). 2014.
PDFMagdalena Ortiz, Mantas Simkus
Revisiting the Hardness of Query Answering in Expressive Description Logics Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR 2014). 2014.
PDFMeghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
Tractable Queries for Lightweight Description Logics Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). 2013. Note: Updated version.
PDFMeghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Conjunctive Regular Path Queries in Lightweight Description Logics Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). 2013.
PDFDiego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
The Complexity of Explaining Negative Query Answers in DL-Lite Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012). 2012.
PDFThomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
Query Rewriting for Horn-SHIQ Plus Rules Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI 2012). 2012.
PDFDiego Calvanese, Magdalena Ortiz, Mantas Simkus
Containment of Regular Path Queries under Description Logic Constraints Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). 2011.
PDFMagdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). 2011.
PDFMagdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010). 2010.
PDFThomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
Query Answering in Description Logics with Transitive Roles Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009). 2009.
PDFThomas Eiter, Mantas Simkus
Bidirectional Answer Set Programs with Function Symbols Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009). 2009.
PDFMantas Simkus
Fusion of Logic Programming and Description Logics Proceedings of the 25th International Conference on Logic Programming (ICLP 2009). 2009.
PDFMagdalena Ortiz, Mantas Simkus, Thomas Eiter
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008). 2008.
PDFThomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus
Query Answering in the Description Logic Horn-SHIQ Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008). 2008.
PDFMantas Simkus, Thomas Eiter
FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007). 2007.
PDF
Journals
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Datalog Rewritability and Data Complexity of ALCHOIQ with Closed Predicates Artificial Intelligence. 2024.
PDFIris Beerepoot et al., (41 other authors)
The biggest business process management problems to solve before we die Computers in Industry. 2023.
PDFShqiponja Ahmetaj, Bianca Loehnert, Magdalena Ortiz, Mantas Simkus
Magic Shapes for Validation in SHACL Proceedings of the VLDB Endowment. Volume 15 Issue 10. 2022.
PDFShqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog Artificial Intelligence. 2020.
PDFThomas Schneider, Thomas Simkus
Ontologies and Data Managament: A Brief Survery German Journal of Artificial Intelligence. 2020.
PDFDiego Calvanese, Mantas Simkus
Interview with Diego Calvanese German Journal of Artificial Intelligence. 2020.
PDFGeorg Gottlob, Andreas Pieris, Mantas Simkus
The Impact of Active Domain Predicates on Guarded Existential Rules Fundamenta Informaticae. 2018.
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Managing Change in Graph-structured Data Using Description Logics ACM Transactions on Computational Logic (TOCL). 2017.
PDFMeghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms Journal of Artificial Intelligence Research (JAIR). 2015.
PDFDiego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
Reasoning about Explanations for Negative Query Answers in DL-Lite Journal of Artificial Intelligence Research (JAIR). 2013.
PDFThomas Eiter, Magdalena Ortiz, Mantas Simkus
Conjunctive query answering in the description logic SH using knots Journal of Computer and System Sciences (JCSS). 2012.
PDFThomas Eiter, Mantas Simkus
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols. ACM Transactions on Computational Logic (TOCL). 2010.
PDF
Workshops
Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting Proceedings of the ISWC 2023 Posters, Demos and Industry Tracks. 2023.
Romuald Esdras Wandji, Mantas Simkus, Diego Calvanese
Towards Techniques for Updating Virtual Knowledge Graphs Proceedings of the 7th Doctoral Consortium @ RuleML+RR 2023. 2023.
PDFArka Ghosh, Mantas Simkus, Diego Calvanese
Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach Proceedings of the 7th Doctoral Consortium @ RuleML+RR 2023. 2023.
PDFDiego Calvanese, Cem Okulmus, Magdalena Ortiz, Mantas Simkus
On the Way to Temporal OBDA Systems (short paper) Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023). 2023.
PDFFederica Di Stefano, Magdalena Ortiz, Mantas Simkus
Pointwise Circumscription in Description Logics Proceedings of the 35th International Workshop on Description Logics (DL 2022). 2022.
PDFAdrian Chmurovic, Mantas Simkus
Well-founded Semantics for Recursive SHACL Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022). 2022.
PDFShqiponja Ahmetaj, Bianca Loehnert, Magdalena Ortiz, Mantas Simkus
Magic Shapes for Validation in SHACL Proceedings of the ISWC 2021 Posters, Demos and Industry Tracks. 2021.
PDFShqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
Explanations for Non-validation in SHACL Proceedings of the ISWC 2021 Posters, Demos and Industry Tracks. 2021.
PDFShqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
Reasoning about Explanations for Non-validation in SHACL (Extended Abstract) Proceedings of the 34th International Workshop on Description Logics (DL 2021). 2021.
PDFDiego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus
Process Mining with Common Sense Proceedings of the International Workshop on BPM Problems to Solve Before We Die (PROBLEMS 2021). 2021.
PDFMagdalena Ortiz, Sanja Pavlovic, Mantas Simkus
Answer Set Programs Challenged by Ontologies Proceedings of the 32nd International Workshop on Description Logics (DL 2019). 2019.
PDFMantas Simkus, Sebestian Rudolph
Satisfiability in the Triguarded Fragment of First-Order Logic Proceedings of the 31st International Workshop on Description Logics (DL 2018). 2018.
PDFMedina Andresel, Yazmin A. Ibanez Garcia, Magdalena Ortiz, Mantas Simkus
Taming Complex Role Inclusions for DL-Lite Proceedings of the 31st International Workshop on Description Logics (DL 2018). 2018.
PDFLabinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming Proceedings of the 30th International Workshop on Description Logics (DL 2017). 2017.
PDFLabinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Goal-oriented type-based reasoning for expressive DLs Poster at the 30th International Workshop on Description Logics (DL 2017). 2017.
Medina Andresel, Magdalena Ortiz, Mantas Simkus
A Compilation Technique for Interactive Ontology-mediated Data Exploration Proceedings of the 29th International Workshop on Description Logics (DL 2016). 2016.
PDFShqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics Proceedings of the 29th International Workshop on Description Logics (DL 2016). 2016.
PDFNhung Ngo, Magdalena Ortiz, Mantas Simkus
Closed Predicates in Description Logics: Results on Combined Complexity Proceedings of the 10th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2016). 2016.
PDFShqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates Proceedings of the 10th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2016). 2016.
PDFNhung Ngo, Magdalena Ortiz, Mantas Simkus
The Combined Complexity of Reasoning with Closed Predicates in Description Logics Proceedings of the 28th International Workshop on Description Logics (DL 2015). 2015.
PDFShqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Towards Reconciling SPARQL and Certain Answers Proceedings of the 9th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2015). 2015.
PDFMeghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Navigational Queries Based on Frontier-Guarded Datalog Proceedings of the 9th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2015). 2015.
PDFShqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
DL-Lite and Conjunctive Queries Extended by Optional Matching Proceedings of the 28th International Workshop on Description Logics (DL 2015). 2015.
PDFShqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Planning and Change in Graph Structured Data under Description Logics Constraints Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2014). 2014.
PDFMeghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Nested Regular Path Queries in Description Logics (Extended Abstract) Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2014). 2014.
PDFDiego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Shape and Content: Incorporating Domain Knowledge into Shape Analysis Proceedings of the 27th International Workshop on Description Logics (DL 2014). 2014.
PDFDiego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics Proceedings of the 27th International Workshop on Description Logics (DL 2014). 2014.
PDFTomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability Proceedings of the 27th International Workshop on Description Logics (DL 2014). 2014.
PDFShqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Planning Problems for Graph Structured Data in Description Logics Proceedings of the 27th International Workshop on Description Logics (DL 2014). 2014.
PDFThomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014). 2014.
PDFMeghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
Tractability Guarantees for DL-Lite Query Answering Proceedings of the 26th International Workshop on Description Logics (DL 2013). 2013. Note: Updated version.
PDFDiego Calvanese, Magdalena Ortiz, Mantas Simkus
Evolving Graph Databases under Description Logic Constraints Proceedings of the 26th International Workshop on Description Logics (DL 2013). 2013.
PDFThomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
Towards Practical Query Answering for Horn-SHIQ Proceedings of the 25th International Workshop on Description Logics (DL 2012). 2012.
PDFMeghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Answering Expressive Path Queries over Lightweight DL Knowledge Bases Proceedings of the 25th International Workshop on Description Logics (DL 2012). 2012.
PDFDiego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
The Complexity of Conjunctive Query Abduction in DL-Lite Proceedings of the 24th International Workshop on Description Logics (DL2011). 2011.
PDFMeghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
Query Answering in the Description Logic S Proceedings of the 23rd International Workshop on Description Logics (DL 2010). 2010.
PDFMagdalena Ortiz, Mantas Simkus, Thomas Eiter
Conjunctive Query Answering in SH using Knots Proceedings of the 21st International Workshop on Description Logics (DL2008). 2008.
PDF
Edited Volumes
Mantas Simkus, Ivan Varzinczak
Reasoning Web. Declarative Artificial Intelligence - 17th International Summer School 2021 Leuven, Belgium, September 8-15, 2021, Tutorial Lectures. 2022.
PDFThomas Schneider, Mantas Simkus
Special Issue on Ontologies and Data Management: Part I German Journal of Artificial Intelligence. 2020.
PDFThomas Schneider, Mantas Simkus
Special Issue on Ontologies and Data Management: Part II German Journal of Artificial Intelligence. 2020.
PDFMantas Simkus, Grant Weddell
Proceedings of the 32nd International Workshop on Description Logics Oslo, Norway, June 18-21. 2019.
PDFAhmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros Stefaneas, Alexander Steen, Adrian Giurca
Proceedings of RuleML+RR 2019 Doctoral Consortium and Rule Challenge Bolzano, Italy, September 16-24, 2019. 2019.
PDFMeghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus
Proceedings of the 27th International Workshop on Description Logics Vienna, Austria, July 17-20, 2014. 2014.
PDF
Invited Papers
Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kroell, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
The Challenge of Optional Matching in SPARQL Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016). 2016.
PDFShqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
On the Relationship Between Ontology-mediated Queries and Non-monotonic Datalog Featured article in the ALP (The Association for Logic Programming) Newsletter. 2016.
PDFDiego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Shape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures Proceedings of the 11th International Conference on Integrated Formal Methods (IFM 2014). 2014.
PDFThomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
Query Answering in Description Logics: The Knots Approach Proceedings of the 16th International Workshop on Logic, Language, Information and Computation (WoLLIC 2009). 2009.
PDFThomas Eiter, Magdalena Ortiz, Mantas Simkus
Reasoning Using Knots Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2008). 2008.
PDF
Tutorials
Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Simkus
Datalog and Its Extensions for Semantic Web Databases Reasoning Web. 2012.
PDFMagdalena Ortiz, Mantas Simkus
Reasoning and Query Answering in Description Logics Reasoning Web. 2012.
PDF
Thesis
Mantas Simkus
Nonmonotonic Logic Programs with Function Symbols PhD Thesis. 2010.
PDF