Listing 1 - 10 of 10 |
Sort by
|
Choose an application
Choose an application
AI(Artificial intelligence) --- Artificial intelligence --- Artificial thinking --- Artificiële intelligentie --- Computer science --- Electronic brains --- Informatica --- Informatique --- Intellectronics --- Intelligence [Artificial ] --- Intelligence artificielle --- Intelligent machines --- Kunstmatige intelligentie --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Machine intelligence --- Thinking [Artificial ] --- Logic, Symbolic and mathematical --- Artificial intelligence. --- Computer science. --- Logic, Symbolic and mathematical. --- logica --- computerarchitectuur --- Cerveaux électroniques --- Machines intelligentes --- Pensée artificielle --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- AI (Artificial intelligence) --- Intelligence, Artificial --- 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
Choose an application
Computer architecture. Operating systems --- Semantic Web. --- Web sémantique --- Semantic web --- Web sémantique
Choose an application
This book presents the thoroughly refereed post-conference proceedings of the 11th Australian Joint Conference on Artificial Intelligence, AI'98, held in Brisbane, Australia in July 1998. The 28 revised full papers presented in the book were carefully reviewed and selected from twice as many papers accepted for presentation at the conference. Among the topics covered are philosophical issues, fuzzy logic, agent systems, AI logics, planning, knowledge representation, automated deduction, intelligent agents, learning, constraint solving, and neural networks.
Artificial intelligence --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Artificial Intelligence. --- 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
Choose an application
Artificial intelligence --- Intelligence artificielle --- Congresses. --- Congrès --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Information Technology --- Artificial Intelligence --- Computer science. --- Algorithms. --- Database management. --- Information storage and retrieval. --- Artificial intelligence. --- Image processing. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Information Storage and Retrieval. --- Algorithm Analysis and Problem Complexity. --- Image Processing and Computer Vision. --- Database Management. --- Pictorial data processing --- Picture processing --- Processing, Image --- Imaging systems --- Optical data processing --- 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 --- 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 --- Algorism --- Algebra --- Arithmetic --- Informatics --- Science --- Foundations --- Information storage and retrieva. --- Computer software. --- Computer vision. --- Artificial Intelligence. --- Machine vision --- Vision, Computer --- Image processing --- Pattern recognition systems --- Software, Computer --- Computer systems --- 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 --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Optical data processing. --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Optical equipment
Choose an application
The books (LNCS 6643 and 6644) constitute the refereed proceedings of the 8th European Semantic Web Conference, ESWC 2011, held in Heraklion, Crete, Greece, in May/June 2011. The 57 revised full papers of the research track presented together with 7 PhD symposium papers and 14 demo papers were carefully reviewed and selected from 291 submissions. The papers are organized in topical sections on digital libraries track; inductive and probabilistic approaches track; linked open data track; mobile web track; natural language processing track; ontologies track; and reasoning track (part I); semantic data management track; semantic web in use track; sensor web track; software, services, processes and cloud computing track; social web and web science track; demo track, PhD symposium (part II).
Engineering & Applied Sciences --- Electrical & Computer Engineering --- Telecommunications --- Computer Science --- Semantic Web --- Semantic networks (Information theory) --- Ontologies (Information retrieval) --- Semantic net (Information theory) --- Semantic nets (Information theory) --- Computer science. --- Computer communication systems. --- Computers. --- Database management. --- User interfaces (Computer systems). --- Artificial intelligence. --- Computer Science. --- Information Systems and Communication Service. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Computer Communication Networks. --- Database Management. --- User Interfaces and Human Computer Interaction. --- 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 --- 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 --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- 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 --- Informatics --- Science --- Distributed processing --- Data structures (Computer science) --- Artificial intelligence --- Information theory --- Semantic computing --- Information systems. --- Artificial Intelligence. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software
Choose an application
The books (LNCS 6643 and 6644) constitute the refereed proceedings of the 8th European Semantic Web Conference, ESWC 2011, held in Heraklion, Crete, Greece, in May/June 2011. The 57 revised full papers of the research track presented together with 7 PhD symposium papers and 14 demo papers were carefully reviewed and selected from 291 submissions. The papers are organized in topical sections on digital libraries track; inductive and probabilistic approaches track; linked open data track; mobile web track; natural language processing track; ontologies track; and reasoning track (part I); semantic data management track; semantic web in use track; sensor web track; software, services, processes and cloud computing track; social web and web science track; demo track, PhD symposium (part II).
Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computer Science --- Telecommunications --- Semantic Web --- Computer science. --- Computer communication systems. --- Computers. --- Database management. --- User interfaces (Computer systems). --- Artificial intelligence. --- Computer Science. --- Information Systems and Communication Service. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Computer Communication Networks. --- Database Management. --- User Interfaces and Human Computer Interaction. --- 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 --- 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 --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- 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 --- Informatics --- Science --- Distributed processing --- Information systems. --- Artificial Intelligence. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software
Choose an application
Choose an application
This volume constitutes the thoroughly refereed proceedings of 11 international workshops held as part of the 8th Extended Semantic Web Conference, ESWC 2011, in Heraklion, Crete, Greece, in May 2010. The 22 revised full papers presented were carefully reviewed and selected from a total of 75 submissions to the workshops during two rounds of reviewing and improvement. The papers are organized in topical sections on the following workshops: 1st International Workshop on eLearning Approaches for the Linked Data Age, 1st Workshop on High-Performance Computing for the Semantic Web, 3rd International Workshop on Inductive Reasoning and Machine Learning for the Semantic Web, 1st Workshop on Making Sense of Microposts, 1st Workshop on Ontology and Semantic Web for Manufacturing, 1st Workshop on Question Answering over Linked Data, 4th International Workshop on REsource Discovery, 6th International Workshop on Semantic Business Process Management, 1st Workshop on Semantic Publication, 1st Workshop on Semantics in Governance and Policy Modelling, and 1st International Workshop on User Profile Data on the Social Semantic Web.
Electrical & Computer Engineering --- Engineering & Applied Sciences --- Telecommunications --- Computer Science --- Semantic Web --- Semantic networks (Information theory) --- Semantic net (Information theory) --- Semantic nets (Information theory) --- Computer science. --- Computer communication systems. --- Computers. --- Database management. --- Multimedia information systems. --- Artificial intelligence. --- Computer Science. --- Information Systems and Communication Service. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Computer Communication Networks. --- Database Management. --- Multimedia Information Systems. --- 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 --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Information storage and retrieval systems --- 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 --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- 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 --- Informatics --- Science --- Distributed processing --- Artificial intelligence --- Information theory --- Semantic computing --- Information systems. --- Multimedia systems. --- Artificial Intelligence. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software
Choose an application
Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. In particular, it provides rigorous mechanisms for taking back conclusions that, in the presence of new information, turn out to be wrong and for deriving new, alternative conclusions instead. Nonmonotonic reasoning methods provide rigor similar to that of classical reasoning; they form a base for validation and verification and therefore increase confidence in intelligent systems that work with incomplete and changing information. Following a brief introduction to the concepts of predicate logic that are needed in the subsequent chapters, this book presents an in depth treatment of default logic. Other subjects covered include the major approaches of autoepistemic logic and circumscription, belief revision and its relationship to nonmonotonic inference, and briefly, the stable and well-founded semantics of logic programs.
Nonmonotonic reasoning. --- Non-monotonic reasoning --- Reasoning --- COMPUTER SCIENCE/Artificial Intelligence
Listing 1 - 10 of 10 |
Sort by
|