Publikationen
- 2014
- Veröffentlicht
LoCo - A Logic for Configuration Problems.
Aschinger, M., Drescher, C., Gottlob, G. & Vollmer, H., 2014, in: ACM Trans. Comput. Log.. 15, 3, S. 20:1-20:25Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Modal Independence Logic
Kontinen, J., Müller, J., Schnoor, H. & Vollmer, H., 2014, Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. Goré, R., Kooi, B. P. & Kurucz, A. (Hrsg.). S. 353-372 20 S.Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- 2013
- Veröffentlicht
Generalized satisfiability for the description logic ALC
Meier, A. & Schneider, T., 23 Sept. 2013, in: Theor. Comput. Sci.. 505, S. 55-73Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Complexity Results for Modal Dependence Logic.
Lohmann, P. & Vollmer, H., 2013, in: STUD LOGICA. 101, 2, S. 343-366Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Dependence Logic - Theory and Applications (Dagstuhl Seminar 13071).
Abramsky, S., Kontinen, J., Väänänen, J. A. & Vollmer, H., 2013Publikation: Sonstige Publikation › Forschung
- Veröffentlicht
Extended Modal Dependence Logic.
Ebbing, J., Hella, L., Meier, A., Müller, J., Virtema, J. & Vollmer, H., 2013, Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. S. 126-137Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice
Müller, J. & Vollmer, H., 2013, Logic, Language, Information, and Computation. S. 238-250Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Paradigms for Parameterized Enumeration
Creignou, N., Meier, A., Müller, J., Schmidt, J. & Vollmer, H., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Chatterjee, K. & Sgall, J. (Hrsg.). S. 290-301 (Lecture Notes in Computer Science (LNCS); Band 8087).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Paradigms for Parameterized Enumeration
Creignou, N., Meier, A., Müller, J., Schmidt, J. & Vollmer, H., 2013, (CoRR).Publikation: Arbeitspapier/Preprint › Technical Report › Forschung
- Veröffentlicht
Parameterized Enumeration with Ordering.
Creignou, N., Ktari, R., Meier, A., Müller, J., Olive, F. & Vollmer, H., 2013.Publikation: Arbeitspapier/Preprint › Technical Report › Forschung
- Veröffentlicht
Verifying proofs in constant depth.
Beyersdorff, O., Datta, S., Krebs, A., Mahajan, M., Scharfenberger-Fabian, G., Sreenivasaiah, K., Thomas, M. & Vollmer, H., 2013, in: ACM Trans. Comput. Theory. 5, 1, S. 2:1-2:23Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- 2012
- Veröffentlicht
Complexity of Model Checking for Logics over Kripke models.
Meier, A., Müller, J., Mundhenk, M. & Vollmer, H., 2012, in: Bull. EATCS. 108, S. 49-89Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Counting classes and the fine structure between NC1 and L.
Datta, S., Mahajan, M., Rao, B. V. R., Thomas, M. & Vollmer, H., 2012, in: Theor. Comput. Sci.. 417, S. 36-49Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Generalized Complexity of ALC Subsumption
Meier, A., 2012, (CoRR).Publikation: Arbeitspapier/Preprint › Technical Report › Forschung
- Veröffentlicht
LoCo - A Logic for Configuration Problems.
Aschinger, M., Drescher, C. & Vollmer, H., 2012, S. 73-78.Publikation: Konferenzbeitrag › Paper › Forschung › Peer-Review
- Veröffentlicht
On the Parameterized Complexity of Default Logic and Autoepistemic Logic.
Meier, A., Schmidt, J., Thomas, M. & Vollmer, H., 2012, Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. S. 389-400Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Parameterized Complexity of Weighted Satisfiability Problems.
Creignou, N. & Vollmer, H., 2012, S. 341-354.Publikation: Konferenzbeitrag › Paper › Forschung › Peer-Review
- Veröffentlicht
SAT Interactions (Dagstuhl Seminar 12471).
Creignou, N., Galesi, N., Kullmann, O. & Vollmer, H., 2012Publikation: Sonstige Publikation › Forschung
- Veröffentlicht
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers
Göller, S., Meier, A., Mundhenk, M., Schneider, T., Thomas, M. & Weiß, F., 2012, Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012. S. 261-278Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
The Complexity of Reasoning for Fragments of Autoepistemic Logic.
Creignou, N., Meier, A., Vollmer, H. & Thomas, M., 2012, in: ACM Trans. Comput. Log.. 13, 2, S. 17:1-17:22Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review