Graph Structures for Knowledge Representation and Reasoning
Subtitle: Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
By: edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
Contributors: Rudolph, Sebastian; Wilson, Nic; Howse, John; Corby, Olivier; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7205
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642294495
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Computer science; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Artificial Intelligence (incl. Robotics); Artificial intelligence; Computer software