Logic and Data Bases
Author : Hervé Gallaire
Publisher : Springer Science & Business Media
Page : 454 pages
File Size : 48,45 MB
Release : 2012-12-06
Category : Computers
ISBN : 1468433849
Scientific and Technical Aerospace Reports
Author :
Publisher :
Page : 388 pages
File Size : 31,70 MB
Release : 1969
Category : Aeronautics
ISBN :
Book Description
Computers in Information Sciences
Author : Defense Documentation Center (U.S.)
Publisher :
Page : 294 pages
File Size : 41,20 MB
Release : 1973
Category : Programming languages (Electronic computers)
ISBN :
Book Description
Advances in Data Base Theory
Author : Hervé Gallaire
Publisher : Springer Science & Business Media
Page : 426 pages
File Size : 26,5 MB
Release : 2012-12-06
Category : Computers
ISBN : 1461582970
Book Description
This is the third book devoted to theoretical issues in data bases that we have edited. Each book has been the outgrowth of papers held at a workshop in Toulouse, France. The first workshop, held in 1977 focused primarily on the important topic of logic and databases. The book, Logic and Databases was the result of this effort. The diverse uses of logic for databases such as its use as a theoretical basis for databases, for deduction and for integ rity constraints formulation and checking was described in the chapters of the book. The interest generated by the first workshop led to the deci sion to conduct other workshops focused on theoretical issues in databases. In addition to logic and databases the types of papers were expanded to include other important theoretical issues such as dependency theory which, although it sometimes uses logic as a basis, does not fit with our intended meaning of logic and databases explored at the first workshop. Because of the broader coverage, and because we anticipated further workshops, the second book was entitled, Advances in Database Theory - Volume 1. The book "Logic and Databases" should be considered Volume 0 of this series.
Intelligent Information Technologies: Concepts, Methodologies, Tools, and Applications
Author : Sugumaran, Vijayan
Publisher : IGI Global
Page : 2614 pages
File Size : 15,6 MB
Release : 2007-11-30
Category : Computers
ISBN : 1599049422
Book Description
This set compiles more than 240 chapters from the world's leading experts to provide a foundational body of research to drive further evolution and innovation of these next-generation technologies and their applications, of which scientific, technological, and commercial communities have only begun to scratch the surface.
Natural Language Question Answering Systems
Author : Leonard Bolc
Publisher :
Page : 326 pages
File Size : 18,40 MB
Release : 1980
Category : Computational linguistics
ISBN :
Book Description
Readings in Artificial Intelligence and Databases
Author : John Mylopoulos
Publisher : Morgan Kaufmann
Page : 697 pages
File Size : 35,13 MB
Release : 2014-06-28
Category : Computers
ISBN : 0080886620
Book Description
The interaction of database and AI technologies is crucial to such applications as data mining, active databases, and knowledge-based expert systems. This volume collects the primary readings on the interactions, actual and potential, between these two fields. The editors have chosen articles to balance significant early research and the best and most comprehensive articles from the 1980s. An in-depth introduction discusses basic research motivations, giving a survey of the history, concepts, and terminology of the interaction. Major themes, approaches and results, open issues and future directions are all discussed, including the results of a major survey conducted by the editors of current work in industry and research labs. Thirteen sections follow, each with a short introduction. Topics examined include semantic data models with emphasis on conceptual modeling techniques for databases and information systems and the integration of data model concepts in high-level data languages, definition and maintenance of integrity constraints in databases and knowledge bases, natural language front ends, object-oriented database management systems, implementation issues such as concurrency control and error recovery, and representation of time and knowledge incompleteness from the viewpoints of databases, logic programming, and AI.
Foundations of Deductive Databases and Logic Programming
Author : Jack Minker
Publisher : Morgan Kaufmann
Page : 753 pages
File Size : 15,66 MB
Release : 2014-05-12
Category : Computers
ISBN : 1483221121
Book Description
Foundations of Deductive Databases and Logic Programming focuses on the foundational issues concerning deductive databases and logic programming. The selection first elaborates on negation in logic programming and towards a theory of declarative knowledge. Discussions focus on model theory of stratified programs, fixed point theory of nonmonotonic operators, stratified programs, semantics for negation in terms of special classes of models, relation between closed world assumption and the completed database, negation as a failure, and closed world assumption. The book then takes a look at negation as failure using tight derivations for general logic programs, declarative semantics of logic programs with negation, and declarative semantics of deductive databases and logic programs. The publication tackles converting AND-control to OR-control by program transformation, optimizing dialog, equivalences of logic programs, unification, and logic programming and parallel complexity. Topics include parallelism and structured and unstructured data, parallel algorithms and complexity, solving equations, most general unifiers, systems of equations and inequations, equivalences of logic programs, and optimizing recursive programs. The selection is a valuable source of data for researchers interested in pursuing further studies on the foundations of deductive databases and logic programming.
Rough Sets and Knowledge Technology
Author : Guoyin Wang
Publisher : Springer Science & Business Media
Page : 782 pages
File Size : 33,80 MB
Release : 2008-04-25
Category : Computers
ISBN : 3540797203
Book Description
This book constitutes the refereed proceedings of the Third International Conference on Rough Sets and Knowledge Technology, RSKT 2008, held in Chengdu, China, in May 2008. The 91 revised full papers papers presented together with 3 keynote papers and 6 tutorial papers were carefully reviewed and selected from 184 submissions. They all focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information processing, intelligent control, and applications. The papers are organized in topical sections on rough and soft computing, rough mereology with applications, dominance-based rough set approach, fuzzy-rough hybridization, granular computing, logical and mathematical foundations, formal concept analysis, data mining, machine learning, intelligent information processing, bioinformatics and cognitive informatics, web intelligence, pattern recognition, and real-life applications of knowledge technology.
Symbolic Logic and Mechanical Theorem Proving
Author : Chin-Liang Chang
Publisher : Academic Press
Page : 349 pages
File Size : 50,48 MB
Release : 2014-06-28
Category : Mathematics
ISBN : 0080917283
Book Description
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
