IJCAI-93
Author : Ruzena Bajcsy
Publisher :
Page : 892 pages
File Size : 42,86 MB
Release : 1993
Category : Artificial intelligence
ISBN :
IJCAI-93
Author : International Joint Conferences on Artificial Intelligence
Publisher :
Page : 868 pages
File Size : 14,45 MB
Release : 1993
Category : Artificial intelligence
ISBN :
Book Description
IJCAI-93
Author :
Publisher :
Page : 0 pages
File Size : 14,90 MB
Release : 1993
Category :
ISBN :
Book Description
Proceedings of the International Conference on Computers and Devices for Communication
Author :
Publisher : Allied Publishers
Page : 698 pages
File Size : 39,66 MB
Release : 1998
Category : Digital communications
ISBN : 9788170237679
Book Description
Ai '93 - Proceedings Of The 6th Australian Joint Conference On Artificial Intelligence
Author : C Rowles
Publisher : World Scientific
Page : 480 pages
File Size : 39,60 MB
Release : 1993-09-23
Category :
ISBN : 9814552534
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.
Principles of Knowledge Representation and Reasoning
Author : A. G. Cohn
Publisher : Morgan Kaufmann
Page : 770 pages
File Size : 34,4 MB
Release : 2000
Category : Computers
ISBN :
Book Description
Principles of Knowledge Representation and Reasoning
Author : Jon Doyle
Publisher : Morgan Kaufmann
Page : 680 pages
File Size : 44,52 MB
Release : 1994
Category : Computers
ISBN :
Book Description
The proceedings of KR '94 comprise 55 papers on topics including deduction an search, description logics, theories of knowledge and belief, nonmonotonic reasoning and belief revision, action and time, planning and decision-making and reasoning about the physical world, and the relations between KR
Author :
Publisher : IOS Press
Page : 7289 pages
File Size : 19,54 MB
Release :
Category :
ISBN :
Book Description
ISADS 93, International Symposium on Autonomous Decentralized Systems, March 30-April 1, 1993, Kawasaki, Japan
Author :
Publisher :
Page : 468 pages
File Size : 25,24 MB
Release : 1993
Category : Client/server computing
ISBN :
Book Description
Fifty-five papers from the conference held in Kawasaki, Japan, March-April 1993, discuss such topics as system architecture, object-oriented design, transportation systems, real-time systems, flexible manufacturing, computer-supported cooperative work. No index. Annotation copyright Book News, Inc.
Logic for Programming and Automated Reasoning
Author : Michel Parigot
Publisher : Springer
Page : 499 pages
File Size : 37,29 MB
Release : 2003-07-31
Category : Mathematics
ISBN : 3540444041
Book Description
This book constitutes the refereed proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, LPAR 2000, held in Reunion Island, France in November 2000. The 26 revised full papers presented together with four invited contributions were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming, nonclassical logics and the lambda calculus, logic and databases, program analysis, mu-calculus, planning and reasoning about actions.
