Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.

Artificial intelligence. --- Application software. --- Computer communication systems. --- Mathematical logic. --- Artificial Intelligence. --- Information Systems Applications (incl. Internet). --- Computer Communication Networks. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 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 --- Electronic data processing --- Network computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Distributed processing --- Artificial Intelligence --- Information Systems Applications (incl. Internet) --- Computer Communication Networks --- Mathematical Logic and Formal Languages --- Computer and Information Systems Applications --- Formal Languages and Automata Theory --- open access --- concept lattices --- data mining --- databases --- fca --- formal concept analysis --- formal languages --- formal logic --- information analysis --- information systems --- knowledge-based system --- model-based reasoning --- network protocols --- ontologies --- Information retrieval --- Internet searching --- Network hardware --- Mathematical theory of computation