Choice and Constraints Oriented Modeling


Book Description

Development of Household Interaction Game, pilot-tested on elderly group in Oklahoma City.







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.




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.







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.




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.




Constraints on Numerical Expressions


Book Description

This book focuses on the question of how expressions involving number are used by speakers and understood by hearers. The author lays out a set of criteria that are argued individually to influence the speaker's choice of expression, an approach that offers novel predictions about usage and interpretation




Cooperative Control: Models, Applications and Algorithms


Book Description

During the last decades, considerable progress has been observed in all aspects regarding the study of cooperative systems including modeling of cooperative systems, resource allocation, discrete event driven dynamical control, continuous and hybrid dynamical control, and theory of the interaction of information, control, and hierarchy. Solution methods have been proposed using control and optimization approaches, emergent rule based techniques, game theoretic and team theoretic approaches. Measures of performance have been suggested that include the effects of hierarchies and information structures on solutions, performance bounds, concepts of convergence and stability, and problem complexity. These and other topics were discusses at the Second Annual Conference on Cooperative Control and Optimization in Gainesville, Florida. Refereed papers written by selected conference participants from the conference are gathered in this volume, which presents problem models, theoretical results, and algorithms for various aspects of cooperative control. Audience: The book is addressed to faculty, graduate students, and researchers in optimization and control, computer sciences and engineering.




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.