Listing 1 - 5 of 5 |
Sort by
|
Choose an application
This book constitutes the refereed proceedings of the 41st German Conference on Artificial Intelligence, KI 2018, held in Berlin, Germany, in September 2018. The 20 full and 14 short papers presented in this volume were carefully reviewed and selected from 65 submissions. The book also contains one keynote talk in full paper length. The papers were organized in topical sections named: reasoning; multi-agent systems; robotics; learning; planning; neural networks; search; belief revision; context aware systems; and cognitive approach. .
Artificial intelligence. --- Computer software. --- Software engineering. --- Information systems. --- Artificial Intelligence. --- Algorithm Analysis and Problem Complexity. --- Special Purpose and Application-Based Systems. --- Computer Appl. in Administrative Data Processing. --- Computer software engineering --- Engineering --- Software, Computer --- Computer 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 --- Artificial intelligence --- Algorithms. --- Special purpose computers. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Special purpose computers --- Computers --- Algorism --- Algebra --- Arithmetic --- Foundations
Choose an application
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26-28, 2022. This is the 6th conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International Web Rule Symposium) and "RR" (Web Reasoning and Rule Systems).The 18 full research papers presented in this book were carefully reviewed and selected from 54 submissions. The papers cover the following topics: answer set programming; foundations of nonmonotonic reasoning; datalog; queries over ontologies; proofs, error-tolerance, and rules; as well as agents and argumentation.
Choose an application
This book constitutes the thoroughly refereed proceedings of the 7th Joint International Semantic Technology Conference, JIST 2017, held in Goldcoast, QLD, Australia, in November 2017. The 19 full papers and 4 short papers presented were carefully reviewed and selected from 37 submissions. They present applications of semantic technologies, theoretical results, new algorithms and tools to facilitate the adoption of semantic technologies and are organized in topical sections on ontology and data management; ontology reasoning; linked data and query; information retrieval and knowledge discovery; knowledge graphs; and applications of semantic technologies.
Computer science. --- Mathematical logic. --- Data mining. --- Information storage and retrieval. --- Artificial intelligence. --- Application software. --- Computer Science. --- Information Storage and Retrieval. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Data Mining and Knowledge Discovery. --- Mathematical Logic and Formal Languages. --- Computer Appl. in Administrative Data Processing. --- 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 --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Informatics --- 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 --- Database searching --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Science --- Information storage and retrieva. --- Information systems. --- Artificial Intelligence. --- 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 --- Semantic computing --- Linked data --- Semantic Web --- Data, Linked --- Library linked data --- Linked open data --- LOD (Linked data) --- Open linked data --- Open data, Linked --- Metadata --- Uniform Resource Identifiers --- Computer science --- Semantics
Choose an application
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.
Computer science. --- Artificial intelligence. --- Logic design. --- Information systems. --- Software engineering. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence. --- Logics and Meanings of Programs. --- Computer Appl. in Administrative Data Processing. --- Software Engineering/Programming and Operating Systems. --- Information Systems and Communication Service. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- 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 --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Description logics. --- Logics, Description --- Knowledge representation (Information theory) --- Predicate (Logic) --- Mathematical logic. --- Computer logic. --- Application software. --- Computers. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer science logic --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Machine theory. --- Information technology—Management. --- Computer networks. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Computer Application in Administrative Data Processing. --- Software Engineering. --- Computer Communication Networks. --- 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 --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Distributed processing
Choose an application
Listing 1 - 5 of 5 |
Sort by
|