Aaai-90
Aaai-90

Author: American Association for Artificial Intelligence

Publisher:

Published: 1990

Total Pages: 588

ISBN-13:

DOWNLOAD EBOOK

AAAI proceedings describe innovative concepts, techniques, perspectives, and observations that present promising research directions in artificial intelligence.AI and Education. Automated Reasoning: automatic programming, planning and scheduling, rule-based reasoning, search, theorem proving, uncertainty, truth-maintenance systems, constraint-based systems. Cognitive Modeling. Commonsense Reasoning: qualitative reasoning, design, diagnosis, simulation. Impacts of AI Technology: organizational, economic, and social implications. Knowledge Acquisition and Expert System Design Methodologies: techniques for designing expert systems and acquiring domain knowledge. Knowledge Representation: knowledge-representation systems, inheritance, nonmonotonic logic, nonstandard logics, temporal reasoning. Machine Architectures and Computer Languages for AI. Machine Learning. Natural Language: generation and understanding; syntax, speech, dialogue. Perception and Signal Understanding: vision. Philosophical Foundations. Robotics. User Interfaces.

Advanced Visual Interfaces - Proceedings Of The International Workshop Avi '92
Advanced Visual Interfaces - Proceedings Of The International Workshop Avi '92

Author: Levialdi Stefano

Publisher: World Scientific

Published: 1992-12-23

Total Pages: 436

ISBN-13: 9814554251

DOWNLOAD EBOOK

This volume brings together papers by experts in different areas of computer science, who have a common interest in the design and management of visual interfaces. Since cognitive science and metaphor analysis prove useful for understanding the basic mechanisms which allow visual interfaces to be easy to learn and use, these topics are also featured. Other areas focused on are: visual languages, visual database systems, intelligent agents for system interaction, graphical and pictorial communication tools, multimedia environments and specific technological developments.

PRICAI '96: Topics in Artificial Intelligence
PRICAI '96: Topics in Artificial Intelligence

Author: Norman Foo

Publisher: Springer Science & Business Media

Published: 1996

Total Pages: 694

ISBN-13: 9783540615323

DOWNLOAD EBOOK

This volume constitutes the refereed proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, PRICAI '96, held in Cairns, Queensland, Australia in August 1996. The 56 revised full papers included in the book were carefully selected for presentation at the conference from a total of 175 submissions. The topics covered are machine learning, interactive systems, knowledge representation, reasoning about change, neural nets and uncertainty, natural language, constraint satisfaction and optimization, qualitative reasoning, automated deduction, nonmonotonic reasoning, intelligent agents, planning, and pattern recognition.

Constraint-based Reasoning
Constraint-based Reasoning

Author: Eugene C. Freuder

Publisher: MIT Press

Published: 1994

Total Pages: 420

ISBN-13: 9780262560757

DOWNLOAD EBOOK

Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and design problems, planning and scheduling, temporal and spatial reasoning, defeasible and causal reasoning, machine vision and language understanding, qualitative and diagnostic reasoning, and expert systems. Constraint-Based Reasoning presents current work in the field at several levels: theory, algorithms, languages, applications, and hardware. Constraint-based reasoning has connections to a wide variety of fields, including formal logic, graph theory, relational databases, combinatorial algorithms, operations research, neural networks, truth maintenance, and logic programming. The ideal of describing a problem domain in natural, declarative terms and then letting general deductive mechanisms synthesize individual solutions has to some extent been realized, and even embodied, in programming languages. Contents Introduction, E. C. Freuder, A. K. Mackworth * The Logic of Constraint Satisfaction, A. K. Mackworth * Partial Constraint Satisfaction, E. C. Freuder, R. J. Wallace * Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach, E. Hyvonen * Constraint Satisfaction Using Constraint Logic Programming, P. Van Hentenryck, H. Simonis, M. Dincbas * Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems, S. Minton, M. D. Johnston, A. B. Philips, and P. Laird * Arc Consistency: Parallelism and Domain Dependence, P. R. Cooper, M. J. Swain * Structure Identification in Relational Data, R. Dechter, J. Pearl * Learning to Improve Constraint-Based Scheduling, M. Zweben, E. Davis, B. Daun, E. Drascher, M. Deale, M. Eskey * Reasoning about Qualitative Temporal Information, P. van Beek * A Geometric Constraint Engine, G. A. Kramer * A Theory of Conflict Resolution in Planning, Q. Yang A Bradford Book.

Parallel Text Processing
Parallel Text Processing

Author: Jean Véronis

Publisher: Springer Science & Business Media

Published: 2013-03-14

Total Pages: 417

ISBN-13: 9401725357

DOWNLOAD EBOOK

l This book evolved from the ARCADE evaluation exercise that started in 1995. The project's goal is to evaluate alignment systems for parallel texts, i. e. , texts accompanied by their translation. Thirteen teams from various places around the world have participated so far and for the first time, some ten to fifteen years after the first alignment techniques were designed, the community has been able to get a clear picture of the behaviour of alignment systems. Several chapters in this book describe the details of competing systems, and the last chapter is devoted to the description of the evaluation protocol and results. The remaining chapters were especially commissioned from researchers who have been major figures in the field in recent years, in an attempt to address a wide range of topics that describe the state of the art in parallel text processing and use. As I recalled in the introduction, the Rosetta stone won eternal fame as the prototype of parallel texts, but such texts are probably almost as old as the invention of writing. Nowadays, parallel texts are electronic, and they are be coming an increasingly important resource for building the natural language processing tools needed in the "multilingual information society" that is cur rently emerging at an incredible speed. Applications are numerous, and they are expanding every day: multilingual lexicography and terminology, machine and human translation, cross-language information retrieval, language learning, etc.

Artificial Intelligence for Advanced Problem Solving Techniques
Artificial Intelligence for Advanced Problem Solving Techniques

Author: Vlahavas, Ioannis

Publisher: IGI Global

Published: 2008-01-31

Total Pages: 388

ISBN-13: 1599047071

DOWNLOAD EBOOK

One of the most important functions of artificial intelligence, automated problem solving, consists mainly of the development of software systems designed to find solutions to problems. These systems utilize a search space and algorithms in order to reach a solution. Artificial Intelligence for Advanced Problem Solving Techniques offers scholars and practitioners cutting-edge research on algorithms and techniques such as search, domain independent heuristics, scheduling, constraint satisfaction, optimization, configuration, and planning, and highlights the relationship between the search categories and the various ways a specific application can be modeled and solved using advanced problem solving techniques.

Constraint Networks
Constraint Networks

Author: Christophe Lecoutre

Publisher: John Wiley & Sons

Published: 2013-03-01

Total Pages: 461

ISBN-13: 1118617916

DOWNLOAD EBOOK

A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this aim in mind, this book provides an accessible synthesis of the author's research and work in this area, divided into four main topics: representation, inference, search, and learning. The results obtained and reproduced in this book have a wide applicability, regardless of the nature of the problem to be solved or the type of constraints involved, making it an extremely user-friendly resource for those involved in this field.

Mental Models in Discourse Processing and Reasoning
Mental Models in Discourse Processing and Reasoning

Author: G. Rickheit

Publisher: Elsevier

Published: 1999-10-29

Total Pages: 427

ISBN-13: 0080536220

DOWNLOAD EBOOK

In this interdisciplinary discussion on mental models, researchers from various areas in cognitive science tackle the following questions: What is a mental model? What are the prospects and limitations in applying the mental model notion in cognitive science? How can the ideas on the nature of mental models and their mode of operation be empirically substantiated? The primary goal of the research group was to work out a definition of mental models that embraces the overall use of this construct in cognitive science as well as the more specific conceptions used in particular research domains such as cognitive linguistics. Theoretical claims about the properties of mental models were discussed and their tenability evaluated against the empirical evidence.The volume is divided into three parts. Fundamental aspects of mental models are presented in the first section, the following part contains contributions to the function of mental models in discourse processing, and finally problems of mental models in reasoning and problem solving are outlined.