@inproceedings{conf/aaai/GottlobPW07, author = "Georg Gottlob and Reinhard Pichler and Fang Wei", 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}", title = "Efficient Datalog Abduction through Bounded Treewidth", year = "2007", } @inproceedings{conf/sigecom/GottlobG07, author = "Georg Gottlob and Gianluigi Greco", booktitle = "{Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), San Diego, California, USA, June 11-15, 2007}", doi = "10.1145/1250910.1250934", editor = "Jeffrey K. MacKie-Mason and David C. Parkes and Paul Resnick", isbn = "978-1-59593-653-0", pages = "152-161", publisher = "{ACM}", title = "On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition", year = "2007", } @inproceedings{conf/esws/BaumgartnerFG07, author = "Robert Baumgartner and Oliver Fr{\"o}lich and Georg Gottlob", booktitle = "{The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings}", doi = "10.1007/978-3-540-72667-8_3", 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", title = "The {Lixto} Systems Applications in Business Intelligence and Semantic Web", volume = "4519", year = "2007", } @inproceedings{conf/ijcai/GottlobGM07a, author = "Georg Gottlob and Gianluigi Greco and Toni Mancini", 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", title = "Complexity of Pure Equilibria in Bayesian Games", url = "http://www.ijcai.org/papers07/Papers/IJCAI07-209.pdf", year = "2007", } @inproceedings{conf/ijcai/GottlobGM07, author = "Georg Gottlob and Gianluigi Greco and Toni Mancini", 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", title = "Conditional Constraint Satisfaction: Logical Foundations and Complexity", url = "http://www.ijcai.org/papers07/Papers/IJCAI07-012.pdf", year = "2007", } @inproceedings{conf/pods/GottlobMS07, author = "Georg Gottlob and Zolt{\'a}n Mikl{\'o}s and Thomas Schwentick", booktitle = "{Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China}", doi = "10.1145/1265530.1265533", editor = "Leonid Libkin", isbn = "978-1-59593-685-1", pages = "13-22", publisher = "ACM", title = "Generalized hypertree decompositions: np-hardness and tractable variants", year = "2007", } @inproceedings{conf/pods/GottlobPW07, author = "Georg Gottlob and Reinhard Pichler and Fang Wei", 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", title = "Monadic datalog over finite structures with bounded treewidth", url = "10.1145/1265530.1265554", year = "2007", } @inproceedings{conf/rweb/BryEEFGLLPW07, 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", booktitle = "{Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures}", doi = "10.1007/978-3-540-74615-7_1", editor = "Grigoris Antoniou and Uwe A{\ss}mann and Cristina Baroglio and Stefan Decker and Nicola Henze and Paula-Lavinia Patranjan and Robert Tolksdorf", isbn = "978-3-540-74613-3", pages = "1-153", publisher = "Springer", series = "Lecture Notes in Computer Science", title = "Foundations of Rule-Based Query Answering", volume = "4636", year = "2007", } @article{journals/corr/abs-cs-0701083, author = "Georg Gottlob and Marko Samer", doi = "http://arxiv.org/abs/cs/0701083", journal = "{CoRR}", title = "A Backtracking-Based Algorithm for Computing Hypertree-Decompositions", volume = "abs/cs/0701083", year = "2007", } @article{journals/ejc/AdlerGG07, author = "Isolde Adler and Georg Gottlob and Martin Grohe", doi = "10.1016/j.ejc.2007.04.013", journal = "Eur. J. Comb.", number = "8", pages = "2167-2181", title = "Hypertree width and related hypergraph invariants", volume = "28", year = "2007", } @article{journals/ipl/GottlobL07, author = "Georg Gottlob and Stephanie Tien Lee", doi = "10.1016/j.ipl.2007.03.005", journal = "Inf. Process. Lett.", number = "4", pages = "136-141", title = "A logical approach to multicut problems", volume = "103", year = "2007", } @inproceedings{conf/aaai/GottlobPW06, author = "Georg Gottlob and Reinhard Pichler and Fang Wei", 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", title = "Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning", year = "2006", } @inproceedings{conf/bncod/CarmeCFGHHHK06, 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", booktitle = "{BNCOD}", doi = "10.1007/11788911_1", pages = "1-15", title = "The {Lixto} Project: Exploring New Frontiers of Web Data Extraction", year = "2006", } @inproceedings{conf/pods/GottlobPW06, author = "Georg Gottlob and Reinhard Pichler and Fang Wei", booktitle = "{Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, Maryland, USA}", doi = "10.1145/1142351.1142370", editor = "Stijn Vansummeren", isbn = "1-59593-318-2", pages = "124-133", publisher = "ACM", title = "Tractable database design through bounded treewidth", year = "2006", } @inproceedings{conf/pods/GottlobN06, author = "Georg Gottlob and Alan Nash", booktitle = "{Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, Maryland, USA}", doi = "10.1145/1142351.1142358", editor = "Stijn Vansummeren", isbn = "1-59593-318-2", pages = "40-49", publisher = "ACM", title = "Data exchange: computing cores in polynomial time", year = "2006", } @inproceedings{conf/rweb/FurcheLBPG06, author = "Tim Furche and Benedikt Linse and Fran\c{c}ois Bry and Dimitris Plexousakis and Georg Gottlob", booktitle = "{Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures}", doi = "10.1007/11837787_1", 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", title = "{RDF} Querying: Language Constructs and Evaluation Methods Compared", volume = "4126", year = "2006", } @inproceedings{conf/sofsem/GottlobK06, author = "Georg Gottlob and Christoph Koch", 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}", doi = "10.1007/11611257_3", 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", title = "A Formal Comparison of Visual Web Wrapper Generators", volume = "3831", year = "2006", } @article{journals/tocl/LeonePFEGPS06, author = "Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Thomas Eiter and Georg Gottlob and Simona Perri and Francesco Scarcello", doi = "10.1145/1149114.1149117", journal = "{ACM} Trans. Comput. Log.", number = "3", pages = "499-562", title = "The {DLV} system for knowledge representation and reasoning", volume = "7", year = "2006", } @article{journals/corr/abs-cs-0602004, author = "Georg Gottlob and Christoph Koch and Klaus U. Schulz", journal = "{CoRR}", title = "Conjunctive Queries over Trees", url = "http://arxiv.org/abs/cs/0602004", volume = "abs/cs/0602004", year = "2006", } @article{journals/jacm/GottlobKS06, author = "Georg Gottlob and Christoph Koch and Klaus U. Schulz", doi = "10.1145/1131342.1131345", journal = "J. {ACM}", number = "2", pages = "238-272", title = "Conjunctive queries over trees", volume = "53", year = "2006", } @article{journals/tcs/EiterG06, author = "Thomas Eiter and Georg Gottlob", doi = "10.1016/j.tcs.2006.07.054", journal = "Theor. Comput. Sci.", number = "1-3", pages = "82-115", title = "Reasoning under minimal upper bounds in propositional logic", volume = "369", year = "2006", } @inproceedings{conf/btw/Gottlob05, author = "Georg Gottlob", 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}", title = "Web Data Extraction for Business Intelligence: The Lixto Approach", volume = "65", year = "2005", } @inproceedings{conf/ijcai/RosatiG05, author = "Riccardo Rosati and Georg Gottlob", 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", title = "Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic", url = "http://www.ijcai.org/papers/1462.pdf", year = "2005", } @inproceedings{conf/ijcai/GottlobGS05, author = "Georg Gottlob and Gianluigi Greco and Francesco Scarcello", 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", title = "The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions", url = "http://www.ijcai.org/papers/1231.pdf", year = "2005", } @inproceedings{conf/semweb/AbelBBEGHHKNT05, 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", booktitle = "{The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings}", doi = "10.1007/11574620_75", 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", title = "The Personal Publication Reader", volume = "3729", year = "2005", } @inproceedings{conf/lpnmr/LeoneEFFGGGKILLLNRRST05, 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", booktitle = "{Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings}", doi = "10.1007/11546207_31", 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", title = "Data Integration: a Challenging {ASP} Application", volume = "3662", year = "2005", } @inproceedings{conf/pods/Gottlob05, author = "Georg Gottlob", booktitle = "{Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland, USA}", doi = "10.1145/1065167.1065187", editor = "Chen Li", isbn = "1-59593-062-0", pages = "148-159", publisher = "{ACM}", title = "Computing cores for data exchange: new algorithms and practical solutions", year = "2005", } @inproceedings{conf/rweb/BaumgartnerEGHK05, author = "Robert Baumgartner and Thomas Eiter and Georg Gottlob and Marcus Herzog and Christoph Koch", booktitle = "{Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures}", doi = "10.1007/11526988_8", editor = "Norbert Eisinger and Jan Maluszynski", isbn = "3-540-27828-1", pages = "275-289", publisher = "Springer", series = "Lecture Notes in Computer Science", title = "Information Extraction for the Semantic Web", volume = "3564", year = "2005", } @inproceedings{conf/sebd/LeoneEFFGG05, author = "Nicola Leone and Thomas Eiter and Wolfgang Faber and Michael Fink and Georg Gottlob and Gianluigi Greco", 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", title = "Boosting Information Integration: The {INFOMIX} System", year = "2005", } @inproceedings{conf/sigmod/LeoneGILTEFFGRLLRKNS05, 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", booktitle = "{Proceedings of the ACM SIGMOD International Conference on Management of Data, Baltimore, Maryland, USA, June 14-16, 2005}", doi = "10.1145/1066157.1066286", editor = "Fatma {\"O}zcan", isbn = "1-59593-060-4", pages = "915-917", publisher = "{ACM}", title = "The {INFOMIX} system for advanced integration of incomplete and inconsistent data", year = "2005", } @inproceedings{conf/wg/GottlobGMSS05, author = "Georg Gottlob and Martin Grohe and Nysret Musliu and Marko Samer and Francesco Scarcello", booktitle = "{Graph-Theoretic Concepts in Computer Science, 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers}", doi = "10.1007/11604686_1", editor = "Dieter Kratsch", isbn = "3-540-31000-2", pages = "1-15", publisher = "Springer", series = "Lecture Notes in Computer Science", title = "Hypertree Decompositions: Structure, Algorithms, and Applications", volume = "3787", year = "2005", } @inproceedings{conf/wm/BaumgartnerFGHL05, author = "Robert Baumgartner and Oliver Fr{\"o}lich and Georg Gottlob and Marcus Herzog and Peter Lehmann", booktitle = "{Professional Knowledge Management, Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers}", doi = "10.1007/11590019_54", 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", title = "Integrating Semi-structured Data into Business Applications: A Web Intelligence Example", volume = "3782", year = "2005", } @article{journals/tocl/CadoliEG05, author = "Marco Cadoli and Thomas Eiter and Georg Gottlob", doi = "10.1145/1055686.1055688", journal = "{ACM} Trans. Comput. Log.", number = "2", pages = "232-272", title = "Complexity of propositional nested circumscription and nested abnormality theories", volume = "6", year = "2005", } @article{journals/tods/GottlobKP05, author = "Georg Gottlob and Christoph Koch and Reinhard Pichler", doi = "10.1145/1071610.1071614", journal = "{ACM} Trans. Database Syst.", number = "2", pages = "444-491", title = "Efficient algorithms for processing {XPath} queries", volume = "30", year = "2005", } @article{journals/jacm/GottlobKPS05, author = "Georg Gottlob and Christoph Koch and Reinhard Pichler and Luc Segoufin", doi = "10.1145/1059513.1059520", journal = "J. ACM", number = "2", pages = "284-335", title = "The complexity of {XPath} query evaluation and {XML} typing", volume = "52", year = "2005", } @article{journals/jair/GottlobGS05, author = "Georg Gottlob and Gianluigi Greco and Francesco Scarcello", journal = "J. Artif. Intell. Res. ({JAIR})", pages = "357-406", title = "Pure Nash Equilibria: Hard and Easy Games", url = "http://www.jair.org/papers/paper1683.html", volume = "24", year = "2005", } @proceedings{conf/adbis/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", title = "{Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceesing}", volume = "3255", year = "2004", } @inproceedings{conf/foiks/Gottlob04, author = "Georg Gottlob", 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", title = "Hypergraph Transversals", url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2942{\&}spage=1", volume = "2942", year = "2004", } @inproceedings{conf/cade/Gottlob04, author = "Georg Gottlob", 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", title = "Second-Order Logic over Finite Structures - Report on a Research Programme", url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3097{\&}spage=229", volume = "3097", year = "2004", } @inproceedings{conf/pods/GottlobKBHF04, author = "Georg Gottlob and Christoph Koch and Robert Baumgartner and Marcus Herzog and Sergio Flesca", booktitle = "{Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 14-16, 2004, Paris, France}", doi = "10.1145/1055558.1055560", editor = "Alin Deutsch", isbn = "1-58113-858-X", pages = "1-12", publisher = "ACM", title = "The Lixto Data Extraction Project - Back and Forth between Theory and Practice", url = "http://www.acm.org/sigmod/pods/proc04/pdf/P-01.pdf", year = "2004", } @inproceedings{conf/pods/GottlobKS04, author = "Georg Gottlob and Christoph Koch and Klaus U. Schulz", booktitle = "{Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 14-16, 2004, Paris, France}", doi = "10.1145/1055558.1055585", editor = "Alin Deutsch", isbn = "1-58113-858-X", pages = "189-200", publisher = "ACM", title = "Conjunctive Queries over Trees", url = "http://www.acm.org/sigmod/pods/proc04/pdf/P-19.pdf", year = "2004", } @inproceedings{conf/saint/BaumgartnerGHS04, author = "Robert Baumgartner and Georg Gottlob and Marcus Herzog and Wolfgang Slany", 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", title = "Interactively Adding Web Service Interfaces to Existing Web Applications", url = "http://csdl.computer.org/comp/proceedings/saint/2004/2068/00/20680074abs.htm", year = "2004", } @article{journals/jacm/GottlobK04, author = "Georg Gottlob and Christoph Koch", doi = "10.1145/962446.962450", journal = "J. {ACM}", number = "1", pages = "74-113", title = "Monadic datalog and the expressive power of languages for Web information extraction", volume = "51", year = "2004", } @article{journals/jacm/GottlobKS04, author = "Georg Gottlob and Phokion G. Kolaitis and Thomas Schwentick", doi = "10.1145/972639.972646", journal = "J. {ACM}", number = "2", pages = "312-362", title = "Existential second-order logic over graphs: Charting the tractability frontier", volume = "51", year = "2004", } @article{journals/siamcomp/GottlobP04, author = "Georg Gottlob and Reinhard Pichler", doi = "10.1137/S0097539701396807", journal = "{SIAM J. Comput.}", number = "2", pages = "351-378", title = "Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width", volume = "33", year = "2004", } @article{journals/sigmod/GottlobK04, author = "Georg Gottlob and Christoph Koch", doi = "10.1145/1024694.1024711", journal = "{SIGMOD} Record", number = "2", pages = "87-94", title = "Logic-based Web Information Extraction", url = "http://www.acm.org/sigmod/record/issues/0406/DBPrincipleLeonid-gottlob.pdf", volume = "33", year = "2004", } @article{journals/mst/GottlobHR04, author = "Georg Gottlob and Miki Hermann and Micha{\"e}l Rusinowitch", doi = "http://dx.doi.org/10.1007/s00224-004-3706-1", journal = "Theory Comput. Syst.", number = "6", pages = "639-640", title = "{2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword}", volume = "37", year = "2004", } @proceedings{conf/ijcai/2003, editor = "Georg Gottlob and Toby Walsh", publisher = "Morgan Kaufmann", title = "{IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}", year = "2003", } @inproceedings{conf/dbpl/GottlobK03, author = "Georg Gottlob and Christoph Koch", 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", title = "{XPath} Query Processing", url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2921{\&}spage=20", volume = "2921", year = "2003", } @inproceedings{conf/icde/GottlobKP03, author = "Georg Gottlob and Christoph Koch and Reinhard Pichler", 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", title = "{XPath} Query Evaluation: Improving Time and Space Efficiency", url = "http://csdl.computer.org/comp/proceedings/icde/2003/2071/00/20710379abs.htm", year = "2003", } @inproceedings{conf/icde/BaumgartnerCGHZ03, author = "Robert Baumgartner and Michal Ceresna and Georg Gottlob and Marcus Herzog and Viktor Zigo", 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}", title = "Web Information Acquisition with Lixto Suite", url = "http://csdl.computer.org/comp/proceedings/icde/2003/2071/00/20710747abs.htm", year = "2003", } @inproceedings{conf/ijcai/BaumgartnerGH03, author = "Robert Baumgartner and Georg Gottlob and Marcus Herzog", booktitle = "{Proceedings of IJCAI-03 Workshop on Information Integration on the Web (IIWeb-03), August 9-10, 2003, Acapulco, Mexico}", doi = "http://www.isi.edu/info-agents/workshops/ijcai03/papers/Herzog-ijcai03-herzog.pdf", editor = "Subbarao Kambhampati and Craig A. Knoblock", pages = "137-142", title = "Visual Programming of Web Data Aggregation Applications", year = "2003", } @inproceedings{conf/pods/GottlobKP03, author = "Georg Gottlob and Christoph Koch and Reinhard Pichler", booktitle = "{Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, USA}", doi = "10.1145/773153.773171", isbn = "1-58113-670-6", pages = "179-190", publisher = "ACM", title = "The complexity of {XPath} query evaluation", year = "2003", } @inproceedings{conf/tark/GottlobGS03, author = "Georg Gottlob and Gianluigi Greco and Francesco Scarcello", booktitle = "{Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003}", doi = "10.1145/846241.846269", editor = "Joseph Y. Halpern and Moshe Tennenholtz", isbn = "1-58113-731-1", pages = "215-230", publisher = "{ACM}", title = "Pure Nash equilibria: hard and easy games", year = "2003", } @article{journals/corr/cs-DB-0310012, author = "Georg Gottlob and Christoph Koch", journal = "{CoRR}", title = "A Formal Comparison of Visual Web Wrapper Generators", url = "http://arxiv.org/abs/cs.DB/0310012", volume = "cs.DB/0310012", year = "2003", } @article{journals/iandc/GottlobP03, author = "Georg Gottlob and Christos H. Papadimitriou", doi = "10.1016/S0890-5401(03)00012-9", journal = "Inf. Comput.", number = "1", pages = "104-122", title = "On the complexity of single-rule datalog queries", volume = "183", year = "2003", } @article{journals/jcss/Gottlob03, author = "Georg Gottlob", doi = "10.1016/S0022-0000(02)00026-0", journal = "J. Comput. Syst. Sci.", number = "1", pages = "1", title = "Guest Editor's Foreword", volume = "66", year = "2003", } @article{journals/jcss/GottlobLS03, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", doi = "10.1016/S0022-0000(03)00030-8", journal = "J. Comput. Syst. Sci.", number = "4", pages = "775-808", title = "Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width", volume = "66", year = "2003", } @article{journals/siamcomp/EiterGM03, author = "Thomas Eiter and Georg Gottlob and Kazuhisa Makino", journal = "SIAM J. Comput.", number = "2", pages = "514-537", title = "New Results on Monotone Dualization and Generating Hypergraph Transversals", url = "http://epubs.siam.org/sam-bin/dbq/article/40639", volume = "32", year = "2003", } @article{journals/sigmod/GottlobKP03, author = "Georg Gottlob and Christoph Koch and Reinhard Pichler", doi = "10.1145/640990.640992", journal = "SIGMOD Record", number = "1", pages = "12-19", title = "{XPath} Processing in a Nutshell", url = "http://www.acm.org/sigmod/record/issues/0303/3.xpnut.pdf", volume = "32", year = "2003", } @article{journals/sigmod/GottlobKP03a, author = "Georg Gottlob and Christoph Koch and Reinhard Pichler", doi = "10.1145/776985.776988", journal = "{SIGMOD Record}", number = "2", pages = "21-27", title = "{XPath} processing in a nutshell", volume = "32", year = "2003", } @inproceedings{conf/birthday/BuccafurriG02, author = "Francesco Buccafurri and Georg Gottlob", 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", title = "Multiagent Compromises, Joint Fixpoints, and Stable Models", url = "http://link.springer.de/link/service/series/0558/bibs/2407/24070561.htm", volume = "2407", year = "2002", } @inproceedings{conf/ecai/GottlobHW02, author = "Georg Gottlob and Martin Hutle and Franz Wotawa", 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", title = "Combining hypertree, bicomp, and hinge decomposition", year = "2002", } @inproceedings{conf/jelia/LeonePFCDEGIIKPP02, 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", 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", title = "The DLV System", url = "http://link.springer.de/link/service/series/0558/bibs/2424/24240537.htm", volume = "2424", year = "2002", } @inproceedings{conf/jelia/EiterG02, author = "Thomas Eiter and Georg Gottlob", 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", title = "Hypergraph Transversal Computation and Related Problems in Logic and AI", url = "http://link.springer.de/link/service/series/0558/bibs/2424/24240549.htm", volume = "2424", year = "2002", } @inproceedings{conf/lics/GottlobK02, author = "Georg Gottlob and Christoph Koch", booktitle = "{17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings}", doi = "10.1109/LICS.2002.1029828", isbn = "0-7695-1483-9", pages = "189-202", publisher = "IEEE Computer Society", title = "Monadic Queries over Tree-Structured Data", year = "2002", } @inproceedings{conf/nmr/Gottlob02, author = "Georg Gottlob", booktitle = "{9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings}", editor = "Salem Benferhat and Enrico Giunchiglia", pages = "4", title = "Visual Data Extraction Through Visual Logic Programming", year = "2002", } @inproceedings{conf/pods/GottlobK02, author = "Georg Gottlob and Christoph Koch", booktitle = "{Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA}", doi = "10.1145/543613.543617", editor = "Lucian Popa", pages = "17-28", publisher = "ACM", title = "Monadic Datalog and the Expressive Power of Languages for Web Information Extraction", url = "http://www.acm.org/sigs/sigmod/pods/proc02/papers/017-GottlobKoch.pdf", year = "2002", } @inproceedings{conf/stoc/EiterGM02, author = "Thomas Eiter and Georg Gottlob and Kazuhisa Makino", booktitle = "{STOC}", doi = "10.1145/509907.509912", pages = "14-22", title = "New results on monotone dualization and generating hypergraph transversals", year = "2002", } @inproceedings{conf/vldb/GottlobKP02, author = "Georg Gottlob and Christoph Koch and Reinhard Pichler", 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", title = "Efficient Algorithms for Processing XPath Queries", url = "http://www.vldb.org/conf/2002/S04P02.pdf", year = "2002", } @article{journals/tocl/GottlobGV02, author = "Georg Gottlob and Erich Gr{\"a}del and Helmut Veith", doi = "10.1145/504077.504079", journal = "ACM Trans. Comput. Log.", number = "1", pages = "42-79", title = "{Datalog LITE: a deductive query language with linear time model checking}", volume = "3", year = "2002", } @article{journals/ai/GottlobSS02, author = "Georg Gottlob and Francesco Scarcello and Martha Sideri", doi = "10.1016/S0004-3702(02)00182-0", journal = "Artif. Intell.", number = "1-2", pages = "55-86", title = "Fixed-parameter complexity in AI and nonmonotonic reasoning", volume = "138", year = "2002", } @article{journals/corr/cs-AI-0207072, author = "Marco Cadoli and Thomas Eiter and Georg Gottlob", journal = "{CoRR}", title = "Complexity of Nested Circumscription and Nested Abnormality Theories", url = "http://arxiv.org/abs/cs.AI/0207072", volume = "cs.AI/0207072", year = "2002", } @article{journals/corr/cs-AI-0211004, author = "Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Thomas Eiter and Georg Gottlob and Simona Perri and Francesco Scarcello", journal = "CoRR", title = "The {DLV} System for Knowledge Representation and Reasoning", url = "http://arxiv.org/abs/cs.AI/0211004", volume = "cs.AI/0211004", year = "2002", } @article{journals/corr/cs-DB-0211020, author = "Georg Gottlob and Christoph Koch", journal = "{CoRR}", title = "Monadic Datalog and the Expressive Power of Languages for Web Information Extraction", url = "http://arxiv.org/abs/cs.DB/0211020", volume = "cs.DB/0211020", year = "2002", } @article{journals/corr/cs-DS-0204009, author = "Thomas Eiter and Georg Gottlob and Kazuhisa Makino", journal = "{CoRR}", title = "New Results on Monotone Dualization and Generating Hypergraph Transversals", url = "http://arxiv.org/abs/cs.DS/0204009", volume = "cs.DS/0204009", year = "2002", } @article{journals/jcss/GottlobLS02, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", doi = "10.1006/jcss.2001.1809", journal = "J. Comput. Syst. Sci.", number = "3", pages = "579-627", title = "Hypertree Decompositions and Tractable Queries", volume = "64", year = "2002", } @article{journals/tcs/GottlobLS02, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", doi = "10.1016/S0304-3975(01)00108-6", journal = "Theor. Comput. Sci.", number = "1-2", pages = "761-777", title = "Computing {LOGCFL} certificates", volume = "270", year = "2002", } @article{journals/tcs/BaumgartnerG02, author = "Robert Baumgartner and Georg Gottlob", journal = "Theor. Comput. Sci.", number = "1", pages = "591-627", title = "Propositional default logics made easier: computational complexity of model checking", volume = "289", year = "2002", } @inproceedings{conf/dlt/EiterGS01, author = "Thomas Eiter and Georg Gottlob and Thomas Schwentick", 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", title = "Second-Order Logic over Strings: Regular and Non-regular Fragments", url = "http://link.springer.de/link/service/series/0558/bibs/2295/22950037.htm", volume = "2295", year = "2001", } @inproceedings{conf/icalp/GottlobP01, author = "Georg Gottlob and Reinhard Pichler", 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", title = "Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width", url = "http://link.springer.de/link/service/series/0558/bibs/2076/20760708.htm", volume = "2076", year = "2001", } @inproceedings{conf/ijcai/CadoliEG01, author = "Marco Cadoli and Thomas Eiter and Georg Gottlob", 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", title = "Complexity of Nested Circumscription and Abnormality Theories", year = "2001", } @inproceedings{conf/lpar/BaumgartnerFG01, author = "Robert Baumgartner and Sergio Flesca and Georg Gottlob", 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", title = "The Elog Web Extraction Language", url = "http://link.springer.de/link/service/series/0558/bibs/2250/22500548.htm", volume = "2250", year = "2001", } @inproceedings{conf/lpnmr/BaumgartnerFG01, author = "Robert Baumgartner and Sergio Flesca and Georg Gottlob", 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", title = "Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto", url = "http://link.springer.de/link/service/series/0558/bibs/2173/21730021.htm", volume = "2173", year = "2001", } @inproceedings{conf/mfcs/GottlobLS01, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", 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", title = "Hypertree Decompositions: A Survey", url = "http://link.springer.de/link/service/series/0558/bibs/2136/21360037.htm", volume = "2136", year = "2001", } @inproceedings{conf/pods/GottlobLS01, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", booktitle = "{Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 21-23, 2001, Santa Barbara, California, USA}", doi = "10.1145/375551.375579", isbn = "1-58113-361-8", publisher = "ACM", title = "Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width", url = "http://www.acm.org/sigs/sigmod/pods/proc01/online/p68.pdf", year = "2001", } @inproceedings{conf/sebd/GottlobLS01, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", booktitle = "{SEBD}", pages = "147-154", title = "Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width", year = "2001", } @inproceedings{conf/sebd/Gottlob01, author = "Georg Gottlob", booktitle = "SEBD", pages = "3-10", title = "The Lixto Wrapper Generation Tool", year = "2001", } @inproceedings{conf/tes/HerzogG01, author = "Marcus Herzog and Georg Gottlob", 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", title = "InfoPipes: A Flexible Framework for {M-Commerce} Applications", url = "http://link.springer.de/link/service/series/0558/bibs/2193/21930175.htm", volume = "2193", year = "2001", } @inproceedings{conf/vldb/BaumgartnerFG01, author = "Robert Baumgartner and Sergio Flesca and Georg Gottlob", 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", title = "Visual Web Information Extraction with Lixto", url = "http://www.vldb.org/conf/2001/P119.pdf", year = "2001", } @inproceedings{conf/vldb/BaumgartnerFG01a, author = "Robert Baumgartner and Sergio Flesca and Georg Gottlob", 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", title = "Supervised Wrapper Generation with Lixto", url = "http://www.vldb.org/conf/2001/P715.pdf", year = "2001", } @article{journals/csur/DantsinEGV01, author = "Evgeny Dantsin and Thomas Eiter and Georg Gottlob and Andrei Voronkov", doi = "10.1145/502807.502810", journal = "{ACM} Comput. Surv.", number = "3", pages = "374-425", title = "Complexity and expressive power of logic programming", volume = "33", year = "2001", } @article{journals/iandc/GottlobP01, author = "Georg Gottlob and Reinhard Pichler", doi = "10.1006/inco.2000.2915", journal = "Inf. Comput.", number = "2", pages = "183-207", title = "Working with {ARMs}: Complexity Results on Atomic Representations of Herbrand Models", volume = "165", year = "2001", } @article{journals/jacm/GottlobLS01, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", journal = "J. {ACM}", number = "3", pages = "431-498", title = "The complexity of acyclic conjunctive queries", url = "10.1145/382780.382783", volume = "48", year = "2001", } @article{journals/jcss/BuccafurriEGL01, author = "Francesco Buccafurri and Thomas Eiter and Georg Gottlob and Nicola Leone", journal = "J. Comput. Syst. Sci.", number = "3", pages = "463-515", title = "On {ACTL} Formulas Having Linear Counterexamples", volume = "62", year = "2001", } @inproceedings{conf/focs/GottlobKS00, author = "Georg Gottlob and Phokion G. Kolaitis and Thomas Schwentick", booktitle = "{FOCS}", pages = "664-674", title = "Existential Second-Order Logic over Graphs: Charting the Tractability Frontier", year = "2000", } @inproceedings{conf/lpar/EiterG00, author = "Thomas Eiter and Georg Gottlob", 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", title = "On the Complexity of Theory Curbing", url = "http://link.springer.de/link/service/series/0558/bibs/1955/19550001.htm", volume = "1955", year = "2000", } @article{journals/ai/GottlobLS00, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", doi = "10.1016/S0004-3702(00)00078-3", journal = "Artif. Intell.", number = "2", pages = "243-282", title = "A comparison of structural {CSP} decomposition methods", volume = "124", year = "2000", } @article{journals/jacm/EiterGG00, author = "Thomas Eiter and Yuri Gurevich and Georg Gottlob", doi = "10.1145/331605.331609", journal = "{J. ACM}", number = "1", pages = "77-131", title = "Existential second-order logic over strings", volume = "47", year = "2000", } @proceedings{conf/csl/1998, editor = "Georg Gottlob and Etienne Grandjean and Katrin Seyr", isbn = "3-540-65922-6", publisher = "Springer", series = "Lecture Notes in Computer Science", title = "{Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings}", volume = "1584", year = "1999", } @inproceedings{conf/dexa/GottlobLS99, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", 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", title = "On Tractable Queries and Constraints", url = "http://link.springer.de/link/service/series/0558/bibs/1677/16770001.htm", volume = "1677", year = "1999", } @inproceedings{conf/icalp/GottlobLS99, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", 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", title = "Computing LOGCFL Certificates", url = "http://link.springer.de/link/service/series/0558/bibs/1644/16440361.htm", volume = "1644", year = "1999", } @inproceedings{conf/ijcai/GottlobLS99, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", 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", title = "A Comparison of Structural CSP Decomposition Methods", year = "1999", } @inproceedings{conf/ijcai/BaumgartnerG99, author = "Robert Baumgartner and Georg Gottlob", 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", title = "On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases", year = "1999", } @inproceedings{conf/lics/GottlobP99, author = "Georg Gottlob and Reinhard Pichler", booktitle = "{LICS}", pages = "306-315", title = "Working with Arms: Complexity Results on Atomic Representations of Herbrand Models", url = "http://computer.org/conferen/proceed/lics/0158/01580306abs.htm", year = "1999", } @inproceedings{conf/lpar/GottlobP99, author = "Georg Gottlob and Christos H. Papadimitriou", 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", title = "On the Complexity of Single-Rule Datalog Queries", volume = "1705", year = "1999", } @inproceedings{conf/lpnmr/GottlobSS99, author = "Georg Gottlob and Francesco Scarcello and Martha Sideri", 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", title = "Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning", url = "http://link.springer.de/link/service/series/0558/bibs/1730/17300001.htm", volume = "1730", year = "1999", } @inproceedings{conf/pods/GottlobLS99, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", booktitle = "{Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia, Pennsylvania}", doi = "10.1145/303976.303979", isbn = "1-58113-062-7", pages = "21-32", publisher = "ACM Press", title = "Hypertree Decompositions and Tractable Queries", url = "http://www.informatik.uni-trier.de/~ley/db/conf/pods/GottlobLS99.html", year = "1999", } @inproceedings{conf/sebd/GottlobLS99, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", booktitle = "{SEBD}", pages = "275-289", title = "Hypertree Decompositions and Tractable Queries", year = "1999", } @article{journals/apal/GottlobLV99, author = "Georg Gottlob and Nicola Leone and Helmut Veith", journal = "Ann. Pure Appl. Logic", number = "1-3", pages = "231-260", title = "Succinctness as a Source of Complexity in Logical Formalisms", volume = "97", year = "1999", } @article{journals/ai/BuccafurriEGL99, author = "Francesco Buccafurri and Thomas Eiter and Georg Gottlob and Nicola Leone", doi = "10.1016/S0004-3702(99)00039-9", journal = "Artif. Intell.", number = "1-2", pages = "57-104", title = "Enhancing Model Checking in Verification by AI Techniques", volume = "112", year = "1999", } @article{journals/ngc/GottlobLS99, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", journal = "New Generation Comput.", number = "1", pages = "53-75", title = "On the Complexity of Some Inductive Logic Programming Problems", volume = "17", year = "1999", } @inproceedings{conf/focs/GottlobLS98, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", booktitle = "{FOCS}", pages = "706-715", title = "The Complexity of Acyclic Conjunctive Queries", url = "http://computer.org/conferen/proceed/focs/9172/91720706abs.htm", year = "1998", } @inproceedings{conf/lics/EiterGG98, author = "Thomas Eiter and Georg Gottlob and Yuri Gurevich", booktitle = "LICS", pages = "16-27", title = "Existential Second-Order Logic over Strings", year = "1998", } @article{journals/corr/cs-DB-9812022, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", journal = "{CoRR}", title = "Hypertree Decompositions and Tractable Queries", url = "http://arxiv.org/abs/cs.DB/9812022", volume = "cs.DB/9812022", year = "1998", } @article{journals/jsyml/EiterG98, author = "Thomas Eiter and Georg Gottlob", journal = "J. Symb. Log.", number = "1", pages = "73-82", title = "On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic", volume = "63", year = "1998", } @article{journals/mlq/DawarGH98, author = "Anuj Dawar and Georg Gottlob and Lauri Hella", journal = "Math. Log. Q.", pages = "109-122", title = "Capturing Relativized Complexity Classes without Order", volume = "44", year = "1998", } @proceedings{conf/kgc/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", title = "{Computational Logic and Proof Theory, 5th Kurt G{\"o}del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings}", volume = "1289", year = "1997", } @inproceedings{conf/esslli/EiterGV97, author = "Thomas Eiter and Georg Gottlob and Helmut Veith", 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", title = "Generalized Quantifiers in Logic Programs", url = "http://link.springer.de/link/service/series/0558/bibs/1754/17540072.htm", volume = "1754", year = "1997", } @inproceedings{conf/fct/EiterG97, author = "Thomas Eiter and Georg Gottlob", 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", title = "The Complexity Class Theta$_{2}$$^{p}$: Recent Results and Applications in AI and Modal Logic", volume = "1279", year = "1997", } @inproceedings{conf/coco/DantsinEGV97, author = "Evgeny Dantsin and Thomas Eiter and Georg Gottlob and Andrei Voronkov", booktitle = "{IEEE Conference on Computational Complexity}", pages = "82-101", title = "Complexity and Expressive Power of Logic Programming", url = "http://www.computer.org/proceedings/ccc/7907/79070082abs.htm", year = "1997", } @inproceedings{conf/ilp/GottlobLS97, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", 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", title = "On the Complexity of Some Inductive Logic Programming Problems", volume = "1297", year = "1997", } @inproceedings{conf/lpnmr/EiterGV97, author = "Thomas Eiter and Georg Gottlob and Helmut Veith", 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", title = "Modular Logic Programming and Generalized Quantifiers", volume = "1265", year = "1997", } @inproceedings{conf/wlp/CitrignoEFGKLMPS97, 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", booktitle = "{WLP}", pages = "0-", title = "The dlv System: Model Generator and Advanced Frontends (system description)", year = "1997", } @article{journals/tods/EiterGM97, author = "Thomas Eiter and Georg Gottlob and Heikki Mannila", doi = "10.1145/261124.261126", journal = "{ACM} Trans. Database Syst.", number = "3", pages = "364-418", title = "Disjunctive Datalog", url = "http://www.informatik.uni-trier.de/~ley/db/journals/tods/EiterGM97.html", volume = "22", year = "1997", } @article{journals/ai/EiterGL97, author = "Thomas Eiter and Georg Gottlob and Nicola Leone", doi = "10.1016/S0004-3702(96)00040-9", journal = "Artif. Intell.", number = "1-2", pages = "177-223", title = "Semantics and Complexity of Abduction from Default Theories", volume = "90", year = "1997", } @article{journals/fuin/BrewkaG97, author = "Gerhard Brewka and Georg Gottlob", journal = "Fundam. Inform.", number = "3/4", pages = "221-236", title = "Well-Founded Semantics for Default Logic", volume = "31", year = "1997", } @article{journals/tkde/CadoliEG97, author = "Marco Cadoli and Thomas Eiter and Georg Gottlob", doi = "http://www.informatik.uni-trier.de/~ley/db/journals/tkde/CadoliEG97.html", journal = "{IEEE} Trans. Knowl. Data Eng.", number = "3", pages = "448-463", title = "Default Logic as a Query Language", volume = "9", year = "1997", } @article{journals/logcom/EiterGL97, author = "Thomas Eiter and Georg Gottlob and Nicola Leone", journal = "J. Log. Comput.", number = "6", pages = "805-824", title = "On the Indiscernibility of Individuals in Logic Programming", volume = "7", year = "1997", } @article{journals/jlp/EiterG97, author = "Thomas Eiter and Georg Gottlob", journal = "J. Log. Program.", number = "2", pages = "167-178", title = "Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions", volume = "33", year = "1997", } @article{journals/jsyml/Gottlob97, author = "Georg Gottlob", journal = "J. Symb. Log.", number = "2", pages = "545-574", title = "Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures", volume = "62", year = "1997", } @article{journals/tcs/EiterGL97, author = "Thomas Eiter and Georg Gottlob and Nicola Leone", doi = "10.1016/S0304-3975(96)00179-X", journal = "Theor. Comput. Sci.", number = "1-2", pages = "129-177", title = "Abduction from Logic Programs: Semantics and Complexity", volume = "189", year = "1997", } @inproceedings{conf/edbt/GottlobMS96, author = "Georg Gottlob and Guido Moerkotte and V. S. Subrahmanian", 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", title = "The PARK Semantics for Active Rules", url = "http://www.informatik.uni-trier.de/~ley/db/conf/edbt/GottlobMS96.html", volume = "1057", year = "1996", } @inproceedings{conf/coco/Gottlob96, author = "Georg Gottlob", booktitle = "{IEEE Conference on Computational Complexity}", pages = "33-42", title = "Collapsing Oracle-Tape Hierarchies", url = "http://www.computer.org/proceedings/ccc/7386/73860033abs.htm", year = "1996", } @inproceedings{conf/kr/Gottlob96, author = "Georg Gottlob", booktitle = "KR", pages = "647-649", title = "Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract)", year = "1996", } @article{journals/tois/GottlobSR96, author = "Georg Gottlob and Michael Schrefl and Brigitte R{\"o}ck", doi = "10.1145/230538.230540", journal = "{ACM Trans. Inf. Syst.}", number = "3", pages = "268-296", title = "Extending Object-Oriented Systems with Roles", volume = "14", year = "1996", } @article{journals/apal/EiterGG96, author = "Thomas Eiter and Georg Gottlob and Yuri Gurevich", journal = "Ann. Pure Appl. Logic", number = "1-3", pages = "111-125", title = "Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems", volume = "78", year = "1996", } @article{journals/fuin/GottlobT96, author = "Georg Gottlob and Miroslaw Truszczynski", journal = "Fundam. Inform.", number = "1-2", pages = "123-128", title = "Approximating the Stable Model Semantics is Hard", volume = "28", year = "1996", } @article{journals/fuin/DixGM96, author = "J{\"u}rgen Dix and Georg Gottlob and V. Wiktor Marek", journal = "Fundam. Inform.", number = "1-2", pages = "87-100", title = "Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations", volume = "28", year = "1996", } @article{journals/jcss/EiterG96, author = "Thomas Eiter and Georg Gottlob", journal = "J. Comput. Syst. Sci.", number = "3", pages = "497-512", title = "The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions", volume = "53", year = "1996", } @article{journals/ki/EiterG96, author = "Thomas Eiter and Georg Gottlob", journal = "{KI}", number = "3", pages = "32-39", title = "M{\"a}chtigkeit von Logikprogrammierung {\"u}ber Datenbanken", volume = "10", year = "1996", } @article{journals/tcs/GottlobMNSS96, author = "Georg Gottlob and Sherry Marcus and Anil Nerode and Gernot Salzer and V. S. Subrahmanian", doi = "10.1016/0304-3975(95)00207-3", journal = "Theor. Comput. Sci.", number = "1{\&}2", pages = "221-262", title = "A Non-Ground Realization of the Stable and Well-Founded Semantics", volume = "166", year = "1996", } @proceedings{conf/icdt/95, booktitle = "ICDT", editor = "Georg Gottlob and Moshe Y. Vardi", isbn = "3-540-58907-4", publisher = "Springer", series = "Lecture Notes in Computer Science", title = "{Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings}", volume = "893", year = "1995", } @inproceedings{conf/ijcai/EiterGL95, author = "Thomas Eiter and Georg Gottlob and Nicola Leone", booktitle = "{IJCAI} (1)", pages = "870-877", title = "Semantics and Complexity of Abduction from Default Theories", year = "1995", } @inproceedings{conf/lics/Gottlob95, author = "Georg Gottlob", 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}", title = "Relativized Logspace and Generalized Quantifiers over Finite Structures", year = "1995", } @inproceedings{conf/lpnmr/EiterGL95, author = "Thomas Eiter and Georg Gottlob and Nicola Leone", 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", title = "Complexity Results for Abductive Logic Programming", volume = "928", year = "1995", } @inproceedings{conf/mfcs/GottlobLV95, author = "Georg Gottlob and Nicola Leone and Helmut Veith", 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", title = "Second Order Logic and the Weak Exponential Hierarchies", volume = "969", year = "1995", } @inproceedings{conf/sdb/GottlobKS95, author = "Georg Gottlob and Gerti Kappel and Michael Schrefl", 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", title = "The Evolving Algebra Semantics of Class and Role Hierarchies", volume = "1358", year = "1995", } @article{journals/amai/EiterG95, author = "Thomas Eiter and Georg Gottlob", journal = "Ann. Math. Artif. Intell.", number = "3-4", pages = "289-323", title = "On the Computational Cost of Disjunctive Logic Programming: Propositional Case", volume = "15", year = "1995", } @article{journals/iandc/Gottlob95, author = "Georg Gottlob", journal = "Inf. Comput.", number = "1", pages = "81-92", title = "The Complexity of Default Reasoning under the Stationary Fixed Point Semantics", volume = "121", year = "1995", } @article{journals/jacm/EiterG95, author = "Thomas Eiter and Georg Gottlob", doi = "10.1145/200836.200838", journal = "{J. ACM}", number = "1", pages = "3-42", title = "The Complexity of Logic-Based Abduction", url = "http://www.informatik.uni-trier.de/~ley/db/journals/jacm/EiterG95.html", volume = "42", year = "1995", } @article{journals/jacm/Gottlob95, author = "Georg Gottlob", doi = "10.1145/201019.201031", journal = "{J. ACM}", number = "2", pages = "421-457", title = "NP Trees and Carnap's Modal Logic", volume = "42", year = "1995", } @article{journals/jacm/Gottlob95a, author = "Georg Gottlob", doi = "10.1145/210332.210334", journal = "{J. ACM}", number = "4", pages = "711-740", title = "Translating Default Logic into Standard Autoepistemic Logic", url = "http://www.informatik.uni-trier.de/~ley/db/journals/jacm/Gottlob95a.html", volume = "42", year = "1995", } @article{journals/siamcomp/EiterG95, author = "Thomas Eiter and Georg Gottlob", journal = "{SIAM J. Comput.}", number = "6", pages = "1278-1304", title = "Identifying the Minimal Transversals of a Hypergraph and Related Problems", volume = "24", year = "1995", } @inproceedings{conf/gi/EiterGM94, author = "Thomas Eiter and Georg Gottlob and Heikki Mannila", booktitle = "{GI Jahrestagung}", pages = "69-73", title = "Disjunctive Logic Programming over Finite Structures", year = "1994", } @inproceedings{conf/iclp/DixGM94, author = "J{\"u}rgen Dix and Georg Gottlob and V. Wiktor Marek", booktitle = "{ICLP}", pages = "290-302", title = "Causal Models of Disjunctive Logic Programs", year = "1994", } @inproceedings{conf/iski/EiterGM94, author = "Thomas Eiter and Georg Gottlob and Heikki Mannila", 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", title = "Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics", volume = "777", year = "1994", } @inproceedings{conf/jelia/Gottlob94, author = "Georg Gottlob", 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", title = "From Carnap's Modal Logic to Autoepistemic Logic", volume = "838", year = "1994", } @inproceedings{conf/kr/CadoliEG94, author = "Marco Cadoli and Thomas Eiter and Georg Gottlob", booktitle = "KR", pages = "99-108", title = "Default Logic as a Query Language", year = "1994", } @inproceedings{conf/pods/EiterGM94, author = "Thomas Eiter and Georg Gottlob and Heikki Mannila", booktitle = "{Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota}", doi = "10.1145/182591.182639", isbn = "0-89791-642-5", pages = "267-278", publisher = "{ACM} Press", title = "Adding Disjunction to Datalog", url = "http://www.informatik.uni-trier.de/~ley/db/conf/pods/pods94-267.html", year = "1994", } @inproceedings{conf/slp/Gottlob94, author = "Georg Gottlob", booktitle = "SLP", pages = "23-42", title = "Complexity and Expressive Power of Disjunctive Logic Programming", year = "1994", } @article{journals/amai/FriedrichGN94, author = "Gerhard Friedrich and Georg Gottlob and Wolfgang Nejdl", journal = "Ann. Math. Artif. Intell.", number = "1-4", pages = "187-201", title = "Formalizing the Repair Process - Extended Report", volume = "11", year = "1994", } @article{journals/ai/GottlobM94, author = "Georg Gottlob and Zhang Mingyi", journal = "Artif. Intell.", number = "1-2", pages = "329-345", title = "Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity", volume = "69", year = "1994", } @inproceedings{conf/ecai/Gottlob92, author = "Georg Gottlob", 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", title = "The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic", volume = "810", year = "1994", } @proceedings{conf/kgc/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", title = "Computational Logic and Proof Theory, Third Kurt G{\"o}del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings", volume = "713", year = "1993", } @inproceedings{conf/focs/Gottlob93, author = "Georg Gottlob", booktitle = "34th Annual Symposium on Foundations of Computer Science, 3-5 November 1993, Palo Alto, California, USA", pages = "42-51", publisher = "{IEEE}", title = "NP Trees and Carnap's Modal Logic", year = "1993", } @inproceedings{conf/ijcai/EiterG93, author = "Thomas Eiter and Georg Gottlob", booktitle = "{IJCAI}", pages = "526-533", title = "The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions", year = "1993", } @inproceedings{conf/ijcai/Gottlob93, author = "Georg Gottlob", booktitle = "{IJCAI}", pages = "570-577", title = "The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic", year = "1993", } @inproceedings{conf/ijcai/EiterGG93, author = "Thomas Eiter and Georg Gottlob and Yuri Gurevich", booktitle = "{IJCAI}", pages = "634-639", title = "Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information", year = "1993", } @inproceedings{conf/slp/EiterG93, author = "Thomas Eiter and Georg Gottlob", booktitle = "{ILPS}", pages = "266-278", title = "Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics", year = "1993", } @inproceedings{conf/lpnmr/Gottlob93, author = "Georg Gottlob", booktitle = "LPNMR", pages = "265", title = "Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract)", year = "1993", } @inproceedings{conf/pods/EiterG93, author = "Thomas Eiter and Georg Gottlob", booktitle = "{Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC}", doi = "10.1145/153850.153864", isbn = "0-89791-593-3", pages = "158-167", publisher = "ACM Press", title = "Complexity Aspects of Various Semantics for Disjunctive Databases", url = "http://www.informatik.uni-trier.de/~ley/db/conf/pods/EiterG93.html", year = "1993", } @inproceedings{conf/stacs/EiterG93, author = "Thomas Eiter and Georg Gottlob", 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", title = "The Complexity of Logic-Based Abduction", volume = "665", year = "1993", } @article{journals/ai/GottlobF93, author = "Georg Gottlob and Christian G. Ferm{\"u}ller", journal = "Artif. Intell.", number = "2", pages = "263-289", title = "Removing Redundancy from a Clause", volume = "61", year = "1993", } @article{journals/tcs/EiterG93, author = "Thomas Eiter and Georg Gottlob", journal = "Theor. Comput. Sci.", number = "2", pages = "231-245", title = "{Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete}", volume = "114", year = "1993", } @proceedings{conf/edbt/92, booktitle = "EDBT", editor = "Alain Pirotte and Claude Delobel and Georg Gottlob", isbn = "3-540-55270-7", publisher = "Springer", series = "Lecture Notes in Computer Science", title = "{Advances in Database Technology - EDBT'92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings}", volume = "580", year = "1992", } @inproceedings{conf/cnkbs/EiterG92, author = "Thomas Eiter and Georg Gottlob", 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", title = "Complexity of Propositional Knowledge Base Revision", volume = "ECRC-92-2", year = "1992", } @inproceedings{conf/ecai/FriedrichGN92, author = "Gerhard Friedrich and Georg Gottlob and Wolfgang Nejdl", booktitle = "ECAI", pages = "709-713", title = "Formaiizing the Repair Process", year = "1992", } @inproceedings{conf/pods/EiterG92, author = "Thomas Eiter and Georg Gottlob", booktitle = "{Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California}", doi = "10.1145/137097.137886", isbn = "0-89791-519-4", pages = "261-273", publisher = "ACM Press", title = "On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals", url = "http://www.informatik.uni-trier.de/~ley/db/conf/pods/EiterG92.html", year = "1992", } @inproceedings{conf/iclp/EiterG92, author = "Thomas Eiter and Georg Gottlob", booktitle = "Structural Complexity and Recursion-theoretic methods in Logic-Programming", pages = "29-44", title = "Complexity Results for Logic-Based Abduction", year = "1992", } @article{journals/ai/CadoliEG92, author = "Marco Cadoli and Thomas Eiter and Georg Gottlob", journal = "Artif. Intell.", number = "2", pages = "397-410", title = "An Efficient Method for Eliminating Varying Predicates from a Circumscription", volume = "54", year = "1992", } @article{journals/ai/EiterG92, author = "Thomas Eiter and Georg Gottlob", journal = "Artif. Intell.", number = "2-3", pages = "227-270", title = "On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals", volume = "57", year = "1992", } @article{journals/dam/GottlobSS92, author = "Georg Gottlob and Michael Schrefl and Markus Stumptner", journal = "Discrete Applied Mathematics", number = "2", pages = "187-216", title = "Selective Inheritance of Attribute Values in Relational Databases", volume = "40", year = "1992", } @article{journals/fuin/EiterG92, author = "Thomas Eiter and Georg Gottlob", journal = "Fundam. Inform.", number = "1-2", pages = "31-53", title = "Reasoning with parsimonious and moderately grounded expansions", volume = "17", year = "1992", } @article{journals/logcom/Gottlob92, author = "Georg Gottlob", journal = "J. Log. Comput.", number = "3", pages = "397-425", title = "Complexity Results for Nonmonotonic Logics", volume = "2", year = "1992", } @inproceedings{conf/ogai/Gottlob91, author = "Georg Gottlob", 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", title = "On the Complexity of Clause Condensing", volume = "287", year = "1991", } @inproceedings{conf/epia/FriedrichGN91, author = "Gerhard Friedrich and Georg Gottlob and Wolfgang Nejdl", 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", title = "Towards a Theory of the Repair Process", volume = "541", year = "1991", } @proceedings{conf/ese/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", title = "{Expert Systems in Engineering, Principles and Applications, International Workshop, Vienna, Austria, September 24-26, 1990, Proceedings}", volume = "462", year = "1990", } @book{books/sp/CeriGT90, author = "Stefano Ceri and Georg Gottlob and Letizia Tanca", isbn = "3-540-51728-6", publisher = "Springer", title = "Logic Programming and Databases", year = "1990", } @inproceedings{conf/aaai/FriedrichGN90, author = "Gerhard Friedrich and Georg Gottlob and Wolfgang Nejdl", booktitle = "AAAI", pages = "331-336", title = "Physical Impossibility Instead of Fault Models", year = "1990", } @inproceedings{conf/ewdw/GottlobKS90, author = "Georg Gottlob and Gerti Kappel and Michael Schrefl", booktitle = "East/West Database Workshop", pages = "144-160", title = "Semantics of Object-Oriented Data Models - The Evolving Algebra Approach", year = "1990", } @inproceedings{conf/ese/FriedrichGN90, author = "Gerhard Friedrich and Georg Gottlob and Wolfgang Nejdl", 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", title = "Hypothesis Classification, Abductive Diagnosis and Therapy", volume = "462", year = "1990", } @article{journals/actaC/GottlobL90, author = "Georg Gottlob and Leonid Libkin", journal = "Acta Cybern.", number = "4", pages = "385-402", title = "Investigation on Armstrong relations, dependency inference, and excluded functional dependencies", volume = "9", year = "1990", } @inproceedings{conf/mfdbs/GottlobSS89, author = "Georg Gottlob and Michael Schrefl and Markus Stumptner", 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", title = "On the Interaction between Transitive Closure and Functional Dependencies", url = "http://www.informatik.uni-trier.de/~ley/db/conf/mfdbs/GottlobSS89.html", volume = "364", year = "1989", } @article{journals/tkde/CeriGT89, author = "Stefano Ceri and Georg Gottlob and Letizia Tanca", journal = "{IEEE Trans. Knowl. Data Eng.}", number = "1", pages = "146-166", title = "What you Always Wanted to Know About Datalog (And Never Dared to Ask)", url = "http://www.informatik.uni-trier.de/~ley/db/journals/tkde/CeriGT89.html", volume = "1", year = "1989", } @article{journals/tse/CeriGW89, author = "Stefano Ceri and Georg Gottlob and Gio Wiederhold", journal = "{IEEE Trans. Software Eng.}", number = "2", pages = "153-164", title = "Efficient Database Access from Prolog", url = "http://www.computer.org/tse/ts1989/e0153abs.htm", volume = "15", year = "1989", } @article{journals/ipl/CeriGTW89, author = "Stefano Ceri and Georg Gottlob and Letizia Tanca and Gio Wiederhold", journal = "Inf. Process. Lett.", number = "2", pages = "97-107", title = "Magic Semi-Joins", volume = "33", year = "1989", } @inproceedings{conf/edbt/CeriCGLLTZ88, author = "Stefano Ceri and Stefano Crespi-Reghizzi and Georg Gottlob and F. Lamperti and Luigi Lavazza and Letizia Tanca and Roberto Zicari", 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", title = "The Algres Project", url = "http://www.informatik.uni-trier.de/~ley/db/conf/edbt/CeriCGLLTZ88.html", volume = "303", year = "1988", } @inproceedings{conf/vldb/GottlobZ88, author = "Georg Gottlob and Roberto Zicari", 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", title = "Closed World Databases Opened Through Null Values", url = "http://www.informatik.uni-trier.de/~ley/db/conf/vldb/GottlobZ88.html", year = "1988", } @article{journals/tods/GottlobPZ88, author = "Georg Gottlob and Paolo Paolini and Roberto Zicari", doi = "10.1145/49346.50068", journal = "ACM Trans. Database Syst.", number = "4", pages = "486-524", title = "Properties and Update Semantics of Consistent Views", url = "http://www.informatik.uni-trier.de/~ley/db/journals/tods/GottlobPZ88.html", volume = "13", year = "1988", } @inproceedings{conf/pods/Gottlob87, author = "Georg Gottlob", booktitle = "{Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California}", doi = "10.1145/28659.28665", isbn = "0-89791-223-3", pages = "58-69", publisher = "ACM", title = "Computing Covers for Embedded Functional Dependencies", url = "http://www.informatik.uni-trier.de/~ley/db/conf/pods/Gottlob87.html", year = "1987", } @article{journals/ipl/Gottlob87, author = "Georg Gottlob", journal = "Inf. Process. Lett.", number = "2", pages = "109-111", title = "Subsumption and Implication", volume = "24", year = "1987", } @article{journals/ipl/Gottlob87a, author = "Georg Gottlob", journal = "Inf. Process. Lett.", number = "6", pages = "355-360", title = "On the Size of Nonredundant FD-Covers", volume = "24", year = "1987", } @inproceedings{conf/eds/CeriGW86, author = "Stefano Ceri and Georg Gottlob and Gio Wiederhold", booktitle = "Expert Database Conf.", pages = "207-223", title = "Interfacing Relational Databases and Prolog Efficiently", year = "1986", } @inproceedings{conf/vldb/CeriGL86, author = "Stefano Ceri and Georg Gottlob and Luigi Lavazza", 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", title = "Translation and Optimization of Logic Queries: The Algebraic Approach", url = "http://www.informatik.uni-trier.de/~ley/db/conf/vldb/CeriGL86.html", year = "1986", } @article{journals/cacm/CeriG86, author = "Stefano Ceri and Georg Gottlob", journal = "Commun. {ACM}", number = "6", pages = "524-544", title = "Normalization of Relations and PROLOG", url = "http://www.informatik.uni-trier.de/~ley/db/journals/cacm/CeriG86.html", volume = "29", year = "1986", } @article{journals/is/CeriGP86, author = "Stefano Ceri and Georg Gottlob and Giuseppe Pelagatti", journal = "Inf. Syst.", number = "1", pages = "25-40", title = "Taxonomy and formal properties of distributed joins", volume = "11", year = "1986", } @article{journals/jpdc/CeriG86, author = "Stefano Ceri and Georg Gottlob", journal = "J. Parallel Distrib. Comput.", number = "2", pages = "183-205", title = "Optimizing Joins between Two Partitioned Relations in Distributed Databases", volume = "3", year = "1986", } @inproceedings{conf/eurocal/GottlobL85, author = "Georg Gottlob and Alexander Leitsch", 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", title = "Fast Subsumption Algorithms", volume = "204", year = "1985", } @article{journals/tse/CeriG85, author = "Stefano Ceri and Georg Gottlob", journal = "{IEEE Trans. Software Eng.}", number = "4", pages = "324-345", title = "Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries", volume = "11", year = "1985", } @article{journals/jacm/GottlobL85, author = "Georg Gottlob and Alexander Leitsch", journal = "J. {ACM}", number = "2", pages = "280-295", title = "On the Efficiency of Subsumption Algorithms", url = "http://doi.acm.org/10.1145/3149.214118", volume = "32", year = "1985", } @inproceedings{conf/ddss/CopelliG84, author = "S. Copelli and Georg Gottlob", booktitle = "{DDSS}", pages = "203-219", title = "Implementation of a Distributed File System on a Geographic Network of Personal Computers", year = "1984", } @inproceedings{conf/xp/CeriGP83, author = "Stefano Ceri and Georg Gottlob and Giuseppe Pelagatti", booktitle = "{XP4.5 Workshop on Database Theory, 1983 Palo Alto, California, USA}", title = "Joining Fragmented Relations in Distributed Databases", url = "http://www.informatik.uni-trier.de/~ley/db/conf/xp/CeriGP83.html", year = "1983", }