Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings - Priss, Uta.; Polovina, Simon; Hill, Richard; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Computer software; Computational complexity; Information systems; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Discrete Mathematics in Computer Science; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Information Systems Applications (incl.Internet).