Handbook of Choice Modelling


Book Description

This thoroughly revised second edition Handbook provides an authoritative and in-depth overview of choice modelling, covering essential topics range from data collection through model specification and estimation to analysis and use of results. It aptly emphasises the broad relevance of choice modelling when applied to a multitude of fields, including but not limited to transport, marketing, health and environmental economics.




Object Modeling with the OCL


Book Description

As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties. This book contains key contributions to the development of OCL. Most papers are developments of work reported at different conferences and workshops. This unique compilation addresses many important issues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints, type checking, and constraint modeling.




Principles and Practice of Constraint Programming


Book Description

Constraint programming aims at supporting a wide range of complex applications, which are often modeled naturally in terms of constraints. Early work, in the 1960s and 1970s, made use of constraints in computer graphics, user interfaces, and artificial intelligence. Such work introduced a declarative component in otherwise-procedural systems to reduce the development effort.




Discrete Choice Theory of Product Differentiation


Book Description

"The discrete choice approach provides an ideal framework for describing the demands for differentiated products and can be used for studying most product differentiation models in the literature. By introducing extra dimensions of product heterogeneity, the framework also provides richer models of firm location and product selection."--BOOK JACKET.







Cognitive Mapping


Book Description

This important work brings together international academics from a variety of disciplines to explore the topic of spatial cognition on a 'geographic' scale. It provides an overview of the historical origins of the subject, a description of current debates and suggests directions for future research.




Constraints on Numerical Expressions


Book Description

This book considers how expressions involving number are used by speakers and understood by hearers. A speaker's choice of expression can be a complex problem even in relatively simple-looking domains. In the case of numerical expressions, there are often many choices that would be semantically acceptable: for instance, if 'more than 200' is true, then so is 'more than 199', 'more than 150', and 'more than 100', among others. A speaker does not choose between these options arbitrarily but also does not consistently follow any simple rule. The hearer is interested not just in what has been said but also in any further inferences that can be drawn. Chris Cummins offers a set of criteria that individually influence the speaker's choice of expression. The process of choosing what to say is then treated as a problem of multiple constraint satisfaction. This approach enables multiple different considerations, drawn from principles of semantics, philosophy, psycholinguistics and the psychology of number, simultaneously to be integrated within a single coherent account. This constraint-based model offers novel predictions about usage and interpretation that are borne out experimentally and in corpus research. It also explains problematic data in numerical quantification that have previously been handled by more stipulative means, and offers a potential line of attack for addressing the problem of the speaker's choice in more general linguistic environments.




Specification and Verification of Declarative Open Interaction Models


Book Description

Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension of quite diverse approaches into a computational logic-based comprehensive framework. This framework allows non IT experts to graphically specify interaction models that are then automatically transformed into a corresponding formal representation and a set of fully automated sound and complete verification facilities. The book constitutes a revised and extended version of the author’s PhD thesis, which was honored with the 2009 “Marco Cadoli” prize, awarded by the Italian Association for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between the years 2007 and 2009.




Student Modelling: The Key to Individualized Knowledge-Based Instruction


Book Description

This book is the result of a NATO sponsored workshop entitled "Student Modelling: The Key to Individualized Knowledge-Based Instruction" which was held May 4-8, 1991 at Ste. Adele, Quebec, Canada. The workshop was co-directed by Gordon McCalla and Jim Greer of the ARIES Laboratory at the University of Saskatchewan. The workshop focused on the problem of student modelling in intelligent tutoring systems. An intelligent tutoring system (ITS) is a computer program that is aimed at providing knowledgeable, individualized instruction in a one-on-one interaction with a learner. In order to individualize this interaction, the ITS must keep track of many aspects of the leamer: how much and what he or she has leamed to date; what leaming styles seem to be successful for the student and what seem to be less successful; what deeper mental models the student may have; motivational and affective dimensions impacting the leamer; and so ono Student modelling is the problem of keeping track of alI of these aspects of a leamer's leaming.




Information Modelling and Knowledge Bases XIII


Book Description

This is a collection of papers presented in the 11th European Japanese Conference on Information Modelling and Knowledge Bases held in Maribor, Slovenia. This annually organized conference brings together the leading researchers from Europe and Japan to introduce the latest results of their research.