Publications


Publications in reverse chronological order | Publications ordered by theme | Current DBLP listing | Scholar Google | Arnetminer | Academic Search
To appear | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 - 2005 | 2004 - 2000 | 1999 - 1995 | 1994 - 1991

To appear
Rule Refinement for Semantic Tableau Calculi. Together with D. Tishkovsky. In Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017). Lecture Notes in Artificial Intelligence, Vol. 10501, Springer, ???--???.
Abstract, BiBTeX, PDF, (final version available via DOI link to Springer).
Role Forgetting for ALCOQH(top)-Ontologies Using an Ackermann Approach. Together with Y. Zhao. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017). AAAI Press/IJCAI.
2016
Blocking and Other Enhancements for Bottom-Up Model Generation Methods. Together with P. Baumgartner. arXiv e-Print 1611.09014 [cs.AI].
Abstract, BiBTeX, Full text via arXiv.
Forgetting Concept and Role Symbols in ALCOIH\mu+(top,and)-Ontologies. Together with Y. Zhao. In Kambhampati, S. (ed), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016). AAAI Press/IJCAI, 1345-1352.
Abstract, BiBTeX, PDF.
A Bi-Intuitionistic Modal Logic: Foundations and Automation. Together with J. G. Stell and D. Rydeheard. Journal of Logical and Algebraic Methods in Programming 85 (4), 500-519.
Abstract, BiBTeX, DOI Link to Elsevier.
Lifting QBF Resolution Calculi to DQBF. Together with O. Beyersdorff, L. Chew and M. Suda. In Creignou, N. and Le Berre, D. (eds), Theory and Applications of Satisfiability Testing (SAT 2016). Lecture Notes in Computer Science, Vol. 9710, Springer, 490-499.
Abstract, BiBTeX, PDF (final version available via DOI link to Springer).
Forgetting Concept and Role Symbols in ALCOIH\mu+(top,and)-Ontologies. Together with Y. Zhao. In Lenzerini, M. and Penaloza, R. (eds), Proceedings of the 29th International Workshop on Description Logics (DL-2016). CEUR Workshop Proceedings, Vol. 1577, CEUR-WS.org.
Abstract, BiBTeX, PDF.
2015
Modal Tableau Systems with Blocking and Congruence Closure. Together with U. Waldmann. In De Nivelle, H. (eds), Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2015). Lecture Notes in Computer Science, Vol. 9323, Springer, 38-53.
Abstract, BiBTeX, PDF (final version available via DOI link to Springer).
Concept Forgetting in ALCOI-Ontologies Using an Ackermann Approach. Together with Y. Zhao. In Arenas et al (eds), The Semantic Web, 14th International Semantic Web Conference, ISWC 2015. Lecture Notes in Computer Science, Vol. 9366, Springer, 587-602.
Abstract, BiBTeX, PDF, (final version available via DOI link to Springer).
LETHE: A Saturation-Based Tool for Non-Classical Reasoning. Together with P. Koopmann. In Dumontier, et al (eds), Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015). CEUR Workshop Proceedings, Vol. 1387, CEUR-WS.org.
Abstract, BiBTeX, PDF.
Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach. Together with Y. Zhao. In Calvanese, D. and Konev, B. (eds), Proceedings of the 28th International Workshop on Description Logics (DL-2015). CEUR Workshop Proceedings, Vol. 1350, CEUR-WS.org.
Abstract, BiBTeX, PDF.
Saturation-Based Forgetting in the Description Logic SIF. Together with P. Koopmann. In Calvanese, D. and Konev, B. (eds), Proceedings of the 28th International Workshop on Description Logics (DL-2015). CEUR Workshop Proceedings, Vol. 1350, CEUR-WS.org.
Abstract, BiBTeX, PDF.
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. Together with P. Koopmann. In Bonet, B. and Koenig, S. (eds), Proc. AAAI-2015. AAAI Press, 175-181.
Abstract, BiBTeX, PDF.
2014
Axiomatic and Tableau-Based Reasoning for Kt(H,R). Together with J. G. Stell and D. Rydeheard. In Goré, R. and Kurucz, A. (eds), Advances in Modal Logic, Volume 10. College Publications, London, 478-497,
Abstract, BiBTeX, PDF (final version available in the proceedings).
Forgetting and Uniform Interpolation of ALC-Ontologies with ABoxes. Together with P. Koopmann. In M. Bienvenu and R. Rosati (eds), Proceedings of the 27th International Workshop on Description Logics (DL-2014). CEUR Workshop Proceedings, Vol. 1193, CEUR-WS.org, 245-257.
Abstract, BiBTeX, PDF.
Terminating Minimal Model Generation Procedures for Propositional Modal Logics. Together with F. Papacchini. In S. Demri, D. Kapur, C. Weidenbach (eds), Automated Reasoning (IJCAR 2014). Lecture Notes in Artificial Intelligence, Vol. 8562, Springer, 381-395.
Abstract, BiBTeX, PDF (final version available via DOI link to Springer).
Count and Forget: Uniform Interpolation of SHQ-Ontologies. Together with P. Koopmann. In S. Demri, D. Kapur, C. Weidenbach (eds), Automated Reasoning (IJCAR 2014). Lecture Notes in Artificial Intelligence, Vol. 8562, Springer, 434-448.
Abstract, BiBTeX, Long version (final version available via DOI link to Springer).
Tableau Development for a Bi-Intuitionistic Tense Logic. Together with J. G. Stell and D. Rydeheard. In Hofner, P., Jipsen, P., Kahl, W. and Müller, M. E. (eds), Relational and Algebraic Methods in Computer Science (RAMiCS 14). Lecture Notes in Computer Science, Vol. 8428, Springer, 412-428.
Abstract, BiBTeX, PDF (final version available via DOI link to Springer).
Using Tableau to Decide Description Logics with Full Role Negation and Identity. Together with D. Tishkovsky. ACM Transactions on Computational Logic 15 (1).
Abstract, BiBTeX, PDF (DOI link to TOCL).
2013
Forgetting Concept and Role Symbols in ALCH-Ontologies. Together with P. Koopmann. In McMillan, K., Middeldorp, A. and Voronkov, A. (eds), Proc. LPAR 2013. Lecture Notes in Computer Science, Vol. 8312, Springer, 552-567.
Abstract, BiBTeX, PDF (final version will be available from Springer).
Implementation and Evaluation of Forgetting in ALC-Ontologies. Together with P. Koopmann. In Del Vescovo, C., Hahmann, T., Pearce, D. and Walther, D. (eds), Proceedings of the 7th International Workshop on Modular Ontologies (WoMo 2013). CEUR Workshop Proceedings, Vol. 1081, CEUR-WS.org, 1-12.
Abstract, BiBTeX, PDF, Electronic edition at CEUR-WS.org.
Frontiers of Combining Systems-FroCoS 2013. 9th International Symposium on Frontiers of Combining Systems, Nancy, September 18-20, 2013. Proceedings. Together with P. Fontaine and C. Ringeissen (eds). Lecture Notes in Artificial Intelligence, Vol. 8152, Springer.
Abstract, BiBTeX, DOI Link. 13 Jul 17
Copyright © 1996-2017 Renate A. Schmidt, School of Computer Science, Univ. Man., schmidt@cs.man.ac.uk