IJCAI-97
Author: International Joint Conferences on Artificial Intelligence
Publisher: Morgan Kaufmann
Published: 1997
Total Pages: 1720
ISBN-13: 9781558604803
DOWNLOAD EBOOKPosts
Functional and Logic Programming
Author: Michael Hanus
Publisher: Springer Nature
Published: 2022-05-03
Total Pages: 298
ISBN-13: 3030994619
DOWNLOAD EBOOKThis book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022. The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
Declarative Logic Programming
Author: Michael Kifer
Publisher: Morgan & Claypool
Published: 2018-09-19
Total Pages: 617
ISBN-13: 1970001976
DOWNLOAD EBOOKThe idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular. Logic Programming (LP) is at the nexus of Knowledge Representation, Artificial Intelligence, Mathematical Logic, Databases, and Programming Languages. It is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. Logic programs are more declarative in the sense that they strive to be logical specifications of "what" to do rather than "how" to do it, and thus they are high-level and easier to understand and maintain. Yet, without being given an actual algorithm, LP systems implement the logical specifications automatically. Several books cover the basics of LP but focus mostly on the Prolog language with its incomplete control strategy and non-logical features. At the same time, there is generally a lack of accessible yet comprehensive collections of articles covering the key aspects in declarative LP. These aspects include, among others, well-founded vs. stable model semantics for negation, constraints, object-oriented LP, updates, probabilistic LP, and evaluation methods, including top-down vs. bottom-up, and tabling. For systems, the situation is even less satisfactory, lacking accessible literature that can help train the new crop of developers, practitioners, and researchers. There are a few guides onWarren’s Abstract Machine (WAM), which underlies most implementations of Prolog, but very little exists on what is needed for constructing a state-of-the-art declarative LP inference engine. Contrast this with the literature on, say, Compilers, where one can first study a book on the general principles and algorithms and then dive in the particulars of a specific compiler. Such resources greatly facilitate the ability to start making meaningful contributions quickly. There is also a dearth of articles about systems that support truly declarative languages, especially those that tie into first-order logic, mathematical programming, and constraint solving. LP helps solve challenging problems in a wide range of application areas, but in-depth analysis of their connection with LP language abstractions and LP implementation methods is lacking. Also, rare are surveys of challenging application areas of LP, such as Bioinformatics, Natural Language Processing, Verification, and Planning. The goal of this book is to help fill in the previously mentioned void in the LP literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students. The following chapters in theory, systems, and applications of LP are included.
Fault Diagnosis of Dynamic Systems
Author: Teresa Escobet
Publisher: Springer
Published: 2019-06-22
Total Pages: 468
ISBN-13: 3030177289
DOWNLOAD EBOOKFault Diagnosis of Dynamic Systems provides readers with a glimpse into the fundamental issues and techniques of fault diagnosis used by Automatic Control (FDI) and Artificial Intelligence (DX) research communities. The book reviews the standard techniques and approaches widely used in both communities. It also contains benchmark examples and case studies that demonstrate how the same problem can be solved using the presented approaches. The book also introduces advanced fault diagnosis approaches that are currently still being researched, including methods for non-linear, hybrid, discrete-event and software/business systems, as well as, an introduction to prognosis. Fault Diagnosis of Dynamic Systems is valuable source of information for researchers and engineers starting to work on fault diagnosis and willing to have a reference guide on the main concepts and standard approaches on fault diagnosis. Readers with experience on one of the two main communities will also find it useful to learn the fundamental concepts of the other community and the synergies between them. The book is also open to researchers or academics who are already familiar with the standard approaches, since they will find a collection of advanced approaches with more specific and advanced topics or with application to different domains. Finally, engineers and researchers looking for transferable fault diagnosis methods will also find useful insights in the book.
Problem-Solving Methods
Author: Dieter Fensel
Publisher: Springer
Published: 2003-05-15
Total Pages: 161
ISBN-13: 3540449361
DOWNLOAD EBOOKResearchers in Artificial Intelligence have traditionally been classified into two categories: the “neaties” and the “scruffies”. According to the scruffies, the neaties concentrate on building elegant formal frameworks, whose properties are beautifully expressed by means of definitions, lemmas, and theorems, but which are of little or no use when tackling real-world problems. The scruffies are described (by the neaties) as those researchers who build superficially impressive systems that may perform extremely well on one particular case study, but whose properties and underlying theories are hidden in their implementation, if they exist at all. As a life-long, non-card-carrying scruffy, I was naturally a bit suspicious when I first started collaborating with Dieter Fensel, whose work bears all the formal hallmarks of a true neaty. Even more alarming, his primary research goal was to provide sound, formal foundations to the area of knowledge-based systems, a traditional stronghold of the scruffies - one of whom had famously declared it “an art”, thus attempting to place it outside the range of the neaties (and to a large extent succeeding in doing so).
STACS 2006
Author: Bruno Durand
Publisher: Springer Science & Business Media
Published: 2006-02-14
Total Pages: 730
ISBN-13: 3540323015
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February 2006. The 54 revised full papers presented together with three invited papers were carefully reviewed and selected from 283 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, semantics, and logic in computer science.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Author: Louis-Martin Rousseau
Publisher: Springer
Published: 2019-05-28
Total Pages: 681
ISBN-13: 3030192121
DOWNLOAD EBOOKThis book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019. The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from Constraint Programming (CP), Artificial Intelligence (AI), and Operations Research (OR) to present new techniques or applications and to provide an opportunity for researchers in one area to learn about techniques in the others. A main objective of this conference series is also to give these researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.
Knowledge-Based Intelligent Information and Engineering Systems
Author: Vasile Palade
Publisher: Springer
Published: 2011-04-08
Total Pages: 1531
ISBN-13: 3540452249
DOWNLOAD EBOOK2.1 Text Summarization “Text summarization is the process of distilling the most important information from a source (or sources) to produce an abridged version for a particular user (or users) and task (or tasks)” [3]. Basic and classical articles in text summarization appear in “Advances in automatic text summarization” [3]. A literature survey on information extraction and text summarization is given by Zechner [7]. In general, the process of automatic text summarization is divided into three stages: (1) analysis of the given text, (2) summarization of the text, (3) presentation of the summary in a suitable output form. Titles, abstracts and keywords are the most common summaries in Academic papers. Usually, the title, the abstract and the keywords are the first, second, and third parts of an Academic paper, respectively. The title usually describes the main issue discussed in the study and the abstract presents the reader a short description of the background, the study and its results. A keyword is either a single word (unigram), e.g.: ‘learning', or a collocation, which means a group of two or more words, representing an important concept, e.g.: ‘machine learning', ‘natural language processing'. Retrieving collocations from text was examined by Smadja [5] and automatic extraction of collocations was examined by Kita et al. [1].
Distributed Autonomous Robotic Systems 4
Author: L.E. Parker
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 478
ISBN-13: 4431679197
DOWNLOAD EBOOKThe Fifth International Symposium on Distributed Autonomous Robotic Systems (DARS 2000) dealt with new strategies to realize complex, modular, robust, and fault-tolerant robotic systems. Technologies, algorithms, and system architectures for distributed autonomous robotic systems were presented and discussed during the meeting. DARS 2000 was truly an international event, with participants represent ing eleven countries from Europe, Asia, and the Americas. All of the papers in this volume were presented at DARS 2000, and were selected on the basis of peer re views to ensure quality and relevance. These papers have the common goal of con tributing solutions to realize robust and intelligent multirobot systems. The topics of the symposium address a wide range of issues that are important in the development of decentralized robotic systems. These topics include architec tures, communication, biological inspirations, reconfigurable robots, localization, exploration and mapping, distributed sensing, multi robot motion coordination, tar get assignment and tracking, multirobot learning, and cooperative object transport. DARS clearly requires a broad area of interdisciplinary technologies related not only to robotics and computer engineering, but also to biology and psychology. The DARS symposium is the leading established conference on distributed au tonomous systems. The First, Second, and Third International Symposia on Distrib uted Autonomous Robotic Systems (DARS '92, DARS '94, and DARS '96) were held at the Institute of Physical and Chemical Research (RIKEN), Saitama, Japan.
Grading Knowledge
Author: Steffen Staab
Publisher: Springer
Published: 2003-06-26
Total Pages: 199
ISBN-13: 3540466185
DOWNLOAD EBOOKThis book develops concise and comprehensive concepts for extracting degree information from natural language texts. First, an overview of the ParseTalk information extraction system is given. Then, from the review of relevant linguistic literature, the author derives two distinct categories of natural language degree expressions and proposes knowledge-intensive algorithms to handle their analyses in the ParseTalk system. Moreover, for inferencing the author generalizes from well-known constraint propagation mechanisms. The concepts and methods developed are applied to text domains from medical diagnosis and information technology magazines. The conclusion of the book gives an integration of all three levels of understanding resulting in more advanced and more efficient information extraction mechanisms.
