Georg Gottlob : Publications
Click here to download all publications in a single bibtex file
@inproceedings{DBLP:conf/edbt/ChengWLSG22,
title = "Democratizing Financial Knowledge Graph Construction by Mining Massive Brokerage Research Reports",
author = "Zehua Cheng and Lianlong Wu and Thomas Lukasiewicz and Emanuel Sallinger and Georg Gottlob",
year = "2022",
booktitle = "Proceedings of the Workshops of the {EDBT/ICDT} 2022 Joint Conference, Edinburgh, UK, March 29, 2022",
editor = "Maya Ramanath and Themis Palpanas",
publisher = "CEUR-WS.org",
series = "{CEUR} Workshop Proceedings",
url = "http://ceur-ws.org/Vol-3135/EcoFinKG\_2022\_paper5.pdf",
volume = "3135",
}
@article{JACM-GHKL-2021,
title = "Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity",
author = "Georg Gottlob and Andr{\'e} Hernich and Clemens Kupke and Thomas Lukasiewicz",
year = "2021",
journal = "Journal of the ACM",
month = "October",
number = "5",
pages = "35:1--87",
url = "https://doi.org/10.1145/3447508",
volume = "68",
}
@inproceedings{DBLP:conf/kr/GHKL2014,
title = "Stable Model Semantics for Guarded Existential Rules and Description Logics",
author = "Georg Gottlob and André Hernich and Clemens Kupke and Thomas Lukasiewicz",
year = "2014",
booktitle = "Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning‚ KR 2014‚ Vienna‚ Austria, July 20-24, 2014",
editor = "Chitta Baral and Giuseppe De Giacomo",
month = "July",
pages = "258-267",
publisher = "AAAI Press",
url = "http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8011",
}
@inproceedings{DBLP:conf/amw/ArenasGP14,
title = "Expressive Languages for Querying the Semantic Web",
author = "Marcelo Arenas and Georg Gottlob and Andreas Pieris",
year = "2014",
booktitle = "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014",
editor = "Georg Gottlob and Jorge P{\'{e}}rez",
publisher = "CEUR-WS.org",
series = "{CEUR} Workshop Proceedings",
url = "http://ceur-ws.org/Vol-1189",
volume = "1189",
}
@inproceedings{DBLP:conf/kr/GLP2014,
title = "Datalog+⁄−: Questions and Answers",
author = "Georg Gottlob and Thomas Lukasiewicz and Andreas Pieris",
year = "2014",
booktitle = "Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning‚ KR 2014‚ Vienna‚ Austria‚ July 20−24‚ 2014",
editor = "Chitta Baral and Giuseppe De Giacomo",
pages = "682-685",
publisher = "AAAI Press",
url = "http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7965",
}
@article{DBLP:journals/amai/LSM13,
title = "Query Answering under Probabilistic Uncertainty in Datalog+⁄− Ontologies",
author = "Georg Gottlob and Thomas Lukasiewicz and Maria Vanina Martinez and Gerardo I. Simari",
year = "2013",
journal = "Annals of Mathematics and Artificial Intelligence",
month = "September",
number = "1",
pages = "37-72",
url = "http://dx.doi.org/10.1007/s10472-013-9342-1",
volume = "69",
}
@inbook{DBLP:conf/semweb/dAmatoFFGL13,
title = "Semantic Web Search and Inductive Reasoning",
author = "Claudia d'Amato and Nicola Fanizzi and Bettina Fazzinga and Georg Gottlob and Thomas Lukasiewicz",
year = "2013",
booktitle = "Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010, Held at ISWC, and UniDL 2010, Held at FLoC, Revised Selected Papers",
editor = "Fernando Bobillo and Paulo Cesar G. da Costa and Claudia d'Amato and Nicola Fanizzi and Kathryn B. Laskey and Kenneth J. Laskey and Thomas Lukasiewicz and Matthias Nickles and Michael Pool",
isbn = "978-3-642-35974-3, 978-3-642-35975-0",
pages = "237-261",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://dx.doi.org/10.1007/978-3-642-35975-0_13",
volume = "7123",
}
@inproceedings{DBLP:conf/dl/HerKLG2013,
title = "Well-Founded Semantics for Extended Datalog and Ontological Reasoning",
author = "Andr{\'e} Hernich and Clemens Kupke and Thomas Lukasiewicz and Georg Gottlob",
year = "2013",
booktitle = "Proceedings of the 26th International Workshop on Description Logics, DL 2013, Ulm, Germany, July 23-26, 2013",
editor = "Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr{\"o}tzsch",
pages = "209-220",
publisher = "CEUR-WS.org",
series = "CEUR Workshop Proceedings",
url = "http://ceur-ws.org/Vol-1014/paper_78.pdf",
volume = "1014",
}
@inproceedings{DBLP:conf/pods/GottlobHKL13,
title = "Well-Founded Semantics for Extended Datalog and Ontological Reasoning",
author = "Andr{\'e} Hernich and Clemens Kupke and Thomas Lukasiewicz and Georg Gottlob",
year = "2013",
booktitle = "Proceedings of the 32nd ACM Symposium on Principles of Database Systems, PODS 2013, New York, New York, USA, June 22-27, 2013",
editor = "Richard Hull and Wenfei Fan",
pages = "225-236",
publisher = "ACM Press",
url = "http://doi.acm.org/10.1145/2463664.2465229",
}
@article{DBLP:journals/amai/DFFGL11,
title = "Ontology-Based Semantic Search on the Web and its Combination with the Power of Inductive Reasoning",
author = "Claudia d'Amato and Nicola Fanizzi and Bettina Fazzinga and Georg Gottlob and Thomas Lukasiewicz",
year = "2012",
journal = "Annals of Mathematics and Artificial Intelligence",
month = "July",
number = "2/3",
pages = "83-121",
url = "http://dx.doi.org/10.1007/s10472-012-9309-7",
volume = "65",
}
@article{DBLP:journals/jws/CGL11,
title = "A General Datalog-Based Framework for Tractable Query Answering over Ontologies",
author = "Andrea Cal\`{i} and Georg Gottlob and Thomas Lukasiewicz",
year = "2012",
journal = "Journal of Web Semantics",
month = "July",
pages = "57–83",
url = "http://dx.doi.org/10.1016/j.websem.2012.03.001",
volume = "14",
}
@techreport{3960,
title = "A General Datalog-Based Framework for Tractable Query Answering over Ontologies",
author = "Andrea Cal\`{i} and Georg Gottlob and Thomas Lukasiewicz",
year = "2012",
institution = "OUCL",
month = "March",
number = "RR-10-21",
pages = "60",
}
@inproceedings{DBLP:conf/dlog/GottlobHKL12,
title = "Equality-Friendly Well-Founded Semantics and Applications to Description Logics",
author = "Georg Gottlob and Andr{\'e} Hernich and Clemens Kupke and Thomas Lukasiewicz",
year = "2012",
booktitle = "Proceedings of the 25th International Workshop on Description Logics, DL 2012, Rome, Italy, June 7-10, 2012",
editor = "Yevgeny Kazakov and Domenico Lembo and Frank Wolter",
publisher = "CEUR-WS.org",
series = "CEUR Workshop Proceedings",
url = "http://ceur-ws.org/Vol-846/paper_5.pdf",
volume = "846",
}
@inproceedings{AAAI12-GHKL-2012,
title = "Equality-Friendly Well-Founded Semantics and Applications to Description Logics",
author = "Georg Gottlob and André Hernich and Clemens Kupke and Thomas Lukasiewicz",
year = "2012",
booktitle = "Proceedings of the 26th National Conference on Artificial Intelligence, AAAI 2012, Toronto, Ontario, Canada, July 2012",
editor = "J. Hoffmann and B. Selman",
publisher = "AAAI Press",
url = "http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5100/5267",
}
@article{DBLP:journals/jws/FGGL11,
title = "Semantic Web Search Based on Ontological Conjunctive Queries",
author = "Bettina Fazzinga and Giorgio Gianforme and Georg Gottlob and Thomas Lukasiewicz",
year = "2011",
journal = "Journal of Web Semantics",
month = "December",
pages = "453-473",
url = "http://dx.doi.org/10.1016/j.websem.2011.08.003",
volume = "9",
}
@techreport{RR-11-08,
title = "Semantic Web Search Based on Ontological Conjunctive Queries",
author = "Bettina Fazzinga and Giorgio Gianforme and Georg Gottlob and Thomas Lukasiewicz",
year = "2011",
institution = "DCS",
month = "October",
number = "RR-11-08",
pages = "44",
}
@article{DBLP:journals/sigmod/CaliGLP11,
title = "A Logical Toolbox for Ontological Reasoning",
author = "Andrea Cal\`{\i} and Georg Gottlob and Thomas Lukasiewicz and Andreas Pieris",
year = "2011",
journal = "SIGMOD Record",
number = "3",
pages = "5--14",
url = "http://dx.doi.org/10.1145/2070736.2070738",
volume = "40",
}
@inproceedings{DBLP:conf/datalog/CaliGLP10,
title = "Datalog+⁄−: A Family of Languages for Ontology Querying",
author = "Andrea Cal\`{\i} and Georg Gottlob and Thomas Lukasiewicz and Andreas Pieris",
year = "2011",
booktitle = "Datalog Reloaded - 1st International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers",
editor = "Oege de Moor and Georg Gottlob and Tim Furche and Andrew Jon Sellers",
isbn = "978-3-642-24205-2",
pages = "351-368",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://dx.doi.org/10.1007/978-3-642-24206-9_20",
volume = "6702",
}
@inproceedings{DBLP:conf/rr/GottlobLS11,
title = "Conjunctive Query Answering in Probabilistic Datalog+⁄− Ontologies",
author = "Georg Gottlob and Thomas Lukasiewicz and Gerardo I. Simari",
year = "2011",
booktitle = "Proceedings of the 5th International Conference on Web Reasoning and Rule Systems, RR 2011, Galway, Ireland, August 29-30, 2011",
editor = "Sebastian Rudolph and Claudio Gutierrez",
isbn = "978-3-642-23579-5",
pages = "77-92",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://dx.doi.org/10.1007/978-3-642-23580-1_7",
volume = "6902",
}
@inproceedings{ggcp11,
title = "On Minimal Constraint Networks",
author = "Georg Gottlob",
year = "2011",
address = "Perugia, Italy",
booktitle = "Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011",
}
@inproceedings{LoCoCo11,
title = "Introducing LoCo, a Logic for Configuration Problems",
author = "Markus Aschinger and Conrad Drescher and Georg Gottlob",
year = "2011",
address = "Perugia, Italy",
booktitle = "Proceedings of the 2nd Workshop on Logics for Component Configuration, LoCoCo 2011",
}
@inproceedings{PUPIJCAI2011,
title = "Tackling the Partner Units Configuration Problem",
author = "Markus Aschinger and Conrad Drescher and Georg Gottlob and Peter Jeavons and Evgenij Thorstensen",
year = "2011",
address = "Barcelona, Spain",
booktitle = "Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)",
}
@inproceedings{PUPCPAIOR2011,
title = "Optimization Methods for the Partner Units Problem",
author = "Markus Aschinger and Conrad Drescher and Gerhard Friedrich and Georg Gottlob and Peter Jeavons and Anna Ryabokon and Evgenij Thorstensen",
year = "2011",
address = "Berlin, Germany",
booktitle = "Proceedings of the 8th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2011)",
series = "Lecture Notes in Computer Science",
}
@misc{SDSTACS11,
title = "Structural Decomposition Methods, and What They are Good For",
author = "Markus Aschinger and Conrad Drescher and Georg Gottlob and Peter Jeavons and Evgenij Thorstensen",
year = "2011",
address = "Dortmund, Germany",
booktitle = "Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011)",
note = "Invited Paper at STACS 2011",
}
@inproceedings{DBLP:conf/sum/dAmatoFFGL10,
title = "Combining Semantic Web Search with the Power of Inductive Reasoning",
author = "Claudia d'Amato and Nicola Fanizzi and Bettina Fazzinga and Georg Gottlob and Thomas Lukasiewicz",
year = "2010",
booktitle = "Proceedings of the 4th International Conference on Scalable Uncertainty Management, SUM 2010, Toulouse, France, September 27-29, 2010",
editor = "Amol Deshpande and Anthony Hunter",
isbn = "978-3-642-15950-3",
pages = "137-150",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://dx.doi.org/10.1007/978-3-642-15951-0_17",
volume = "6379",
}
@inproceedings{DBLP:conf/sac/dAmatoEFFGL10,
title = "Inductive Reasoning and Semantic Web Search",
author = "Claudia d'Amato and Floriana Esposito and Nicola Fanizzi and Bettina Fazzinga and Georg Gottlob and Thomas Lukasiewicz",
year = "2010",
booktitle = "Proceedings of the 25th ACM Symposium on Applied Computing, SAC 2010, Sierre, Switzerland, March 22-26, 2010",
editor = "Sung Y. Shin and Sascha Ossowski and Michael Schumacher and Mathew J. Palakal and Chih-Cheng Hung",
isbn = "978-1-60558-639-7",
pages = "1446-1447",
publisher = "ACM Press",
url = "http://dl.acm.org/citation.cfm?doid=1774088.1774397",
}
@inproceedings{DBLP:conf/aaai/CaliGKLP10,
title = "Ontological Reasoning with F-Logic Lite and its Extensions",
author = "Andrea Cal\`{\i} and Georg Gottlob and Michael Kifer and Thomas Lukasiewicz and Andreas Pieris",
year = "2010",
booktitle = "Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010",
editor = "Maria Fox and David Poole",
publisher = "AAAI Press",
url = "http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1881/",
}
@inproceedings{DBLP:conf/foiks/FazzingaGGL09,
title = "Semantic Web Search Based on Ontological Conjunctive Queries",
author = "Bettina Fazzinga and Giorgio Gianforme and Georg Gottlob and Thomas Lukasiewicz",
year = "2010",
booktitle = "Proceedings of the 6th International Symposium on the Foundations of Information and Knowledge Systems, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010",
editor = "Sebastian Link and Henri Prade",
isbn = "978-3-642-11828-9",
pages = "153-172",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://dx.doi.org/10.1007/978-3-642-11829-6_12",
volume = "5956",
}
@inproceedings{DBLP:conf/lics/CaliGLMP10,
title = "Datalog+⁄−: A Family of Logical Knowledge Representation and Query Languages for New Applications",
author = "Andrea Cal\`{\i} and Georg Gottlob and Thomas Lukasiewicz and Bruno Marnette and Andreas Pieris",
year = "2010",
booktitle = "Proceedings of the 25th IEEE Symposium on Logic in Computer Science, LICS 2010, Edinburgh, UK, July 2010",
pages = "228--242",
publisher = "IEEE Computer Society",
url = "http://doi.ieeecomputersociety.org/10.1109/LICS.2010.27",
}
@techreport{PUPTechRep10,
title = "Tackling the Partner Units Configuration Problem",
author = "Markus Aschinger and Conrad Drescher and Gerhard Friedrich and Georg Gottlob and Peter Jeavons and Anna Ryabokon and Evgenij Thorstensen",
year = "2010",
institution = "Computing Laboratory, University of Oxford",
number = "CS-RR-10-28",
}
@inbook{DBLP:books/sp/virgilio09/CaliGL09,
title = "Semantic Web Information Management - A Model-Based Perspective",
author = "Andrea Cal\`{\i} and Georg Gottlob and Thomas Lukasiewicz",
year = "2009",
booktitle = "Semantic Web Information Management",
editor = "Roberto De Virgilio and Fausto Giunchiglia and Letizia Tanca",
isbn = "978-3-642-04328-4",
pages = "249-279",
publisher = "Springer",
url = "http://dx.doi.org/10.1007/978-3-642-04329-1_12",
}
@inproceedings{DBLP:conf/pods/CaliGL09,
title = "A General Datalog-Based Framework for Tractable Query Answering over Ontologies",
author = "Andrea Cal\`{\i} and Georg Gottlob and Thomas Lukasiewicz",
year = "2009",
booktitle = "Proceedings of the 28th ACM Symposium on Principles of Database Systems, PODS 2009, Providence, Rhode Island, USA, June 19 - July 1, 2009",
editor = "Jan Paredaens and Jianwen Su",
isbn = "978-1-60558-553-6",
pages = "77-86",
publisher = "ACM Press",
url = "http://dl.acm.org/citation.cfm?doid=1559795.1559809",
}
@inproceedings{DBLP:conf/sebd/CaliGL09,
title = "A General Datalog-Based Framework for Tractable Query Answering over Ontologies (Extended Abstract)",
author = "Andrea Cal\`{\i} and Georg Gottlob and Thomas Lukasiewicz",
year = "2009",
booktitle = "Proceedings of the 17th Italian Symposium on Advanced Database Systems, SEBD 2009, Camogli, Italy, June 21-24, 2009",
editor = "Valeria De Antonellis and Silvana Castano and Barbara Catania and Giovanna Guerrini",
isbn = "978-88-6122-154-3",
pages = "29-36",
publisher = "Edizioni Seneca",
url = "http://www.kr.tuwien.ac.at/staff/lukasiew/sebd09b.pdf",
}
@inproceedings{DBLP:conf/semweb/dAmatoFFGL09,
title = "Combining Semantic Web Search with the Power of Inductive Reasoning",
author = "Claudia d'Amato and Nicola Fanizzi and Bettina Fazzinga and Georg Gottlob and Thomas Lukasiewicz",
year = "2009",
booktitle = "Proceedings of the 5th International Workshop on Uncertainty Reasoning for the Semantic Web, URSW 2009, Washington DC, USA, October 26, 2009",
editor = "Fernando Bobillo and Paulo Cesar G. da Costa and Claudia d'Amato and Nicola Fanizzi and Kathryn B. Laskey and Kenneth J. Laskey and Thomas Lukasiewicz and Trevor Martin and Matthias Nickles and Michael Pool and Pavel Smrz",
pages = "15-26",
publisher = "CEUR-WS.org",
series = "CEUR Workshop Proceedings",
url = "http://ceur-ws.org/Vol-527/paper2.pdf",
volume = "527",
}
@inproceedings{DBLP:conf/icdt/CaliGL09,
title = "Datalog<sup>±</sup>: A Unified Approach to Ontologies and Integrity Constraints",
author = "Andrea Cal\`{\i} and Georg Gottlob and Thomas Lukasiewicz",
year = "2009",
booktitle = "Proceedings of the 12th International Conference on Database Theory, ICDT 2009, St. Petersburg, Russia, March 23-25, 2009",
editor = "Ronald Fagin",
isbn = "978-1-60558-423-2",
pages = "14-30",
publisher = "ACM Press",
series = "ACM International Conference Proceeding Series",
url = "http://dl.acm.org/citation.cfm?doid=1514894.1514897",
volume = "361",
}
@inproceedings{DBLP:conf/dlog/CaliGL09,
title = "Tractable Query Answering over Ontologies with Datalog+⁄−",
author = "Andrea Cal\`{\i} and Georg Gottlob and Thomas Lukasiewicz",
year = "2009",
booktitle = "Proceedings of the 22nd International Workshop on Description Logics, DL 2009, Oxford, UK, July 27-30, 2009",
editor = "Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler",
publisher = "CEUR-WS.org",
series = "CEUR Workshop Proceedings",
url = "http://ceur-ws.org/Vol-477/paper_46.pdf",
volume = "477",
}
@article{journals/corr/abs-cs-0701083,
title = "A Backtracking-Based Algorithm for Computing Hypertree-Decompositions",
author = "Georg Gottlob and Marko Samer",
year = "2007",
journal = "{CoRR}",
volume = "abs/cs/0701083",
doi = "http://arxiv.org/abs/cs/0701083",
}
@article{journals/ejc/AdlerGG07,
title = "Hypertree width and related hypergraph invariants",
author = "Isolde Adler and Georg Gottlob and Martin Grohe",
year = "2007",
journal = "Eur. J. Comb.",
number = "8",
pages = "2167-2181",
volume = "28",
doi = "10.1016/j.ejc.2007.04.013",
}
@article{journals/ipl/GottlobL07,
title = "A logical approach to multicut problems",
author = "Georg Gottlob and Stephanie Tien Lee",
year = "2007",
journal = "Inf. Process. Lett.",
number = "4",
pages = "136-141",
volume = "103",
doi = "10.1016/j.ipl.2007.03.005",
}
@inproceedings{conf/aaai/GottlobPW07,
title = "Efficient Datalog Abduction through Bounded Treewidth",
author = "Georg Gottlob and Reinhard Pichler and Fang Wei",
year = "2007",
booktitle = "{Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada}",
isbn = "978-1-57735-323-2",
pages = "1626-1631",
publisher = "{AAAI Press}",
}
@inproceedings{conf/sigecom/GottlobG07,
title = "On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition",
author = "Georg Gottlob and Gianluigi Greco",
year = "2007",
booktitle = "{Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), San Diego, California, USA, June 11-15, 2007}",
editor = "Jeffrey K. MacKie-Mason and David C. Parkes and Paul Resnick",
isbn = "978-1-59593-653-0",
pages = "152-161",
publisher = "{ACM}",
doi = "10.1145/1250910.1250934",
}
@inproceedings{conf/esws/BaumgartnerFG07,
title = "The {Lixto} Systems Applications in Business Intelligence and Semantic Web",
author = "Robert Baumgartner and Oliver Fr{\"o}lich and Georg Gottlob",
year = "2007",
booktitle = "{The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings}",
editor = "Enrico Franconi and Michael Kifer and Wolfgang May",
isbn = "978-3-540-72666-1",
pages = "16-26",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "4519",
doi = "10.1007/978-3-540-72667-8_3",
}
@inproceedings{conf/ijcai/GottlobGM07a,
title = "Complexity of Pure Equilibria in Bayesian Games",
author = "Georg Gottlob and Gianluigi Greco and Toni Mancini",
year = "2007",
booktitle = "{IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}",
editor = "Manuela M. Veloso",
pages = "1294-1299",
url = "http://www.ijcai.org/papers07/Papers/IJCAI07-209.pdf",
}
@inproceedings{conf/ijcai/GottlobGM07,
title = "Conditional Constraint Satisfaction: Logical Foundations and Complexity",
author = "Georg Gottlob and Gianluigi Greco and Toni Mancini",
year = "2007",
booktitle = "{IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}",
editor = "Manuela M. Veloso",
pages = "88-93",
url = "http://www.ijcai.org/papers07/Papers/IJCAI07-012.pdf",
}
@inproceedings{conf/pods/GottlobMS07,
title = "Generalized hypertree decompositions: np-hardness and tractable variants",
author = "Georg Gottlob and Zolt{\'a}n Mikl{\'o}s and Thomas Schwentick",
year = "2007",
booktitle = "{Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China}",
editor = "Leonid Libkin",
isbn = "978-1-59593-685-1",
pages = "13-22",
publisher = "ACM",
doi = "10.1145/1265530.1265533",
}
@inproceedings{conf/pods/GottlobPW07,
title = "Monadic datalog over finite structures with bounded treewidth",
author = "Georg Gottlob and Reinhard Pichler and Fang Wei",
year = "2007",
booktitle = "{Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China}",
editor = "Leonid Libkin",
isbn = "978-1-59593-685-1",
pages = "165-174",
publisher = "ACM",
doi = "10.1145/1265530.1265554",
}
@inproceedings{conf/rweb/BryEEFGLLPW07,
title = "Foundations of Rule-Based Query Answering",
author = "Fran\c{c}ois Bry and Norbert Eisinger and Thomas Eiter and Tim Furche and Georg Gottlob and Clemens Ley and Benedikt Linse and Reinhard Pichler and Fang Wei",
year = "2007",
booktitle = "Reasoning Web",
editor = "Grigoris Antoniou and Uwe A{\ss}mann and Cristina Baroglio and Stefan Decker and Nicola Henze and Paula-Lavinia Patranjan and Robert Tolksdorf",
pages = "1-153",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "4636",
}
@article{journals/tocl/LeonePFEGPS06,
title = "The {DLV} system for knowledge representation and reasoning",
author = "Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Thomas Eiter and Georg Gottlob and Simona Perri and Francesco Scarcello",
year = "2006",
journal = "{ACM} Trans. Comput. Log.",
number = "3",
pages = "499-562",
volume = "7",
doi = "10.1145/1149114.1149117",
}
@article{journals/corr/abs-cs-0602004,
title = "Conjunctive Queries over Trees",
author = "Georg Gottlob and Christoph Koch and Klaus U. Schulz",
year = "2006",
journal = "{CoRR}",
url = "http://arxiv.org/abs/cs/0602004",
volume = "abs/cs/0602004",
}
@article{journals/jacm/GottlobKS06,
title = "Conjunctive queries over trees",
author = "Georg Gottlob and Christoph Koch and Klaus U. Schulz",
year = "2006",
journal = "J. {ACM}",
number = "2",
pages = "238-272",
volume = "53",
doi = "10.1145/1131342.1131345",
}
@article{journals/tcs/EiterG06,
title = "Reasoning under minimal upper bounds in propositional logic",
author = "Thomas Eiter and Georg Gottlob",
year = "2006",
journal = "Theor. Comput. Sci.",
number = "1-3",
pages = "82-115",
volume = "369",
doi = "10.1016/j.tcs.2006.07.054",
}
@inproceedings{conf/aaai/GottlobPW06,
title = "Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning",
author = "Georg Gottlob and Reinhard Pichler and Fang Wei",
year = "2006",
booktitle = "{Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA}",
publisher = "AAAI Press",
}
@inproceedings{conf/bncod/CarmeCFGHHHK06,
title = "The {Lixto} Project: Exploring New Frontiers of Web Data Extraction",
author = "Julien Carme and Michal Ceresna and Oliver Fr{\"o}lich and Georg Gottlob and Tamir Hassan and Marcus Herzog and Wolfgang Holzinger and Bernhard Kr{\"u}pl",
year = "2006",
booktitle = "{BNCOD}",
pages = "1-15",
doi = "10.1007/11788911_1",
}
@inproceedings{conf/pods/GottlobPW06,
title = "Tractable database design through bounded treewidth",
author = "Georg Gottlob and Reinhard Pichler and Fang Wei",
year = "2006",
booktitle = "{Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, Maryland, USA}",
editor = "Stijn Vansummeren",
isbn = "1-59593-318-2",
pages = "124-133",
publisher = "ACM",
doi = "10.1145/1142351.1142370",
}
@inproceedings{conf/pods/GottlobN06,
title = "Data exchange: computing cores in polynomial time",
author = "Georg Gottlob and Alan Nash",
year = "2006",
booktitle = "{Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, Maryland, USA}",
editor = "Stijn Vansummeren",
isbn = "1-59593-318-2",
pages = "40-49",
publisher = "ACM",
doi = "10.1145/1142351.1142358",
}
@inproceedings{conf/rweb/FurcheLBPG06,
title = "{RDF} Querying: Language Constructs and Evaluation Methods Compared",
author = "Tim Furche and Benedikt Linse and Fran\c{c}ois Bry and Dimitris Plexousakis and Georg Gottlob",
year = "2006",
booktitle = "{Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures}",
editor = "Pedro Barahona and Fran\c{c}ois Bry and Enrico Franconi and Nicola Henze and Ulrike Sattler",
isbn = "3-540-38409-X",
pages = "1-52",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "4126",
doi = "10.1007/11837787_1",
}
@inproceedings{conf/sofsem/GottlobK06,
title = "A Formal Comparison of Visual Web Wrapper Generators",
author = "Georg Gottlob and Christoph Koch",
year = "2006",
booktitle = "{SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Mer\'{\i}n, Czech Republic, January 21-27, 2006, Proceedings}",
editor = "Jir\'{\i} Wiedermann and Gerard Tel and Jaroslav Pokorn{\'y} and M{\'a}ria Bielikov{\'a} and Julius Stuller",
isbn = "3-540-31198-X",
pages = "30-48",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "3831",
doi = "10.1007/11611257_3",
}
@article{journals/tocl/CadoliEG05,
title = "Complexity of propositional nested circumscription and nested abnormality theories",
author = "Marco Cadoli and Thomas Eiter and Georg Gottlob",
year = "2005",
journal = "{ACM} Trans. Comput. Log.",
number = "2",
pages = "232-272",
volume = "6",
doi = "10.1145/1055686.1055688",
}
@article{journals/tods/GottlobKP05,
title = "Efficient algorithms for processing {XPath} queries",
author = "Georg Gottlob and Christoph Koch and Reinhard Pichler",
year = "2005",
journal = "{ACM} Trans. Database Syst.",
number = "2",
pages = "444-491",
volume = "30",
doi = "10.1145/1071610.1071614",
}
@article{journals/jacm/GottlobKPS05,
title = "The complexity of {XPath} query evaluation and {XML} typing",
author = "Georg Gottlob and Christoph Koch and Reinhard Pichler and Luc Segoufin",
year = "2005",
journal = "J. ACM",
number = "2",
pages = "284-335",
volume = "52",
doi = "10.1145/1059513.1059520",
}
@article{journals/jair/GottlobGS05,
title = "Pure Nash Equilibria: Hard and Easy Games",
author = "Georg Gottlob and Gianluigi Greco and Francesco Scarcello",
year = "2005",
journal = "J. Artif. Intell. Res. ({JAIR})",
pages = "357-406",
url = "http://www.jair.org/papers/paper1683.html",
volume = "24",
}
@inproceedings{conf/btw/Gottlob05,
title = "Web Data Extraction for Business Intelligence: The Lixto Approach",
author = "Georg Gottlob",
year = "2005",
booktitle = "{Datenbanksysteme in Business, Technologie und Web, 11. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme" (DBIS), Karlsruhe, 2.-4. M{\"a}rz 2005}",
editor = "Gottfried Vossen and Frank Leymann and Peter C. Lockemann and Wolffried Stucky",
isbn = "3-88579-394-6",
pages = "30-47",
publisher = "{GI}",
series = "{LNI}",
volume = "65",
}
@inproceedings{conf/ijcai/RosatiG05,
title = "Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic",
author = "Riccardo Rosati and Georg Gottlob",
year = "2005",
booktitle = "{IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005}",
editor = "Leslie Pack Kaelbling and Alessandro Saffiotti",
isbn = "0938075934",
pages = "1378-1383",
publisher = "Professional Book Center",
url = "http://www.ijcai.org/papers/1462.pdf",
}
@inproceedings{conf/ijcai/GottlobGS05,
title = "The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions",
author = "Georg Gottlob and Gianluigi Greco and Francesco Scarcello",
year = "2005",
booktitle = "{IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005}",
editor = "Leslie Pack Kaelbling and Alessandro Saffiotti",
isbn = "0938075934",
pages = "150-155",
publisher = "Professional Book Center",
url = "http://www.ijcai.org/papers/1231.pdf",
}
@inproceedings{conf/semweb/AbelBBEGHHKNT05,
title = "The Personal Publication Reader",
author = "Fabian Abel and Robert Baumgartner and Adrian Brooks and Christian Enzi and Georg Gottlob and Nicola Henze and Marcus Herzog and Matthias Kriesell and Wolfgang Nejdl and Kai Tomaschewski",
year = "2005",
booktitle = "{The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings}",
editor = "Yolanda Gil and Enrico Motta and V. Richard Benjamins and Mark A. Musen",
isbn = "3-540-29754-5",
pages = "1050-1053",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "3729",
doi = "10.1007/11574620_75",
}
@inproceedings{conf/lpnmr/LeoneEFFGGGKILLLNRRST05,
title = "Data Integration: a Challenging {ASP} Application",
author = "Nicola Leone and Thomas Eiter and Wolfgang Faber and Michael Fink and Georg Gottlob and Luigi Granata and Gianluigi Greco and Edyta Kalka and Giovambattista Ianni and Domenico Lembo and Maurizio Lenzerini and Vincenzino Lio and Bartosz Nowicki and Riccardo Rosati and Marco Ruzzi and Witold Staniszkis and Giorgio Terracina",
year = "2005",
booktitle = "{Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings}",
editor = "Chitta Baral and Gianluigi Greco and Nicola Leone and Giorgio Terracina",
isbn = "3-540-28538-5",
pages = "379-383",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "3662",
doi = "10.1007/11546207_31",
}
@inproceedings{conf/pods/Gottlob05,
title = "Computing cores for data exchange: new algorithms and practical solutions",
author = "Georg Gottlob",
year = "2005",
booktitle = "{Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland, USA}",
editor = "Chen Li",
isbn = "1-59593-062-0",
pages = "148-159",
publisher = "{ACM}",
doi = "10.1145/1065167.1065187",
}
@inproceedings{conf/rweb/BaumgartnerEGHK05,
title = "Information Extraction for the Semantic Web",
author = "Robert Baumgartner and Thomas Eiter and Georg Gottlob and Marcus Herzog and Christoph Koch",
year = "2005",
booktitle = "{Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures}",
editor = "Norbert Eisinger and Jan Maluszynski",
isbn = "3-540-27828-1",
pages = "275-289",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "3564",
doi = "10.1007/11526988_8",
}
@inproceedings{conf/sebd/LeoneEFFGG05,
title = "Boosting Information Integration: The {INFOMIX} System",
author = "Nicola Leone and Thomas Eiter and Wolfgang Faber and Michael Fink and Georg Gottlob and Gianluigi Greco",
year = "2005",
booktitle = "{Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005}",
editor = "Andrea Cal\`{\i} and Diego Calvanese and Enrico Franconi and Maurizio Lenzerini and Letizia Tanca",
isbn = "88-548-0122-4",
pages = "55-66",
}
@inproceedings{conf/sigmod/LeoneGILTEFFGRLLRKNS05,
title = "The {INFOMIX} system for advanced integration of incomplete and inconsistent data",
author = "Nicola Leone and Gianluigi Greco and Giovambattista Ianni and Vincenzino Lio and Giorgio Terracina and Thomas Eiter and Wolfgang Faber and Michael Fink and Georg Gottlob and Riccardo Rosati and Domenico Lembo and Maurizio Lenzerini and Marco Ruzzi and Edyta Kalka and Bartosz Nowicki and Witold Staniszkis",
year = "2005",
booktitle = "{Proceedings of the ACM SIGMOD International Conference on Management of Data, Baltimore, Maryland, USA, June 14-16, 2005}",
editor = "Fatma {\"O}zcan",
isbn = "1-59593-060-4",
pages = "915-917",
publisher = "{ACM}",
doi = "10.1145/1066157.1066286",
}
@inproceedings{conf/wg/GottlobGMSS05,
title = "Hypertree Decompositions: Structure, Algorithms, and Applications",
author = "Georg Gottlob and Martin Grohe and Nysret Musliu and Marko Samer and Francesco Scarcello",
year = "2005",
booktitle = "{Graph-Theoretic Concepts in Computer Science, 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers}",
editor = "Dieter Kratsch",
isbn = "3-540-31000-2",
pages = "1-15",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "3787",
doi = "10.1007/11604686_1",
}
@inproceedings{conf/wm/BaumgartnerFGHL05,
title = "Integrating Semi-structured Data into Business Applications: A Web Intelligence Example",
author = "Robert Baumgartner and Oliver Fr{\"o}lich and Georg Gottlob and Marcus Herzog and Peter Lehmann",
year = "2005",
booktitle = "{Professional Knowledge Management, Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers}",
editor = "Klaus-Dieter Althoff and Andreas Dengel and Ralph Bergmann and Markus Nick and Thomas Roth-Berghofer",
isbn = "3-540-30465-7",
pages = "469-482",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "3782",
doi = "10.1007/11590019_54",
}
@article{journals/jacm/GottlobK04,
title = "Monadic datalog and the expressive power of languages for Web information extraction",
author = "Georg Gottlob and Christoph Koch",
year = "2004",
journal = "J. {ACM}",
number = "1",
pages = "74-113",
volume = "51",
doi = "10.1145/962446.962450",
}
@article{journals/jacm/GottlobKS04,
title = "Existential second-order logic over graphs: Charting the tractability frontier",
author = "Georg Gottlob and Phokion G. Kolaitis and Thomas Schwentick",
year = "2004",
journal = "J. {ACM}",
number = "2",
pages = "312-362",
volume = "51",
doi = "10.1145/972639.972646",
}
@article{journals/siamcomp/GottlobP04,
title = "Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width",
author = "Georg Gottlob and Reinhard Pichler",
year = "2004",
journal = "{SIAM J. Comput.}",
number = "2",
pages = "351-378",
volume = "33",
doi = "10.1137/S0097539701396807",
}
@article{journals/sigmod/GottlobK04,
title = "Logic-based Web Information Extraction",
author = "Georg Gottlob and Christoph Koch",
year = "2004",
journal = "{SIGMOD} Record",
number = "2",
pages = "87-94",
url = "http://www.acm.org/sigmod/record/issues/0406/DBPrincipleLeonid-gottlob.pdf",
volume = "33",
doi = "10.1145/1024694.1024711",
}
@article{journals/mst/GottlobHR04,
title = "{2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword}",
author = "Georg Gottlob and Miki Hermann and Micha{\"e}l Rusinowitch",
year = "2004",
journal = "Theory Comput. Syst.",
number = "6",
pages = "639-640",
volume = "37",
doi = "http://dx.doi.org/10.1007/s00224-004-3706-1",
}
@inproceedings{conf/foiks/Gottlob04,
title = "Hypergraph Transversals",
author = "Georg Gottlob",
year = "2004",
booktitle = "{Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings}",
editor = "Dietmar Seipel and Jose Maria Turull Torres",
isbn = "3-540-20965-4",
pages = "1-5",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2942{\&}spage=1",
volume = "2942",
}
@inproceedings{conf/cade/Gottlob04,
title = "Second-Order Logic over Finite Structures - Report on a Research Programme",
author = "Georg Gottlob",
year = "2004",
booktitle = "{Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings}",
editor = "David A. Basin and Micha{\"e}l Rusinowitch",
isbn = "3-540-22345-2",
pages = "229-243",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3097{\&}spage=229",
volume = "3097",
}
@inproceedings{conf/pods/GottlobKBHF04,
title = "The Lixto Data Extraction Project - Back and Forth between Theory and Practice",
author = "Georg Gottlob and Christoph Koch and Robert Baumgartner and Marcus Herzog and Sergio Flesca",
year = "2004",
booktitle = "{Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 14-16, 2004, Paris, France}",
editor = "Alin Deutsch",
isbn = "1-58113-858-X",
pages = "1-12",
publisher = "ACM",
url = "http://www.acm.org/sigmod/pods/proc04/pdf/P-01.pdf",
doi = "10.1145/1055558.1055560",
}
@inproceedings{conf/pods/GottlobKS04,
title = "Conjunctive Queries over Trees",
author = "Georg Gottlob and Christoph Koch and Klaus U. Schulz",
year = "2004",
booktitle = "{Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 14-16, 2004, Paris, France}",
editor = "Alin Deutsch",
isbn = "1-58113-858-X",
pages = "189-200",
publisher = "ACM",
url = "http://www.acm.org/sigmod/pods/proc04/pdf/P-19.pdf",
doi = "10.1145/1055558.1055585",
}
@inproceedings{conf/saint/BaumgartnerGHS04,
title = "Interactively Adding Web Service Interfaces to Existing Web Applications",
author = "Robert Baumgartner and Georg Gottlob and Marcus Herzog and Wolfgang Slany",
year = "2004",
booktitle = "{2004 Symposium on Applications and the Internet (SAINT 2004), 26-30 January 2004, Tokyo, Japan}",
isbn = "0-7695-2068-5",
pages = "74-80",
publisher = "IEEE Computer Society",
url = "http://csdl.computer.org/comp/proceedings/saint/2004/2068/00/20680074abs.htm",
}
@proceedings{conf/adbis/2004,
title = "{Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceesing}",
year = "2004",
booktitle = "ADBIS",
editor = "Georg Gottlob and Andr{\'a}s A. Bencz{\'u}r and J{\'a}nos Demetrovics",
isbn = "3-540-23243-5",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "3255",
}
@article{journals/corr/cs-DB-0310012,
title = "A Formal Comparison of Visual Web Wrapper Generators",
author = "Georg Gottlob and Christoph Koch",
year = "2003",
journal = "{CoRR}",
url = "http://arxiv.org/abs/cs.DB/0310012",
volume = "cs.DB/0310012",
}
@article{journals/iandc/GottlobP03,
title = "On the complexity of single-rule datalog queries",
author = "Georg Gottlob and Christos H. Papadimitriou",
year = "2003",
journal = "Inf. Comput.",
number = "1",
pages = "104-122",
volume = "183",
doi = "10.1016/S0890-5401(03)00012-9",
}
@article{journals/jcss/Gottlob03,
title = "Guest Editor's Foreword",
author = "Georg Gottlob",
year = "2003",
journal = "J. Comput. Syst. Sci.",
number = "1",
pages = "1",
volume = "66",
doi = "10.1016/S0022-0000(02)00026-0",
}
@article{journals/jcss/GottlobLS03,
title = "Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "2003",
journal = "J. Comput. Syst. Sci.",
number = "4",
pages = "775-808",
volume = "66",
doi = "10.1016/S0022-0000(03)00030-8",
}
@article{journals/siamcomp/EiterGM03,
title = "New Results on Monotone Dualization and Generating Hypergraph Transversals",
author = "Thomas Eiter and Georg Gottlob and Kazuhisa Makino",
year = "2003",
journal = "SIAM J. Comput.",
number = "2",
pages = "514-537",
url = "http://epubs.siam.org/sam-bin/dbq/article/40639",
volume = "32",
}
@article{journals/sigmod/GottlobKP03,
title = "{XPath} Processing in a Nutshell",
author = "Georg Gottlob and Christoph Koch and Reinhard Pichler",
year = "2003",
journal = "SIGMOD Record",
number = "1",
pages = "12-19",
url = "http://www.acm.org/sigmod/record/issues/0303/3.xpnut.pdf",
volume = "32",
doi = "10.1145/640990.640992",
}
@article{journals/sigmod/GottlobKP03a,
title = "{XPath} processing in a nutshell",
author = "Georg Gottlob and Christoph Koch and Reinhard Pichler",
year = "2003",
journal = "{SIGMOD Record}",
number = "2",
pages = "21-27",
volume = "32",
doi = "10.1145/776985.776988",
}
@inproceedings{conf/dbpl/GottlobK03,
title = "{XPath} Query Processing",
author = "Georg Gottlob and Christoph Koch",
year = "2003",
booktitle = "{Database Programming Languages, 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers}",
editor = "Georg Lausen and Dan Suciu",
isbn = "3-540-20896-8",
pages = "20",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2921{\&}spage=20",
volume = "2921",
}
@inproceedings{conf/icde/GottlobKP03,
title = "{XPath} Query Evaluation: Improving Time and Space Efficiency",
author = "Georg Gottlob and Christoph Koch and Reinhard Pichler",
year = "2003",
booktitle = "{Proceedings of the 19th International Conference on Data Engineering, March 5-8, 2003, Bangalore, India}",
editor = "Umeshwar Dayal and Krithi Ramamritham and T. M. Vijayaraman",
isbn = "0-7803-7665-X",
pages = "379-390",
publisher = "IEEE Computer Society",
url = "http://csdl.computer.org/comp/proceedings/icde/2003/2071/00/20710379abs.htm",
}
@inproceedings{conf/icde/BaumgartnerCGHZ03,
title = "Web Information Acquisition with Lixto Suite",
author = "Robert Baumgartner and Michal Ceresna and Georg Gottlob and Marcus Herzog and Viktor Zigo",
year = "2003",
booktitle = "{Proceedings of the 19th International Conference on Data Engineering, March 5-8, 2003, Bangalore, India}",
editor = "Umeshwar Dayal and Krithi Ramamritham and T. M. Vijayaraman",
isbn = "0-7803-7665-X",
pages = "747-749",
publisher = "{IEEE Computer Society}",
url = "http://csdl.computer.org/comp/proceedings/icde/2003/2071/00/20710747abs.htm",
}
@inproceedings{conf/ijcai/BaumgartnerGH03,
title = "Visual Programming of Web Data Aggregation Applications",
author = "Robert Baumgartner and Georg Gottlob and Marcus Herzog",
year = "2003",
booktitle = "{Proceedings of IJCAI-03 Workshop on Information Integration on the Web (IIWeb-03), August 9-10, 2003, Acapulco, Mexico}",
editor = "Subbarao Kambhampati and Craig A. Knoblock",
pages = "137-142",
doi = "http://www.isi.edu/info-agents/workshops/ijcai03/papers/Herzog-ijcai03-herzog.pdf",
}
@inproceedings{conf/pods/GottlobKP03,
title = "The complexity of {XPath} query evaluation",
author = "Georg Gottlob and Christoph Koch and Reinhard Pichler",
year = "2003",
booktitle = "{Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, USA}",
isbn = "1-58113-670-6",
pages = "179-190",
publisher = "ACM",
doi = "10.1145/773153.773171",
}
@inproceedings{conf/tark/GottlobGS03,
title = "Pure Nash equilibria: hard and easy games",
author = "Georg Gottlob and Gianluigi Greco and Francesco Scarcello",
year = "2003",
booktitle = "{Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003}",
editor = "Joseph Y. Halpern and Moshe Tennenholtz",
isbn = "1-58113-731-1",
pages = "215-230",
publisher = "{ACM}",
doi = "10.1145/846241.846269",
}
@proceedings{conf/ijcai/2003,
title = "{IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}",
year = "2003",
editor = "Georg Gottlob and Toby Walsh",
publisher = "Morgan Kaufmann",
}
@article{journals/tocl/GottlobGV02,
title = "{Datalog LITE: a deductive query language with linear time model checking}",
author = "Georg Gottlob and Erich Gr{\"a}del and Helmut Veith",
year = "2002",
journal = "ACM Trans. Comput. Log.",
number = "1",
pages = "42-79",
volume = "3",
doi = "10.1145/504077.504079",
}
@article{journals/ai/GottlobSS02,
title = "Fixed-parameter complexity in AI and nonmonotonic reasoning",
author = "Georg Gottlob and Francesco Scarcello and Martha Sideri",
year = "2002",
journal = "Artif. Intell.",
number = "1-2",
pages = "55-86",
volume = "138",
doi = "10.1016/S0004-3702(02)00182-0",
}
@article{journals/corr/cs-AI-0207072,
title = "Complexity of Nested Circumscription and Nested Abnormality Theories",
author = "Marco Cadoli and Thomas Eiter and Georg Gottlob",
year = "2002",
journal = "{CoRR}",
url = "http://arxiv.org/abs/cs.AI/0207072",
volume = "cs.AI/0207072",
}
@article{journals/corr/cs-AI-0211004,
title = "The {DLV} System for Knowledge Representation and Reasoning",
author = "Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Thomas Eiter and Georg Gottlob and Simona Perri and Francesco Scarcello",
year = "2002",
journal = "CoRR",
url = "http://arxiv.org/abs/cs.AI/0211004",
volume = "cs.AI/0211004",
}
@article{journals/corr/cs-DB-0211020,
title = "Monadic Datalog and the Expressive Power of Languages for Web Information Extraction",
author = "Georg Gottlob and Christoph Koch",
year = "2002",
journal = "{CoRR}",
url = "http://arxiv.org/abs/cs.DB/0211020",
volume = "cs.DB/0211020",
}
@article{journals/corr/cs-DS-0204009,
title = "New Results on Monotone Dualization and Generating Hypergraph Transversals",
author = "Thomas Eiter and Georg Gottlob and Kazuhisa Makino",
year = "2002",
journal = "{CoRR}",
url = "http://arxiv.org/abs/cs.DS/0204009",
volume = "cs.DS/0204009",
}
@article{journals/jcss/GottlobLS02,
title = "Hypertree Decompositions and Tractable Queries",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "2002",
journal = "J. Comput. Syst. Sci.",
number = "3",
pages = "579-627",
volume = "64",
doi = "10.1006/jcss.2001.1809",
}
@article{journals/tcs/GottlobLS02,
title = "Computing {LOGCFL} certificates",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "2002",
journal = "Theor. Comput. Sci.",
number = "1-2",
pages = "761-777",
volume = "270",
doi = "10.1016/S0304-3975(01)00108-6",
}
@article{journals/tcs/BaumgartnerG02,
title = "Propositional default logics made easier: computational complexity of model checking",
author = "Robert Baumgartner and Georg Gottlob",
year = "2002",
journal = "Theor. Comput. Sci.",
number = "1",
pages = "591-627",
volume = "289",
}
@inproceedings{conf/birthday/BuccafurriG02,
title = "Multiagent Compromises, Joint Fixpoints, and Stable Models",
author = "Francesco Buccafurri and Georg Gottlob",
year = "2002",
booktitle = "{Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I}",
editor = "Antonis C. Kakas and Fariba Sadri",
isbn = "3-540-43959-5",
pages = "561-585",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/2407/24070561.htm",
volume = "2407",
}
@inproceedings{conf/ecai/GottlobHW02,
title = "Combining hypertree, bicomp, and hinge decomposition",
author = "Georg Gottlob and Martin Hutle and Franz Wotawa",
year = "2002",
booktitle = "{Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002}",
editor = "Frank van Harmelen",
pages = "161-165",
publisher = "{IOS} Press",
}
@inproceedings{conf/jelia/LeonePFCDEGIIKPP02,
title = "The DLV System",
author = "Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Francesco Calimeri and Tina Dell'Armi and Thomas Eiter and Georg Gottlob and Giovambattista Ianni and Giuseppe Ielpa and Christoph Koch and Simona Perri and Axel Polleres",
year = "2002",
booktitle = "{Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings}",
editor = "Sergio Flesca and Sergio Greco and Nicola Leone and Giovambattista Ianni",
isbn = "3-540-44190-5",
pages = "537-540",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/2424/24240537.htm",
volume = "2424",
}
@inproceedings{conf/jelia/EiterG02,
title = "Hypergraph Transversal Computation and Related Problems in Logic and AI",
author = "Thomas Eiter and Georg Gottlob",
year = "2002",
booktitle = "{Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings}",
editor = "Sergio Flesca and Sergio Greco and Nicola Leone and Giovambattista Ianni",
isbn = "3-540-44190-5",
pages = "549-564",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/2424/24240549.htm",
volume = "2424",
}
@inproceedings{conf/lics/GottlobK02,
title = "Monadic Queries over Tree-Structured Data",
author = "Georg Gottlob and Christoph Koch",
year = "2002",
booktitle = "{17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings}",
isbn = "0-7695-1483-9",
pages = "189-202",
publisher = "IEEE Computer Society",
doi = "10.1109/LICS.2002.1029828",
}
@inproceedings{conf/nmr/Gottlob02,
title = "Visual Data Extraction Through Visual Logic Programming",
author = "Georg Gottlob",
year = "2002",
booktitle = "{9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings}",
editor = "Salem Benferhat and Enrico Giunchiglia",
pages = "4",
}
@inproceedings{conf/pods/GottlobK02,
title = "Monadic Datalog and the Expressive Power of Languages for Web Information Extraction",
author = "Georg Gottlob and Christoph Koch",
year = "2002",
booktitle = "{Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA}",
editor = "Lucian Popa",
pages = "17-28",
publisher = "ACM",
url = "http://www.acm.org/sigs/sigmod/pods/proc02/papers/017-GottlobKoch.pdf",
doi = "10.1145/543613.543617",
}
@inproceedings{conf/stoc/EiterGM02,
title = "New results on monotone dualization and generating hypergraph transversals",
author = "Thomas Eiter and Georg Gottlob and Kazuhisa Makino",
year = "2002",
booktitle = "{STOC}",
pages = "14-22",
doi = "10.1145/509907.509912",
}
@inproceedings{conf/vldb/GottlobKP02,
title = "Efficient Algorithms for Processing XPath Queries",
author = "Georg Gottlob and Christoph Koch and Reinhard Pichler",
year = "2002",
booktitle = "{VLDB 2002, Proceedings of 28th International Conference on Very Large Data Bases, August 20-23, 2002, Hong Kong, China}",
pages = "95-106",
publisher = "Morgan Kaufmann",
url = "http://www.vldb.org/conf/2002/S04P02.pdf",
}
@article{journals/csur/DantsinEGV01,
title = "Complexity and expressive power of logic programming",
author = "Evgeny Dantsin and Thomas Eiter and Georg Gottlob and Andrei Voronkov",
year = "2001",
journal = "{ACM} Comput. Surv.",
number = "3",
pages = "374-425",
volume = "33",
doi = "10.1145/502807.502810",
}
@article{journals/iandc/GottlobP01,
title = "Working with {ARMs}: Complexity Results on Atomic Representations of Herbrand Models",
author = "Georg Gottlob and Reinhard Pichler",
year = "2001",
journal = "Inf. Comput.",
number = "2",
pages = "183-207",
volume = "165",
doi = "10.1006/inco.2000.2915",
}
@article{journals/jacm/GottlobLS01,
title = "The complexity of acyclic conjunctive queries",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "2001",
journal = "J. {ACM}",
number = "3",
pages = "431-498",
volume = "48",
doi = "10.1145/382780.382783",
}
@article{journals/jcss/BuccafurriEGL01,
title = "On {ACTL} Formulas Having Linear Counterexamples",
author = "Francesco Buccafurri and Thomas Eiter and Georg Gottlob and Nicola Leone",
year = "2001",
journal = "J. Comput. Syst. Sci.",
number = "3",
pages = "463-515",
volume = "62",
}
@inproceedings{conf/dlt/EiterGS01,
title = "Second-Order Logic over Strings: Regular and Non-regular Fragments",
author = "Thomas Eiter and Georg Gottlob and Thomas Schwentick",
year = "2001",
booktitle = "{Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers}",
editor = "Werner Kuich and Grzegorz Rozenberg and Arto Salomaa",
isbn = "3-540-43453-4",
pages = "37-56",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/2295/22950037.htm",
volume = "2295",
}
@inproceedings{conf/icalp/GottlobP01,
title = "Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width",
author = "Georg Gottlob and Reinhard Pichler",
year = "2001",
booktitle = "{Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings}",
editor = "Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen",
isbn = "3-540-42287-0",
pages = "708-719",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/2076/20760708.htm",
volume = "2076",
}
@inproceedings{conf/ijcai/CadoliEG01,
title = "Complexity of Nested Circumscription and Abnormality Theories",
author = "Marco Cadoli and Thomas Eiter and Georg Gottlob",
year = "2001",
booktitle = "{Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001}",
editor = "Bernhard Nebel",
isbn = "1-55860-777-3",
pages = "169-174",
publisher = "Morgan Kaufmann",
}
@inproceedings{conf/lpar/BaumgartnerFG01,
title = "The Elog Web Extraction Language",
author = "Robert Baumgartner and Sergio Flesca and Georg Gottlob",
year = "2001",
booktitle = "{Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings}",
editor = "Robert Nieuwenhuis and Andrei Voronkov",
isbn = "3-540-42957-3",
pages = "548-560",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/2250/22500548.htm",
volume = "2250",
}
@inproceedings{conf/lpnmr/BaumgartnerFG01,
title = "Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto",
author = "Robert Baumgartner and Sergio Flesca and Georg Gottlob",
year = "2001",
booktitle = "{Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings}",
editor = "Thomas Eiter and Wolfgang Faber and Miroslaw Truszczynski",
isbn = "3-540-42593-4",
pages = "21-41",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/2173/21730021.htm",
volume = "2173",
}
@inproceedings{conf/mfcs/GottlobLS01,
title = "Hypertree Decompositions: A Survey",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "2001",
booktitle = "{Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings}",
editor = "Jiri Sgall and Ales Pultr and Petr Kolman",
isbn = "3-540-42496-2",
pages = "37-57",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/2136/21360037.htm",
volume = "2136",
}
@inproceedings{conf/pods/GottlobLS01,
title = "Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "2001",
booktitle = "{Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 21-23, 2001, Santa Barbara, California, USA}",
isbn = "1-58113-361-8",
publisher = "ACM",
url = "http://www.acm.org/sigs/sigmod/pods/proc01/online/p68.pdf",
doi = "10.1145/375551.375579",
}
@inproceedings{conf/sebd/GottlobLS01,
title = "Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "2001",
booktitle = "{SEBD}",
pages = "147-154",
}
@inproceedings{conf/sebd/Gottlob01,
title = "The Lixto Wrapper Generation Tool",
author = "Georg Gottlob",
year = "2001",
booktitle = "SEBD",
pages = "3-10",
}
@inproceedings{conf/tes/HerzogG01,
title = "InfoPipes: A Flexible Framework for {M-Commerce} Applications",
author = "Marcus Herzog and Georg Gottlob",
year = "2001",
booktitle = "{Technologies for E-Services, Second International Workshop, TES 2001, Rome, Italy, September 14-15, 2001, Proceedings}",
editor = "Fabio Casati and Dimitrios Georgakopoulos and Ming-Chien Shan",
isbn = "3-540-42565-9",
pages = "175-186",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/2193/21930175.htm",
volume = "2193",
}
@inproceedings{conf/vldb/BaumgartnerFG01,
title = "Visual Web Information Extraction with Lixto",
author = "Robert Baumgartner and Sergio Flesca and Georg Gottlob",
year = "2001",
booktitle = "{VLDB 2001, Proceedings of 27th International Conference on Very Large Data Bases, September 11-14, 2001, Roma, Italy}",
editor = "Peter M. G. Apers and Paolo Atzeni and Stefano Ceri and Stefano Paraboschi and Kotagiri Ramamohanarao and Richard T. Snodgrass",
isbn = "1-55860-804-4",
pages = "119-128",
publisher = "Morgan Kaufmann",
url = "http://www.vldb.org/conf/2001/P119.pdf",
}
@inproceedings{conf/vldb/BaumgartnerFG01a,
title = "Supervised Wrapper Generation with Lixto",
author = "Robert Baumgartner and Sergio Flesca and Georg Gottlob",
year = "2001",
booktitle = "{VLDB 2001, Proceedings of 27th International Conference on Very Large Data Bases, September 11-14, 2001, Roma, Italy}",
editor = "Peter M. G. Apers and Paolo Atzeni and Stefano Ceri and Stefano Paraboschi and Kotagiri Ramamohanarao and Richard T. Snodgrass",
isbn = "1-55860-804-4",
pages = "715-716",
publisher = "Morgan Kaufmann",
url = "http://www.vldb.org/conf/2001/P715.pdf",
}
@article{journals/ai/GottlobLS00,
title = "A comparison of structural {CSP} decomposition methods",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "2000",
journal = "Artif. Intell.",
number = "2",
pages = "243-282",
volume = "124",
doi = "10.1016/S0004-3702(00)00078-3",
}
@article{journals/jacm/EiterGG00,
title = "Existential second-order logic over strings",
author = "Thomas Eiter and Yuri Gurevich and Georg Gottlob",
year = "2000",
journal = "{J. ACM}",
number = "1",
pages = "77-131",
volume = "47",
doi = "10.1145/331605.331609",
}
@inproceedings{conf/focs/GottlobKS00,
title = "Existential Second-Order Logic over Graphs: Charting the Tractability Frontier",
author = "Georg Gottlob and Phokion G. Kolaitis and Thomas Schwentick",
year = "2000",
booktitle = "{FOCS}",
pages = "664-674",
}
@inproceedings{conf/lpar/EiterG00,
title = "On the Complexity of Theory Curbing",
author = "Thomas Eiter and Georg Gottlob",
year = "2000",
booktitle = "{Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings}",
editor = "Michel Parigot and Andrei Voronkov",
pages = "1-19",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/1955/19550001.htm",
volume = "1955",
}
@article{journals/apal/GottlobLV99,
title = "Succinctness as a Source of Complexity in Logical Formalisms",
author = "Georg Gottlob and Nicola Leone and Helmut Veith",
year = "1999",
journal = "Ann. Pure Appl. Logic",
number = "1-3",
pages = "231-260",
volume = "97",
}
@article{journals/ai/BuccafurriEGL99,
title = "Enhancing Model Checking in Verification by AI Techniques",
author = "Francesco Buccafurri and Thomas Eiter and Georg Gottlob and Nicola Leone",
year = "1999",
journal = "Artif. Intell.",
number = "1-2",
pages = "57-104",
volume = "112",
doi = "10.1016/S0004-3702(99)00039-9",
}
@article{journals/ngc/GottlobLS99,
title = "On the Complexity of Some Inductive Logic Programming Problems",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "1999",
journal = "New Generation Comput.",
number = "1",
pages = "53-75",
volume = "17",
}
@inproceedings{conf/dexa/GottlobLS99,
title = "On Tractable Queries and Constraints",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "1999",
booktitle = "{Database and Expert Systems Applications, 10th International Conference, DEXA '99, Florence, Italy, August 30 - September 3, 1999, Proceedings}",
editor = "Trevor J. M. Bench-Capon and Giovanni Soda and A. Min Tjoa",
isbn = "3-540-66448-3",
pages = "1-15",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/1677/16770001.htm",
volume = "1677",
}
@inproceedings{conf/icalp/GottlobLS99,
title = "Computing LOGCFL Certificates",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "1999",
booktitle = "{Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings}",
editor = "Jir\'{\i} Wiedermann and Peter van Emde Boas and Mogens Nielsen",
isbn = "3-540-66224-3",
pages = "361-371",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/1644/16440361.htm",
volume = "1644",
}
@inproceedings{conf/ijcai/GottlobLS99,
title = "A Comparison of Structural CSP Decomposition Methods",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "1999",
booktitle = "{Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages}",
editor = "Thomas Dean",
isbn = "1-55860-613-0",
pages = "394-399",
publisher = "Morgan Kaufmann",
}
@inproceedings{conf/ijcai/BaumgartnerG99,
title = "On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases",
author = "Robert Baumgartner and Georg Gottlob",
year = "1999",
booktitle = "{Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages}",
editor = "Thomas Dean",
isbn = "1-55860-613-0",
pages = "64-69",
publisher = "Morgan Kaufmann",
}
@inproceedings{conf/lics/GottlobP99,
title = "Working with Arms: Complexity Results on Atomic Representations of Herbrand Models",
author = "Georg Gottlob and Reinhard Pichler",
year = "1999",
booktitle = "{LICS}",
pages = "306-315",
url = "http://computer.org/conferen/proceed/lics/0158/01580306abs.htm",
}
@inproceedings{conf/lpar/GottlobP99,
title = "On the Complexity of Single-Rule Datalog Queries",
author = "Georg Gottlob and Christos H. Papadimitriou",
year = "1999",
booktitle = "{Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings}",
editor = "Harald Ganzinger and David A. McAllester and Andrei Voronkov",
isbn = "3-540-66492-0",
pages = "201-222",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "1705",
}
@inproceedings{conf/lpnmr/GottlobSS99,
title = "Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning",
author = "Georg Gottlob and Francesco Scarcello and Martha Sideri",
year = "1999",
booktitle = "{Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings}",
editor = "Michael Gelfond and Nicola Leone and Gerald Pfeifer",
isbn = "3-540-66749-0",
pages = "1-18",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/1730/17300001.htm",
volume = "1730",
}
@inproceedings{conf/pods/GottlobLS99,
title = "Hypertree Decompositions and Tractable Queries",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "1999",
booktitle = "{Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia, Pennsylvania}",
isbn = "1-58113-062-7",
pages = "21-32",
publisher = "ACM Press",
url = "http://www.informatik.uni-trier.de/~ley/db/conf/pods/GottlobLS99.html",
doi = "10.1145/303976.303979",
}
@inproceedings{conf/sebd/GottlobLS99,
title = "Hypertree Decompositions and Tractable Queries",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "1999",
booktitle = "{SEBD}",
pages = "275-289",
}
@proceedings{conf/csl/1998,
title = "{Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings}",
year = "1999",
editor = "Georg Gottlob and Etienne Grandjean and Katrin Seyr",
isbn = "3-540-65922-6",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "1584",
}
@article{journals/corr/cs-DB-9812022,
title = "Hypertree Decompositions and Tractable Queries",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "1998",
journal = "{CoRR}",
url = "http://arxiv.org/abs/cs.DB/9812022",
volume = "cs.DB/9812022",
}
@article{journals/jsyml/EiterG98,
title = "On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic",
author = "Thomas Eiter and Georg Gottlob",
year = "1998",
journal = "J. Symb. Log.",
number = "1",
pages = "73-82",
volume = "63",
}
@article{journals/mlq/DawarGH98,
title = "Capturing Relativized Complexity Classes without Order",
author = "Anuj Dawar and Georg Gottlob and Lauri Hella",
year = "1998",
journal = "Math. Log. Q.",
pages = "109-122",
volume = "44",
}
@inproceedings{conf/focs/GottlobLS98,
title = "The Complexity of Acyclic Conjunctive Queries",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "1998",
booktitle = "{FOCS}",
pages = "706-715",
url = "http://computer.org/conferen/proceed/focs/9172/91720706abs.htm",
}
@inproceedings{conf/lics/EiterGG98,
title = "Existential Second-Order Logic over Strings",
author = "Thomas Eiter and Georg Gottlob and Yuri Gurevich",
year = "1998",
booktitle = "LICS",
pages = "16-27",
}
@article{journals/tods/EiterGM97,
title = "Disjunctive Datalog",
author = "Thomas Eiter and Georg Gottlob and Heikki Mannila",
year = "1997",
journal = "{ACM} Trans. Database Syst.",
number = "3",
pages = "364-418",
url = "http://www.informatik.uni-trier.de/~ley/db/journals/tods/EiterGM97.html",
volume = "22",
doi = "10.1145/261124.261126",
}
@article{journals/ai/EiterGL97,
title = "Semantics and Complexity of Abduction from Default Theories",
author = "Thomas Eiter and Georg Gottlob and Nicola Leone",
year = "1997",
journal = "Artif. Intell.",
number = "1-2",
pages = "177-223",
volume = "90",
doi = "10.1016/S0004-3702(96)00040-9",
}
@article{journals/fuin/BrewkaG97,
title = "Well-Founded Semantics for Default Logic",
author = "Gerhard Brewka and Georg Gottlob",
year = "1997",
journal = "Fundam. Inform.",
number = "3/4",
pages = "221-236",
volume = "31",
}
@article{journals/tkde/CadoliEG97,
title = "Default Logic as a Query Language",
author = "Marco Cadoli and Thomas Eiter and Georg Gottlob",
year = "1997",
journal = "{IEEE} Trans. Knowl. Data Eng.",
number = "3",
pages = "448-463",
volume = "9",
doi = "http://www.informatik.uni-trier.de/~ley/db/journals/tkde/CadoliEG97.html",
}
@article{journals/logcom/EiterGL97,
title = "On the Indiscernibility of Individuals in Logic Programming",
author = "Thomas Eiter and Georg Gottlob and Nicola Leone",
year = "1997",
journal = "J. Log. Comput.",
number = "6",
pages = "805-824",
volume = "7",
}
@article{journals/jlp/EiterG97,
title = "Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions",
author = "Thomas Eiter and Georg Gottlob",
year = "1997",
journal = "J. Log. Program.",
number = "2",
pages = "167-178",
volume = "33",
}
@article{journals/jsyml/Gottlob97,
title = "Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures",
author = "Georg Gottlob",
year = "1997",
journal = "J. Symb. Log.",
number = "2",
pages = "545-574",
volume = "62",
}
@article{journals/tcs/EiterGL97,
title = "Abduction from Logic Programs: Semantics and Complexity",
author = "Thomas Eiter and Georg Gottlob and Nicola Leone",
year = "1997",
journal = "Theor. Comput. Sci.",
number = "1-2",
pages = "129-177",
volume = "189",
doi = "10.1016/S0304-3975(96)00179-X",
}
@inproceedings{conf/esslli/EiterGV97,
title = "Generalized Quantifiers in Logic Programs",
author = "Thomas Eiter and Georg Gottlob and Helmut Veith",
year = "1997",
booktitle = "{Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures}",
editor = "Jouko A. V{\"a}{\"a}n{\"a}nen",
isbn = "3-540-66993-0",
pages = "72-98",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://link.springer.de/link/service/series/0558/bibs/1754/17540072.htm",
volume = "1754",
}
@inproceedings{conf/fct/EiterG97,
title = "The Complexity Class Theta$_{2}$$^{p}$: Recent Results and Applications in AI and Modal Logic",
author = "Thomas Eiter and Georg Gottlob",
year = "1997",
booktitle = "{Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Krak{\'o}w, Poland, September 1-3, 1997, Proceedings}",
editor = "Bogdan S. Chlebus and Ludwik Czaja",
isbn = "3-540-63386-3",
pages = "1-18",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "1279",
}
@inproceedings{conf/coco/DantsinEGV97,
title = "Complexity and Expressive Power of Logic Programming",
author = "Evgeny Dantsin and Thomas Eiter and Georg Gottlob and Andrei Voronkov",
year = "1997",
booktitle = "{IEEE Conference on Computational Complexity}",
pages = "82-101",
url = "http://www.computer.org/proceedings/ccc/7907/79070082abs.htm",
}
@inproceedings{conf/ilp/GottlobLS97,
title = "On the Complexity of Some Inductive Logic Programming Problems",
author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
year = "1997",
booktitle = "{Inductive Logic Programming, 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings}",
editor = "Nada Lavrac and Saso Dzeroski",
isbn = "3-540-63514-9",
pages = "17-32",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "1297",
}
@inproceedings{conf/lpnmr/EiterGV97,
title = "Modular Logic Programming and Generalized Quantifiers",
author = "Thomas Eiter and Georg Gottlob and Helmut Veith",
year = "1997",
booktitle = "{Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings}",
editor = "J{\"u}rgen Dix and Ulrich Furbach and Anil Nerode",
isbn = "3-540-63255-7",
pages = "290-309",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "1265",
}
@inproceedings{conf/wlp/CitrignoEFGKLMPS97,
title = "The dlv System: Model Generator and Advanced Frontends (system description)",
author = "Simona Citrigno and Thomas Eiter and Wolfgang Faber and Georg Gottlob and Christoph Koch and Nicola Leone and Cristinel Mateis and Gerald Pfeifer and Francesco Scarcello",
year = "1997",
booktitle = "{WLP}",
pages = "0-",
}
@proceedings{conf/kgc/1997,
title = "{Computational Logic and Proof Theory, 5th Kurt G{\"o}del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings}",
year = "1997",
booktitle = "Kurt G{\"o}del Colloquium",
editor = "Georg Gottlob and Alexander Leitsch and Daniele Mundici",
isbn = "3-540-63385-5",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "1289",
}
@article{journals/tois/GottlobSR96,
title = "Extending Object-Oriented Systems with Roles",
author = "Georg Gottlob and Michael Schrefl and Brigitte R{\"o}ck",
year = "1996",
journal = "{ACM Trans. Inf. Syst.}",
number = "3",
pages = "268-296",
volume = "14",
doi = "10.1145/230538.230540",
}
@article{journals/apal/EiterGG96,
title = "Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems",
author = "Thomas Eiter and Georg Gottlob and Yuri Gurevich",
year = "1996",
journal = "Ann. Pure Appl. Logic",
number = "1-3",
pages = "111-125",
volume = "78",
}
@article{journals/fuin/GottlobT96,
title = "Approximating the Stable Model Semantics is Hard",
author = "Georg Gottlob and Miroslaw Truszczynski",
year = "1996",
journal = "Fundam. Inform.",
number = "1-2",
pages = "123-128",
volume = "28",
}
@article{journals/jcss/EiterG96,
title = "The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions",
author = "Thomas Eiter and Georg Gottlob",
year = "1996",
journal = "J. Comput. Syst. Sci.",
number = "3",
pages = "497-512",
volume = "53",
}
@article{journals/ki/EiterG96,
title = "M{\"a}chtigkeit von Logikprogrammierung {\"u}ber Datenbanken",
author = "Thomas Eiter and Georg Gottlob",
year = "1996",
journal = "{KI}",
number = "3",
pages = "32-39",
volume = "10",
}
@article{journals/tcs/GottlobMNSS96,
title = "A Non-Ground Realization of the Stable and Well-Founded Semantics",
author = "Georg Gottlob and Sherry Marcus and Anil Nerode and Gernot Salzer and V. S. Subrahmanian",
year = "1996",
journal = "Theor. Comput. Sci.",
number = "1{\&}2",
pages = "221-262",
volume = "166",
doi = "10.1016/0304-3975(95)00207-3",
}
@inproceedings{conf/edbt/GottlobMS96,
title = "The PARK Semantics for Active Rules",
author = "Georg Gottlob and Guido Moerkotte and V. S. Subrahmanian",
year = "1996",
booktitle = "{Advances in Database Technology - EDBT'96, 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996, Proceedings}",
editor = "Peter M. G. Apers and Mokrane Bouzeghoub and Georges Gardarin",
isbn = "3-540-61057-X",
pages = "35-55",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://www.informatik.uni-trier.de/~ley/db/conf/edbt/GottlobMS96.html",
volume = "1057",
}
@inproceedings{conf/coco/Gottlob96,
title = "Collapsing Oracle-Tape Hierarchies",
author = "Georg Gottlob",
year = "1996",
booktitle = "{IEEE Conference on Computational Complexity}",
pages = "33-42",
url = "http://www.computer.org/proceedings/ccc/7386/73860033abs.htm",
}
@inproceedings{conf/kr/Gottlob96,
title = "Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract)",
author = "Georg Gottlob",
year = "1996",
booktitle = "KR",
pages = "647-649",
}
@article{journals/amai/EiterG95,
title = "On the Computational Cost of Disjunctive Logic Programming: Propositional Case",
author = "Thomas Eiter and Georg Gottlob",
year = "1995",
journal = "Ann. Math. Artif. Intell.",
number = "3-4",
pages = "289-323",
volume = "15",
}
@article{journals/iandc/Gottlob95,
title = "The Complexity of Default Reasoning under the Stationary Fixed Point Semantics",
author = "Georg Gottlob",
year = "1995",
journal = "Inf. Comput.",
number = "1",
pages = "81-92",
volume = "121",
}
@article{journals/jacm/EiterG95,
title = "The Complexity of Logic-Based Abduction",
author = "Thomas Eiter and Georg Gottlob",
year = "1995",
journal = "{J. ACM}",
number = "1",
pages = "3-42",
url = "http://www.informatik.uni-trier.de/~ley/db/journals/jacm/EiterG95.html",
volume = "42",
doi = "10.1145/200836.200838",
}
@article{journals/jacm/Gottlob95,
title = "NP Trees and Carnap's Modal Logic",
author = "Georg Gottlob",
year = "1995",
journal = "{J. ACM}",
number = "2",
pages = "421-457",
volume = "42",
doi = "10.1145/201019.201031",
}
@article{journals/jacm/Gottlob95a,
title = "Translating Default Logic into Standard Autoepistemic Logic",
author = "Georg Gottlob",
year = "1995",
journal = "{J. ACM}",
number = "4",
pages = "711-740",
url = "http://www.informatik.uni-trier.de/~ley/db/journals/jacm/Gottlob95a.html",
volume = "42",
doi = "10.1145/210332.210334",
}
@article{journals/siamcomp/EiterG95,
title = "Identifying the Minimal Transversals of a Hypergraph and Related Problems",
author = "Thomas Eiter and Georg Gottlob",
year = "1995",
journal = "{SIAM J. Comput.}",
number = "6",
pages = "1278-1304",
volume = "24",
}
@inproceedings{conf/ijcai/EiterGL95,
title = "Semantics and Complexity of Abduction from Default Theories",
author = "Thomas Eiter and Georg Gottlob and Nicola Leone",
year = "1995",
booktitle = "{IJCAI} (1)",
pages = "870-877",
}
@inproceedings{conf/lics/Gottlob95,
title = "Relativized Logspace and Generalized Quantifiers over Finite Structures",
author = "Georg Gottlob",
year = "1995",
booktitle = "{Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA}",
pages = "65-78",
publisher = "{IEEE Computer Society}",
}
@inproceedings{conf/lpnmr/EiterGL95,
title = "Complexity Results for Abductive Logic Programming",
author = "Thomas Eiter and Georg Gottlob and Nicola Leone",
year = "1995",
booktitle = "{Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings}",
editor = "V. Wiktor Marek and Anil Nerode",
isbn = "3-540-59487-6",
pages = "1-14",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "928",
}
@inproceedings{conf/mfcs/GottlobLV95,
title = "Second Order Logic and the Weak Exponential Hierarchies",
author = "Georg Gottlob and Nicola Leone and Helmut Veith",
year = "1995",
booktitle = "{Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings}",
editor = "Jir\'{\i} Wiedermann and Petr H{\'a}jek",
isbn = "3-540-60246-1",
pages = "66-81",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "969",
}
@inproceedings{conf/sdb/GottlobKS95,
title = "The Evolving Algebra Semantics of Class and Role Hierarchies",
author = "Georg Gottlob and Gerti Kappel and Michael Schrefl",
year = "1995",
booktitle = "{Semantics in Databases, Selected Papers from a Workshop, Prague, Czech Republic, 1995}",
editor = "Leonid Libkin and Bernhard Thalheim",
isbn = "3-540-64199-8",
pages = "92-113",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "1358",
}
@proceedings{conf/icdt/95,
title = "{Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings}",
year = "1995",
booktitle = "ICDT",
editor = "Georg Gottlob and Moshe Y. Vardi",
isbn = "3-540-58907-4",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "893",
}
@article{journals/amai/FriedrichGN94,
title = "Formalizing the Repair Process - Extended Report",
author = "Gerhard Friedrich and Georg Gottlob and Wolfgang Nejdl",
year = "1994",
journal = "Ann. Math. Artif. Intell.",
number = "1-4",
pages = "187-201",
volume = "11",
}
@article{journals/ai/GottlobM94,
title = "Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity",
author = "Georg Gottlob and Zhang Mingyi",
year = "1994",
journal = "Artif. Intell.",
number = "1-2",
pages = "329-345",
volume = "69",
}
@inproceedings{conf/gi/EiterGM94,
title = "Disjunctive Logic Programming over Finite Structures",
author = "Thomas Eiter and Georg Gottlob and Heikki Mannila",
year = "1994",
booktitle = "{GI Jahrestagung}",
pages = "69-73",
}
@inproceedings{conf/iclp/DixGM94,
title = "Causal Models of Disjunctive Logic Programs",
author = "J{\"u}rgen Dix and Georg Gottlob and V. Wiktor Marek",
year = "1994",
booktitle = "{ICLP}",
pages = "290-302",
}
@inproceedings{conf/iski/EiterGM94,
title = "Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics",
author = "Thomas Eiter and Georg Gottlob and Heikki Mannila",
year = "1994",
booktitle = "{Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994, Proceedings}",
editor = "Kai von Luck and Heinz Marburger",
isbn = "3-540-57802-1",
pages = "83-103",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "777",
}
@inproceedings{conf/jelia/Gottlob94,
title = "From Carnap's Modal Logic to Autoepistemic Logic",
author = "Georg Gottlob",
year = "1994",
booktitle = "{Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings}",
editor = "Craig MacNish and David Pearce and Lu\'{\i}s Moniz Pereira",
isbn = "3-540-58332-7",
pages = "1-18",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "838",
}
@inproceedings{conf/kr/CadoliEG94,
title = "Default Logic as a Query Language",
author = "Marco Cadoli and Thomas Eiter and Georg Gottlob",
year = "1994",
booktitle = "KR",
pages = "99-108",
}
@inproceedings{conf/pods/EiterGM94,
title = "Adding Disjunction to Datalog",
author = "Thomas Eiter and Georg Gottlob and Heikki Mannila",
year = "1994",
booktitle = "{Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota}",
isbn = "0-89791-642-5",
pages = "267-278",
publisher = "{ACM} Press",
url = "http://www.informatik.uni-trier.de/~ley/db/conf/pods/pods94-267.html",
doi = "10.1145/182591.182639",
}
@inproceedings{conf/slp/Gottlob94,
title = "Complexity and Expressive Power of Disjunctive Logic Programming",
author = "Georg Gottlob",
year = "1994",
booktitle = "SLP",
pages = "23-42",
}
@inproceedings{conf/ecai/Gottlob92,
title = "The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic",
author = "Georg Gottlob",
year = "1994",
booktitle = "{Foundation of Knowledge Representation and Reasoning (the book grew out of an ECAI-92 workshop)}",
editor = "Gerhard Lakemeyer and Bernhard Nebel",
isbn = "3-540-58107-3",
pages = "133-144",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "810",
}
@article{journals/ai/GottlobF93,
title = "Removing Redundancy from a Clause",
author = "Georg Gottlob and Christian G. Ferm{\"u}ller",
year = "1993",
journal = "Artif. Intell.",
number = "2",
pages = "263-289",
volume = "61",
}
@article{journals/tcs/EiterG93,
title = "{Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete}",
author = "Thomas Eiter and Georg Gottlob",
year = "1993",
journal = "Theor. Comput. Sci.",
number = "2",
pages = "231-245",
volume = "114",
}
@inproceedings{conf/focs/Gottlob93,
title = "NP Trees and Carnap's Modal Logic",
author = "Georg Gottlob",
year = "1993",
booktitle = "34th Annual Symposium on Foundations of Computer Science, 3-5 November 1993, Palo Alto, California, USA",
pages = "42-51",
publisher = "{IEEE}",
}
@inproceedings{conf/ijcai/EiterG93,
title = "The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions",
author = "Thomas Eiter and Georg Gottlob",
year = "1993",
booktitle = "{IJCAI}",
pages = "526-533",
}
@inproceedings{conf/ijcai/Gottlob93,
title = "The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic",
author = "Georg Gottlob",
year = "1993",
booktitle = "{IJCAI}",
pages = "570-577",
}
@inproceedings{conf/ijcai/EiterGG93,
title = "Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information",
author = "Thomas Eiter and Georg Gottlob and Yuri Gurevich",
year = "1993",
booktitle = "{IJCAI}",
pages = "634-639",
}
@inproceedings{conf/slp/EiterG93,
title = "Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics",
author = "Thomas Eiter and Georg Gottlob",
year = "1993",
booktitle = "{ILPS}",
pages = "266-278",
}
@inproceedings{conf/lpnmr/Gottlob93,
title = "Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract)",
author = "Georg Gottlob",
year = "1993",
booktitle = "LPNMR",
pages = "265",
}
@inproceedings{conf/pods/EiterG93,
title = "Complexity Aspects of Various Semantics for Disjunctive Databases",
author = "Thomas Eiter and Georg Gottlob",
year = "1993",
booktitle = "{Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC}",
isbn = "0-89791-593-3",
pages = "158-167",
publisher = "ACM Press",
url = "http://www.informatik.uni-trier.de/~ley/db/conf/pods/EiterG93.html",
doi = "10.1145/153850.153864",
}
@inproceedings{conf/stacs/EiterG93,
title = "The Complexity of Logic-Based Abduction",
author = "Thomas Eiter and Georg Gottlob",
year = "1993",
booktitle = "{STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, W{\"u}rzburg, Germany, February 25-27, 1993, Proceedings}",
editor = "Patrice Enjalbert and Alain Finkel and Klaus W. Wagner",
isbn = "3-540-56503-5",
pages = "70-79",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "665",
}
@proceedings{conf/kgc/1993,
title = "Computational Logic and Proof Theory, Third Kurt G{\"o}del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings",
year = "1993",
booktitle = "{Kurt G{\"o}del Colloquium}",
editor = "Georg Gottlob and Alexander Leitsch and Daniele Mundici",
isbn = "3-540-57184-1",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "713",
}
@article{journals/ai/CadoliEG92,
title = "An Efficient Method for Eliminating Varying Predicates from a Circumscription",
author = "Marco Cadoli and Thomas Eiter and Georg Gottlob",
year = "1992",
journal = "Artif. Intell.",
number = "2",
pages = "397-410",
volume = "54",
}
@article{journals/ai/EiterG92,
title = "On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals",
author = "Thomas Eiter and Georg Gottlob",
year = "1992",
journal = "Artif. Intell.",
number = "2-3",
pages = "227-270",
volume = "57",
}
@article{journals/dam/GottlobSS92,
title = "Selective Inheritance of Attribute Values in Relational Databases",
author = "Georg Gottlob and Michael Schrefl and Markus Stumptner",
year = "1992",
journal = "Discrete Applied Mathematics",
number = "2",
pages = "187-216",
volume = "40",
}
@article{journals/fuin/EiterG92,
title = "Reasoning with parsimonious and moderately grounded expansions",
author = "Thomas Eiter and Georg Gottlob",
year = "1992",
journal = "Fundam. Inform.",
number = "1-2",
pages = "31-53",
volume = "17",
}
@article{journals/logcom/Gottlob92,
title = "Complexity Results for Nonmonotonic Logics",
author = "Georg Gottlob",
year = "1992",
journal = "J. Log. Comput.",
number = "3",
pages = "397-425",
volume = "2",
}
@inproceedings{conf/cnkbs/EiterG92,
title = "Complexity of Propositional Knowledge Base Revision",
author = "Thomas Eiter and Georg Gottlob",
year = "1992",
booktitle = "{CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992}",
editor = "G{\'e}rard Comyn and Matthias Jarke and Suryanarayana M. Sripada",
pages = "38-40",
publisher = "European Computer-Industry Research Centre, Munich",
volume = "ECRC-92-2",
}
@inproceedings{conf/ecai/FriedrichGN92,
title = "Formaiizing the Repair Process",
author = "Gerhard Friedrich and Georg Gottlob and Wolfgang Nejdl",
year = "1992",
booktitle = "ECAI",
pages = "709-713",
}
@inproceedings{conf/pods/EiterG92,
title = "On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals",
author = "Thomas Eiter and Georg Gottlob",
year = "1992",
booktitle = "{Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California}",
isbn = "0-89791-519-4",
pages = "261-273",
publisher = "ACM Press",
url = "http://www.informatik.uni-trier.de/~ley/db/conf/pods/EiterG92.html",
doi = "10.1145/137097.137886",
}
@inproceedings{conf/iclp/EiterG92,
title = "Complexity Results for Logic-Based Abduction",
author = "Thomas Eiter and Georg Gottlob",
year = "1992",
booktitle = "Structural Complexity and Recursion-theoretic methods in Logic-Programming",
pages = "29-44",
}
@proceedings{conf/edbt/92,
title = "{Advances in Database Technology - EDBT'92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings}",
year = "1992",
booktitle = "EDBT",
editor = "Alain Pirotte and Claude Delobel and Georg Gottlob",
isbn = "3-540-55270-7",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "580",
}
@inproceedings{conf/ogai/Gottlob91,
title = "On the Complexity of Clause Condensing",
author = "Georg Gottlob",
year = "1991",
booktitle = "{Proc. 7th Austrian Conference on Artificial Intelligence, {\"O}GAI-91, Wien, 24.-27. September 1991}",
editor = "Hermann Kaindl",
pages = "16-29",
publisher = "Springer",
series = "Informatik-Fachberichte",
volume = "287",
}
@inproceedings{conf/epia/FriedrichGN91,
title = "Towards a Theory of the Repair Process",
author = "Gerhard Friedrich and Georg Gottlob and Wolfgang Nejdl",
year = "1991",
booktitle = "{EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings}",
editor = "Pedro Barahona and Lu\'{\i}s Moniz Pereira and Ant{\'o}nio Porto",
isbn = "3-540-54535-2",
pages = "222-236",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "541",
}
@book{books/sp/CeriGT90,
title = "Logic Programming and Databases",
author = "Stefano Ceri and Georg Gottlob and Letizia Tanca",
year = "1990",
isbn = "3-540-51728-6",
publisher = "Springer",
}
@article{journals/actaC/GottlobL90,
title = "Investigation on Armstrong relations, dependency inference, and excluded functional dependencies",
author = "Georg Gottlob and Leonid Libkin",
year = "1990",
journal = "Acta Cybern.",
number = "4",
pages = "385-402",
volume = "9",
}
@inproceedings{conf/aaai/FriedrichGN90,
title = "Physical Impossibility Instead of Fault Models",
author = "Gerhard Friedrich and Georg Gottlob and Wolfgang Nejdl",
year = "1990",
booktitle = "AAAI",
pages = "331-336",
}
@inproceedings{conf/ewdw/GottlobKS90,
title = "Semantics of Object-Oriented Data Models - The Evolving Algebra Approach",
author = "Georg Gottlob and Gerti Kappel and Michael Schrefl",
year = "1990",
booktitle = "East/West Database Workshop",
pages = "144-160",
}
@inproceedings{conf/ese/FriedrichGN90,
title = "Hypothesis Classification, Abductive Diagnosis and Therapy",
author = "Gerhard Friedrich and Georg Gottlob and Wolfgang Nejdl",
year = "1990",
booktitle = "{Expert Systems in Engineering, Principles and Applications, International Workshop, Vienna, Austria, September 24-26, 1990, Proceedings}",
editor = "Georg Gottlob and Wolfgang Nejdl",
isbn = "3-540-53104-1",
pages = "69-78",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "462",
}
@proceedings{conf/ese/1990,
title = "{Expert Systems in Engineering, Principles and Applications, International Workshop, Vienna, Austria, September 24-26, 1990, Proceedings}",
year = "1990",
booktitle = "Expert Systems in Engineering",
editor = "Georg Gottlob and Wolfgang Nejdl",
isbn = "3-540-53104-1",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "462",
}
@article{journals/tkde/CeriGT89,
title = "What you Always Wanted to Know About Datalog (And Never Dared to Ask)",
author = "Stefano Ceri and Georg Gottlob and Letizia Tanca",
year = "1989",
journal = "{IEEE Trans. Knowl. Data Eng.}",
number = "1",
pages = "146-166",
url = "http://www.informatik.uni-trier.de/~ley/db/journals/tkde/CeriGT89.html",
volume = "1",
}
@article{journals/tse/CeriGW89,
title = "Efficient Database Access from Prolog",
author = "Stefano Ceri and Georg Gottlob and Gio Wiederhold",
year = "1989",
journal = "{IEEE Trans. Software Eng.}",
number = "2",
pages = "153-164",
url = "http://www.computer.org/tse/ts1989/e0153abs.htm",
volume = "15",
}
@article{journals/ipl/CeriGTW89,
title = "Magic Semi-Joins",
author = "Stefano Ceri and Georg Gottlob and Letizia Tanca and Gio Wiederhold",
year = "1989",
journal = "Inf. Process. Lett.",
number = "2",
pages = "97-107",
volume = "33",
}
@inproceedings{conf/mfdbs/GottlobSS89,
title = "On the Interaction between Transitive Closure and Functional Dependencies",
author = "Georg Gottlob and Michael Schrefl and Markus Stumptner",
year = "1989",
booktitle = "{MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegr{\'a}d, Hungary, June 26-30, 1989}",
editor = "J{\'a}nos Demetrovics and Bernhard Thalheim",
isbn = "3-540-51251-9",
pages = "187-206",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://www.informatik.uni-trier.de/~ley/db/conf/mfdbs/GottlobSS89.html",
volume = "364",
}
@article{journals/tods/GottlobPZ88,
title = "Properties and Update Semantics of Consistent Views",
author = "Georg Gottlob and Paolo Paolini and Roberto Zicari",
year = "1988",
journal = "ACM Trans. Database Syst.",
number = "4",
pages = "486-524",
url = "http://www.informatik.uni-trier.de/~ley/db/journals/tods/GottlobPZ88.html",
volume = "13",
doi = "10.1145/49346.50068",
}
@inproceedings{conf/edbt/CeriCGLLTZ88,
title = "The Algres Project",
author = "Stefano Ceri and Stefano Crespi-Reghizzi and Georg Gottlob and F. Lamperti and Luigi Lavazza and Letizia Tanca and Roberto Zicari",
year = "1988",
booktitle = "{Advances in Database Technology - EDBT'88, Proceedings of the International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988}",
editor = "Joachim W. Schmidt and Stefano Ceri and Michele Missikoff",
isbn = "3-540-19074-0",
pages = "551-555",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://www.informatik.uni-trier.de/~ley/db/conf/edbt/CeriCGLLTZ88.html",
volume = "303",
}
@inproceedings{conf/vldb/GottlobZ88,
title = "Closed World Databases Opened Through Null Values",
author = "Georg Gottlob and Roberto Zicari",
year = "1988",
booktitle = "{Fourteenth International Conference on Very Large Data Bases, August 29 - September 1, 1988, Los Angeles, California, USA, Proceedings}",
editor = "Fran\c{c}ois Bancilhon and David J. DeWitt",
isbn = "0-934613-75-3",
pages = "50-61",
publisher = "Morgan Kaufmann",
url = "http://www.informatik.uni-trier.de/~ley/db/conf/vldb/GottlobZ88.html",
}
@article{journals/ipl/Gottlob87,
title = "Subsumption and Implication",
author = "Georg Gottlob",
year = "1987",
journal = "Inf. Process. Lett.",
number = "2",
pages = "109-111",
volume = "24",
}
@article{journals/ipl/Gottlob87a,
title = "On the Size of Nonredundant FD-Covers",
author = "Georg Gottlob",
year = "1987",
journal = "Inf. Process. Lett.",
number = "6",
pages = "355-360",
volume = "24",
}
@inproceedings{conf/pods/Gottlob87,
title = "Computing Covers for Embedded Functional Dependencies",
author = "Georg Gottlob",
year = "1987",
booktitle = "{Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California}",
isbn = "0-89791-223-3",
pages = "58-69",
publisher = "ACM",
url = "http://www.informatik.uni-trier.de/~ley/db/conf/pods/Gottlob87.html",
doi = "10.1145/28659.28665",
}
@article{journals/cacm/CeriG86,
title = "Normalization of Relations and PROLOG",
author = "Stefano Ceri and Georg Gottlob",
year = "1986",
journal = "Commun. {ACM}",
number = "6",
pages = "524-544",
url = "http://www.informatik.uni-trier.de/~ley/db/journals/cacm/CeriG86.html",
volume = "29",
}
@article{journals/is/CeriGP86,
title = "Taxonomy and formal properties of distributed joins",
author = "Stefano Ceri and Georg Gottlob and Giuseppe Pelagatti",
year = "1986",
journal = "Inf. Syst.",
number = "1",
pages = "25-40",
volume = "11",
}
@article{journals/jpdc/CeriG86,
title = "Optimizing Joins between Two Partitioned Relations in Distributed Databases",
author = "Stefano Ceri and Georg Gottlob",
year = "1986",
journal = "J. Parallel Distrib. Comput.",
number = "2",
pages = "183-205",
volume = "3",
}
@inproceedings{conf/eds/CeriGW86,
title = "Interfacing Relational Databases and Prolog Efficiently",
author = "Stefano Ceri and Georg Gottlob and Gio Wiederhold",
year = "1986",
booktitle = "Expert Database Conf.",
pages = "207-223",
}
@inproceedings{conf/vldb/CeriGL86,
title = "Translation and Optimization of Logic Queries: The Algebraic Approach",
author = "Stefano Ceri and Georg Gottlob and Luigi Lavazza",
year = "1986",
booktitle = "{VLDB'86 Twelfth International Conference on Very Large Data Bases, August 25-28, 1986, Kyoto, Japan, Proceedings}",
editor = "Wesley W. Chu and Georges Gardarin and Setsuo Ohsuga and Yahiko Kambayashi",
isbn = "0-934613-18-4",
pages = "395-402",
publisher = "Morgan Kaufmann",
url = "http://www.informatik.uni-trier.de/~ley/db/conf/vldb/CeriGL86.html",
}
@article{journals/tse/CeriG85,
title = "Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries",
author = "Stefano Ceri and Georg Gottlob",
year = "1985",
journal = "{IEEE Trans. Software Eng.}",
number = "4",
pages = "324-345",
volume = "11",
}
@article{journals/jacm/GottlobL85,
title = "On the Efficiency of Subsumption Algorithms",
author = "Georg Gottlob and Alexander Leitsch",
year = "1985",
journal = "J. {ACM}",
number = "2",
pages = "280-295",
url = "http://doi.acm.org/10.1145/3149.214118",
volume = "32",
}
@inproceedings{conf/eurocal/GottlobL85,
title = "Fast Subsumption Algorithms",
author = "Georg Gottlob and Alexander Leitsch",
year = "1985",
booktitle = "{EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}",
editor = "B. F. Caviness",
isbn = "3-540-15984-3",
pages = "64-77",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "204",
}
@inproceedings{conf/ddss/CopelliG84,
title = "Implementation of a Distributed File System on a Geographic Network of Personal Computers",
author = "S. Copelli and Georg Gottlob",
year = "1984",
booktitle = "{DDSS}",
pages = "203-219",
}
@inproceedings{conf/xp/CeriGP83,
title = "Joining Fragmented Relations in Distributed Databases",
author = "Stefano Ceri and Georg Gottlob and Giuseppe Pelagatti",
year = "1983",
booktitle = "{XP4.5 Workshop on Database Theory, 1983 Palo Alto, California, USA}",
url = "http://www.informatik.uni-trier.de/~ley/db/conf/xp/CeriGP83.html",
}