|
Showing 1 - 25 of
39 matches in All Departments
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.
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.
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.
|
SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012, Proceedings (Paperback, 2012)
Maria Bielikova, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, Gyoergy Turan
|
R1,586
Discovery Miles 15 860
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 38th
Conference on Current Trends in Theory and Practice of Computer
Science, SOFSEM 2012, held in Spindleruv Mlyn, 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.
|
Advances in Databases and Information Systems - 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings (Paperback, 2004 ed.)
Georg Gottlob, Andras Benczur, J anos Demetrovics
|
R1,645
Discovery Miles 16 450
|
Ships in 10 - 15 working days
|
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 - 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (Paperback, 1999 ed.)
Georg Gottlob, Etienne Grandjean, Katrin Seyr
|
R1,653
Discovery Miles 16 530
|
Ships in 10 - 15 working days
|
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.
|
Computational Logic and Proof Theory - 5th Kurt Goedel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Paperback, 1997 ed.)
Georg Gottlob, Alexander Leitsch, Daniele Mundici
|
R1,602
Discovery Miles 16 020
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 5th Kurt G
del 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.
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.
The Third Kurt G-del Symposium, KGC'93, held in Brno, Czech
Republic, August1993, is the third in a series of biennial symposia
on logic, theoretical computer science, and philosophy of
mathematics. The aim of this meeting wasto bring together
researchers working in the fields of computational logic and proof
theory. While proof theory traditionally is a discipline of
mathematical logic, the central activity in computational logic can
be foundin computer science. In both disciplines methods were
invented which arecrucial to one another. This volume contains the
proceedings of the symposium. It contains contributions by 36
authors from 10 different countries. In addition to 10 invited
papers there are 26 contributed papers selected from over 50
submissions.
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.
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.
|
Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers (Paperback, 2011)
Oege De Moor, Georg Gottlob, Tim Furche, Andrew Sellers
|
R1,502
Discovery Miles 15 020
|
Ships in 10 - 15 working days
|
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.
|
Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings (Paperback, 1st ed. 2022)
Georg Gottlob, Daniela Inclezan, Marco Maratea
|
R2,142
Discovery Miles 21 420
|
Ships in 10 - 15 working days
|
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.
|
Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures (Paperback, 1st ed. 2017)
Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, …
|
R2,451
Discovery Miles 24 510
|
Ships in 10 - 15 working days
|
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.
|
Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings (Paperback, 1st ed. 2015)
Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
|
R2,841
Discovery Miles 28 410
|
Ships in 10 - 15 working days
|
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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R383
R318
Discovery Miles 3 180
Miles Ahead
Don Cheadle, Ewan McGregor
DVD
(1)
R53
Discovery Miles 530
Atmosvuur
Jan Braai
Hardcover
R590
R425
Discovery Miles 4 250
Braai
Reuben Riffel
Paperback
R495
R359
Discovery Miles 3 590
|