Search Results for foundations-of-knowledge-systems

One may argue that these problems are due to the inherent difficulties of knowledge representation and processing, but it rather seems that the expert system community has failed to establish scientific foundations and has also failed ...

Author: Gerd Wagner

Publisher: Springer Science & Business Media

ISBN: 9781461557234

Category: Computers

Page: 296

View: 571

DOWNLOAD & READ
One of the main uses of computer systems is the management of large amounts of symbolic information representing the state of some application domain, such as information about all the people I communicate with in my personal address database, or relevant parts of the outer space in the knowledge base of a NASA space mission. While database management systems offer only the basic services of information storage and retrieval, more powerful knowledge systems offer, in addition, a number of advanced services such as deductive and abductive reasoning for the purpose of finding explanations and diagnoses, or generating plans. In order to design and understand database and knowledge-based applications it is important to build upon well-established conceptual and mathematical foundations. What are the principles behind database and knowledge systems? What are their major components? Which are the important cases of knowledge systems? What are their limitations? Addressing these questions, and discussing the fundamental issues of information update, knowledge assimilation, integrity maintenance, and inference-based query answering, is the purpose of this book. Foundations of Databases and Knowledge Systems covers both basic and advanced topics. It may be used as the textbook of a course offering a broad introduction to databases and knowledge bases, or it may be used as an additional textbook in a course on databases or Artificial Intelligence. Professionals and researchers interested in learning about new developments will benefit from the encyclopedic character of the book, which provides organized access to many advanced concepts in the theory of databases and knowledge bases.
2012-12-06 By Gerd Wagner

This volume contains the papers presented at the “Second International Symposium on Foundations of Information and Knowledge Systems” (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002.

Author: Thomas Eiter

Publisher: Springer

ISBN: 9783540457589

Category: Computers

Page: 294

View: 528

DOWNLOAD & READ
This volume contains the papers presented at the “Second International S- posium on Foundations of Information and Knowledge Systems” (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series “Mathematical Fundamentals of Database S- tems” (MFDBS) which enabled East-West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000. Former MFDBS conferences were held in Dresden (Germany) in 1987, Visegr ́ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, and 1762 of the LNCS series. In addition the FoIKS symposium is intended to be a forum for intensive d- cussions. For this reason the time slot of long and short contributions is 60 and 30 minutes respectively, followed by 30 and 15 minutes for discussions, respectively. Furthermore, participants are asked in advance to prepare as correspondents to a contribution of another author. There are also special sessions for the pres- tation and discussion of open research problems.
2003-07-31 By Thomas Eiter

This volume contains the papers presented at the 4th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2006), which was held at the Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, ...

Author: Stephen J. Hegner

Publisher: Springer

ISBN: 9783540317845

Category: Computers

Page: 331

View: 988

DOWNLOAD & READ
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, held in February 2006. The 14 revised full papers presented together with three revised short papers and one invited paper were carefully reviewed and selected from 54 submissions. Among the topics covered are the theoretical foundations of information and knowledge systems, as well as mathematical fields such as discrete mathematics, combinatorics, logics and finite model theory, and applications thereof for research on database and knowledge base theory.
2006-01-20 By Stephen J. Hegner

This volume contains the papers presented at the 3rd International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2004), which was held in Castle Wilhelminenberg, Vienna, Austria, from February 17th to 20th, 2004.

Author: Dietmar Seipel

Publisher: Springer

ISBN: 9783540246275

Category: Computers

Page: 324

View: 956

DOWNLOAD & READ
This volume contains the papers presented at the 3rd International Symposium onFoundationsofInformationandKnowledgeSystems(FoIKS2004), whichwas held in Castle Wilhelminenberg, Vienna, Austria, from February 17th to 20th, 2004. FoIKS is a biennial event focussing on theoretical foundations of information and knowledge systems. It aims at bringing together researchers working on the theoretical foundations of information and knowledge systems and attracting researchers working in mathematical?elds such as discrete mathematics, c- binatorics, logics, and?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series Mathematical Fun- mentals of Database Systems (MFDBS) which enabled East-West collaboration in the?eld of database theory. The?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000, and the second FoIKS symposium was held in SalzauCastle(Germany)in2002. FormerMFDBSconferenceswereheldinDr- den (Germany) in 1987, Visegrþ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, 1762, and 2284 of the LNCS series, respectively. In addition the FoIKS symposium was intended to be a forum for intensive discussions. For this reason the time slots for long and short contributions were 50 and 30 minutes, respectively, followed by 20 and 10 minutes for discussions, respectively. Furthermore, participants were asked in advance to prepare to act as correspondents for the contributions of other authors. There were also special sessions for the presentation and discussion of open research problems.
2004-03-06 By Dietmar Seipel

This volume contains the papers presented at the Fifth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2008) which was held in Pisa, Italy during February 11–15, 2008.

Author: Sven Hartmann

Publisher: Springer

ISBN: 9783540776840

Category: Computers

Page: 400

View: 741

DOWNLOAD & READ
An ideal text for researchers and professionals alike, this book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008. The 13 revised full papers are presented together with nine revised short papers and three invited lectures. All of these were carefully selected during two rounds of reviewing and improvement from a total of 79 submissions.
2008-01-30 By Sven Hartmann

This volume contains the papers presented at the “First International Symposium on Foundations of Information and Knowledge Systems” (FoIKS 2000), which was held in Burg, Germany from February 14th to 17th, 2000.

Author: Burg FoIKS 2000 (2000, Brandenburg Germany)

Publisher: Springer Science & Business Media

ISBN: 9783540671008

Category: Computers

Page: 303

View: 253

DOWNLOAD & READ
This book constitutes the refereed proceedings of the First International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2000, held in Burg, Germany, in February 2000. The 14 revised full papers and four short papers were carefully reviewed and selected from a total of 45 submissions. Among the topics addressed are logical foundations and semantics of datamodels, dependency theory, integrity and security, temporal aspects, foundations of information systems design including Web-based information services, and query languages and optimization.

This volume contains the articles that were presented at the 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012), which was held in Kiel, Germany, March 5–9, 2012. The FoIKS symposia provide a ...

Author: Thomas Lukasiewicz

Publisher: Springer Science & Business Media

ISBN: 9783642284717

Category: Computers

Page: 405

View: 520

DOWNLOAD & READ
This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, informaiton theory, complexity theory, algorithmics and computation, statistics, and optimization.
2012-02-22 By Thomas Lukasiewicz

This volume contains the articles that were presented at the 8th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2014), which was held in Bordeaux, France, March 3–7, 2014. The FoIKS symposia provide a ...

Author: Christoph Beierle

Publisher: Springer

ISBN: 9783319049397

Category: Mathematics

Page: 433

View: 279

DOWNLOAD & READ
This book constitutes the proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014, held in Bordeaux, France, in March 2014. The 14 revised full papers presented together with 5 revised short papers and two invited talks were carefully reviewed and selected from 52 submissions. The papers address various topics such as database design, dynamics of information, information fusion, integrity and constraint management, intelligent agents, knowledge discovery and information retrieval, knowledge representation, reasoning and planning, logics in databases and AI, mathematical foundations, security in information and knowledge Systems, semi-structured data and XML, social computing, the semantic Web and knowledge management as well as the WWW.
2014-02-20 By Christoph Beierle

This volume contains the articles that were presented at the 10th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2018) held in Budapest, Hungary, during May 14–18, 2018. The FoIKS symposia provide a ...

Author: Flavio Ferrarotti

Publisher: Springer

ISBN: 9783319900506

Category: Mathematics

Page: 401

View: 240

DOWNLOAD & READ
This book constitutes the refereed proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018, held in Budapest, Hungary, in May 2018.The 20 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.​
2018-05-07 By Flavio Ferrarotti

This volume contains the articles that were presented at the 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016) held in Linz, Austria, during March 7–11, 2016. The FoIKS symposia provide a ...

Author: Marc Gyssens

Publisher: Springer

ISBN: 9783319300245

Category: Mathematics

Page: 355

View: 497

DOWNLOAD & READ
This book constitutes the proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016, held in Linz, Austria, in March 2016. The 14 revised full papers presented papers were carefully reviewed and selected from 23 submissions. The papers address various topics such as reasoning about beliefs, uncertainty, incompleteness, and inconsistency, inference and problem solving, querying and pattern mining, dealing with knowledge, logics and complexity.
2016-03-03 By Marc Gyssens