Sebanyak 272 item atau buku ditemukan

The History of al-Tabari Vol. 30

The 'Abbasid Caliphate in Equilibrium: The Caliphates of Musa al-Hadi and Harun al-Rashid A.D. 785-809/A.H. 169-193

This volume of al-Tabari's History covers nearly a quarter of a century, and after covering the very brief caliphate of al-Hadi, concentrates on that of Harun al-Rashid. During these years, the caliphate was in a state of balance with its external foes; the great enemy, Christian Byzantium, was regarded with respect by the Muslims, and the two great powers of the Near East treated each other essentially as equals, while the Caucasian and Central Asian frontiers were held against pressure from the Turkish peoples of Inner Eurasia. The main stresses were internal, including Shi'ite risings on behalf of the excluded house of 'Ali, and revolts by the radical equalitarian Kharijites; but none of these was serious enough to affect the basic stability of the caliphate. Harun al-Rashid's caliphate has acquired in the West, under the influence of a misleading picture from the Arabian Nights, a glowing image as a golden age of Islamic culture and letters stemming from the Caliph's patronage of the exponents of these arts and sciences. In light of the picture of the Caliph which emerges from al-Tabari's pages, however, this image seems to be distinctly exaggerated. Al-Rashid himself does not exhibit any notable signs of administrative competence, military leadership or intellectual interests beyond those which convention demanded of a ruler. For much of his reign, he left the business of government to the capable viziers of the Barmakid family--the account of whose spectacular fall from power forms one of the most dramatic features of al-Tabari's narratives here--and his decision to divide the Islamic empire after his death between his sons was to lead subsequently to a disastrous civil war. Nevertheless, al-Tabari's story is full of interesting sidelights on the lives of those involved in the court circle of the time and on the motivations which impelled medieval Muslims to seek precarious careers there. A discounted price is available when purchasing the entire 39-volume History of al-Tabari set. Contact SUNY Press for more information.

Grandson of the naqib and outstanding figure in the da'wah , Qahţabah al - Țā'ī , and subsequently head of al - Ma'mūn's haras ... Vizirat , I , 149 ; K. S. Salibi , Syria under Islam : empire on trial , 634-1097 , 37 ; Kennedy , 122 .

Logic Colloquium '98

Lecture Notes in Logic 13

A compilation of papers presented at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '98 includes surveys and research from the world's preeminent logicians. Topics cover current research from all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, Computability Theory, and Philosophy. This book will be of interest to students and researchers of mathematical logic.

Normative Systems in Legal and Moral Theory . Festschrift for Carlos E. ... Principles of Knowledge Representation and Reasoning : Proceedings of the 1st International Conference , San Mateo , Ca. , Morgan Kaufmann , pp . 301-311 .

Logic, Language, Information, and Computation

20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, ...

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 ) .

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 ...

Pragmatism as a Principle and Method of Right Thinking

The 1903 Harvard Lectures on Pragmatism

This is a study edition of Charles Sanders Peirce's manuscripts for lectures on pragmatism given in spring 1903 at Harvard University. Excerpts from these writings have been published elsewhere but in abbreviated form. Turrisi has edited the manuscripts for publication and has written a series of notes that illuminate the historical, scientific, and philosophical contexts of Peirce's references in the lectures. She has also written a Preface that describes the manner in which the lectures came to be given, including an account of Peirce's life and career pertinent to understanding the philosopher himself. Turrisi's introduction interprets Peirce's brand of pragmatism within his system of logic and philosophy of science as well as within general philosophical principles.

This is a study edition of Charles Sanders Peirce's manuscripts for lectures on pragmatism given in spring 1903 at Harvard University.

Reformasi politik suatu keharusan

pengkhianatan politik-ekonomi, 1997-1998 sama dengan pengkhianatan G-30-S/PKI 1965 : umat Islam, ABRI, dan pemerintah bersatulah

Politics in Indonesia.

Politics in Indonesia.

Pembangunan ekonomi & [i. e. dan] etik ekonomi Islam

prasaran dalam konperensi Himpunan Falsafah Indonesia, Djakarta, 13-16 Djanuari 1972

Hearings on National Defense Authorization Act for Fiscal Year 1993--H.R. 5006, and Oversight of Previously Authorized Programs Before the Committee on Armed Services, House of Representatives, One Hundred Second Congress, Second Session

Research and Development Subcommittee Hearings on Research, Development, Test, and Evaluation : Hearings Held March 24, 25, 26, April 1, 28, 29, 30, and May 6, 1992

distribution are other forms of easily exportable information such as pamphlets and educational aids for delivery via diskette . C. Training and Education In December 1990 DOD Comptroller launched the financial management education and ...