This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.

This work provides a rational framework for legislation. The unifying premise behind the essays is that, although legislation and regulation are the result of a political process, legislation and regulation can be the object of theoretical study. The volume focuses on problems that are common to most European legal systems and the approach involves applying to legislative problems the tools of legal theory - hence 'legisprudence'. Whereas traditional legal theory deals predominantly with the application of law by the judge, legisprudence enlarges the field of study so as to include the creation of law by the legislator. The original essays published in this collection expose and develop a range of new insights into the relationship between legislative problems and legal theory in a way which will engage and interest legal scholars throughout the world.

Five essays devoted to Organizational Psychology and related topics. Together they demonstrate the power of embracing a human capital asset-based approach to business. Detailed implementation steps are provided.

This approachable text studies discrete objects and the relationsips that bind them. It helps students understand and apply the power of discrete math to digital computer systems and other modern applications. It provides excellent preparation for courses in linear algebra, number theory, and modern/abstract algebra and for computer science courses in data structures, algorithms, programming languages, compilers, databases, and computation.* Covers all recommended topics in a self-contained, comprehensive, and understandable format for students and new professionals * Emphasizes problem-solving techniques, pattern recognition, conjecturing, induction, applications of varying nature, proof techniques, algorithm development and correctness, and numeric computations* Weaves numerous applications into the text* Helps students learn by doing with a wealth of examples and exercises: - 560 examples worked out in detail - More than 3,700 exercises - More than 150 computer assignments - More than 600 writing projects* Includes chapter summaries of important vocabulary, formulas, and properties, plus the chapter review exercises* Features interesting anecdotes and biographies of 60 mathematicians and computer scientists* Instructor's Manual available for adopters* Student Solutions Manual available separately for purchase (ISBN: 0124211828)

The Routledge International Handbook of Automated Essay Evaluation (AEE) is a definitive guide at the intersection of automation, artificial intelligence, and education. This volume encapsulates the ongoing advancement of AEE, reflecting its application in both large-scale and classroom-based assessments to support teaching and learning endeavors. It presents a comprehensive overview of AEE's current applications, including its extension into reading, speech, mathematics, and writing research; modern automated feedback systems; critical issues in automated evaluation such as psychometrics, fairness, bias, transparency, and validity; and the technological innovations that fuel current and future developments in this field. As AEE approaches a tipping point of global implementation, this Handbook stands as an essential resource, advocating for the conscientious adoption of AEE tools to enhance educational practices ethically. The Handbook will benefit readers by equipping them with the knowledge to thoughtfully integrate AEE, thereby enriching educational assessment, teaching, and learning worldwide. Aimed at researchers, educators, AEE developers, and policymakers, the Handbook is poised not only to chart the current landscape but also to stimulate scholarly discourse, define and inform best practices, and propel and guide future innovations.

First published in 1986, Matching Resources to Needs describes the PSSRU’s community care approach and analyses the first of the community care projects, a seminal set of experiments in the care of the elderly at high risk of institutional long-term care. The experiments create field structures which provide incentives to improve efficiency, decentralised power over resources being balanced by enhanced accountability. The first part explains the approach, analyses the causes of inefficiency in ~British social care, and reviews British and American evidence about the relationships between resources, recipient characteristics and outcomes. The approach is compared with some two dozen American experiments hitherto unknown in the UK. It describes the design of the project and its evaluation. The authors then examine the experimental results. They show that cost and welfare effects are better and the costs of outcomes are lower for recipients of community car. The third part of the book uses observational and other data to explore the relationships between structures, assumptive worlds, causal processes and outcomes and their costs. It also analyses the performance of the core tasks of entrepreneurial case management for types of case. The book concludes with a discussion of the broader implications of this approach to community care.