Artificial Intelligence and Symbolic Computation 12th Internatio

This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were

  • PDF / 9,790,543 Bytes
  • 214 Pages / 439.37 x 666.142 pts Page_size
  • 61 Downloads / 170 Views

DOWNLOAD

REPORT


Gonzalo A. Aranda-Corral Jacques Calmet Francisco J. Martín-Mateos (Eds.)

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014 Seville, Spain, December 11–13, 2014 Proceedings

123

Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science LNAI Series Editors Randy Goebel University of Alberta, Edmonton, Canada Yuzuru Tanaka Hokkaido University, Sapporo, Japan Wolfgang Wahlster DFKI and Saarland University, Saarbrücken, Germany

LNAI Founding Series Editor Joerg Siekmann DFKI and Saarland University, Saarbrücken, Germany

8884

Gonzalo A. Aranda-Corral Jacques Calmet Francisco J. Martín-Mateos (Eds.)

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014 Seville, Spain, December 11-13, 2014 Proceedings

13

Volume Editors Gonzalo A. Aranda-Corral University of Huelva Department of Information Technologies Crta. Huelva - Palos de la Frontera, s/n 21810 Palos de la Frontera, Spain E-mail: [email protected] Jacques Calmet Karlsruhe Institute of Technology Institute for Theoretical Informatics Am Fasanengarten 5 76131 Karlsruhe, Germany E-mail: [email protected] Francisco J. Martín-Mateos University of Seville Department of Computer Science and Artificial Intelligence Av. Reina Mercedes, s/n 41012 Seville, Spain E-mail: [email protected]

ISSN 0302-9743 e-ISSN 1611-3349 ISBN 978-3-319-13769-8 e-ISBN 978-3-319-13770-4 DOI 10.1007/978-3-319-13770-4 Springer Cham Heidelberg New York Dordrecht London Library of Congress Control Number: 2014955464 LNCS Sublibrary: SL 7 – Artificial Intelligence © Springer International Publishing Switzerland 2014 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in ist current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and informati