Download or read book AAAI 99 written by American Association for Artificial Intelligence and published by . This book was released on 1999 with total page 1032 pages. Available in PDF, EPUB and Kindle. Book excerpt: AAAI proceedings describe innovative concepts, techniques, perspectives, and observations that present promising research directions in artificial intelligence. The annual AAAI National Conference and Innovative Applications of Artificial Intelligence Conference provide a forum for information exchange and interaction among researchers from all disciplines of AI. Contributions include theoretical, experimental, and empirical results. The technical papers published in this proceedings were selected by a rigorous, double-blind review process. The National Conference papers cover a myriad of topics, including agents, artificial intelligence and the world wide web, cognitive systems, constraint satisfaction problems, knowledge acquisition, knowledge representation, learning, model-based reasoning, natural language and information retrieval, planning, robotics, satisfiability, scheduling, search, tractable reasoning, and vision. The Innovative Applications Conference papers feature deployed and emerging applications. These papers will be of special benefit to AI applications developers. In addition, abstracts from the Invited talks, Intelligent Systems Demonstrations, Robotic Competition and Exhibition, SIGART/AAAI Doctoral Consortium, and Student programs are also included in this proceedings.
Download or read book Proceedings written by and published by . This book was released on 1999 with total page 1252 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Logic Based Artificial Intelligence written by Jack Minker and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 600 pages. Available in PDF, EPUB and Kindle. Book excerpt: The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.
Download or read book Logics in Artificial Intelligence written by Sergio Flesca and published by Springer. This book was released on 2003-08-06 with total page 589 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the European Conference on Logics in Artificial Intelligence, JELIA 2002, held in Cosenza, Italy in September 2002.The 41 revised full papers presented together with 11 system descriptions and 3 invited contributions were carefuly reviewed and selected from more than 100 submissions. The papers are organized in topical sections on multi-agent systems, evolution and changes, description logic and the semantic web, complexity issues, probabilistic logic, AI planning, modal logic and causal reasoning, theory, reasoning under uncertainty, satisfiability, paraconsisten reasoning, actions and caution, logic for agents, semantics, and optimization issues in answer set semantics.
Download or read book Advances in Database Technology EDBT 2002 written by Christian S. Jensen and published by Springer. This book was released on 2003-07-31 with total page 792 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Eighth International Conference on Extending Database Technology, EDBT 2002, was held in Prague, Czech Republic, March 25–27, 2002. It marks the 50th anniversary of Charles University’s Faculty of Mathematics and Physics and is the most recent in a series of conferences dedicated to the dissemination and exchange of the latest advances in data management. Previous conferences occurred in Konstanz, Valencia, Avignon, Cambridge, Vienna, and Venice. The topical theme of this year’s conference is Data Management in the New Millennium, which encourages the community to see beyond the management of massive databases by conventional database management systems and to extend database technology to support new services and application areas. The intention is to spur greater interest in more integrated solutions to user problems, which often implies the consideration of data management issues in entire information systems infrastructures. There is data (almost) everywhere, and data access is needed (almost) always and everywhere. New technologies, services, and app- cations that involve the broader notion of data management are emerging more rapidly than ever, and the database community has much to o?er. The call for papers attracted numerous submissions, including 207 research papers, which is a new record for EDBT. The program committee selected 36 research papers, 6 industrial and applications papers, 13 software demos, and 6 tutorials for presentation at the conference. In addition, the conference program includes three keynote speeches, by Jari Ahola, Ian Horrocks, and Hans-J ̈org Schek, and a panel.
Download or read book Balancing Reactivity and Social Deliberation in Multi Agent Systems written by Markus Hannebauer and published by Springer. This book was released on 2003-05-15 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a subselection of papers presented at the ECAI 2000 Workshop on Balancing Reactivity and Social Deliberation in Multi-Agent Systems together with additional papers from well-known researchers in the field. The 13 revised full papers were carefully reviewed and selected for inclusion in the present book. Besides two introductory survey papers, the book offers topical sections on architectures and frameworks, enhanced reactivity, and controlled social deliberation.
Download or read book Artificial Intelligence Methods for Optimization of the Software Testing Process written by Sahar Tahvili and published by Academic Press. This book was released on 2022-07-21 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial Intelligence Methods for Optimization of the Software Testing Process: With Practical Examples and Exercises presents different AI-based solutions for overcoming the uncertainty found in many initial testing problems. The concept of intelligent decision making is presented as a multi-criteria, multi-objective undertaking. The book provides guidelines on how to manage diverse types of uncertainty with intelligent decision-making that can help subject matter experts in many industries improve various processes in a more efficient way. As the number of required test cases for testing a product can be large (in industry more than 10,000 test cases are usually created). Executing all these test cases without any particular order can impact the results of the test execution, hence this book fills the need for a comprehensive resource on the topics on the how's, what's and whys. To learn more about Elsevier’s Series, Uncertainty, Computational Techniques and Decision Intelligence, please visit this link: https://www.elsevier.com/books-and-journals/book-series/uncertainty-computational-techniques-and-decision-intelligence Presents one of the first empirical studies in the field, contrasting theoretical assumptions on innovations in a real industrial environment with a large set of use cases from developed and developing testing processes at various large industries Explores specific comparative methodologies, focusing on developed and developing AI-based solutions Serves as a guideline for conducting industrial research in the artificial intelligence and software testing domain Explains all proposed solutions through real industrial case studies
Download or read book Artificial Intelligence in Design 02 written by Asko Riitahuhta and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 630 pages. Available in PDF, EPUB and Kindle. Book excerpt: One of the foundations for change in our society comes from designing. Its genesis is the notion that the world around us either is unsuited to our needs or can be improved. The need for designing is driven by a society's view that it can improve or add value to human existence well beyond simple subsistence. As a consequence of designing the world which we inhabit is increasingly a designed rather than a naturally occurring one. In that sense it is an "artificial" world. Designing is a fundamental precursor to manufacturing, fabrication, construction or implementation. Design research aims to develop an understanding of designing and to produce models of designing that can be used to aid designing. Artificial intelligence has provided an environmental paradigm within which design research based on computational constructions, can be carried out. Design research can be carried out in variety of ways. It can be viewed as largely an empirical endeavour in which experiments are designed and executed in order to test some hypothesis about some design phenomenon or design behaviour. This is the approach adopted in cognitive science. It often manifests itself through the use of protocol studies of designers. The results of such research form the basis of a computational model. A second view is that design research can be carried out by positing axioms and then deriving consequences from them.
Download or read book Information Extraction in the Web Era written by Maria Teresa Pazienza and published by Springer Science & Business Media. This book was released on 2003-07-29 with total page 175 pages. Available in PDF, EPUB and Kindle. Book excerpt: The revised versions of lectures given at the Summer Convention on Information Extraction, SCIE 2002, held in Frascati, Italy in July 2002. The following lectures by leading authorities in the field of information extraction are included: - acquisition of domain knowledge - terminology mining - finite-state approaches to Web IE - measuring term representatives - agent-based ontological mediation in IE systems - information retrieval and IE in question answering systems - natural language communication with virtual actors
Download or read book PRICAI 2000 Topics in Artificial Intelligence written by Riichiro Mizoguchi and published by Springer. This book was released on 2007-12-07 with total page 858 pages. Available in PDF, EPUB and Kindle. Book excerpt: PRICAI 2000, held in Melbourne, Australia, is the sixth Pacific Rim Interna tional Conference on Artificial Intelligence and is the successor to the five earlier PRICAIs held in Nagoya (Japan), Seoul (Korea), Beijing (China), Cairns (Aus tralia) and Singapore in the years 1990, 1992, 1994, 1996 and 1998 respectively. PRICAI is the leading conference in the Pacific Rim region for the presenta tion of research in Artificial Intelligence, including its applications to problems of social and economic importance. The objectives of PRICAI are: To provide a forum for the introduction and discussion of new research results, concepts and technologies; To provide practising engineers with exposure to and an evaluation of evolving research, tools and practices; To provide the research community with exposure to the problems of practical applications of AI; and To encourage the exchange of AI technologies and experience within the Pacific Rim countries. PRICAI 2000 is a memorial event in the sense that it is the last one in the 20"" century. It reflects what researchers in this region believe to be promising for their future AI research activities. In fact, some salient features can be seen in the papers accepted. We have 12 papers on agents, while PRICAI 96 and 98 had no more than two or three. This suggests to us one of the directions in which AI research is going in the next century. It is true that agent research provides us with a wide range of research subjects from basic ones to applications.
Download or read book Sat2000 written by Ian Gent and published by . This book was released on 2000 with total page 568 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book AI 2003 Advances in Artificial Intelligence written by Tamas D. Gedeon and published by Springer. This book was released on 2003-12-01 with total page 1095 pages. Available in PDF, EPUB and Kindle. Book excerpt: Consider the problem of a robot (algorithm, learning mechanism) moving along the real line attempting to locate a particular point ? . To assist the me- anism, we assume that it can communicate with an Environment (“Oracle”) which guides it with information regarding the direction in which it should go. If the Environment is deterministic the problem is the “Deterministic Point - cation Problem” which has been studied rather thoroughly [1]. In its pioneering version [1] the problem was presented in the setting that the Environment could charge the robot a cost which was proportional to the distance it was from the point sought for. The question of having multiple communicating robots locate a point on the line has also been studied [1, 2]. In the stochastic version of this problem, we consider the scenario when the learning mechanism attempts to locate a point in an interval with stochastic (i. e. , possibly erroneous) instead of deterministic responses from the environment. Thus when it should really be moving to the “right” it may be advised to move to the “left” and vice versa. Apart from the problem being of importance in its own right, the stoch- tic pointlocationproblemalsohas potentialapplications insolvingoptimization problems. Inmanyoptimizationsolutions–forexampleinimageprocessing,p- tern recognition and neural computing [5, 9, 11, 12, 14, 16, 19], the algorithm worksits wayfromits currentsolutionto the optimalsolutionbasedoninfor- tion that it currentlyhas. A crucialquestionis oneof determining the parameter whichtheoptimizationalgorithmshoulduse.
Download or read book AI 2001 Advances in Artificial Intelligence written by Markus Stumptner and published by Springer Science & Business Media. This book was released on 2001-11-28 with total page 678 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 14th Australian Joint Conference on Artificial Intelligence, AI 2001, held in Adelaide, Australia, in December 2001. The 55 revised full papers presented together with one invited contribution were carefully reviewed and selected from a total of 100 submissions. The papers cover the whole range of artificial intelligence from theoretical and foundational issues to advanced applications in a variety of fields.
Download or read book RoboCup 99 Robot Soccer World Cup III written by Manuela Veloso and published by Springer. This book was released on 2003-07-31 with total page 818 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is the third official archival publication devoted to RoboCup and documents the achievements presented at the Third Robot World Cup Soccer Games and Conferences, Robo-Cup-99, held in Stockholm, Sweden in July/August 1999. The book presents the following parts - Introductory overview and survey - Research papers of the champion teams and scientific award winners - Technical papers presented at the RoboCup-99 Workshop - Team description of a large number of participating teams. This book is mandatory reading for the rapidly growing RoboCup community as well as a valuable source or reference and inspiration for R&D professionals interested in multi-agent systems, distributed artificial intelligence, and intelligent robotics.
Download or read book PRICAI 2004 Trends in Artificial Intelligence written by Chengqi Zhang and published by Springer Science & Business Media. This book was released on 2004-08-16 with total page 1043 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2004, held in Auckland, New Zealand in August 2004. The 94 revised full papers and 45 revised poster papers presented together with 3 invited contributions were carefully reviewed and selected from 356 submissions. The papers are organized in topical sections on logic and reasoning, knowledge representation and search, ontologies, planning, constraint satisfaction, machine learning, computational learning, Bayesian networks, evolutionary computing, neural networks, fuzzy logic, data mining, classification and clustering, case-based reasoning, information retrieval, agent technology, robotics, bioinformatics, image processing and computer vision, natural language processing, and speech understanding and interaction.
Download or read book Intelligent Exploration of the Web written by Piotr S. Szczepaniak and published by Springer Science & Business Media. This book was released on 2002-11-26 with total page 440 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Web is the nervous system of information society. As such, it has a pervasive influence on our daily lives. And yet, in some ways the Web does not have a high MIQ (Machine IQ). What can be done to enhance it? This is the leitmotif of "Intelligent Exploration of the Web," (lEW)--a collection of articles co-edited by Drs. Szczepaniak, Segovia, Kacprzyk and, to a small degree, myself. The articles that comprise lEW address many basic problems ranging from structure analysis of Internet documents and Web dialogue management to intelligent Web agents for extraction of information, and bootstrapping an ontology-based information extraction system. Among the basic problems, one that stands out in importance is the problem of search. Existing search engines have many remarkable capabilities. But what is not among them is the deduction capability--the capability to answer a query by drawing on information which resides in various parts of the knowledge base. An example of a query might be "How many Ph.D. degrees in computer science were granted by European universities in 1996?" No existing search engine is capable of dealing with queries of comparable or even much lower complexity. Basically, what we would like to do is to add deduction capability to a search engine, with the aim of transforming it into a question-answering system, or a QI A system, for short. This is a problem that is of major importance and a challenge that is hard to meet.
Download or read book Computing And Information Technologies Exploring Emerging Technologies Procs Of The Intl Conf written by George Antoniou and published by World Scientific. This book was released on 2001-08-28 with total page 497 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a balanced presentation of the latest techniques, algorithms and applications in computer science and engineering. The papers, written by eminent researchers in their fields, provide a vehicle for new research and development.The proceedings have been selected for coverage in:• Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings)