Georg Gottlob : Publications
|
[1] |
A general Datalog−based framework for tractable query answering over ontologies Andrea Calì‚ Georg Gottlob and Thomas Lukasiewicz No. RR−10−21. OUCL. March, 2012. |
|
[2] |
A general Datalog−based framework for tractable query answering over ontologies Andrea Calì‚ Georg Gottlob and Thomas Lukasiewicz In Journal of Web Semantics. 2012. In press. |
|
[3] |
Equality−Friendly Well−Founded Semantics and Applications to Description Logics Georg Gottlob‚ André Hernich‚ Clemens Kupke and Thomas Lukasiewicz In J. Hoffmann and B. Selman, editors, Proceedings of the 26th National Conference on Artificial Intelligence (AAAI 2012)‚ Toronto‚ Ontario‚ Canada‚ July 2012. AAAI Press. 2012. |
|
[4] |
Semantic Web search based on ontological conjunctive queries Bettina Fazzinga‚ Giorgio Gianforme‚ Georg Gottlob and Thomas Lukasiewicz In Journal of Web Semantics. Vol. 9. Pages 453−473. December, 2011. |
|
[5] |
Semantic Web search based on ontological conjunctive queries Bettina Fazzinga‚ Giorgio Gianforme‚ Georg Gottlob and Thomas Lukasiewicz No. RR−11−08. DCS. October, 2011. |
|
[6] |
On Minimal Constraint Networks Georg Gottlob In Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming‚ CP 2011. Perugia‚ Italy. 2011. |
|
[7] |
Introducing LoCo‚ a Logic for Configuration Problems Markus Aschinger‚ Conrad Drescher and Georg Gottlob In Proceedings of the 2nd Workshop on Logics for Component Configuration‚ LoCoCo 2011. Perugia‚ Italy. 2011. |
|
[8] |
Tackling the Partner Units Configuration Problem Markus Aschinger‚ Conrad Drescher‚ Georg Gottlob‚ Peter Jeavons and Evgenij Thorstensen In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). Barcelona‚ Spain. 2011. |
|
[9] |
Optimization Methods for the Partner Units Problem Markus Aschinger‚ Conrad Drescher‚ Gerhard Friedrich‚ Georg Gottlob‚ Peter Jeavons‚ Anna Ryabokon and Evgenij Thorstensen In Proceedings of the 8th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2011). Berlin‚ Germany. 2011. |
|
[10] |
Structural Decomposition Methods‚ and What They are Good For Markus Aschinger‚ Conrad Drescher‚ Georg Gottlob‚ Peter Jeavons and Evgenij Thorstensen 2011. Invited Paper at STACS 2011 |
|
[11] |
Datalog+/−: A family of logical knowledge representation and query languages for new applications Andrea Calì‚ Georg Gottlob‚ Thomas Lukasiewicz‚ Bruno Marnette and Andreas Pieris In Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)‚ Edinburgh‚ UK‚ July 2010. Pages 228–242. IEEE Computer Society. 2010. |
|
[12] |
Tackling the Partner Units Configuration Problem Markus Aschinger‚ Conrad Drescher‚ Gerhard Friedrich‚ Georg Gottlob‚ Peter Jeavons‚ Anna Ryabokon and Evgenij Thorstensen No. CS−RR−10−28. Computing Laboratory‚ University of Oxford. 2010. |
|
[13] |
A Backtracking−Based Algorithm for Computing Hypertree−Decompositions Georg Gottlob and Marko Samer In CoRR. Vol. abs/cs/0701083. 2007. |
|
[14] |
Hypertree width and related hypergraph invariants Isolde Adler‚ Georg Gottlob and Martin Grohe In Eur. J. Comb.. Vol. 28. No. 8. Pages 2167−2181. 2007. |
|
[15] |
A logical approach to multicut problems Georg Gottlob and Stephanie Tien Lee In Inf. Process. Lett.. Vol. 103. No. 4. Pages 136−141. 2007. |
|
[16] |
Efficient Datalog Abduction through Bounded Treewidth Georg Gottlob‚ Reinhard Pichler and Fang Wei In Proceedings of the Twenty−Second AAAI Conference on Artificial Intelligence‚ July 22−26‚ 2007‚ Vancouver‚ British Columbia‚ Canada. Pages 1626−1631. AAAI Press. 2007. |
|
[17] |
On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition Georg Gottlob and Gianluigi Greco In Jeffrey K. MacKie−Mason‚ David C. Parkes and Paul Resnick, editors, Proceedings 8th ACM Conference on Electronic Commerce (EC−2007)‚ San Diego‚ California‚ USA‚ June 11−15‚ 2007. Pages 152−161. ACM. 2007. |
|
[18] |
The Lixto Systems Applications in Business Intelligence and Semantic Web Robert Baumgartner‚ Oliver Frölich and Georg Gottlob In Enrico Franconi‚ Michael Kifer and Wolfgang May, editors, The Semantic Web: Research and Applications‚ 4th European Semantic Web Conference‚ ESWC 2007‚ Innsbruck‚ Austria‚ June 3−7‚ 2007‚ Proceedings. Vol. 4519 of Lecture Notes in Computer Science. Pages 16−26. Springer. 2007. |
|
[19] |
Complexity of Pure Equilibria in Bayesian Games Georg Gottlob‚ Gianluigi Greco and Toni Mancini In Manuela M. Veloso, editor, IJCAI 2007‚ Proceedings of the 20th International Joint Conference on Artificial Intelligence‚ Hyderabad‚ India‚ January 6−12‚ 2007. Pages 1294−1299. 2007. |
|
[20] |
Conditional Constraint Satisfaction: Logical Foundations and Complexity Georg Gottlob‚ Gianluigi Greco and Toni Mancini In Manuela M. Veloso, editor, IJCAI 2007‚ Proceedings of the 20th International Joint Conference on Artificial Intelligence‚ Hyderabad‚ India‚ January 6−12‚ 2007. Pages 88−93. 2007. |
|
[21] |
Generalized hypertree decompositions: np−hardness and tractable variants Georg Gottlob‚ Zoltán Miklós and Thomas Schwentick In Leonid Libkin, editor, Proceedings of the Twenty−Sixth ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ June 11−13‚ 2007‚ Beijing‚ China. Pages 13−22. ACM. 2007. |
|
[22] |
Monadic datalog over finite structures with bounded treewidth Georg Gottlob‚ Reinhard Pichler and Fang Wei In Leonid Libkin, editor, Proceedings of the Twenty−Sixth ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ June 11−13‚ 2007‚ Beijing‚ China. Pages 165−174. ACM. 2007. |
|
[23] |
Foundations of Rule−Based Query Answering François Bry‚ Norbert Eisinger‚ Thomas Eiter‚ Tim Furche‚ Georg Gottlob‚ Clemens Ley‚ Benedikt Linse‚ Reinhard Pichler and Fang Wei In Grigoris Antoniou‚ Uwe Aßmann‚ Cristina Baroglio‚ Stefan Decker‚ Nicola Henze‚ Paula−Lavinia Patranjan and Robert Tolksdorf, editors, Reasoning Web. Vol. 4636 of Lecture Notes in Computer Science. Pages 1−153. Springer. 2007. |
|
[24] |
The DLV system for knowledge representation and reasoning Nicola Leone‚ Gerald Pfeifer‚ Wolfgang Faber‚ Thomas Eiter‚ Georg Gottlob‚ Simona Perri and Francesco Scarcello In ACM Trans. Comput. Log.. Vol. 7. No. 3. Pages 499−562. 2006. |
|
[25] |
Conjunctive Queries over Trees Georg Gottlob‚ Christoph Koch and Klaus U. Schulz In CoRR. Vol. abs/cs/0602004. 2006. |
|
[26] |
Conjunctive queries over trees Georg Gottlob‚ Christoph Koch and Klaus U. Schulz In J. ACM. Vol. 53. No. 2. Pages 238−272. 2006. |
|
[27] |
Reasoning under minimal upper bounds in propositional logic Thomas Eiter and Georg Gottlob In Theor. Comput. Sci.. Vol. 369. No. 1−3. Pages 82−115. 2006. |
|
[28] |
Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning Georg Gottlob‚ Reinhard Pichler and Fang Wei In 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. AAAI Press. 2006. |
|
[29] |
The Lixto Project: Exploring New Frontiers of Web Data Extraction Julien Carme‚ Michal Ceresna‚ Oliver Frölich‚ Georg Gottlob‚ Tamir Hassan‚ Marcus Herzog‚ Wolfgang Holzinger and Bernhard Krüpl In BNCOD. Pages 1−15. 2006. |
|
[30] |
Tractable database design through bounded treewidth Georg Gottlob‚ Reinhard Pichler and Fang Wei In Stijn Vansummeren, editor, Proceedings of the Twenty−Fifth ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ June 26−28‚ 2006‚ Chicago‚ Illinois‚ Maryland‚ USA. Pages 124−133. ACM. 2006. |
|
[31] |
Data exchange: computing cores in polynomial time Georg Gottlob and Alan Nash In Stijn Vansummeren, editor, Proceedings of the Twenty−Fifth ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ June 26−28‚ 2006‚ Chicago‚ Illinois‚ Maryland‚ USA. Pages 40−49. ACM. 2006. |
|
[32] |
RDF Querying: Language Constructs and Evaluation Methods Compared Tim Furche‚ Benedikt Linse‚ François Bry‚ Dimitris Plexousakis and Georg Gottlob In Pedro Barahona‚ François Bry‚ Enrico Franconi‚ Nicola Henze and Ulrike Sattler, editors, Reasoning Web‚ Second International Summer School 2006‚ Lisbon‚ Portugal‚ September 4−8‚ 2006‚ Tutorial Lectures. Vol. 4126 of Lecture Notes in Computer Science. Pages 1−52. Springer. 2006. |
|
[33] |
A Formal Comparison of Visual Web Wrapper Generators Georg Gottlob and Christoph Koch In Jirí Wiedermann‚ Gerard Tel‚ Jaroslav Pokorný‚ Mária Bieliková and Julius Stuller, editors, SOFSEM 2006: Theory and Practice of Computer Science‚ 32nd Conference on Current Trends in Theory and Practice of Computer Science‚ Merín‚ Czech Republic‚ January 21−27‚ 2006‚ Proceedings. Vol. 3831 of Lecture Notes in Computer Science. Pages 30−48. Springer. 2006. |
|
[34] |
Complexity of propositional nested circumscription and nested abnormality theories Marco Cadoli‚ Thomas Eiter and Georg Gottlob In ACM Trans. Comput. Log.. Vol. 6. No. 2. Pages 232−272. 2005. |
|
[35] |
Efficient algorithms for processing XPath queries Georg Gottlob‚ Christoph Koch and Reinhard Pichler In ACM Trans. Database Syst.. Vol. 30. No. 2. Pages 444−491. 2005. |
|
[36] |
The complexity of XPath query evaluation and XML typing Georg Gottlob‚ Christoph Koch‚ Reinhard Pichler and Luc Segoufin In J. ACM. Vol. 52. No. 2. Pages 284−335. 2005. |
|
[37] |
Pure Nash Equilibria: Hard and Easy Games Georg Gottlob‚ Gianluigi Greco and Francesco Scarcello In J. Artif. Intell. Res. (JAIR). Vol. 24. Pages 357−406. 2005. |
|
[38] |
Web Data Extraction for Business Intelligence: The Lixto Approach Georg Gottlob In Gottfried Vossen‚ Frank Leymann‚ Peter C. Lockemann and Wolffried Stucky, editors, Datenbanksysteme in Business‚ Technologie und Web‚ 11. Fachtagung des GI−Fachbereichs "Datenbanken und Informationssysteme" (DBIS)‚ Karlsruhe‚ 2.−4. März 2005. Vol. 65 of LNI. Pages 30−47. GI. 2005. |
|
[39] |
Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic Riccardo Rosati and Georg Gottlob In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, IJCAI−05‚ Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence‚ Edinburgh‚ Scotland‚ UK‚ July 30−August 5‚ 2005. Pages 1378−1383. Professional Book Center. 2005. |
|
[40] |
The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions Georg Gottlob‚ Gianluigi Greco and Francesco Scarcello In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, IJCAI−05‚ Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence‚ Edinburgh‚ Scotland‚ UK‚ July 30−August 5‚ 2005. Pages 150−155. Professional Book Center. 2005. |
|
[41] |
The Personal Publication Reader Fabian Abel‚ Robert Baumgartner‚ Adrian Brooks‚ Christian Enzi‚ Georg Gottlob‚ Nicola Henze‚ Marcus Herzog‚ Matthias Kriesell‚ Wolfgang Nejdl and Kai Tomaschewski In Yolanda Gil‚ Enrico Motta‚ V. Richard Benjamins and Mark A. Musen, editors, The Semantic Web − ISWC 2005‚ 4th International Semantic Web Conference‚ ISWC 2005‚ Galway‚ Ireland‚ November 6−10‚ 2005‚ Proceedings. Vol. 3729 of Lecture Notes in Computer Science. Pages 1050−1053. Springer. 2005. |
|
[42] |
Data Integration: a Challenging ASP Application Nicola Leone‚ Thomas Eiter‚ Wolfgang Faber‚ Michael Fink‚ Georg Gottlob‚ Luigi Granata‚ Gianluigi Greco‚ Edyta Kalka‚ Giovambattista Ianni‚ Domenico Lembo‚ Maurizio Lenzerini‚ Vincenzino Lio‚ Bartosz Nowicki‚ Riccardo Rosati‚ Marco Ruzzi‚ Witold Staniszkis and Giorgio Terracina In Chitta Baral‚ Gianluigi Greco‚ Nicola Leone and Giorgio Terracina, editors, Logic Programming and Nonmonotonic Reasoning‚ 8th International Conference‚ LPNMR 2005‚ Diamante‚ Italy‚ September 5−8‚ 2005‚ Proceedings. Vol. 3662 of Lecture Notes in Computer Science. Pages 379−383. Springer. 2005. |
|
[43] |
Computing cores for data exchange: new algorithms and practical solutions Georg Gottlob In Chen Li, editor, Proceedings of the Twenty−fourth ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ June 13−15‚ 2005‚ Baltimore‚ Maryland‚ USA. Pages 148−159. ACM. 2005. |
|
[44] |
Information Extraction for the Semantic Web Robert Baumgartner‚ Thomas Eiter‚ Georg Gottlob‚ Marcus Herzog and Christoph Koch In Norbert Eisinger and Jan Maluszynski, editors, Reasoning Web‚ First International Summer School 2005‚ Msida‚ Malta‚ July 25−29‚ 2005‚ Tutorial Lectures. Vol. 3564 of Lecture Notes in Computer Science. Pages 275−289. Springer. 2005. |
|
[45] |
Boosting Information Integration: The INFOMIX System Nicola Leone‚ Thomas Eiter‚ Wolfgang Faber‚ Michael Fink‚ Georg Gottlob and Gianluigi Greco In Andrea Calì‚ Diego Calvanese‚ Enrico Franconi‚ Maurizio Lenzerini and Letizia Tanca, editors, Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems‚ SEBD 2005‚ Brixen−Bressanone (near Bozen−Bolzano)‚ Italy‚ June 19−22‚ 2005. Pages 55−66. 2005. |
|
[46] |
The INFOMIX system for advanced integration of incomplete and inconsistent data Nicola Leone‚ Gianluigi Greco‚ Giovambattista Ianni‚ Vincenzino Lio‚ Giorgio Terracina‚ Thomas Eiter‚ Wolfgang Faber‚ Michael Fink‚ Georg Gottlob‚ Riccardo Rosati‚ Domenico Lembo‚ Maurizio Lenzerini‚ Marco Ruzzi‚ Edyta Kalka‚ Bartosz Nowicki and Witold Staniszkis In Fatma Özcan, editor, Proceedings of the ACM SIGMOD International Conference on Management of Data‚ Baltimore‚ Maryland‚ USA‚ June 14−16‚ 2005. Pages 915−917. ACM. 2005. |
|
[47] |
Hypertree Decompositions: Structure‚ Algorithms‚ and Applications Georg Gottlob‚ Martin Grohe‚ Nysret Musliu‚ Marko Samer and Francesco Scarcello In Dieter Kratsch, editor, Graph−Theoretic Concepts in Computer Science‚ 31st International Workshop‚ WG 2005‚ Metz‚ France‚ June 23−25‚ 2005‚ Revised Selected Papers. Vol. 3787 of Lecture Notes in Computer Science. Pages 1−15. Springer. 2005. |
|
[48] |
Integrating Semi−structured Data into Business Applications: A Web Intelligence Example Robert Baumgartner‚ Oliver Frölich‚ Georg Gottlob‚ Marcus Herzog and Peter Lehmann In Klaus−Dieter Althoff‚ Andreas Dengel‚ Ralph Bergmann‚ Markus Nick and Thomas Roth−Berghofer, editors, Professional Knowledge Management‚ Third Biennial Conference‚ WM 2005‚ Kaiserslautern‚ Germany‚ April 10−13‚ 2005‚ Revised Selected Papers. Vol. 3782 of Lecture Notes in Computer Science. Pages 469−482. Springer. 2005. |
|
[49] |
Monadic datalog and the expressive power of languages for Web information extraction Georg Gottlob and Christoph Koch In J. ACM. Vol. 51. No. 1. Pages 74−113. 2004. |
|
[50] |
Existential second−order logic over graphs: Charting the tractability frontier Georg Gottlob‚ Phokion G. Kolaitis and Thomas Schwentick In J. ACM. Vol. 51. No. 2. Pages 312−362. 2004. |
|
[51] |
Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width Georg Gottlob and Reinhard Pichler In SIAM J. Comput.. Vol. 33. No. 2. Pages 351−378. 2004. |
|
[52] |
Logic−based Web Information Extraction Georg Gottlob and Christoph Koch In SIGMOD Record. Vol. 33. No. 2. Pages 87−94. 2004. |
|
[53] |
2nd International Workshop on Complexity in Automated Deduction (CiAD) − Foreword Georg Gottlob‚ Miki Hermann and Michaël Rusinowitch In Theory Comput. Syst.. Vol. 37. No. 6. Pages 639−640. 2004. Details | BibTeX | DOI (http://dx.doi.org/10.1007/s00224-004-3706-1) |
|
[54] |
Hypergraph Transversals Georg Gottlob In Dietmar Seipel and Jose Maria Turull Torres, editors, Foundations of Information and Knowledge Systems‚ Third International Symposium‚ FoIKS 2004‚ Wilhelminenburg Castle‚ Austria‚ February 17−20‚ 2004‚ Proceedings. Vol. 2942 of Lecture Notes in Computer Science. Pages 1−5. Springer. 2004. |
|
[55] |
Second−Order Logic over Finite Structures − Report on a Research Programme Georg Gottlob In David A. Basin and Michaël Rusinowitch, editors, Automated Reasoning − Second International Joint Conference‚ IJCAR 2004‚ Cork‚ Ireland‚ July 4−8‚ 2004‚ Proceedings. Vol. 3097 of Lecture Notes in Computer Science. Pages 229−243. Springer. 2004. |
|
[56] |
The Lixto Data Extraction Project − Back and Forth between Theory and Practice Georg Gottlob‚ Christoph Koch‚ Robert Baumgartner‚ Marcus Herzog and Sergio Flesca In Alin Deutsch, editor, Proceedings of the Twenty−third ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ June 14−16‚ 2004‚ Paris‚ France. Pages 1−12. ACM. 2004. |
|
[57] |
Conjunctive Queries over Trees Georg Gottlob‚ Christoph Koch and Klaus U. Schulz In Alin Deutsch, editor, Proceedings of the Twenty−third ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ June 14−16‚ 2004‚ Paris‚ France. Pages 189−200. ACM. 2004. |
|
[58] |
Interactively Adding Web Service Interfaces to Existing Web Applications Robert Baumgartner‚ Georg Gottlob‚ Marcus Herzog and Wolfgang Slany In 2004 Symposium on Applications and the Internet (SAINT 2004)‚ 26−30 January 2004‚ Tokyo‚ Japan. Pages 74−80. IEEE Computer Society. 2004. |
|
[59] |
Advances in Databases and Information Systems‚ 8th East European Conference‚ ADBIS 2004‚ Budapest‚ Hungary‚ September 22−25‚ 2004‚ Proceesing Georg Gottlob‚ András A. Benczúr and János Demetrovics, editors Georg Gottlob‚ András A. Benczúr and János Demetrovics, editors |
|
[60] |
A Formal Comparison of Visual Web Wrapper Generators Georg Gottlob and Christoph Koch In CoRR. Vol. cs.DB/0310012. 2003. |
|
[61] |
On the complexity of single−rule datalog queries Georg Gottlob and Christos H. Papadimitriou In Inf. Comput.. Vol. 183. No. 1. Pages 104−122. 2003. |
|
[62] |
Guest Editor's Foreword Georg Gottlob In J. Comput. Syst. Sci.. Vol. 66. No. 1. Pages 1. 2003. |
|
[63] |
Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width Georg Gottlob‚ Nicola Leone and Francesco Scarcello In J. Comput. Syst. Sci.. Vol. 66. No. 4. Pages 775−808. 2003. |
|
[64] |
New Results on Monotone Dualization and Generating Hypergraph Transversals Thomas Eiter‚ Georg Gottlob and Kazuhisa Makino In SIAM J. Comput.. Vol. 32. No. 2. Pages 514−537. 2003. |
|
[65] |
XPath Processing in a Nutshell Georg Gottlob‚ Christoph Koch and Reinhard Pichler In SIGMOD Record. Vol. 32. No. 1. Pages 12−19. 2003. |
|
[66] |
XPath processing in a nutshell Georg Gottlob‚ Christoph Koch and Reinhard Pichler In SIGMOD Record. Vol. 32. No. 2. Pages 21−27. 2003. |
|
[67] |
XPath Query Processing Georg Gottlob and Christoph Koch In Georg Lausen and Dan Suciu, editors, Database Programming Languages‚ 9th International Workshop‚ DBPL 2003‚ Potsdam‚ Germany‚ September 6−8‚ 2003‚ Revised Papers. Vol. 2921 of Lecture Notes in Computer Science. Pages 20. Springer. 2003. |
|
[68] |
XPath Query Evaluation: Improving Time and Space Efficiency Georg Gottlob‚ Christoph Koch and Reinhard Pichler In Umeshwar Dayal‚ Krithi Ramamritham and T. M. Vijayaraman, editors, Proceedings of the 19th International Conference on Data Engineering‚ March 5−8‚ 2003‚ Bangalore‚ India. Pages 379−390. IEEE Computer Society. 2003. |
|
[69] |
Web Information Acquisition with Lixto Suite Robert Baumgartner‚ Michal Ceresna‚ Georg Gottlob‚ Marcus Herzog and Viktor Zigo In Umeshwar Dayal‚ Krithi Ramamritham and T. M. Vijayaraman, editors, Proceedings of the 19th International Conference on Data Engineering‚ March 5−8‚ 2003‚ Bangalore‚ India. Pages 747−749. IEEE Computer Society. 2003. |
|
[70] |
Visual Programming of Web Data Aggregation Applications Robert Baumgartner‚ Georg Gottlob and Marcus Herzog In Subbarao Kambhampati and Craig A. Knoblock, editors, Proceedings of IJCAI−03 Workshop on Information Integration on the Web (IIWeb−03)‚ August 9−10‚ 2003‚ Acapulco‚ Mexico. Pages 137−142. 2003. Details | BibTeX | DOI (http://www.isi.edu/info-agents/workshops/ijcai03/papers/Herzog-ijcai03-herzog.pdf) |
|
[71] |
The complexity of XPath query evaluation Georg Gottlob‚ Christoph Koch and Reinhard Pichler In Proceedings of the Twenty−Second ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ June 9−12‚ 2003‚ San Diego‚ CA‚ USA. Pages 179−190. ACM. 2003. |
|
[72] |
Pure Nash equilibria: hard and easy games Georg Gottlob‚ Gianluigi Greco and Francesco Scarcello In Joseph Y. Halpern and Moshe Tennenholtz, editors, Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK−2003)‚ Bloomington‚ Indiana‚ USA‚ June 20−22‚ 2003. Pages 215−230. ACM. 2003. |
|
[73] |
IJCAI−03‚ Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence‚ Acapulco‚ Mexico‚ August 9−15‚ 2003 Georg Gottlob and Toby Walsh, editors Georg Gottlob and Toby Walsh, editors |
|
[74] |
Datalog LITE: a deductive query language with linear time model checking Georg Gottlob‚ Erich Grädel and Helmut Veith In ACM Trans. Comput. Log.. Vol. 3. No. 1. Pages 42−79. 2002. |
|
[75] |
Fixed−parameter complexity in AI and nonmonotonic reasoning Georg Gottlob‚ Francesco Scarcello and Martha Sideri In Artif. Intell.. Vol. 138. No. 1−2. Pages 55−86. 2002. |
|
[76] |
Complexity of Nested Circumscription and Nested Abnormality Theories Marco Cadoli‚ Thomas Eiter and Georg Gottlob In CoRR. Vol. cs.AI/0207072. 2002. |
|
[77] |
The DLV System for Knowledge Representation and Reasoning Nicola Leone‚ Gerald Pfeifer‚ Wolfgang Faber‚ Thomas Eiter‚ Georg Gottlob‚ Simona Perri and Francesco Scarcello In CoRR. Vol. cs.AI/0211004. 2002. |
|
[78] |
Monadic Datalog and the Expressive Power of Languages for Web Information Extraction Georg Gottlob and Christoph Koch In CoRR. Vol. cs.DB/0211020. 2002. |
|
[79] |
New Results on Monotone Dualization and Generating Hypergraph Transversals Thomas Eiter‚ Georg Gottlob and Kazuhisa Makino In CoRR. Vol. cs.DS/0204009. 2002. |
|
[80] |
Hypertree Decompositions and Tractable Queries Georg Gottlob‚ Nicola Leone and Francesco Scarcello In J. Comput. Syst. Sci.. Vol. 64. No. 3. Pages 579−627. 2002. |
|
[81] |
Computing LOGCFL certificates Georg Gottlob‚ Nicola Leone and Francesco Scarcello In Theor. Comput. Sci.. Vol. 270. No. 1−2. Pages 761−777. 2002. |
|
[82] |
Propositional default logics made easier: computational complexity of model checking Robert Baumgartner and Georg Gottlob In Theor. Comput. Sci.. Vol. 289. No. 1. Pages 591−627. 2002. |
|
[83] |
Multiagent Compromises‚ Joint Fixpoints‚ and Stable Models Francesco Buccafurri and Georg Gottlob In Antonis C. Kakas and Fariba Sadri, editors, Computational Logic: Logic Programming and Beyond‚ Essays in Honour of Robert A. Kowalski‚ Part I. Vol. 2407 of Lecture Notes in Computer Science. Pages 561−585. Springer. 2002. |
|
[84] |
Combining hypertree‚ bicomp‚ and hinge decomposition Georg Gottlob‚ Martin Hutle and Franz Wotawa In Frank van Harmelen, editor, Proceedings of the 15th Eureopean Conference on Artificial Intelligence‚ ECAI'2002‚ Lyon‚ France‚ July 2002. Pages 161−165. IOS Press. 2002. |
|
[85] |
The DLV System Nicola Leone‚ Gerald Pfeifer‚ Wolfgang Faber‚ Francesco Calimeri‚ Tina Dell'Armi‚ Thomas Eiter‚ Georg Gottlob‚ Giovambattista Ianni‚ Giuseppe Ielpa‚ Christoph Koch‚ Simona Perri and Axel Polleres In Sergio Flesca‚ Sergio Greco‚ Nicola Leone and Giovambattista Ianni, editors, Logics in Artificial Intelligence‚ European Conference‚ JELIA 2002‚ Cosenza‚ Italy‚ September‚ 23−26‚ Proceedings. Vol. 2424 of Lecture Notes in Computer Science. Pages 537−540. Springer. 2002. |
|
[86] |
Hypergraph Transversal Computation and Related Problems in Logic and AI Thomas Eiter and Georg Gottlob In Sergio Flesca‚ Sergio Greco‚ Nicola Leone and Giovambattista Ianni, editors, Logics in Artificial Intelligence‚ European Conference‚ JELIA 2002‚ Cosenza‚ Italy‚ September‚ 23−26‚ Proceedings. Vol. 2424 of Lecture Notes in Computer Science. Pages 549−564. Springer. 2002. |
|
[87] |
Monadic Queries over Tree−Structured Data Georg Gottlob and Christoph Koch In 17th IEEE Symposium on Logic in Computer Science (LICS 2002)‚ 22−25 July 2002‚ Copenhagen‚ Denmark‚ Proceedings. Pages 189−202. IEEE Computer Society. 2002. |
|
[88] |
Visual Data Extraction Through Visual Logic Programming Georg Gottlob In Salem Benferhat and Enrico Giunchiglia, editors, 9th International Workshop on Non−Monotonic Reasoning (NMR 2002)‚ April 19−21‚ Toulouse‚ France‚ Proceedings. Pages 4. 2002. |
|
[89] |
Monadic Datalog and the Expressive Power of Languages for Web Information Extraction Georg Gottlob and Christoph Koch In Lucian Popa, editor, Proceedings of the Twenty−first ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ June 3−5‚ Madison‚ Wisconsin‚ USA. Pages 17−28. ACM. 2002. |
|
[90] |
New results on monotone dualization and generating hypergraph transversals Thomas Eiter‚ Georg Gottlob and Kazuhisa Makino In STOC. Pages 14−22. 2002. |
|
[91] |
Efficient Algorithms for Processing XPath Queries Georg Gottlob‚ Christoph Koch and Reinhard Pichler In VLDB 2002‚ Proceedings of 28th International Conference on Very Large Data Bases‚ August 20−23‚ 2002‚ Hong Kong‚ China. Pages 95−106. Morgan Kaufmann. 2002. |
|
[92] |
Complexity and expressive power of logic programming Evgeny Dantsin‚ Thomas Eiter‚ Georg Gottlob and Andrei Voronkov In ACM Comput. Surv.. Vol. 33. No. 3. Pages 374−425. 2001. |
|
[93] |
Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models Georg Gottlob and Reinhard Pichler In Inf. Comput.. Vol. 165. No. 2. Pages 183−207. 2001. |
|
[94] |
The complexity of acyclic conjunctive queries Georg Gottlob‚ Nicola Leone and Francesco Scarcello In J. ACM. Vol. 48. No. 3. Pages 431−498. 2001. |
|
[95] |
On ACTL Formulas Having Linear Counterexamples Francesco Buccafurri‚ Thomas Eiter‚ Georg Gottlob and Nicola Leone In J. Comput. Syst. Sci.. Vol. 62. No. 3. Pages 463−515. 2001. |
|
[96] |
Second−Order Logic over Strings: Regular and Non−regular Fragments Thomas Eiter‚ Georg Gottlob and Thomas Schwentick In Werner Kuich‚ Grzegorz Rozenberg and Arto Salomaa, editors, Developments in Language Theory‚ 5th International Conference‚ DLT 2001‚ Vienna‚ Austria‚ July 16−21‚ 2001‚ Revised Papers. Vol. 2295 of Lecture Notes in Computer Science. Pages 37−56. Springer. 2001. |
|
[97] |
Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width Georg Gottlob and Reinhard Pichler In Fernando Orejas‚ Paul G. Spirakis and Jan van Leeuwen, editors, Automata‚ Languages and Programming‚ 28th International Colloquium‚ ICALP 2001‚ Crete‚ Greece‚ July 8−12‚ 2001‚ Proceedings. Vol. 2076 of Lecture Notes in Computer Science. Pages 708−719. Springer. 2001. |
|
[98] |
Complexity of Nested Circumscription and Abnormality Theories Marco Cadoli‚ Thomas Eiter and Georg Gottlob In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence‚ IJCAI 2001‚ Seattle‚ Washington‚ USA‚ August 4−10‚ 2001. Pages 169−174. Morgan Kaufmann. 2001. |
|
[99] |
The Elog Web Extraction Language Robert Baumgartner‚ Sergio Flesca and Georg Gottlob In Robert Nieuwenhuis and Andrei Voronkov, editors, Logic for Programming‚ Artificial Intelligence‚ and Reasoning‚ 8th International Conference‚ LPAR 2001‚ Havana‚ Cuba‚ December 3−7‚ 2001‚ Proceedings. Vol. 2250 of Lecture Notes in Computer Science. Pages 548−560. Springer. 2001. |
|
[100] |
Declarative Information Extraction‚ Web Crawling‚ and Recursive Wrapping with Lixto Robert Baumgartner‚ Sergio Flesca and Georg Gottlob In Thomas Eiter‚ Wolfgang Faber and Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning‚ 6th International Conference‚ LPNMR 2001‚ Vienna‚ Austria‚ September 17−19‚ 2001‚ Proceedings. Vol. 2173 of Lecture Notes in Computer Science. Pages 21−41. Springer. 2001. |
|
[101] |
Hypertree Decompositions: A Survey Georg Gottlob‚ Nicola Leone and Francesco Scarcello In Jiri Sgall‚ Ales Pultr and Petr Kolman, editors, Mathematical Foundations of Computer Science 2001‚ 26th International Symposium‚ MFCS 2001 Marianske Lazne‚ Czech Republic‚ August 27−31‚ 2001‚ Proceedings. Vol. 2136 of Lecture Notes in Computer Science. Pages 37−57. Springer. 2001. |
|
[102] |
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width Georg Gottlob‚ Nicola Leone and Francesco Scarcello In Proceedings of the Twentieth ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ May 21−23‚ 2001‚ Santa Barbara‚ California‚ USA. ACM. 2001. |
|
[103] |
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width Georg Gottlob‚ Nicola Leone and Francesco Scarcello In SEBD. Pages 147−154. 2001. |
|
[104] |
The Lixto Wrapper Generation Tool Georg Gottlob In SEBD. Pages 3−10. 2001. |
|
[105] |
InfoPipes: A Flexible Framework for M−Commerce Applications Marcus Herzog and Georg Gottlob In Fabio Casati‚ Dimitrios Georgakopoulos and Ming−Chien Shan, editors, Technologies for E−Services‚ Second International Workshop‚ TES 2001‚ Rome‚ Italy‚ September 14−15‚ 2001‚ Proceedings. Vol. 2193 of Lecture Notes in Computer Science. Pages 175−186. Springer. 2001. |
|
[106] |
Visual Web Information Extraction with Lixto Robert Baumgartner‚ Sergio Flesca and Georg Gottlob In Peter M. G. Apers‚ Paolo Atzeni‚ Stefano Ceri‚ Stefano Paraboschi‚ Kotagiri Ramamohanarao and Richard T. Snodgrass, editors, VLDB 2001‚ Proceedings of 27th International Conference on Very Large Data Bases‚ September 11−14‚ 2001‚ Roma‚ Italy. Pages 119−128. Morgan Kaufmann. 2001. |
|
[107] |
Supervised Wrapper Generation with Lixto Robert Baumgartner‚ Sergio Flesca and Georg Gottlob In Peter M. G. Apers‚ Paolo Atzeni‚ Stefano Ceri‚ Stefano Paraboschi‚ Kotagiri Ramamohanarao and Richard T. Snodgrass, editors, VLDB 2001‚ Proceedings of 27th International Conference on Very Large Data Bases‚ September 11−14‚ 2001‚ Roma‚ Italy. Pages 715−716. Morgan Kaufmann. 2001. |
|
[108] |
A comparison of structural CSP decomposition methods Georg Gottlob‚ Nicola Leone and Francesco Scarcello In Artif. Intell.. Vol. 124. No. 2. Pages 243−282. 2000. |
|
[109] |
Existential second−order logic over strings Thomas Eiter‚ Yuri Gurevich and Georg Gottlob In J. ACM. Vol. 47. No. 1. Pages 77−131. 2000. |
|
[110] |
Existential Second−Order Logic over Graphs: Charting the Tractability Frontier Georg Gottlob‚ Phokion G. Kolaitis and Thomas Schwentick In FOCS. Pages 664−674. 2000. |
|
[111] |
On the Complexity of Theory Curbing Thomas Eiter and Georg Gottlob In Michel Parigot and Andrei Voronkov, editors, Logic for Programming and Automated Reasoning‚ 7th International Conference‚ LPAR 2000‚ Reunion Island‚ France‚ November 11−12‚ 2000‚ Proceedings. Vol. 1955 of Lecture Notes in Computer Science. Pages 1−19. Springer. 2000. |
|
[112] |
Succinctness as a Source of Complexity in Logical Formalisms Georg Gottlob‚ Nicola Leone and Helmut Veith In Ann. Pure Appl. Logic. Vol. 97. No. 1−3. Pages 231−260. 1999. |
|
[113] |
Enhancing Model Checking in Verification by AI Techniques Francesco Buccafurri‚ Thomas Eiter‚ Georg Gottlob and Nicola Leone In Artif. Intell.. Vol. 112. No. 1−2. Pages 57−104. 1999. |
|
[114] |
On the Complexity of Some Inductive Logic Programming Problems Georg Gottlob‚ Nicola Leone and Francesco Scarcello In New Generation Comput.. Vol. 17. No. 1. Pages 53−75. 1999. |
|
[115] |
On Tractable Queries and Constraints Georg Gottlob‚ Nicola Leone and Francesco Scarcello In Trevor J. M. Bench−Capon‚ Giovanni Soda and A. Min Tjoa, editors, Database and Expert Systems Applications‚ 10th International Conference‚ DEXA '99‚ Florence‚ Italy‚ August 30 − September 3‚ 1999‚ Proceedings. Vol. 1677 of Lecture Notes in Computer Science. Pages 1−15. Springer. 1999. |
|
[116] |
Computing LOGCFL Certificates Georg Gottlob‚ Nicola Leone and Francesco Scarcello In Jirí Wiedermann‚ Peter van Emde Boas and Mogens Nielsen, editors, Automata‚ Languages and Programming‚ 26th International Colloquium‚ ICALP'99‚ Prague‚ Czech Republic‚ July 11−15‚ 1999‚ Proceedings. Vol. 1644 of Lecture Notes in Computer Science. Pages 361−371. Springer. 1999. |
|
[117] |
A Comparison of Structural CSP Decomposition Methods Georg Gottlob‚ Nicola Leone and Francesco Scarcello In Thomas Dean, editor, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence‚ IJCAI 99‚ Stockholm‚ Sweden‚ July 31 − August 6‚ 1999. 2 Volumes‚ 1450 pages. Pages 394−399. Morgan Kaufmann. 1999. |
|
[118] |
On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases Robert Baumgartner and Georg Gottlob In Thomas Dean, editor, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence‚ IJCAI 99‚ Stockholm‚ Sweden‚ July 31 − August 6‚ 1999. 2 Volumes‚ 1450 pages. Pages 64−69. Morgan Kaufmann. 1999. |
|
[119] |
Working with Arms: Complexity Results on Atomic Representations of Herbrand Models Georg Gottlob and Reinhard Pichler In LICS. Pages 306−315. 1999. |
|
[120] |
On the Complexity of Single−Rule Datalog Queries Georg Gottlob and Christos H. Papadimitriou In Harald Ganzinger‚ David A. McAllester and Andrei Voronkov, editors, Logic Programming and Automated Reasoning‚ 6th International Conference‚ LPAR'99‚ Tbilisi‚ Georgia‚ September 6−10‚ 1999‚ Proceedings. Vol. 1705 of Lecture Notes in Computer Science. Pages 201−222. Springer. 1999. |
|
[121] |
Fixed−Parameter Complexity in AI and Nonmonotonic Reasoning Georg Gottlob‚ Francesco Scarcello and Martha Sideri In Michael Gelfond‚ Nicola Leone and Gerald Pfeifer, editors, Logic Programming and Nonmonotonic Reasoning‚ 5th International Conference‚ LPNMR'99‚ El Paso‚ Texas‚ USA‚ December 2−4‚ 1999‚ Proceedings. Vol. 1730 of Lecture Notes in Computer Science. Pages 1−18. Springer. 1999. |
|
[122] |
Hypertree Decompositions and Tractable Queries Georg Gottlob‚ Nicola Leone and Francesco Scarcello In Proceedings of the Eighteenth ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ May 31 − June 2‚ 1999‚ Philadelphia‚ Pennsylvania. Pages 21−32. ACM Press. 1999. |
|
[123] |
Hypertree Decompositions and Tractable Queries Georg Gottlob‚ Nicola Leone and Francesco Scarcello In SEBD. Pages 275−289. 1999. |
|
[124] |
Computer Science Logic‚ 12th International Workshop‚ CSL '98‚ Annual Conference of the EACSL‚ Brno‚ Czech Republic‚ August 24−28‚ 1998‚ Proceedings Georg Gottlob‚ Etienne Grandjean and Katrin Seyr, editors Georg Gottlob‚ Etienne Grandjean and Katrin Seyr, editors |
|
[125] |
Hypertree Decompositions and Tractable Queries Georg Gottlob‚ Nicola Leone and Francesco Scarcello In CoRR. Vol. cs.DB/9812022. 1998. |
|
[126] |
On the Expressiveness of Frame Satisfiability and Fragments of Second−Order Logic Thomas Eiter and Georg Gottlob In J. Symb. Log.. Vol. 63. No. 1. Pages 73−82. 1998. |
|
[127] |
Capturing Relativized Complexity Classes without Order Anuj Dawar‚ Georg Gottlob and Lauri Hella In Math. Log. Q.. Vol. 44. Pages 109−122. 1998. |
|
[128] |
The Complexity of Acyclic Conjunctive Queries Georg Gottlob‚ Nicola Leone and Francesco Scarcello In FOCS. Pages 706−715. 1998. |
|
[129] |
Existential Second−Order Logic over Strings Thomas Eiter‚ Georg Gottlob and Yuri Gurevich In LICS. Pages 16−27. 1998. |
|
[130] |
Disjunctive Datalog Thomas Eiter‚ Georg Gottlob and Heikki Mannila In ACM Trans. Database Syst.. Vol. 22. No. 3. Pages 364−418. 1997. |
|
[131] |
Semantics and Complexity of Abduction from Default Theories Thomas Eiter‚ Georg Gottlob and Nicola Leone In Artif. Intell.. Vol. 90. No. 1−2. Pages 177−223. 1997. |
|
[132] |
Well−Founded Semantics for Default Logic Gerhard Brewka and Georg Gottlob In Fundam. Inform.. Vol. 31. No. 3/4. Pages 221−236. 1997. |
|
[133] |
Default Logic as a Query Language Marco Cadoli‚ Thomas Eiter and Georg Gottlob In IEEE Trans. Knowl. Data Eng.. Vol. 9. No. 3. Pages 448−463. 1997. Details | BibTeX | DOI (http://www.informatik.uni-trier.de/~ley/db/journals/tkde/CadoliEG97.html) |
|
[134] |
On the Indiscernibility of Individuals in Logic Programming Thomas Eiter‚ Georg Gottlob and Nicola Leone In J. Log. Comput.. Vol. 7. No. 6. Pages 805−824. 1997. |
|
[135] |
Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions Thomas Eiter and Georg Gottlob In J. Log. Program.. Vol. 33. No. 2. Pages 167−178. 1997. |
|
[136] |
Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures Georg Gottlob In J. Symb. Log.. Vol. 62. No. 2. Pages 545−574. 1997. |
|
[137] |
Abduction from Logic Programs: Semantics and Complexity Thomas Eiter‚ Georg Gottlob and Nicola Leone In Theor. Comput. Sci.. Vol. 189. No. 1−2. Pages 129−177. 1997. |
|
[138] |
Generalized Quantifiers in Logic Programs Thomas Eiter‚ Georg Gottlob and Helmut Veith In Jouko A. Väänänen, editor, 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. Vol. 1754 of Lecture Notes in Computer Science. Pages 72−98. Springer. 1997. |
|
[139] |
The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic Thomas Eiter and Georg Gottlob In Bogdan S. Chlebus and Ludwik Czaja, editors, Fundamentals of Computation Theory‚ 11th International Symposium‚ FCT '97‚ Kraków‚ Poland‚ September 1−3‚ 1997‚ Proceedings. Vol. 1279 of Lecture Notes in Computer Science. Pages 1−18. Springer. 1997. |
|
[140] |
Complexity and Expressive Power of Logic Programming Evgeny Dantsin‚ Thomas Eiter‚ Georg Gottlob and Andrei Voronkov In IEEE Conference on Computational Complexity. Pages 82−101. 1997. |
|
[141] |
On the Complexity of Some Inductive Logic Programming Problems Georg Gottlob‚ Nicola Leone and Francesco Scarcello In Nada Lavrac and Saso Dzeroski, editors, Inductive Logic Programming‚ 7th International Workshop‚ ILP−97‚ Prague‚ Czech Republic‚ September 17−20‚ 1997‚ Proceedings. Vol. 1297 of Lecture Notes in Computer Science. Pages 17−32. Springer. 1997. |
|
[142] |
Modular Logic Programming and Generalized Quantifiers Thomas Eiter‚ Georg Gottlob and Helmut Veith In Jürgen Dix‚ Ulrich Furbach and Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning‚ 4th International Conference‚ LPNMR'97‚ Dagstuhl Castle‚ Germany‚ July 28−31‚ 1997‚ Proceedings. Vol. 1265 of Lecture Notes in Computer Science. Pages 290−309. Springer. 1997. |
|
[143] |
The dlv System: Model Generator and Advanced Frontends (system description) Simona Citrigno‚ Thomas Eiter‚ Wolfgang Faber‚ Georg Gottlob‚ Christoph Koch‚ Nicola Leone‚ Cristinel Mateis‚ Gerald Pfeifer and Francesco Scarcello In WLP. Pages 0−. 1997. |
|
[144] |
Computational Logic and Proof Theory‚ 5th Kurt Gödel Colloquium‚ KGC'97‚ Vienna‚ Austria‚ August 25−29‚ 1997‚ Proceedings Georg Gottlob‚ Alexander Leitsch and Daniele Mundici, editors Georg Gottlob‚ Alexander Leitsch and Daniele Mundici, editors |
|
[145] |
Extending Object−Oriented Systems with Roles Georg Gottlob‚ Michael Schrefl and Brigitte Röck In ACM Trans. Inf. Syst.. Vol. 14. No. 3. Pages 268−296. 1996. |
|
[146] |
Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems Thomas Eiter‚ Georg Gottlob and Yuri Gurevich In Ann. Pure Appl. Logic. Vol. 78. No. 1−3. Pages 111−125. 1996. |
|
[147] |
Approximating the Stable Model Semantics is Hard Georg Gottlob and Miroslaw Truszczynski In Fundam. Inform.. Vol. 28. No. 1−2. Pages 123−128. 1996. |
|
[148] |
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions Thomas Eiter and Georg Gottlob In J. Comput. Syst. Sci.. Vol. 53. No. 3. Pages 497−512. 1996. |
|
[149] |
Mächtigkeit von Logikprogrammierung über Datenbanken Thomas Eiter and Georg Gottlob In KI. Vol. 10. No. 3. Pages 32−39. 1996. |
|
[150] |
A Non−Ground Realization of the Stable and Well−Founded Semantics Georg Gottlob‚ Sherry Marcus‚ Anil Nerode‚ Gernot Salzer and V. S. Subrahmanian In Theor. Comput. Sci.. Vol. 166. No. 1&2. Pages 221−262. 1996. |
|
[151] |
The PARK Semantics for Active Rules Georg Gottlob‚ Guido Moerkotte and V. S. Subrahmanian In Peter M. G. Apers‚ Mokrane Bouzeghoub and Georges Gardarin, editors, Advances in Database Technology − EDBT'96‚ 5th International Conference on Extending Database Technology‚ Avignon‚ France‚ March 25−29‚ 1996‚ Proceedings. Vol. 1057 of Lecture Notes in Computer Science. Pages 35−55. Springer. 1996. |
|
[152] |
Collapsing Oracle−Tape Hierarchies Georg Gottlob In IEEE Conference on Computational Complexity. Pages 33−42. 1996. |
|
[153] |
Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract) Georg Gottlob In KR. Pages 647−649. 1996. |
|
[154] |
On the Computational Cost of Disjunctive Logic Programming: Propositional Case Thomas Eiter and Georg Gottlob In Ann. Math. Artif. Intell.. Vol. 15. No. 3−4. Pages 289−323. 1995. |
|
[155] |
The Complexity of Default Reasoning under the Stationary Fixed Point Semantics Georg Gottlob In Inf. Comput.. Vol. 121. No. 1. Pages 81−92. 1995. |
|
[156] |
The Complexity of Logic−Based Abduction Thomas Eiter and Georg Gottlob In J. ACM. Vol. 42. No. 1. Pages 3−42. 1995. |
|
[157] |
NP Trees and Carnap's Modal Logic Georg Gottlob In J. ACM. Vol. 42. No. 2. Pages 421−457. 1995. |
|
[158] |
Translating Default Logic into Standard Autoepistemic Logic Georg Gottlob In J. ACM. Vol. 42. No. 4. Pages 711−740. 1995. |
|
[159] |
Identifying the Minimal Transversals of a Hypergraph and Related Problems Thomas Eiter and Georg Gottlob In SIAM J. Comput.. Vol. 24. No. 6. Pages 1278−1304. 1995. |
|
[160] |
Semantics and Complexity of Abduction from Default Theories Thomas Eiter‚ Georg Gottlob and Nicola Leone In IJCAI (1). Pages 870−877. 1995. |
|
[161] |
Relativized Logspace and Generalized Quantifiers over Finite Structures Georg Gottlob In Proceedings‚ Tenth Annual IEEE Symposium on Logic in Computer Science‚ 26−29 June 1995‚ San Diego‚ California‚ USA. Pages 65−78. IEEE Computer Society. 1995. |
|
[162] |
Complexity Results for Abductive Logic Programming Thomas Eiter‚ Georg Gottlob and Nicola Leone In V. Wiktor Marek and Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning‚ Third International Conference‚ LPNMR'95‚ Lexington‚ KY‚ USA‚ June 26−28‚ 1995‚ Proceedings. Vol. 928 of Lecture Notes in Computer Science. Pages 1−14. Springer. 1995. |
|
[163] |
Second Order Logic and the Weak Exponential Hierarchies Georg Gottlob‚ Nicola Leone and Helmut Veith In Jirí Wiedermann and Petr Hájek, editors, Mathematical Foundations of Computer Science 1995‚ 20th International Symposium‚ MFCS'95‚ Prague‚ Czech Republic‚ August 28 − September 1‚ 1995‚ Proceedings. Vol. 969 of Lecture Notes in Computer Science. Pages 66−81. Springer. 1995. |
|
[164] |
The Evolving Algebra Semantics of Class and Role Hierarchies Georg Gottlob‚ Gerti Kappel and Michael Schrefl In Leonid Libkin and Bernhard Thalheim, editors, Semantics in Databases‚ Selected Papers from a Workshop‚ Prague‚ Czech Republic‚ 1995. Vol. 1358 of Lecture Notes in Computer Science. Pages 92−113. Springer. 1995. |
|
[165] |
Database Theory − ICDT'95‚ 5th International Conference‚ Prague‚ Czech Republic‚ January 11−13‚ 1995‚ Proceedings Georg Gottlob and Moshe Y. Vardi, editors Georg Gottlob and Moshe Y. Vardi, editors |
|
[166] |
Formalizing the Repair Process − Extended Report Gerhard Friedrich‚ Georg Gottlob and Wolfgang Nejdl In Ann. Math. Artif. Intell.. Vol. 11. No. 1−4. Pages 187−201. 1994. |
|
[167] |
Cumulative Default Logic: Finite Characterization‚ Algorithms‚ and Complexity Georg Gottlob and Zhang Mingyi In Artif. Intell.. Vol. 69. No. 1−2. Pages 329−345. 1994. |
|
[168] |
Disjunctive Logic Programming over Finite Structures Thomas Eiter‚ Georg Gottlob and Heikki Mannila In GI Jahrestagung. Pages 69−73. 1994. |
|
[169] |
Causal Models of Disjunctive Logic Programs Jürgen Dix‚ Georg Gottlob and V. Wiktor Marek In ICLP. Pages 290−302. 1994. |
|
[170] |
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics Thomas Eiter‚ Georg Gottlob and Heikki Mannila In Kai von Luck and Heinz Marburger, editors, Management and Processing of Complex Data Structures‚ Third Workshop on Information Systems and Artificial Intelligence‚ Hamburg‚ Germany‚ February 28 − March 2‚ 1994‚ Proceedings. Vol. 777 of Lecture Notes in Computer Science. Pages 83−103. Springer. 1994. |
|
[171] |
From Carnap's Modal Logic to Autoepistemic Logic Georg Gottlob In Craig MacNish‚ David Pearce and Luís Moniz Pereira, editors, Logics in Artificial Intelligence‚ European Workshop‚ JELIA '94‚ York‚ UK‚ September 5−8‚ 1994‚ Proceedings. Vol. 838 of Lecture Notes in Computer Science. Pages 1−18. Springer. 1994. |
|
[172] |
Default Logic as a Query Language Marco Cadoli‚ Thomas Eiter and Georg Gottlob In KR. Pages 99−108. 1994. |
|
[173] |
Adding Disjunction to Datalog Thomas Eiter‚ Georg Gottlob and Heikki Mannila In Proceedings of the Thirteenth ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ May 24−26‚ 1994‚ Minneapolis‚ Minnesota. Pages 267−278. ACM Press. 1994. |
|
[174] |
Complexity and Expressive Power of Disjunctive Logic Programming Georg Gottlob In SLP. Pages 23−42. 1994. |
|
[175] |
The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic Georg Gottlob In Gerhard Lakemeyer and Bernhard Nebel, editors, Foundation of Knowledge Representation and Reasoning (the book grew out of an ECAI−92 workshop). Vol. 810 of Lecture Notes in Computer Science. Pages 133−144. Springer. 1994. |
|
[176] |
Removing Redundancy from a Clause Georg Gottlob and Christian G. Fermüller In Artif. Intell.. Vol. 61. No. 2. Pages 263−289. 1993. |
|
[177] |
Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete Thomas Eiter and Georg Gottlob In Theor. Comput. Sci.. Vol. 114. No. 2. Pages 231−245. 1993. |
|
[178] |
NP Trees and Carnap's Modal Logic Georg Gottlob In 34th Annual Symposium on Foundations of Computer Science‚ 3−5 November 1993‚ Palo Alto‚ California‚ USA. Pages 42−51. IEEE. 1993. |
|
[179] |
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions Thomas Eiter and Georg Gottlob In IJCAI. Pages 526−533. 1993. |
|
[180] |
The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic Georg Gottlob In IJCAI. Pages 570−577. 1993. |
|
[181] |
Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information Thomas Eiter‚ Georg Gottlob and Yuri Gurevich In IJCAI. Pages 634−639. 1993. |
|
[182] |
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics Thomas Eiter and Georg Gottlob In ILPS. Pages 266−278. 1993. |
|
[183] |
Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning‚ and Why They Matter (Invited Talk Abstract) Georg Gottlob In LPNMR. Pages 265. 1993. |
|
[184] |
Complexity Aspects of Various Semantics for Disjunctive Databases Thomas Eiter and Georg Gottlob In Proceedings of the Twelfth ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ May 25−28‚ 1993‚ Washington‚ DC. Pages 158−167. ACM Press. 1993. |
|
[185] |
The Complexity of Logic−Based Abduction Thomas Eiter and Georg Gottlob In Patrice Enjalbert‚ Alain Finkel and Klaus W. Wagner, editors, STACS 93‚ 10th Annual Symposium on Theoretical Aspects of Computer Science‚ Würzburg‚ Germany‚ February 25−27‚ 1993‚ Proceedings. Vol. 665 of Lecture Notes in Computer Science. Pages 70−79. Springer. 1993. |
|
[186] |
Computational Logic and Proof Theory‚ Third Kurt Gödel Colloquium‚ KGC'93‚ Brno‚ Czech Republic‚ August 24−27‚ 1993‚ Proceedings Georg Gottlob‚ Alexander Leitsch and Daniele Mundici, editors Georg Gottlob‚ Alexander Leitsch and Daniele Mundici, editors |
|
[187] |
An Efficient Method for Eliminating Varying Predicates from a Circumscription Marco Cadoli‚ Thomas Eiter and Georg Gottlob In Artif. Intell.. Vol. 54. No. 2. Pages 397−410. 1992. |
|
[188] |
On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals Thomas Eiter and Georg Gottlob In Artif. Intell.. Vol. 57. No. 2−3. Pages 227−270. 1992. |
|
[189] |
Selective Inheritance of Attribute Values in Relational Databases Georg Gottlob‚ Michael Schrefl and Markus Stumptner In Discrete Applied Mathematics. Vol. 40. No. 2. Pages 187−216. 1992. |
|
[190] |
Reasoning with parsimonious and moderately grounded expansions Thomas Eiter and Georg Gottlob In Fundam. Inform.. Vol. 17. No. 1−2. Pages 31−53. 1992. |
|
[191] |
Complexity Results for Nonmonotonic Logics Georg Gottlob In J. Log. Comput.. Vol. 2. No. 3. Pages 397−425. 1992. |
|
[192] |
Complexity of Propositional Knowledge Base Revision Thomas Eiter and Georg Gottlob In Gérard Comyn‚ Matthias Jarke and Suryanarayana M. Sripada, editors, CNKBS'92‚ Proceedings of the First Compulog Net Meeting on Knowledge Bases‚ Munich‚ Germany‚ 6−7 February 1992. Vol. ECRC−92−2. Pages 38−40. European Computer−Industry Research Centre‚ Munich. 1992. |
|
[193] |
Formaiizing the Repair Process Gerhard Friedrich‚ Georg Gottlob and Wolfgang Nejdl In ECAI. Pages 709−713. 1992. |
|
[194] |
On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals Thomas Eiter and Georg Gottlob In Proceedings of the Eleventh ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ June 2−4‚ 1992‚ San Diego‚ California. Pages 261−273. ACM Press. 1992. |
|
[195] |
Complexity Results for Logic−Based Abduction Thomas Eiter and Georg Gottlob In Structural Complexity and Recursion−theoretic methods in Logic−Programming. Pages 29−44. 1992. |
|
[196] |
Advances in Database Technology − EDBT'92‚ 3rd International Conference on Extending Database Technology‚ Vienna‚ Austria‚ March 23−27‚ 1992‚ Proceedings Alain Pirotte‚ Claude Delobel and Georg Gottlob, editors Alain Pirotte‚ Claude Delobel and Georg Gottlob, editors |
|
[197] |
On the Complexity of Clause Condensing Georg Gottlob In Hermann Kaindl, editor, Proc. 7th Austrian Conference on Artificial Intelligence‚ ÖGAI−91‚ Wien‚ 24.−27. September 1991. Vol. 287 of Informatik−Fachberichte. Pages 16−29. Springer. 1991. |
|
[198] |
Towards a Theory of the Repair Process Gerhard Friedrich‚ Georg Gottlob and Wolfgang Nejdl In Pedro Barahona‚ Luís Moniz Pereira and António Porto, editors, EPIA 91‚ 5th Portuguese Conference on Artificial Intelligence‚ Albufeira‚ Portugal‚ October 1−3‚ 1991‚ Proceedings. Vol. 541 of Lecture Notes in Computer Science. Pages 222−236. Springer. 1991. |
|
[199] |
Logic Programming and Databases Stefano Ceri‚ Georg Gottlob and Letizia Tanca Springer. 1990. |
|
[200] |
Investigation on Armstrong relations‚ dependency inference‚ and excluded functional dependencies Georg Gottlob and Leonid Libkin In Acta Cybern.. Vol. 9. No. 4. Pages 385−402. 1990. |
|
[201] |
Physical Impossibility Instead of Fault Models Gerhard Friedrich‚ Georg Gottlob and Wolfgang Nejdl In AAAI. Pages 331−336. 1990. |
|
[202] |
Semantics of Object−Oriented Data Models − The Evolving Algebra Approach Georg Gottlob‚ Gerti Kappel and Michael Schrefl In East/West Database Workshop. Pages 144−160. 1990. |
|
[203] |
Hypothesis Classification‚ Abductive Diagnosis and Therapy Gerhard Friedrich‚ Georg Gottlob and Wolfgang Nejdl In Georg Gottlob and Wolfgang Nejdl, editors, Expert Systems in Engineering‚ Principles and Applications‚ International Workshop‚ Vienna‚ Austria‚ September 24−26‚ 1990‚ Proceedings. Vol. 462 of Lecture Notes in Computer Science. Pages 69−78. Springer. 1990. |
|
[204] |
Expert Systems in Engineering‚ Principles and Applications‚ International Workshop‚ Vienna‚ Austria‚ September 24−26‚ 1990‚ Proceedings Georg Gottlob and Wolfgang Nejdl, editors Georg Gottlob and Wolfgang Nejdl, editors |
|
[205] |
What you Always Wanted to Know About Datalog (And Never Dared to Ask) Stefano Ceri‚ Georg Gottlob and Letizia Tanca In IEEE Trans. Knowl. Data Eng.. Vol. 1. No. 1. Pages 146−166. 1989. |
|
[206] |
Efficient Database Access from Prolog Stefano Ceri‚ Georg Gottlob and Gio Wiederhold In IEEE Trans. Software Eng.. Vol. 15. No. 2. Pages 153−164. 1989. |
|
[207] |
Magic Semi−Joins Stefano Ceri‚ Georg Gottlob‚ Letizia Tanca and Gio Wiederhold In Inf. Process. Lett.. Vol. 33. No. 2. Pages 97−107. 1989. |
|
[208] |
On the Interaction between Transitive Closure and Functional Dependencies Georg Gottlob‚ Michael Schrefl and Markus Stumptner In János Demetrovics and Bernhard Thalheim, editors, MFDBS 89‚ 2nd Symposium on Mathematical Fundamentals of Database Systems‚ Visegrád‚ Hungary‚ June 26−30‚ 1989. Vol. 364 of Lecture Notes in Computer Science. Pages 187−206. Springer. 1989. |
|
[209] |
Properties and Update Semantics of Consistent Views Georg Gottlob‚ Paolo Paolini and Roberto Zicari In ACM Trans. Database Syst.. Vol. 13. No. 4. Pages 486−524. 1988. |
|
[210] |
The Algres Project Stefano Ceri‚ Stefano Crespi−Reghizzi‚ Georg Gottlob‚ F. Lamperti‚ Luigi Lavazza‚ Letizia Tanca and Roberto Zicari In Joachim W. Schmidt‚ Stefano Ceri and Michele Missikoff, editors, Advances in Database Technology − EDBT'88‚ Proceedings of the International Conference on Extending Database Technology‚ Venice‚ Italy‚ March 14−18‚ 1988. Vol. 303 of Lecture Notes in Computer Science. Pages 551−555. Springer. 1988. |
|
[211] |
Closed World Databases Opened Through Null Values Georg Gottlob and Roberto Zicari In François Bancilhon and David J. DeWitt, editors, Fourteenth International Conference on Very Large Data Bases‚ August 29 − September 1‚ 1988‚ Los Angeles‚ California‚ USA‚ Proceedings. Pages 50−61. Morgan Kaufmann. 1988. |
|
[212] |
Subsumption and Implication Georg Gottlob In Inf. Process. Lett.. Vol. 24. No. 2. Pages 109−111. 1987. |
|
[213] |
On the Size of Nonredundant FD−Covers Georg Gottlob In Inf. Process. Lett.. Vol. 24. No. 6. Pages 355−360. 1987. |
|
[214] |
Computing Covers for Embedded Functional Dependencies Georg Gottlob In Proceedings of the Sixth ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ March 23−25‚ 1987‚ San Diego‚ California. Pages 58−69. ACM. 1987. |
|
[215] |
Normalization of Relations and PROLOG Stefano Ceri and Georg Gottlob In Commun. ACM. Vol. 29. No. 6. Pages 524−544. 1986. |
|
[216] |
Taxonomy and formal properties of distributed joins Stefano Ceri‚ Georg Gottlob and Giuseppe Pelagatti In Inf. Syst.. Vol. 11. No. 1. Pages 25−40. 1986. |
|
[217] |
Optimizing Joins between Two Partitioned Relations in Distributed Databases Stefano Ceri and Georg Gottlob In J. Parallel Distrib. Comput.. Vol. 3. No. 2. Pages 183−205. 1986. |
|
[218] |
Interfacing Relational Databases and Prolog Efficiently Stefano Ceri‚ Georg Gottlob and Gio Wiederhold In Expert Database Conf.. Pages 207−223. 1986. |
|
[219] |
Translation and Optimization of Logic Queries: The Algebraic Approach Stefano Ceri‚ Georg Gottlob and Luigi Lavazza In Wesley W. Chu‚ Georges Gardarin‚ Setsuo Ohsuga and Yahiko Kambayashi, editors, VLDB'86 Twelfth International Conference on Very Large Data Bases‚ August 25−28‚ 1986‚ Kyoto‚ Japan‚ Proceedings. Pages 395−402. Morgan Kaufmann. 1986. |
|
[220] |
Translating SQL Into Relational Algebra: Optimization‚ Semantics‚ and Equivalence of SQL Queries Stefano Ceri and Georg Gottlob In IEEE Trans. Software Eng.. Vol. 11. No. 4. Pages 324−345. 1985. |
|
[221] |
On the Efficiency of Subsumption Algorithms Georg Gottlob and Alexander Leitsch In J. ACM. Vol. 32. No. 2. Pages 280−295. 1985. |
|
[222] |
Fast Subsumption Algorithms Georg Gottlob and Alexander Leitsch In B. F. Caviness, editor, EUROCAL '85‚ European Conference on Computer Algebra‚ Linz‚ Austria‚ April 1−3‚ 1985‚ Proceedings Volume 2: Research Contributions. Vol. 204 of Lecture Notes in Computer Science. Pages 64−77. Springer. 1985. |
|
[223] |
Implementation of a Distributed File System on a Geographic Network of Personal Computers S. Copelli and Georg Gottlob In DDSS. Pages 203−219. 1984. |
|
[224] |
Joining Fragmented Relations in Distributed Databases Stefano Ceri‚ Georg Gottlob and Giuseppe Pelagatti In XP4.5 Workshop on Database Theory‚ 1983 Palo Alto‚ California‚ USA. 1983. |