Listing 1 - 5 of 5 |
Sort by
|
Choose an application
This book constitutes the refereed proceedings of the 36th Annual German Conference on Artificial Intelligence, KI 2013, held in Koblenz, Germany, in September 2013. The 24 revised full papers presented together with 8 short papers were carefully reviewed and selected from 70 submissions. The papers contain research results on theory and applications of all aspects of AI.
Engineering & Applied Sciences --- Mechanical Engineering --- Computer Science --- Mechanical Engineering - General --- Computer science. --- Mathematical logic. --- Information storage and retrieval. --- User interfaces (Computer systems). --- Artificial intelligence. --- Computer simulation. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Information Storage and Retrieval. --- Simulation and Modeling. --- User Interfaces and Human Computer Interaction. --- Mathematical Logic and Formal Languages. --- Artificial intelligence --- Information storage and retrieva. --- Artificial Intelligence. --- Informatics --- Science --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated 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 --- Fifth generation computers --- Neural computers --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction
Choose an application
This book constitutes the refereed proceedings of the 36th Annual German Conference on Artificial Intelligence, KI 2013, held in Koblenz, Germany, in September 2013. The 24 revised full papers presented together with 8 short papers were carefully reviewed and selected from 70 submissions. The papers contain research results on theory and applications of all aspects of AI.
Information retrieval --- Mathematical logic --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- IR (information retrieval) --- vormgeving --- computers --- informatica --- mineralen (chemie) --- simulaties --- informatiesystemen --- mijnbouw --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- computerkunde --- robots
Choose an application
This book constitutes the refereed proceedings of the 11th German Conference on Multiagent System Technologies, MATES 2013, held in Koblenz, Germany, in September 2013. The 29 revised full papers and 3 keynote talks presented were carefully reviewed and selected from various submissions. The papers cover a broad area of topics of interest ranging from issues of agent-based coordination to simulation to negotiation.
Mechanical Engineering --- Engineering & Applied Sciences --- Computer Science --- Mechanical Engineering - General --- Computer science. --- Computer communication systems. --- Information storage and retrieval. --- Artificial intelligence. --- Computer simulation. --- Computers and civilization. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computers and Society. --- Information Storage and Retrieval. --- Information Systems Applications (incl. Internet). --- Computer Communication Networks. --- Simulation and Modeling. --- Intelligent agents (Computer software) --- Distributed artificial intelligence --- Information storage and retrieva. --- Artificial Intelligence. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Informatics --- Science --- 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 --- Fifth generation computers --- Neural computers --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Civilization and computers --- Civilization --- Distributed processing
Choose an application
This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017. The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions. The conference cover a range of topics from, e. g., agents, robotics, cognitive sciences, machine learning, planning, knowledge representation, reasoning, and ontologies, with numerous applications in areas like social media, psychology, transportation systems and reflecting the richness and diversity of their field.
Computer science. --- Computer communication systems. --- Special purpose computers. --- Algorithms. --- Mathematical logic. --- Artificial intelligence. --- Application software. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Computer Appl. in Administrative Data Processing. --- Informatics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algorism --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Special purpose computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Science --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algebra --- Arithmetic --- Computer software --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computers --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Foundations --- Distributed processing --- Computer software. --- Software engineering. --- Information systems. --- Artificial Intelligence. --- Computer software engineering --- Engineering --- Software, Computer --- Computer systems --- Artificial intelligence --- Algorithms --- Application software
Choose an application
This book constitutes the refereed proceedings of the 11th German Conference on Multiagent System Technologies, MATES 2013, held in Koblenz, Germany, in September 2013. The 29 revised full papers and 3 keynote talks presented were carefully reviewed and selected from various submissions. The papers cover a broad area of topics of interest ranging from issues of agent-based coordination to simulation to negotiation.
Information retrieval --- Computer science --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- IR (information retrieval) --- vormgeving --- computers --- informatica --- maatschappij --- mineralen (chemie) --- simulaties --- informatiesystemen --- mijnbouw --- KI (kunstmatige intelligentie) --- computernetwerken --- computerkunde --- robots
Listing 1 - 5 of 5 |
Sort by
|