Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Truth Maintenance Systems
The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. - Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. - Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. - Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.
EPIA'89
None
The Chronicle of the Fountain Pen
A beautifully illustrated, well-researched presentation of the evolution of fountain pens, showing how political and social events influenced their designs, the trends in their evolution process, and competition, fights, and mergers among manufacturers. This guide shows more than 3000 fountain pens, in 606 full color photographs, with competing models side-by-side to reveal their similarities and differences. At the end of each chronological organized chapter, a timeline shows the main events in the world together with the models introduced by each manufacturer. Other books have addressed the history and development of fountain pens, typically, looking at the evolution of individual manufacturers. That approach, however, leaves out two important aspects: the interaction between manufacturers and influences world events had on their designs. The whole history of the fountain pen is told as a sequence of small stories about the main events. Many of the pens shown here have not previously been published in other books.
Advances in Artificial Intelligence
Invited papers; knowledge representation and automated reasoning; tutoring systems; machine learning; neural networks; distributed AI; knowledge acquisition and knowledge bases; posters.
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
In recent years it has become apparent that an important part of the theory of artificial intelligence is concerned with reasoning on the basis of uncertain, incomplete, or inconsistent information. A variety of formalisms have been developed, including nonmonotonic logic, fuzzy sets, possibility theory, belief functions, and dynamic models of reasoning such as belief revision and Bayesian networks. Several European research projects have been formed in the area and the first European conference was held in 1991. This volume contains the papers accepted for presentation at ECSQARU-93, the European Conference on Symbolicand Quantitative Approaches to Reasoning and Uncertainty, held at the University of Granada, Spain, November 8-10, 1993.
AAAI-87
None
Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving
This book constitutes the refereed proceedings of the 10th Portuguese Conference on Artificial Intelligence, EPTA 2001, held in Porto, Portugal, in December 2001. The 21 revised long papers and 18 revised short papers were carefully reviewed and selected from a total of 88 submissions. The papers are organized in topical sections on extraction of knowledge from databases, AI techniques for financial time series analysis, multi-agent systems, AI logics and logic programming, constraint satisfaction, and AI planning.
Epia'89
None
Progress in Artificial Intelligence
This book presents the refereed proceedings of the 7th Portuguese Conference on Artificial Intelligence, EPIA'95, held in Funchal, Madeira Island, Portugal, in October 1995. The 30 revised full papers and the 15 poster presentations included were selected during a highly competitive selection process from a total of 167 submissions from all over the world. Among the topics covered are automated reasoning and theorem proving, belief revision, constraint-based reasoning, distributed artificial intelligence, genetic algorithms, machine learning, neural networks, non-monotonic reasoning, planning and case-based reasoning, qualitative reasoning, robotics and control, and theory of computation.
