Data Mining and Knowledge Discovery via Logic-Based Methods_ Theory, Algorithms, and Applications [Triantaphyllou 2010-06-28](2).pdf

DATA MINING AND KNOWLEDGE DISCOVERY

VIA LOGIC-BASED METHODS

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 dur-

ing 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 ﬁeld 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

ﬁeld. 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 under-

graduate and graduate textbooks, monographs and state-of-the-art exposi-

tory 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 ﬂow prob-

lems, stochastic optimization, optimal control, discrete optimization, mul-

tiobjective 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

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

trianta@lsu.edu

ISSN 1931-6828

ISBN 978-1-4419-1629-7

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

DOI 10.1007/978-1-4419-1630-3

Springer New York Dordrecht Heidelberg London

Library of Congress Control Number: 2010928843

Mathematics Subject Classiﬁcation (2010): 62-07, 68T05, 90-02

c Springer Science+Business Media, LLC 2010

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 identiﬁed 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 Springer Science+Business Media (www.springer.com)

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika: