( en | de | ru )

 

Disambiguation of "Gottlob, Georg"

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings

, , , and (Eds.) volume 8067 of Lecture Notes in Computer Science, Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Georg Gottlob Ungewitter

Hans Gottlob

Walburga Gottlob

Gottlob Jung

Dieter Gottlob

 

Other publications of authors with the same name

A Formal Comparison of Visual Web Wrapper Generators, and . CoRR, (2003)From Carnap's Modal Logic to Autoepistemic Logic.. JELIA, volume 838 of Lecture Notes in Computer Science, page 1-18. Springer, (1994)Multiagent Compromises, Joint Fixpoints, and Stable Models., and . Computational Logic: Logic Programming and Beyond, volume 2407 of Lecture Notes in Computer Science, page 561-585. Springer, (2002)Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems., , and . Ann. Pure Appl. Log., 78 (1-3): 111-125 (1996)Closed World Databases Opened Through Null Values., and . VLDB, page 50-61. Morgan Kaufmann, (1988)Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract).. LPNMR, page 265. MIT Press, (1993)Visual Data Extraction Through Visual Logic Programming.. NMR, page 4. (2002)Translation and Optimization of Logic Queries: The Algebraic Approach., , and . VLDB, page 395-402. Morgan Kaufmann, (1986)Complexity Results for Logic-Based Abduction., and . Structural Complexity and Recursion-theoretic methods in Logic-Programming, page 29-44. Mathematical Sciences Institute, Cornell University, (1992)HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings., , , and . CoRR, (2018)