WorldCat Identities

Gottlob, G. (Georg)

Overview
Works: 93 works in 250 publications in 3 languages and 3,628 library holdings
Genres: Conference proceedings 
Roles: Editor, Author, Thesis advisor
Classifications: QA76.9.D3, 005.74
Publication Timeline
Key
Publications about  G Gottlob Publications about G Gottlob
Publications by  G Gottlob Publications by G Gottlob
Most widely held works by G Gottlob
Expert systems in engineering : principles and applications : international workshop, Vienna, Austria, September 24-26, 1990, proceedings by G Gottlob ( Book )
13 editions published in 1990 in English and Italian and held by 415 WorldCat member libraries worldwide
"The goal of the International Workshop on Expert Systems in Engineering is to stimulate the flow of information between researchers working on theoretical and applied research topics in this area. It puts special emphasis on new technologies relevant to industrial engineering expert systems, such as model-based diagnosis, qualitative reasoning, planning, and design, and to the conditions in which they operate, in real time, with database support. The workshop is especially relevant for engineering environments like CIM (computer integrated manufacturing) and process automation."--PUBLISHER'S WEBSITE
Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings by G Gottlob ( Book )
20 editions published between 1993 and 1997 in English and held by 358 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 5th Kurt Gdel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity
Database theory--ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedings by G Gottlob ( Book )
21 editions published in 1995 in English and held by 344 WorldCat member libraries worldwide
"This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995. Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total of 116 submissions. The papers address all current aspects of database theory; they are organized in sections on optimization, nonmonotonic semantics, query languages, concurrency control, advanced models, probabilistic methods, constraints and dependencies, and Datalog analysis."--PUBLISHER'S WEBSITE
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings by G Gottlob ( Book )
16 editions published in 1993 in English and Italian and held by 344 WorldCat member libraries worldwide
"The Third Kurt G
Logic programming and databases by Stefano Ceri ( Book )
14 editions published between 1989 and 1990 in English and held by 334 WorldCat member libraries worldwide
This book presents a systematic overview of the interaction between logic programming and database systems. Merging these two technologies permits new types of systems which extend the frontiers of computer science and open up new applications, such as deductive databases, knowledge base management systems, and expert database systems. The book opens with an overview and an introductory review, then is divided into three parts devoted to - the coupling of Prolog with relational databases, - the precise definition of the Datalog language, and - the description of query optimization techniques and extensions of Datalog. A closing chapter reviews the main projects on the integration of logic programming and databases, including LDL, Nail! and the Fifth Generation Project. The presentation achieves a balance between theoretical and technological issues, by providing a careful introduction to the underlying paradigms and their theoretical foundations, and by stressing the problems involved in achieving efficiency when interfacing logic programming formalisms with large databases. The book is thus suited for members of both the database and logic programming communities. The authors use a tutorial style complete with examples and exercises to introduce students as well as researchers to this developing field
Big data : 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings by G Gottlob ( )
7 editions published in 2013 in English and held by 307 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-conference proceedings of the 29th British National Conference on Databases, BNCOD 2013, held in Oxford, UK, in July 2013. The 20 revised full papers, presented together with three keynote talks, two tutorials, and one panel session, were carefully reviewed and selected from 42 submissions. Special focus of the conference has been "Big Data" and so the papers cover a wide range of topics such as query and update processing; relational storage; benchmarking; XML query processing; big data; spatial data and indexing; data extraction and social networks
Advances in databases and information systems : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004 : proceedings by A Benczúr ( Book )
12 editions published between 2004 and 2005 in English and held by 291 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 8th East European Conference on Advances in Databases and Information Systems, ADBIS 2004, held in Budapest, Hungary, in September 2004. The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on constraint databases, deductive databases, heterogenous and Web information systems, cross enterprise information systems, knowledge discovery, database modeling, XML and semistructured databases, physical database design and query evaluation, transaction management and workflow systems, query processing and data streams, spatial databases, and agents and mobile systems
Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings by G Gottlob ( Book )
17 editions published between 1998 and 1999 in English and held by 282 WorldCat member libraries worldwide
This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Computer Science Logic, CSL '98, held as the Annual Conference of the European Association on Computer Science Logic in Brno, Czech Republic in August 1998. The 25 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision. Also included are three reviewed invited papers. The papers span the whole scope of computer science logic and mathematical foundations and represent the state of the art in the area
Advances in database technology--EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992 : proceedings by A Pirotte ( Book )
12 editions published in 1992 in English and Italian and held by 278 WorldCat member libraries worldwide
These are the proceedings of the third International conference on ExtendingDatabase Technology (EDBT) held in Vienna in March 1992. The success of the 1988 and 1990 conferences held in Venice suggested that there is room for a major international database conference in Europe every two years,to serve as a forum for presentation of new results in research, developmentand applications extending the state of the art in database technology. The 1992 EDBT conference has attracted a lot of interest. This volume contains 33 papers selected from 220 papers submitted by authors from more than 30 countries, including invited papers by F. Bancilhon and R. Reiter. The volume is organized into sections on: visual interfaces and multimedia techniques, deductive databases, schema updatability, object-oriented databases, updating in deductive databases and knowledge bases, indexing techniques, parallel processing, distributed databases, knowledge bases, transaction processing, and query processing
Reasoning web : Semantic technologies for intelligent data access : 9th International Summer School 2013, Mannheim, Germany, July 30-August 2, 2013. Proceedings by Sebastian Rudolph ( )
2 editions published in 2013 in English and held by 275 WorldCat member libraries worldwide
This volume contains the lecture notes of the 9th Reasoning Web Summer School 2013, held in Mannheim, Germany, in July/August 2013. The 2013 summer school program covered diverse aspects of Web reasoning, ranging from scalable lightweight formalisms such as RDF to more expressive ontology languages based on description logics. It also featured foundational reasoning techniques used in answer set programming and ontology-based data access as well as emerging topics like geo-spatial information handling and reasoning-driven information extraction and integration
Expertensysteme ( Book )
2 editions published in 1990 in German and held by 48 WorldCat member libraries worldwide
Database theory--ICDT'95 : 5th International Conference, Prague, Czech Republic, January 1995 : proceedings by International Conference on Database Theory ( Book )
6 editions published in 1995 in English and held by 37 WorldCat member libraries worldwide
Expert Systems in Engineering Principles and Applications : International Workshop Vienna, Austria, September 2426, 1990 Proceedings ( )
1 edition published in 1990 in Undetermined and held by 25 WorldCat member libraries worldwide
Expert Systems in Engineering Principles and Applications by G Gottlob ( )
4 editions published in 1990 in English and held by 23 WorldCat member libraries worldwide
Advances in databases and information systems : 8th East European conference, ADBIS 2004 by Advances in databases and information systems (East European conference) ( Book )
3 editions published in 2004 in English and held by 19 WorldCat member libraries worldwide
Existential second-order logic over strings by Thomas Eiter ( )
6 editions published between 1997 and 1998 in English and held by 18 WorldCat member libraries worldwide
Database theory : 5th international conference Prague, Czech Republic, January 11 - 13, 1995 ; proceedings ( Book )
1 edition published in 1995 in English and held by 18 WorldCat member libraries worldwide
Datalog reloaded first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised selected papers by Datalog 2010 ( )
5 editions published in 2011 in English and held by 16 WorldCat member libraries worldwide
Annotation
Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 - 29, 1997 ; proceedings ( )
2 editions published in 1997 in English and held by 13 WorldCat member libraries worldwide
Computer science logic : proceedings by Workshop on computer science logic ( Book )
1 edition published in 1999 in English and held by 13 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.79 (from 0.35 for Expertensy ... to 0.87 for Computatio ...)
Alternative Names
Gottlob
Gottlob, G.
Gottlob, G. Colloquim
Gottlob, Georg
Готлоб, Г 1956-
Готлоб, Г. (Георг), 1956-
Languages
English (159)
Italian (3)
German (2)
Covers