Sebanyak 135 item atau buku ditemukan

Building Intuition

Insights from Basic Operations Management Models and Principles

This is the first book in the field that uses the power of the basic models and principles to provide students and managers with an "intuitive understanding" of operations management. The book touches on nine fundamental models and principles, and outlines the key insights behind each one. Some of the very biggest names in the Management Science field have developed and carefully written these chapters on the field’s basic models.

This is the first book in the field that uses the power of the basic models and principles to provide students and managers with an "intuitive understanding" of operations management.

Definitions, Concepts and Scope of Engineering Asset Management

Definitions, Concepts and Scope of Engineering Asset Management, the first volume in this new review series, seeks to minimise ambiguities in the subject matter. The ongoing effort to develop guidelines is shaping the future towards the creation of a body of knowledge for the management of engineered physical assets. Increasingly, industry practitioners are looking for strategies and tactics that can be applied to enhance the value-creating capacities of new and installed asset systems. The new knowledge-based economy paradigm provides imperatives to combine various disciplines, knowledge areas and skills for effective engineering asset management. This volume comprises selected papers from the 1st, 2nd, and 3rd World Congresses on Engineering Asset Management, which were convened under the auspices of ISEAM in collaboration with a number of organisations, including CIEAM Australia, Asset Management Council Australia, BINDT UK, and Chinese Academy of Sciences, Beijing University of Chemical Technology, China. Definitions, Concepts and Scope of Engineering Asset Management will be of interest to researchers in engineering, innovation and technology management, as well as to managers, planners and policy-makers in both industry and government.

Educational. Facilities. Ana C.V. Vieira and António J. Marques Cardoso Abstract Despite the importance of building and infrastructure maintenance and its role in cost control, savings in materials and lifetime enlarging of equipment ...

The Rule of Law History, Theory and Criticism

Authors Costa and Zolo share the conviction that a proper understanding of the rule of law today requires reference to a global problematic horizon. This book offers some relevant guides for orienting the reader through a political and legal debate where the rule of law (and the doctrine of human rights) is a concept both controversial and significant at the national and international levels.

As argued by Archana Parashar, even though judges applied the rules of Hindu and Islamic laws, they interpreted them ... Macaulay's most important and lasting contribution to Indian law was the establishment of the Indian Criminal Code.

Logic Based Program Synthesis and Transformation

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re?nement and logics for re?nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro?ted from the shared lectures of the invited speakers, and the active scienti?c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002).

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development.

Logic Programming '86

Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986

This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.

LEGAL EXPERT SYSTEM LES - 2 H. Yoshino , S. Kagayama , S. Ohta , M. Kitahara , H. Kondoh , M. Nakakawaji ... It was the 1st version of this system and it was developed as a reasoning system for substantial law ( Japanese civil law ) .

Meta-Programming in Logic

Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992.

Deontic Logic, Agency and Normative Systems

?EON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996

This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents (computers, human beings, corporations, etc.) whose behaviour is subject to ideal constraints that may not always be fulfilled in practice. The papers range from theoretical studies of the logical and conceptual tools needed, to studies of various applications. The set of papers collected in this book should be of interest to investigators working in a variety of fields, from philosophy, logic and legal theory to artificial intelligence, computer and management sciences, since it covers topics ranging from theoretical research on foundational issues in deontic and action logics, defeasible reasoning, decision theory, ethical theory, and legal theory, to research on a variety of issues relevant to applications connected with expert systems in the law, document specification, automation of defeasible reasoning, specification of responsibilities and powers in organizations, normative systems specification, confidentiality in database systems, and a host of other applications.

This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents (computers, human beings, corporations, etc.) whose behaviour is ...

Studies in Legal Logic

Studies in Legal Logic is a collection of nine interrelated papers about the logic, epistemology and ontology of law. All of the papers were written after the publication of the author’s Reasoning with Rules and supplement the issues addressed therein. Some of the papers are new; others have been revised substantially after the publication of their original versions. The emphasis is on analysis, not on logical technicalities. Studies in Legal Logic contains chapters about the nature of norms, the role of coherence in the law, the nature of defeasibility, the role of dialectics in law and artificial intelligence, the statics and dynamics of the law, and the consistency of rules. Moreover, it contains a new, simplified and yet more powerful version of Reason-based Logic and extensive examples of how it can be used for the analysis of legal reasoning. The examples deal with legal theory construction, case-based reasoning, and judicial proof.

kinds of defeasibility, namely ontological, conceptual, epistemic, justification, and logical defeasibility. The second step is to investigate whether the law, legal knowledge, legal reasoning, or legal justification, is defeasible in ...

Law and Logic

A Critical Account of Legal Argument

This book has two related aims: to investigate the frequently voiced claim that legal argument is nonformal in nature and, within the limits of such an investigation, to ascertain the most general proper ties of law as a rational system. Examination of a number of views of legal argument, selected from recent discussions in Germany, Belgium, and the English-speaking countries, will lead to the follow ing main conclusions. The nonformalistic conceptions of the logic of legal argument are ambiguous and unclear. Moreover, insofar as these conceptions are capable of clarification in the light of recent analytical methodology, they can be seen to be either mistaken or else compatible with the formalistic position. Because law is socially directive and coordinative, it is dependent upon theoretical psycho sociology and calls, in principle, for a deontic and inductive logic. The primary function of legal argument is to provide continuing reinterpretation and confirmation of legal rules, conceived as theo retical prescriptions. On the basis of this conception, the old juris prudential conflict between formalism and rule-scepticism appears substantially resolved. Aristotle, the founder of the theory of argument, conceived it as "the science of establishing conclusions" (bnO'l;~fl'YJ &no~e!"u,,~), designed to guide people in rational argumentation. In time, how ever, logic forsook its practical function and developed as a highly abstract and disinterested study, today called "formal logic"; and the theory of practical argument was either neglected or relegated to an appendix to rhetoric.

This book has two related aims: to investigate the frequently voiced claim that legal argument is nonformal in nature and, within the limits of such an investigation, to ascertain the most general proper ties of law as a rational system.

Logic in Law

Remarks on Logic and Rationality in Normative Reasoning, Especially in Law

The study presented in this book was entered upon by me from a legal point of view. 'Legal logic' has been known for a long time, concerning itself with the methodology of legal and in particular judicial reasoning. In modern days, however, this 'legal logic' is sometimes also connected with modern formal logic, as it has been developed in the works of G. Boole, A. de Morgan, G. Frege, C.S. Peirce, E. Schroder, G. Peano, A.N. Whitehead, B. Russell and others. For me this gave rise to the as yet not very specific question about the meaning of modern symbolic logic for law. Already in an early stage it appeared that, although traditional legal logic and modern symbolic logic both concern logic, this may not create the misapprehension that a similar matter is at issue. Both concern themselves (among other things) with reasonings and reasoning. Traditional legal logic is, however, as it was said by the German legal theoretician K. Engisch: "a material logic that wants us to reflect on what we have to do if we -within the limits of actual possibility- wish to reach true, or at least correct judgements" (Engisch, 1964, p.5). Modern symbolic logic on the other hand is not concerned with the truth or correctness of the result of an argument, but with its validity, i.e. the question when or under which conditions the truth (correctness) of the conclusion is guaranteed by the truth (correctness) of the premisses.

The study presented in this book was entered upon by me from a legal point of view.