Data Mining and Knowledge Discovery via Logic-Based Methods Theory,

The importance of having efficient and effective methods for data mining and knowledge discovery (DM) is rapidly growing. This is due to the wide use of fast and affordable computing power and data storage media and also the gathering of huge amounts of d

  • PDF / 6,910,859 Bytes
  • 371 Pages / 439.37 x 666.142 pts Page_size
  • 37 Downloads / 270 Views

DOWNLOAD

REPORT


Springer Optimization and Its Applications VOLUME 43 Managing Editor Panos M. Pardalos (University of Florida) Editor–Combinatorial Optimization Ding-Zhu Du (University of Texas at Dallas) Advisory Board J. Birge (University of Chicago) C.A. Floudas (Princeton University) F. Giannessi (University of Pisa) H.D. Sherali (Virginia Polytechnic and State University) T. Terlaky (McMaster University) Y. Ye (Stanford University)

Aims and Scope Optimization has been expanding in all directions at an astonishing rate during the last few decades. New algorithmic and theoretical techniques have been developed, the diffusion into other disciplines has proceeded at a rapid pace, and our knowledge of all aspects of the field has grown even more profound. At the same time, one of the most striking trends in optimization is the constantly increasing emphasis on the interdisciplinary nature of the field. Optimization has been a basic tool in all areas of applied mathematics, engineering, medicine, economics and other sciences. The series Springer Optimization and Its Applications publishes undergraduate and graduate textbooks, monographs and state-of-the-art expository works that focus on algorithms for solving optimization problems and also study applications involving such problems. Some of the topics covered include nonlinear optimization (convex and nonconvex), network flow problems, stochastic optimization, optimal control, discrete optimization, multiobjective programming, description of software packages, approximation techniques and heuristic approaches.

For other titles published in this series, go to http://www.springer.com/series/7393

DATA MINING AND KNOWLEDGE DISCOVERY VIA LOGIC-BASED METHODS

Theory, Algorithms, and Applications By EVANGELOS TRIANTAPHYLLOU Louisiana State University Baton Rouge, Louisiana, USA

123

Evangelos Triantaphyllou Louisiana State University Department of Computer Science 298 Coates Hall Baton Rouge, LA 70803 USA [email protected]

ISSN 1931-6828 ISBN 978-1-4419-1629-7 DOI 10.1007/978-1-4419-1630-3

e-ISBN 978-1-4419-1630-3

Springer New York Dordrecht Heidelberg London Library of Congress Control Number: 2010928843 Mathematics Subject Classification (2010): 62-07, 68T05, 90-02 c Springer Science+Business Media, LLC 2010  All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer Science+Business Media, LLC, 233 Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use in this publication of trade names, trademarks, service marks, and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights. Printed on acid-free paper Springer is part of Spring