文档介绍：CONSTRAINT REASONING FOR DIFFERENTIAL
MODELS
Frontiers in Artificial Intelligence and Applications
Volume 126
Published in the subseries
Dissertations in Artificial Intelligence
Under the Editorship of the ECCAI Dissertation Board
Proposing Board Member: Luís Moniz Pereira
Recently published in this series
Vol. 125. C.-K. Looi et al. (Eds.), Artificial Intelligence in Education
Vol. 124. T. Washio et al. (Eds.), Advances in Mining Graphs, Trees and Sequences
Vol. 123. P. Buitelaar et al. (Eds.), Ontology Learning from Text: Methods, Evaluation and
Applications
Vol. 122. C. Mancini, Cinematic Hypertext –Investigating a New Paradigm
Vol. 121. Y. Kiyoki et al. (Eds.), Information Modelling and Knowledge Bases XVI
Vol. 120. . Gordon (Ed.), Legal Knowledge and Information Systems – JURIX 2004: The
Seventeenth Annual Conference
Vol. 119. S. Nascimento, Fuzzy Clustering via Proportional Membership Model
Vol. 118. J. Barzdins and A. Caplinskas (Eds.), Databases and Information Systems – Selected
Papers from the Sixth International Baltic Conference DB&IS’2004
Vol. 117. L. Castillo et al. (Eds.), Planning, Scheduling and Constraint Satisfaction: From
Theory to Practice
Vol. 116. O. Corcho, A Layered Declarative Approach to Ontology Translation with
Knowledge Preservation
Vol. 115. . Phillips-Wren and . Jain (Eds.), Intelligent Decision Support Systems in
Agent-Mediated Environments
Vol. 114. . Varzi and L. Vieu (Eds.), Formal Ontology in Information Systems –
Proceedings of the Third International Conference (FOIS-2004)
Vol. 113. J. Vitrià et al. (Eds.), Recent Advances in Artificial Intelligence Research and
Development
Vol. 112. W. Zhang and V. Sorge (Eds.), Distributed Constraint Problem Solving and
Reasoning in Multi-Agent Systems
Vol. 111. H. Fujita and V. Gruhn (Eds.), New Trends in Software Methodologies, Tools and
Techniques – Proceedings of the Third SoMeT_W04
Vol. 110. R. L