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
2010 - 2010

12 records


Contributions to Books


  1. A. Cali, G. Gottlob, T. Lukasiewicz:
    "Datalog extensions for tractable query answering over ontologies";
    in: "Semantic Web Information Management: A Model-Based Perspective", R. De Virgilio, F. Giunchiglia, L. Tanca (ed.); Springer, Heidelberg, 2010, (invited), ISBN: 978-3-642-04328-4, 249 - 279.

  2. T. Eiter, G. Gottlob, T. Schwentick:
    "The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey";
    in: "Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday", A. Blass, N Dershowitz, W. Reisig (ed.); Springer LNCS, Heidelberg (LNCS 6300), 2010, (invited), ISSN: 0302-9743, 227 - 250.


Talks and Poster Presentations (with Proceedings-Entry)


  1. A. Cali, G. Gottlob, M. Kifer, T. Lukasiewicz, A. Pieris:
    "Ontological reasoning with F-Logic Lite and its extensions";
    Talk: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 07-11-2010 - 07-15-2010; in: "Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010)", M. Fox, D. Poole (ed.); AAAI Press, (2010), ISBN: 978-1-57735-463-5; 1660 - 1665.

  2. A. Cali, G. Gottlob, T. Lukasiewicz, B. Marnette, A. Pieris:
    "Datalog+/-: A family of logical knowledge representation and query languages for new applications";
    Keynote Lecture: Symposium on Logic in Computer Science (LICS), Edinburgh, United Kingdom (invited); 07-11-2010 - 07-14-2010; in: "Proceedings of the 25th Symposium on Logic in Computer Science (LICS 2010)", J.-P. Jouannaud (ed.); IEEE Computer Society, (2010), ISBN: 978-0-7695-4114-3; 228 - 242.

    More information

  3. C. dŽAmato, F. Esposito, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz:
    "Inductive reasoning and Semantic Web search";
    Talk: 25th ACM Symposium on Applied Computing (SAC 2010), Sierre, Switzerland; 03-22-2010 - 03-26-2010; in: "Proceedings of the 25th ACM Symposium on Applied Computing (SAC 2010)", S. Shin, S. Ossowski, M. Schumacher, M. Palakal, C. Hung (ed.); ACM, (2010), ISBN: 978-1-60558-638-0; 1446 - 1447.

    More information

  4. C. dŽAmato, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz:
    "Combining Semantic Web search with the power of inductive reasoning";
    Talk: International Conference on Scalable Uncertainty Management (SUM), Toulouse, France; 09-27-2010 - 09-29-2010; in: "Proceedings of the 4th International Conference on Scalable Uncertainty Management (SUM 2010)", A. Deshpande, A. Hunter (ed.); Springer LNCS, 6379 (2010), ISBN: 978-3-642-15950-3; 137 - 150.

    More information

  5. B. Fazzinga, G. Gianforme, G. Gottlob, T. Lukasiewicz:
    "Semantic Web search based on ontological conjunctive queries";
    Talk: International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Sofia, Bulgaria; 02-14-2010 - 02-19-2010; in: "Proceedings of the 6th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010)", H. Prade, S. Link (ed.); Springer LNCS, 5956 (2010), ISBN: 978-3-642-11828-9; 153 - 172.

    More information

  6. E. Sallinger, R. Pichler, V. Savenkov:
    "Schema Mapping Optimization in the Presence of Target Constraints";
    Poster: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 309 - 310.

    More information


Talks and Poster Presentations (without Proceedings-Entry)


  1. E. Sallinger:
    "Analyzing, comparing and debugging schema mappings";
    Talk: Data Exchange, Integration, and Streams (DEIS'10), Schloß Dagstuhl, Deutschland; 11-07-2010 - 11-12-2010.


Doctor's Theses (authored and supervised)


  1. T. Hassan:
    "User-Guided Information Extraction from Print-Oriented Documents";
    Supervisor, Reviewer: G. Gottlob, G. Kappel; Institut für Informationssysteme, 2010; oral examination: 05-31-2010.

    More information

  2. M. Simkus:
    "Nonmonotonic Logic Programs with Function Symbols";
    Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2010; oral examination: 06-02-2010.

    More information


Diploma and Master Theses (authored and supervised)


  1. E. Sallinger:
    "Optimizing schema mappings with relaxed notions of equivalence";
    Supervisor: R. Pichler, V. Savenkov; Institut für Informationssysteme, 2010; final examination: 01-28-2010.

    More information