Series: Handbook of Philosophical Logic, *Second Edition*, Vol.
12
2004, Approx. 360 p., Hardcover
ISBN: 1-4020-3091-6
About this book
The first edition of the Handbook of Philosophical Logic (four
volumes) was published in the period 1983-1989 and has proven to
be an invaluable reference work to both students and researchers
in formal philosophy, language and logic. The second edition of
the Handbook is intended to comprise some 18 volumes and will
provide a very up-to-date authoritative, in-depth coverage of all
major topics in philosophical logic and its applications in many
cutting-edge fields relating to computer science, language,
argumentation, etc. The volumes will no longer be as topic-oriented
as with the first edition because of the way the subject has
evolved over the last 15 years or so. However the volumes will
follow some natural groupings of chapters.
Audience: Students and researchers whose work or interests
involve philosophical logic and its applications
Table of contents
From the contents:
Preface.- Knowledge Representation with Logic Programs.- The
Resolution Principle.- How to Go Nonmonotonic.- Development of
Categorical Logic.
Series: Logic, Epistemology, and the Unity of Science, Vol. 2
2005, XVII, 544 p., Hardcover
ISBN: 1-4020-2616-1
About this book
This second volume in the series Logic, Epistemology, and the
Unity of Science brings a pragmatic perspective to the discussion
of the unity of science.
Contemporary philosophy and cognitive science increasingly
acknowledge the systematic interrelation of language, thought and
action. The principal function of language is to enable speakers
to communicate their intentions to others, to respond flexibly in
a social context and to act cooperatively in the world. This book
will contribute to our understanding of this dynamic process by
clearly presenting and discussing the most important hypotheses,
issues and theories in philosophical and logical study of
language, thought and action. Among the fundamental issues
discussed are the rationality and freedom of agents, theoretical
and practical reasoning, individual and collective attitudes and
actions, the nature of cooperation and communication, the
construction and conditions of adequacy of scientific theories,
propositional contents and their truth conditions, illocutionary
force, time, aspect and presupposition in meaning, speech acts
within dialogue, the dialogical approach to logic and the
structure of dialogues and other language games, as well as
formal methods needed in logic or artificial intelligence to
account for choice, paradoxes, uncertainty and imprecision.
This volume contains major contributions by leading logicians,
analytic philosophers, linguists and computer scientists. It will
be of interest to graduate students and researchers from
philosophy, logic, linguistics, cognitive science and artificial
intelligence. There is no comparable survey in the existing
literature.
Table of contents
Contributing Authors. 1. Introduction; Daniel Vanderveken.
Part I: Reason, Action and Communication. 2. The Balance of
Reason; Marcelo Dascal. 3. Desire, Deliberation and Action; John
R. Searle. 4. Two Basic Kinds of Cooperation; Raimo Tuomela. 5.
Speech Acts and Illocutionary Logic; John R. Searle and Daniel
Vanderveken. 6. Communication, Linguistic Understanding and
Minimal Rationality in Universal Grammar; Andre Leclerc.
Part II: Experience, Truth and Reality in Science. 7. Truth and
Reference; Henri Lauener. 8. Empirical Versus Theoretical
Existence and Truth; Michel Ghins. 9. Michel Ghins on the
Empirical Versus the Theoretical; Bas C. van Fraassen.
Part III: Propositions, Thought and Meaning. 10. Propositional
Identity, Truth According to Predication and Strong Implication;
Daniel Vanderveken. 11. Reasoning and Aspectual-Temporal
Calculus; Jean-Pierre Descles. 12. Presupposition, Projection and
Transparency in Attitude Contexts; Rob van der Sandt. 13. The
Limits of a Logical Treatment of Assertion; Denis Vernant. Part
IV: Agency, Dialogue and Game-Theory. 14. Agents and Agency in
Branching Space-Times; Nuel Belnap. 15. Attempt, Success and
Action Generation: a Logical Study of Intentional Action; Daniel
Vanderveken. 16. Pragmatic and Semiotic Prerequisites for
Predication; Kuno Lorenz. 17. On how to be a Dialogician; Shahid
Rahman and Laurent Keiff. 18. Some Games Logic Plays; Ahti-Veikko
Pietarinen. 19. Backward Induction Without Tears? Jordan Howard
Sobel.
Part V: Reasoning and Cognition in Logic and Artificial
Intelligence. 20. On the Usefulness of Paraconsistent Logic;
Newton C.A. da Costa, Jean- Yves Beziau, and Otavio Bueno. 21.
Algorithms for Relevant Logic; Paul Gochet, Pascal Gribomont and
Didier Rossetto. 22. Logic, Randomness and Cognition; Michel de
Rougemont. 23. From Computing with Numbers to Computing with
Words - From Manipulation of Measurements to Manipulation of
Perceptions; Lofti Zadeh.
Series: Applied Optimization, Vol. 96
2005, XLVI, 562 p. 34 illus., Hardcover
ISBN: 0-387-24254-6
About this book
This book contains refereed papers which were presented at the 34th
Workshop of the International School of Mathematics “G.
Stampacchia,” the International Workshop on Optimization and
Control with Applications. The book contains 28 papers that are
grouped according to four broad topics: duality and optimality
conditions, optimization algorithms, optimal control, and
variational inequality and equilibrium problems. The specific
topics covered in the individual chapters include optimal
control, unconstrained and constrained optimization,
complementarity and variational inequalities, equilibrium
problems, semi-definite programs, semi-infinite programs, matrix
functions and equations, nonsmooth optimization, generalized
convexity and generalized monotinicity, and their applications
Table of contents
Preface ? Biographical Sketch of Elijah Polak ? Publications of
Elijah Polak ? PART I. DUALITY AND OPTIMALITY CONDITIONS ?
Chapter 1. On Minimization of Max-Min Functions ? Chapter 2. A
Comparison of Two Approaches to Second-Order Subdifferentiability
Concepts with Application to Optimality Conditions ? Chapter 3.
Duality and Exact Penalization via a Generalized Augmented
Lagrangian Function ? Chapter 4. Duality for Semi-Definite and
Semi-Infinite Programming with Equality Constraints ? Chapter 5.
The Use of Nonsmooth Analysis and of Duality Methods for the
Study of Hamilton-Jacobi Equations ? Chapter 6. Some Classes of
Abstract Convex Functions ? PART II. OPTIMIZATION ALGORITHMS ?
Chapter 7. An Implementation of Training Dual-nu Support Vector
Machines ? Chapter 8. An Analysis of the Barzilai and Borwein
Gradient Method for Unsymmetric Linear Equations ? Chapter 9. An
Exchange Algorithm for Minimizing Sum-Min Functions ? Chapter 10.
On the Barzlai-Borwein Method ? Chapter 11. The Modified
Subgradient Method for Equality Constrained Nonconvex
Optimization Problems ? Chapter 12. Inexact Restoration Methods
for Nonlinear Programming: Advances and Perspectives ? Chapter 13.
Quantum Algorithm for Continuous Global Optimization ? Chapter 14.
SQP Versus SCP Methods for Nonlinear Programming ? Chapter 15. An
Approximation Approach for Linear Programming in Measure Space ?
PART III. OPTIMAL CONTROL ? Chapter 16. Optimal Control of
Nonlinear Systems ? Chapter 17. Proximal-Like Methods for Convex
Minimization Problems ? Chapter 18. Analysis of Two Dimensional
Nonconvex Variational Problems ? Chapter 19. Stability of
Equilibrium Points of Projected Dynamical Systems ? Chapter 20.
On a Quasi-Consistent Approximations Approach to Optimization
Problems with Two Numerical Precision Parameters ? Chapter 21.
Numerical Solutions of Optimal Switching Control Problems ?
Chapter 22. A Solution to Hamilton-Jacobi Equation by Neural
Networks and Optimal State Feedback Control ? Chapter 23. H(infinity)
Control Based on State Observer for Descriptor Systems ? PART IV.
VARIATIONAL INEQUALITY AND EQUILIBRIUM ? Chapter 24. Decomposable
Generalized Vector Variational Inequalities ? Chapter 25. On a
Geometric Lemma and Set-Valued Vector Equilibrium Problem ?
Chapter 26. Equilibrium Problems ? Chapter 27. Gap Functions and
Descent Methods for Minty Variational Inequality ? Chapter 28. A
New Class of Proximal Algorithms for the Nonlinear Complementary
Problem
Series: Operations Research/Computer Science Interfaces
Series, Vol. 30
2005, XIV, 466 p. 69 illus., Hardcover
ISBN: 1-4020-8134-0
About this book
Tabu Search (TS) and, more recently, Scatter Search (SS) have
proved highly effective in solving a wide range of optimization
problems, and have had a variety of applications in industry,
science, and government. The goal of METAHEURISTIC OPTIMIZATION
VIA MEMORY AND EVOLUTION: Tabu Search and Scatter Search is to
report original research on algorithms and applications of tabu
search, scatter search or both, as well as variations and
extensions having "adaptive memory programming" as a
primary focus. Individual chapters identify useful new
implementations or new ways to integrate and apply the principles
of TS and SS, or that prove new theoretical results, or describe
the successful application of these methods to real world
problems.
Table of contents
?Part I: Advances For New Model And Solution Approaches ?A
Scatter Search Tutorial for Graph-Based Permutation Problems ?A
Multistart Scatter Search Heuristic for Smooth NLP and MINLP
Problems ?Scatter Search Methods for the Covering Tour Problem
?Solution for the Sonet Ring Assignment Problem with Capacity
Constraints ?Part II: Advances for Solving Classical Problems ?A
Very Fast Tabu Search Algorithm for Job Shop Problem ?Tabu Search
Heuristics for the Vehicle Routing Problem ?Some New Ideas in TS
for Job Shop Scheduling ?A Tabu Search Heuristic for the
Uncapacitated Facility Location Problem ?Adaptive Memory Search
Guidance for Satisfiability Problems ?Part III: Experimental
Evaluation ?Lessons from Applying and Experimenting with Scatter
Search ?Tabu Search for Mixed-Integer Programming ?Scatter Search
vs. Genetic Algorithms: An experimental evaluation with
permutation problems ?Part IV: Review of Recent Developments
?Parallel Computation, Co-operation, Tabu Search ?Using Group
Theory to Construct and Characterize Metaheuristic Search
Neighborhoods ?Logistics Management: An Opportunity for
Metaheuristics ?Part V: New Procedural Designs ?On the
Integration of Metaheuristic Strategies in Constraint Programming
?General Purpose Metrics for Solution Variety ?Controlled Pool
Maintenance in Combinatorial Optimization ?Adaptive Memory
Projection Methods for Integer Programming.