Mantas Šimkus |
 |
PhD
|
| E-mail: |
 |
| Phone: |
+43 (1) 58 801-18424 |
| Fax: |
+43 (1) 58 801-18492 |
| Office hours: |
by appointment |
| Room: |
HA0310 |
| TU-Whitepages: |
link |
|
Personal Information
Since September 2010 I am a research assistant in
the
Database and Artificial Intelligence Group at
the
Vienna University of
Technology. In 2006 I obtained
a
European Masters
Degree in Computational Logic. In June 2010 I was awarded a PhD
degree for the dissertation done under the
supervision
Prof. Dr. Thomas Eiter.
Research Interests
- Logic Programming with Function Symbols
- Description Logics
- Combining Rules and Ontologies
Publications
Thomas Eiter, Mantas
Šimkus.
Bidirectional Answer Set Programs with Function Symbols.
In Proceedings of IJCAI 2009.
PDF
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, and Mantas
Šimkus.
Query Answering in Description Logics with Transitive Roles.
In Proceedings of IJCAI 2009.
PDF
Georg Gottlob, Thomas Eiter, Magdalena Ortiz, and Mantas
Šimkus.
Query Answering in the Description Logic Horn-SHIQ.
Proceedings of JELIA 2008, Dresden, Germany,
2008.
PDF
Magdalena Ortiz, Mantas Šimkus, and Thomas Eiter.
Conjunctive Query
Answering in SH using Knots. Proceedings of 21st International Workshop on Description Logics
(DL2008), Dresden, Germany (13th - 16th May 2008), May 2008.
PDF
Magdalena Ortiz, Mantas Šimkus, and Thomas Eiter.
Worst-case
Optimal Conjunctive Query Answering for an Expressive Description
Logic without Inverses.
Proceedings of Twenty-Third AAAI Conference on Artificial Intelligence
(AAAI-08), Chicago, Illinois, USA (13th - 17th July 2008).
Link
Mantas Šimkus and Thomas Eiter.
FDNC: Decidable non-monotonic disjunctive logic programs with function symbols.
Technical Report.
PDF
Mantas Šimkus and Thomas Eiter.
FDNC: Decidable non-monotonic disjunctive logic programs with function symbols.
In Proceedings 14th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning (LPAR 2007), LNCS. Springer, 2007.
PDF
