Listing 1 - 10 of 30 | << page >> |
Sort by
|
Choose an application
This work introduces Relational Exploration, a method for acquiring complete relational knowledge about a domain of interest by successively consulting a domain expert without ever asking redundant questions. This is achieved by combining Description Logics (DL) and Formal Concept Analysis (FCA): DL formalisms are used for defining FCA attributes while FCA exploration techniques are deployed to obtain or refine DL knowledge specifications.
Semantic Web --- Wissensmanagement --- Verbandstheorie --- Formale Begriffsanalyse --- Data Mining --- Terminologische Logik
Choose an application
This book constitutes the refereed proceedings of the 5th International Conference on Web Reasoning and Rule Systems, RR 2011, held in Galway, Ireland in August 2011. The 13 revised full papers, 12 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 36 submissions. The papers address all current topics in Semantic Web, interplay between classical reasoning approach with welll established web languages such as RDF and OWL, reasoning languages, querying and optimization and rules and ontologies.
Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computer Science --- Telecommunications --- Computer science. --- Software engineering. --- Computers. --- Data mining. --- Information storage and retrieval. --- Multimedia information systems. --- Computer Science. --- Information Systems Applications (incl. Internet). --- Information Systems and Communication Service. --- Information Storage and Retrieval. --- Data Mining and Knowledge Discovery. --- Software Engineering. --- Multimedia Information Systems. --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Information storage and retrieval systems --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Informatics --- Science --- Information systems. --- Information storage and retrieva. --- Multimedia 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 --- Semantic Web --- Rule-based programming --- Logic programming --- Rule-based methods (Computer science) --- Computer programming --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software
Choose an application
Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- multimedia --- informatiesystemen --- database management --- software engineering
Choose an application
"With more substantial funding from research organizations and industry, numerous large-scale applications, and recently developed technologies, the Semantic Web is quickly emerging as a well-recognized and important area of computer science. While Semantic Web technologies are still rapidly evolving, Foundations of Semantic Web Technologies focuses on the established foundations in this area that have become relatively stable over time. It thoroughly covers basic introductions and intuitions, technical details, and formal foundations. The book concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange and querying, RDFS and OWL provide expressive ontology modeling, and RIF supports rule-based modeling. The text also describes methods for specifying, querying, and reasoning with ontological information. In addition, it explores topics that are clearly beyond foundations, such as tools, applications, and engineering aspects. Written by highly respected researchers with a deep understanding of the material, this text centers on the formal specifications of the subject and supplies many pointers that are useful for employing Semantic Web technologies in practice. The book has an accompanying website with supplemental information. " [Publisher]
Information systems --- Semantic Web. --- Web sémantique --- semantic web --- Web sémantique --- Semantic Web --- Semantic integration (Computer systems) --- Semantic networks (Information theory) --- World Wide Web --- Microformats --- Web sémantique.
Choose an application
This book constitutes the refereed proceedings of the 6th International Conference on Artificial General Intelligence, AGI 2013, held in Beijing, China, in July/August 2013. The 23 papers (17 full papers, 3 technical communications, and 3 special session papers) were carefully reviewed and selected from various submissions. The volume collects the current research endeavors devoted to develop formalisms, algorithms, and models, as well as systems that are targeted at general intelligence. Similar to the predecessor AGI conferences, researchers proposed different methodologies and techniques in order to bridge the gap between forms of specialized intelligence and general intelligence.
Computer science. --- Software engineering. --- Computer software. --- Artificial intelligence. --- Optical pattern recognition. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Pattern Recognition. --- Algorithm Analysis and Problem Complexity. --- Information Systems Applications (incl. Internet). --- Software Engineering. --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer Science --- Mechanical Engineering - General --- Information Technology --- Artificial Intelligence --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Software, Computer --- Computer software engineering --- Informatics --- Algorithms. --- Mathematical logic. --- Pattern recognition. --- Artificial intelligence --- Artificial Intelligence. --- Engineering --- Computer systems --- Optical data processing --- Pattern perception --- Perceptrons --- Visual discrimination --- Science --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Algorism --- Algebra --- Arithmetic --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Foundations
Choose an application
This book constitutes the refereed proceedings of the 38th Annual German Conference on Artificial Intelligence, KI 2015, held in Dresden, Germany, in September 2015. The 15 revised full technical papers presented together with 14 technical communications, 4 doctoral consortium contributions, and 3 keynotes were carefully reviewed and selected from 58 submissions. The conference provides the opportunity to present a wider range of results and ideas that are of interest to the KI audience, including reports about recent own publications, position papers, and previews of ongoing work.
Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- 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. --- Information Systems Applications (incl. Internet). --- 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 --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Artificial intelligence
Choose an application
This book constitutes the refereed proceedings of the 5th International Conference on Web Reasoning and Rule Systems, RR 2011, held in Galway, Ireland in August 2011. The 13 revised full papers, 12 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 36 submissions. The papers address all current topics in Semantic Web, interplay between classical reasoning approach with welll established web languages such as RDF and OWL, reasoning languages, querying and optimization and rules and ontologies.
Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- multimedia --- informatiesystemen --- database management --- software engineering
Choose an application
This book constitutes the refereed proceedings of the 7th International Conference on Formal Concept Analysis, ICFCA 2009, held in Darmstadt, Germany, in May 2009. The 15 revised full papers presented were carefully reviewed and selected from 29 submissions for inclusion in the book. The papers comprise state of the art research and present new results in Formal Concept Analysis and related fields. These results range from theoretical novelties to advances in FCA-related algorithmic issues, as well as application domains of FCA such as data visualization, information retrieval, machine learning, data analysis and knowledge management.
Mathematical logic --- Ordered algebraic structures --- Discrete mathematics --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- algebra --- discrete wiskunde --- informatica --- database management --- wiskunde --- software engineering --- KI (kunstmatige intelligentie) --- logica --- robots
Choose an application
Mathematical logic --- Complex analysis --- Discrete mathematics --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- ICT (informatie- en communicatietechnieken) --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- informatiesystemen --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- robots
Choose an application
This book constitutes the refereed proceedings of the 6th International Conference on Artificial General Intelligence, AGI 2013, held in Beijing, China, in July/August 2013. The 23 papers (17 full papers, 3 technical communications, and 3 special session papers) were carefully reviewed and selected from various submissions. The volume collects the current research endeavors devoted to develop formalisms, algorithms, and models, as well as systems that are targeted at general intelligence. Similar to the predecessor AGI conferences, researchers proposed different methodologies and techniques in order to bridge the gap between forms of specialized intelligence and general intelligence.
Mathematical logic --- Complex analysis --- Mathematical statistics --- Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- patroonherkenning --- factoranalyse --- complexe analyse (wiskunde) --- bedrijfssoftware --- computers --- informatiesystemen --- wiskunde --- software engineering --- KI (kunstmatige intelligentie) --- logica --- computerkunde --- robots --- optica
Listing 1 - 10 of 30 | << page >> |
Sort by
|