Author: C Rowles
Publisher: World Scientific
ISBN: 9814552534
Category :
Languages : en
Pages : 480
Book Description
This volume reflects the state of the art in artificial intelligence in the Australasian region. It covers machine learning, knowledge acguisition, cognitive modelling, robots and vision, natural language, automated reasoning, knowledge-based systems, neural networks and genetic algorithms, distributed AI, etc.
Ai '93 - Proceedings Of The 6th Australian Joint Conference On Artificial Intelligence
Author: C Rowles
Publisher: World Scientific
ISBN: 9814552534
Category :
Languages : en
Pages : 480
Book Description
This volume reflects the state of the art in artificial intelligence in the Australasian region. It covers machine learning, knowledge acguisition, cognitive modelling, robots and vision, natural language, automated reasoning, knowledge-based systems, neural networks and genetic algorithms, distributed AI, etc.
Publisher: World Scientific
ISBN: 9814552534
Category :
Languages : en
Pages : 480
Book Description
This volume reflects the state of the art in artificial intelligence in the Australasian region. It covers machine learning, knowledge acguisition, cognitive modelling, robots and vision, natural language, automated reasoning, knowledge-based systems, neural networks and genetic algorithms, distributed AI, etc.
Foundations of Rule Learning
Author: Johannes Fürnkranz
Publisher: Springer Science & Business Media
ISBN: 3540751971
Category : Computers
Languages : en
Pages : 345
Book Description
Rules – the clearest, most explored and best understood form of knowledge representation – are particularly important for data mining, as they offer the best tradeoff between human and machine understandability. This book presents the fundamentals of rule learning as investigated in classical machine learning and modern data mining. It introduces a feature-based view, as a unifying framework for propositional and relational rule learning, thus bridging the gap between attribute-value learning and inductive logic programming, and providing complete coverage of most important elements of rule learning. The book can be used as a textbook for teaching machine learning, as well as a comprehensive reference to research in the field of inductive rule learning. As such, it targets students, researchers and developers of rule learning algorithms, presenting the fundamental rule learning concepts in sufficient breadth and depth to enable the reader to understand, develop and apply rule learning techniques to real-world data.
Publisher: Springer Science & Business Media
ISBN: 3540751971
Category : Computers
Languages : en
Pages : 345
Book Description
Rules – the clearest, most explored and best understood form of knowledge representation – are particularly important for data mining, as they offer the best tradeoff between human and machine understandability. This book presents the fundamentals of rule learning as investigated in classical machine learning and modern data mining. It introduces a feature-based view, as a unifying framework for propositional and relational rule learning, thus bridging the gap between attribute-value learning and inductive logic programming, and providing complete coverage of most important elements of rule learning. The book can be used as a textbook for teaching machine learning, as well as a comprehensive reference to research in the field of inductive rule learning. As such, it targets students, researchers and developers of rule learning algorithms, presenting the fundamental rule learning concepts in sufficient breadth and depth to enable the reader to understand, develop and apply rule learning techniques to real-world data.
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
Author: Graham F. Forsyth
Publisher: CRC Press
ISBN: 9782884491983
Category : Computers
Languages : en
Pages : 888
Book Description
In the areas of industry and engineering, AI techniques have become the norm in sectors including computer-aided design, intelligent manufacturing, and control. Papers in this volume represent work by both computer scientists and engineers separately and together. They directly and indirectly represent a real collaboration between computer science and engineering, covering a wide variety of fields related to intelligent systems technology ranging from neural networks, knowledge acquisition and representation, automated scheduling, machine learning, multimedia, genetic algorithms, fuzzy logic, robotics, automated reasoning, heuristic searching, automated problem solving, temporal, spatial and model-based reasoning, clustering, blackboard architectures, automated design, pattern recognition and image processing, automated planning, speech recognition, simulated annealing, and intelligent tutoring, as well as various computer applications of intelligent systems including financial analysis, artificial
Publisher: CRC Press
ISBN: 9782884491983
Category : Computers
Languages : en
Pages : 888
Book Description
In the areas of industry and engineering, AI techniques have become the norm in sectors including computer-aided design, intelligent manufacturing, and control. Papers in this volume represent work by both computer scientists and engineers separately and together. They directly and indirectly represent a real collaboration between computer science and engineering, covering a wide variety of fields related to intelligent systems technology ranging from neural networks, knowledge acquisition and representation, automated scheduling, machine learning, multimedia, genetic algorithms, fuzzy logic, robotics, automated reasoning, heuristic searching, automated problem solving, temporal, spatial and model-based reasoning, clustering, blackboard architectures, automated design, pattern recognition and image processing, automated planning, speech recognition, simulated annealing, and intelligent tutoring, as well as various computer applications of intelligent systems including financial analysis, artificial
Ai 2004: Advances In Artificial Intelligence
Author: Geoffrey I. Webb
Publisher: Springer Science & Business Media
ISBN: 3540240594
Category : Computers
Languages : en
Pages : 1293
Book Description
This book constitutes the refereed proceedings of the 17th Australian Conference on Artificial Intelligence, AI 2004, held in Cairns, Australia, in December 2004. The 78 revised full papers and 62 revised short papers presented were carefully reviewed and selected from 340 submissions. The papers are organized in topical sections on agents; biomedical applications; computer vision, image processing, and pattern recognition; ontologies, knowledge discovery and data mining; natural language and speech processing; problem solving and reasoning; robotics; and soft computing.
Publisher: Springer Science & Business Media
ISBN: 3540240594
Category : Computers
Languages : en
Pages : 1293
Book Description
This book constitutes the refereed proceedings of the 17th Australian Conference on Artificial Intelligence, AI 2004, held in Cairns, Australia, in December 2004. The 78 revised full papers and 62 revised short papers presented were carefully reviewed and selected from 340 submissions. The papers are organized in topical sections on agents; biomedical applications; computer vision, image processing, and pattern recognition; ontologies, knowledge discovery and data mining; natural language and speech processing; problem solving and reasoning; robotics; and soft computing.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Author: Jacques Calmet
Publisher: Springer
ISBN: 3540454705
Category : Computers
Languages : en
Pages : 355
Book Description
AISC 2002, the 6th international conference on Arti?cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1-5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l'Information et des Syst` emes). AISC 2002 was the latest in a series of specialized conferences founded by John Campbell and Jacques Calmet with the initial title "Arti?cial Intelligence and Symbolic Mathematical Computation" (AISMC) and later denoted "Art- cial Intelligence and Symbolic Computation" (AISC). The scope is well de?ned by its successive titles. AISMC-1 (1992), AISMC-2 (1994), AISMC-3 (1996), AISC'98, and AISC 2000 took place in Karlsruhe, Cambridge, Steyr, Plattsburgh (NY), and Madrid respectively. The proceedings were published by Springer-Verlag as LNCS 737, LNCS 958, LNCS 1138, LNAI 1476, and LNAI 1930 respectively. Calculemus 2002 was the 10th symposium in a series which started with three meetings in 1996, two meetings in 1997, and then turned into a yearly event in 1998. Since then, it has become a tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. Both events share common interests in looking at Symbolic Computation, each from a di?erent point of view: Arti?cial Intelligence in the more general case of AISC and Automated Deduction in the more speci?c case of Calculemus.
Publisher: Springer
ISBN: 3540454705
Category : Computers
Languages : en
Pages : 355
Book Description
AISC 2002, the 6th international conference on Arti?cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1-5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l'Information et des Syst` emes). AISC 2002 was the latest in a series of specialized conferences founded by John Campbell and Jacques Calmet with the initial title "Arti?cial Intelligence and Symbolic Mathematical Computation" (AISMC) and later denoted "Art- cial Intelligence and Symbolic Computation" (AISC). The scope is well de?ned by its successive titles. AISMC-1 (1992), AISMC-2 (1994), AISMC-3 (1996), AISC'98, and AISC 2000 took place in Karlsruhe, Cambridge, Steyr, Plattsburgh (NY), and Madrid respectively. The proceedings were published by Springer-Verlag as LNCS 737, LNCS 958, LNCS 1138, LNAI 1476, and LNAI 1930 respectively. Calculemus 2002 was the 10th symposium in a series which started with three meetings in 1996, two meetings in 1997, and then turned into a yearly event in 1998. Since then, it has become a tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. Both events share common interests in looking at Symbolic Computation, each from a di?erent point of view: Arti?cial Intelligence in the more general case of AISC and Automated Deduction in the more speci?c case of Calculemus.
Progress in Artificial Intelligence
Author: Pedro Barahona
Publisher: Springer
ISBN: 3540481591
Category : Computers
Languages : en
Pages : 395
Book Description
The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the Portuguese Conference on Arti cial Intelligence (EPIA). This ninth conference follows previous ones held in Porto (1985), Lisboa (1986), Braga (1987), Lisboa (1989), Albufeira (1991), Porto (1993), Funchal (1995) and Coimbra (1997). Starting in 1989, the conferences have been held biennially (alternating with an APPIA Advanced School on Arti cial Intelligence) and become truly international: English has been adopted as the o cial language and the proceedings are published in Springer’s LNAI series. The conference has recon rmed its high international standard this year, largely due to its programme committee, composed of distinguished researchers in a variety of specialities in Arti cial Intelligence, half of them from Portuguese universities. This has attracted a signi cant international interest, well expressed by the number of papers submitted (66), from 17 di erent countries, 29 of which are by Portuguese researchers. From the 66 papers submitted, about one third of them (23) were selected for oral presentation and have been published in this volume. The review process enabled the selection of high quality papers, each paper being reviewed by two or three reviewers, either from the programme committee or by their appointment. We would like to thank all of the reviewers for their excellent and hard work.
Publisher: Springer
ISBN: 3540481591
Category : Computers
Languages : en
Pages : 395
Book Description
The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the Portuguese Conference on Arti cial Intelligence (EPIA). This ninth conference follows previous ones held in Porto (1985), Lisboa (1986), Braga (1987), Lisboa (1989), Albufeira (1991), Porto (1993), Funchal (1995) and Coimbra (1997). Starting in 1989, the conferences have been held biennially (alternating with an APPIA Advanced School on Arti cial Intelligence) and become truly international: English has been adopted as the o cial language and the proceedings are published in Springer’s LNAI series. The conference has recon rmed its high international standard this year, largely due to its programme committee, composed of distinguished researchers in a variety of specialities in Arti cial Intelligence, half of them from Portuguese universities. This has attracted a signi cant international interest, well expressed by the number of papers submitted (66), from 17 di erent countries, 29 of which are by Portuguese researchers. From the 66 papers submitted, about one third of them (23) were selected for oral presentation and have been published in this volume. The review process enabled the selection of high quality papers, each paper being reviewed by two or three reviewers, either from the programme committee or by their appointment. We would like to thank all of the reviewers for their excellent and hard work.
Advances in Formal Design Methods for CAD
Author: Asko Riitahuhta
Publisher: Springer
ISBN: 0387349251
Category : Computers
Languages : en
Pages : 296
Book Description
Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design.
Publisher: Springer
ISBN: 0387349251
Category : Computers
Languages : en
Pages : 296
Book Description
Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design.
AI 2002: Advances in Artificial Intelligence
Author: Bob McKay
Publisher: Springer Science & Business Media
ISBN: 3540001972
Category : Business & Economics
Languages : en
Pages : 744
Book Description
This book constitutes the refereed proceedings of the 15th Australian Joint Conference on Artificial Intelligence, AI 2002, held in Canberra, Australia in December 2002. The 62 revised full papers and 12 posters presented were carefully reviewed and selected from 117 submissions. The papers are organized in topical sections on natural language and information retrieval, knowledge representation and reasoning, deduction, learning theory, agents, intelligent systems. Bayesian reasoning and classification, evolutionary algorithms, neural networks, reinforcement learning, constraints and scheduling, neural network applications, satisfiability reasoning, machine learning applications, fuzzy reasoning, and case-based reasoning.
Publisher: Springer Science & Business Media
ISBN: 3540001972
Category : Business & Economics
Languages : en
Pages : 744
Book Description
This book constitutes the refereed proceedings of the 15th Australian Joint Conference on Artificial Intelligence, AI 2002, held in Canberra, Australia in December 2002. The 62 revised full papers and 12 posters presented were carefully reviewed and selected from 117 submissions. The papers are organized in topical sections on natural language and information retrieval, knowledge representation and reasoning, deduction, learning theory, agents, intelligent systems. Bayesian reasoning and classification, evolutionary algorithms, neural networks, reinforcement learning, constraints and scheduling, neural network applications, satisfiability reasoning, machine learning applications, fuzzy reasoning, and case-based reasoning.
PRICAI '96: Topics in Artificial Intelligence
Author: Norman Foo
Publisher: Springer Science & Business Media
ISBN: 9783540615323
Category : Artificial intelligence
Languages : en
Pages : 694
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 9783540615323
Category : Artificial intelligence
Languages : en
Pages : 694
Book Description
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.
Knowledge-Based Vision-Guided Robots
Author: Nick Barnes
Publisher: Physica
ISBN: 3790817805
Category : Computers
Languages : en
Pages : 240
Book Description
Many robotics researchers consider high-level vision algorithms (computational) too expensive for use in robot guidance. This book introduces the reader to an alternative approach to perception for autonomous, mobile robots. It explores how to apply methods of high-level computer vision and fuzzy logic to the guidance and control of the mobile robot. The book introduces a knowledge-based approach to vision modeling for robot guidance, where advantage is taken of constraints of the robot's physical structure, the tasks it performs, and the environments it works in. This facilitates high-level computer vision algorithms such as object recognition at a speed that is sufficient for real-time navigation. The texts presents algorithms that exploit these constraints at all levels of vision, from image processing to model construction and matching, as well as shape recovery. These algorithms are demonstrated in the navigation of a wheeled mobile robot.
Publisher: Physica
ISBN: 3790817805
Category : Computers
Languages : en
Pages : 240
Book Description
Many robotics researchers consider high-level vision algorithms (computational) too expensive for use in robot guidance. This book introduces the reader to an alternative approach to perception for autonomous, mobile robots. It explores how to apply methods of high-level computer vision and fuzzy logic to the guidance and control of the mobile robot. The book introduces a knowledge-based approach to vision modeling for robot guidance, where advantage is taken of constraints of the robot's physical structure, the tasks it performs, and the environments it works in. This facilitates high-level computer vision algorithms such as object recognition at a speed that is sufficient for real-time navigation. The texts presents algorithms that exploit these constraints at all levels of vision, from image processing to model construction and matching, as well as shape recovery. These algorithms are demonstrated in the navigation of a wheeled mobile robot.