TU Home
 


Publication Database Home  

Publication list for members of
E184 - Institute of Information Systems
E184 (Persons without Research Area Affiliation)
E184-2 Datenbanken und Artificial Intelligence
as authors or essentially involved persons
2012 - 2012

13 records


Publications in Scientific Journals


  1. B. Bliem, M. Morak, S. Woltran:
    "D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming";
    Theory and Practice of Logic Programming, 12 (2012), 4-5; 445 - 464.

    More information


Talks and Poster Presentations (with Proceedings-Entry)


  1. G. Erdély, M. Lackner, A. Pfandler:
    "The Complexity of Nearly Single-Peaked Consistency";
    Talk: International Workshop on Computational Social Choice (COMSOC), Krakow, Poland; 09-11-2012 - 09-13-2012; in: "Proceedings of fourth int. conference on Computational Social Choice", F. Brandt, P. Faliszewski (ed.); (2012), 12 pages.

    More information

  2. G. Gottlob, O. Orsi, A. Pieris, M. Simkus:
    "Datalog and Its Extensions for Semantic Web Databases";
    Talk: Reasoning Web, International Summer School, Wien (invited); 09-03-2012 - 09-08-2012; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (ed.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; 54 - 77.

  3. M. Lackner, M. Bruner:
    "A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs";
    Talk: Symposium and Workshops on Algorithm Theory (SWAT), Helsinki, Finnland; 07-04-2012 - 07-06-2012; in: "Lecture Notes of Computer Science", F. Fomin, P. Kaski (ed.); Springer, 7357 (2012), ISBN: 978-3-642-31154-3; 261 - 270.

    More information

  4. M. Lackner, A. Pfandler:
    "Fixed-Parameter Algorithms for Closed World Reasoning";
    Talk: European Conference on Artificial Intelligence (ECAI), Montpellier, France; 08-27-2012 - 08-31-2012; in: "Proceedings of the ECAI Conference", L. Raedt, Ch. Bessiere, D. Dubois, P. Doherty, P. Frasconi, F. Heintz, P. Lucas (ed.); IOS Press, 242 (2012), ISBN: 978-1-61499-097-0; 492 - 497.

    More information

  5. M. Lackner, A. Pfandler:
    "Fixed-Parameter Algorithms for Finding Minimal Models";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 06-10-2012 - 06-14-2012; in: "Proceedings of 13th int. conf. on Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-561-8; Paper ID 4880, 11 pages.

    More information

  6. M. Lackner, R. Pichler, St. Rümmele, S. Woltran:
    "Multicut on Graphs of Bounded Clique-width";
    Talk: Annual International Conference on Combinatiorial Optimization and Applications (COCOA), Banff, Canada; 08-05-2012 - 08-09-2012; in: "Lecture Notes of Computer Science", G. Lin (ed.); Springer, 7402 (2012), ISBN: 978-3-642-31769-9; 115 - 126.

    More information

  7. J. Perez, R. Pichler, E. Sallinger, V. Savenkov:
    "Union and Intersection of Schema Mappings";
    Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Preto, Brasil; 06-27-2012 - 06-30-2012; in: "Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management", J. Freire, D. Suciu (ed.); CEUR-WS.org, (2012), ISSN: 1613-0073; Paper ID 9, 13 pages.

    More information


Talks and Poster Presentations (without Proceedings-Entry)


  1. M. Lackner:
    "A Fast Algorithm for Permutation Pattern Matching";
    Talk: Universität Siegen, Siegen, Deutschland; 03-22-2012.

    More information

  2. M. Lackner, M. Bruner:
    "Permutation Pattern Matching and its Parameterized Complexity";
    Talk: Conference on Computability in Europe CiE, Cambridge, Great Britain; 06-18-2012 - 06-23-2012.

    More information

  3. M. Lackner, A. Pfandler:
    "Fixed-Parameter Algorithms for Finding Minimal Models";
    Talk: Logic and interactions 2012, CIRM, Marseille, France; 01-30-2012 - 03-02-2012.

    More information

  4. M. Lackner, A. Pfandler:
    "Fixed-Parameter Algorithms for Finding Minimal Models";
    Talk: Universität Siegen, Siegen, Deutschland; 03-22-2012.

    More information


Diploma and Master Theses (authored and supervised)


  1. B. Bliem:
    "Decompose, guess and check : declarative problem solving on tree decompositions";
    Supervisor: S. Woltran, R. Pichler; Institut für Informationssysteme, 2012; final examination: 11-19-2012.

    More information