Choose an application

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

Frage-Antwort-System --- Frage-Antwort-System. --- Inferenz (Künstliche Intelligenz). --- Logic programming --- Logische Programmierung --- Logische Programmierung. --- Nichtmonotones Schliessen. --- Nonmonotonic reasoning --- Problemlösen --- Problemlösen. --- Wissensrepräsentation --- Wissensrepräsentation. --- Nichtmonotones Schliessen --- Inferenz

Choose an application

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

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2013, held in Beijing, China, in August 2013, associated with IJCAI 2013, the 23rd International Joint Conference on Artificial Intelligence. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques. They address the following topics: representations of constraint satisfaction problems; formal concept analysis; conceptual graphs; and argumentation frameworks.

Computer science. --- Computational complexity. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Discrete Mathematics in Computer Science. --- Knowledge representation (Information theory) --- Data structures (Computer science) --- Mechanical Engineering --- Engineering & Applied Sciences --- Computer Science --- Mechanical Engineering - General --- Informatics --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Complexity, Computational --- Mathematical logic. --- Computer science --- Mathematics. --- Graphentheorie. --- Inferenz (Künstliche Intelligenz) --- Wissensrepräsentation. --- Representation of knowledge (Information theory) --- Artificial intelligence --- Information theory --- Interne Repräsentation --- Repräsentation von Wissen --- Kognitive Repräsentation --- Repräsentation --- Mentale Repräsentation --- Wissensorganisation --- Semantisches Netz --- Graph --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Artificial Intelligence. --- Machine theory --- Science --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Interne Repräsentation --- Repräsentation von Wissen --- Kognitive Repräsentation --- Repräsentation --- Mentale Repräsentation --- Computer science—Mathematics. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism