Listing 1 - 10 of 10 |
Sort by
|
Choose an application
Choose an application
Choose an application
This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and Management, KSEM 2007, held in Melbourne, Australia, in November 2007. The 42 revised full papers and 28 revised short papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The papers provide new ideas and report state of the art research results in the broad areas of knowledge science, knowledge engineering, and knowledge management.
Knowledge acquisition (Expert systems) --- Knowledge management --- Acquisition des connaissances (Systèmes experts) --- Gestion des connaissances --- Congresses. --- Congrès --- Decision making --- Problem solving --- Computer Science --- Mechanical Engineering - General --- Mechanical Engineering --- Engineering & Applied Sciences --- Data processing --- Information Technology --- Artificial Intelligence --- Management of knowledge assets --- Acquisition, Knowledge (Expert systems) --- Expertise acquisition (Expert systems) --- Computer science. --- Database management. --- Data mining. --- Artificial intelligence. --- Pattern recognition. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Data Mining and Knowledge Discovery. --- Information Systems Applications (incl. Internet). --- Database Management. --- Pattern Recognition. --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Informatics --- Science --- Optical pattern recognition. --- Artificial Intelligence. --- Optical data processing --- Pattern perception --- Perceptrons --- Visual discrimination --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Deciding --- Decision (Psychology) --- Decision analysis --- Decision processes --- Making decisions --- Management --- Management decisions --- Choice (Psychology)
Choose an application
Logic programming. --- Artificial intelligence --- Logic, Symbolic and mathematical. --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I2 --- 681.3*I23 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI
Choose an application
This book investigates the adaptation of cognitive processes to limited resources. The central topics of this book are heuristics considered as results of the adaptation to resource limitations, through natural evolution in the case of humans, or through artificial construction in the case of computational systems; the construction and analysis of resource control in cognitive processes; and an analysis of resource-adaptivity within the paradigm of concurrent computation. The editors integrated the results of a collaborative 5-year research project that involved over 50 scientists. After a mot
Information Technology --- Artificial Intelligence --- Human-computer interaction. --- Human information processing. --- Human-machine systems. --- Cognition. --- Computer science. --- Computers. --- User interfaces (Computer systems). --- Artificial intelligence. --- Computational linguistics. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computational Linguistics. --- User Interfaces and Human Computer Interaction. --- Models and Principles. --- Automatic language processing --- Language and languages --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Data processing --- Psychology --- Human operators (Systems engineering) --- Human subsystems (Systems engineering) --- Man-machine control systems --- Man-machine systems --- Operator-machine systems --- Engineering systems --- Human engineering --- Information processing, Human --- Information theory in psychology --- Perception --- Computer-human interaction --- Human factors in computing systems --- Interaction, Human-computer --- User-centered system design --- User interfaces (Computer systems) --- Artificial Intelligence.
Choose an application
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Artificial intelligence. --- Mathematical logic. --- Software engineering. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Mathematical Logic and Foundations. --- Automatic theorem proving. --- Logic, Symbolic and mathematical. --- Reasoning --- Automation. --- Technique.
Choose an application
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Artificial intelligence. --- Mathematical logic. --- Software engineering. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Mathematical Logic and Foundations. --- Automatic theorem proving. --- Logic, Symbolic and mathematical. --- Reasoning --- Automation. --- Technique.
Choose an application
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Artificial intelligence. --- Mathematical logic. --- Software engineering. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Mathematical Logic and Foundations. --- Automatic theorem proving. --- Logic, Symbolic and mathematical. --- Reasoning --- Automation. --- Technique.
Choose an application
This special issue collects a subset of the papers presented at the Joint Chinese- German Workshop on Cognitive Systems, held March 7-11, 2005, at Fudan U- versity,inShanghai,the city that neversleepsandchangesdaily.Justas itis not easy to keeptrack of Shanghai's growthand modernisation,it is hardto keep up with research on the new transdiscipline of cognitive systems, which is emerging from computer science, the neurosciences, computational linguistics, neurolo- cal networks and the new philosophy of mind. The workshop served to present the current state of the art in these ?elds and brought together researchersfrom Fudan University and Jiao Tong University, both in Shanghai, China, and from Saarland University, Germany. The WorkshoponCognitiveSystems was the lastin a seriesof events to mark the longstanding collaboration between the three universities, which includes numerous joint projects, exchange of researchers and research visits, as well as formal joint cooperation agreements, treatises and joint Ph.D. and student exchangeprogrammesinthe ?elds ofcomputer science,arti?cialintelligence and in computational linguistics. Well before 1995 there were several exchange visits between Ruqian Lu and J¨ org Siekmann to Shanghai, Beijing and Saarbru ¨cken/Kaiserslautern. In 1995, formalcooperationstartedwith a visit to Shanghai by Jorg ¨ Siekmann, Xiaorong Huang and Hans Uszkoreit. The visit resulted in the joint project Applied C- nese Natural Language Generation on the automatic generation of Chinese, - glish and German languages for weather reports and for stock exchange news.
Computer assisted instruction --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- Translation science --- Linguistics --- ICT (informatie- en communicatietechnieken) --- informatica --- vertalen --- computerondersteund onderwijs --- linguïstiek --- informatiesystemen --- database management --- KI (kunstmatige intelligentie) --- robots
Choose an application
Computer assisted instruction --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- Translation science --- Linguistics --- ICT (informatie- en communicatietechnieken) --- informatica --- vertalen --- computerondersteund onderwijs --- linguïstiek --- informatiesystemen --- database management --- KI (kunstmatige intelligentie) --- robots
Listing 1 - 10 of 10 |
Sort by
|