Georg Gottlob – författare
Visar alla böcker från författaren Georg Gottlob. Handla med fri frakt och snabb leverans.
16 produkter
16 produkter
Del 13416 - Lecture Notes in Computer Science
Logic Programming and Nonmonotonic Reasoning
16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings
Häftad, Engelska, 2022
822 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022. The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems; Applications.Statistical Statements in Probabilistic Logic Programming” and “Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Chapters “Statistical Statements in Probabilistic Logic Programming” and “Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Häftad, Tyska, 1990
557 kr
Skickas inom 10-15 vardagar
Das vorliegende Buch gibt einen umfassenden Überblick über das wohl aktivste Forschungs- und Anwendungsgebiet der Artificial Intelligence - über Expertensysteme. Basierend auf den Erfahrungen aus mehrjähriger Vorlesungstätigkeit stellt das Autorenteam neben grundlegenden Konzepten auch die theoretischen wie praktischen Aspekte ausführlich dar. Eine kompetente Einführung in die Prädikatenlogik wird gegeben. Als Novum verdeutlicht dieses Buch die unterschiedlichen Schlußweisen und Komponenten von Expertensystemen durch ausführbare Prototypen in der logischen Programmiersprache Prolog. Dem praktischen Aspekt wird weiters durch einen Überblick über im industriellen Einsatz stehende Expertensysteme Rechnung getragen. Nicht zuletzt behandelt dieses Buch die neuesten Entwicklungen, wie Experten-Datenbanksysteme und Ergonomie und Gestaltung von Benutzerschnittstellen für Expertensysteme. Das Buch eignet sich damit nicht nur als Unterlage und Referenz für Vorlesungen auf dem Gebiet der Expertensysteme, vielmehr wendet es sich auch an den interessierten Informatiker und Programmierer in Studium und Praxis.
Del 9202 - Lecture Notes in Computer Science
Rule Technologies: Foundations, Tools, and Applications
9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Häftad, Engelska, 2015
558 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015.The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, 1 invited abstracts presented were carefully reviewed and selected from 63 submissions. The papers cover the following topics: general RuleML track; complex event processing track, existential rules and datalog+/- track; legal rules and reasoning track; rule learning track; industry track.
Del 10370 - Lecture Notes in Computer Science
Reasoning Web. Semantic Interoperability on the Web
13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
Häftad, Engelska, 2017
558 kr
Skickas inom 10-15 vardagar
This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017.In 2017, the theme of the school was "Semantic Interoperability on the Web", which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies.
Häftad, Engelska, 2004
558 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 1990
542 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 1992
1 108 kr
Skickas inom 10-15 vardagar
These are the proceedings of the third Internationalconference on ExtendingDatabase Technology (EDBT) held inVienna in March 1992. The success of the 1988 and 1990conferences held in Venice suggested that there is room fora major international database conference in Europe everytwo years,to serve as a forum for presentation of newresults in research, developmentand applications extendingthe 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 paperssubmitted by authors from more than 30 countries, includinginvited papers by F. Bancilhon and R. Reiter. The volume is organized into sections on: visual interfacesand multimedia techniques, deductive databases, schemaupdatability, object-oriented databases, updating indeductive databases and knowledge bases, indexingtechniques, parallel processing, distributed databases,knowledge bases, transaction processing, and queryprocessing.
Häftad, Engelska, 1993
542 kr
Skickas inom 10-15 vardagar
The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together researchers working in the fields ofcomputational logic and proof theory. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science. In both disciplines methods were inventedwhich arecrucial to one another. This volume contains theproceedings of the symposium. It contains contributions by36 authors from 10 different countries. In addition to 10invited papers there are 26 contributed papers selected fromover 50 submissions.
Häftad, Engelska, 1995
558 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 1997
542 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 5th Kurt Godel 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.
Häftad, Engelska, 1999
542 kr
Skickas inom 10-15 vardagar
The 1998Annual Conference of the EuropeanAssociation for Computer Science Logic, CSL'98, was held in Brno, Czech Republic, during August 24-28, 1998. CSL'98wasthe12thinaseriesofworkshopsandthe7thtobeheldasthe Annual Conference of the EACSL. The conference was organized at Masaryk University in Brno by the Faculty of Informatics in cooperation with universities in Aaachen, Caen, Haagen, Linz, Metz, Pisa, Szeged, Vienna, and other institutions. CSL'98 formed one part of a federated conferences event, the other part being MFCS'98, the 23rd Int- national Symposium on the Mathematical Foundations of Computer Science. This federated conferences event consisted of common plenary sessions, invited talks, several parallel technical programme tracks, a dozen satellite workshops organized in parallel, and tutorials. The Federated CSL/MFCS'98 Conferences event included 19 invited talks, four of them joint CSL/MFCS'98 talks (D. Harel, W. Maass, Y. Matiyasevic, and M. Yannakakis), four for CSL (P. Hajek, J. Mitchell, Th. Schwentick, and J. Tiuryn), and eleven for MFCS.Last but not least, two tutorials were organized by CSL on the day preceding the symposium on "Inference Rules in Fragments of Arithmetic" by Lev Beklemishev and on "Proofs, Types, and Safe Mobile Code" by Greg Morrisett. A total of 345 persons attended the Federated CSL/MFCS'98 Conference which was a great success. The program committee of CSL'98 selected 27 of 74 papers submitted for the conference.From the 27 papers selected for presentation,25 havebeen accepted, following the standard refereeeing procedure, for publication in the present p- ceedings. Three invited speakers submitted papers, that were likewise refereeed and accepted.
Häftad, Engelska, 2011
558 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Datalog 2.0, held in Oxford, UK, in March 2010. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvements from numerous submissions. The papers showcase the state-of-the-art in theory and systems for datalog, divided in three sections: Properties, applications, and extensions of datalog.
Häftad, Engelska, 2012
558 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.
Häftad, Engelska, 2013
558 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2013
514 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2011
833 kr
Skickas inom 10-15 vardagar
The topic of logic programming and databases. has gained in creasing interest in recent years. Several events have marked the rapid evolution of this field: the selection, by the Japanese Fifth Generation Project, of Prolog and of the relational data model as the basis for the development of new machine archi tectures; the focusing of research in database theory on logic queries and on recursive query processing; and the pragmatic, application-oriented development of expert database systems and of knowledge-base systems. As a result, an enormous amount of work has been produced in the recent literature, coupled with the spontaneous growth of several advanced projects in this area. The goal of this book is to present a systematic overview of a rapidly evolving discipline, which is presently not described with the same approach in other books. We intend to introduce stu dents and researchers to this new discipline; thus we use a plain, tutorial style, and complement the description of algorithms with examples and exercises. We attempt to achieve a balance be tween theoretical foundations and technological issues; thus we present a careful introduction to the new language Datalog, but we also focus on the efficient interfacing of logic programming formalisms (such as Prolog and Datalog) with large databases.