PRICAI 2012: Trends in Artificial Intelligencede Patricia AnthonyMateriasMathematical Logic and Formal LanguagesData Mining and Knowledge DiscoveryInformation organizationInformation storage and retrieval systemsInformation retrievalInformation Systems Applications (incl. Internet)Artificial Intelligence (incl. Robotics)Data miningArtificial intelligence