Sebanyak 814 item atau buku ditemukan

A History of Modern Africa

1800 to the Present

The new, fully-updated edition of the acclaimed textbook covering 200 years of African history A History of Modern Africa explores two centuries of the continent’s political, economic, and social history. This thorough yet accessible text help readers to understand key concepts, recognize significant themes, and identify the processes that shaped the modern history of Africa. Emphasis is placed on the consequences of colonial rule, and the links between the precolonial and postcolonial eras. Author Richard Reid, a prominent scholar and historian on the subject, argues that Africa’s struggle for economic and political stability in the nineteenth century escalated and intensified through the twentieth century, the effects of which are still felt in the present day. The new third edition offers substantial updates and revisions that consider recent events and historiography. Greater emphasis is placed on African agency, particularly during the colonial period, and the importance of the long-term militarization of African political culture. Discussions of the postcolonial period have been updated to reflect recent developments, including those in North Africa. Adopting a long-term approach to current African issues, this text: Explores the legacies of the nineteenth century and the colonial period in the context of the contemporary era Highlights the role of nineteenth century and long-term internal dynamics in Africa’s modern challenges Combines recent scholarship with concise and effective narrative Features maps, illustrations, expanded references, and comprehensive endnotes A History of Modern Africa: 1800 to the Present, 3rd Edition is an excellent introduction to the subject for undergraduate students in relevant courses, and for general readers with interest in modern African history and current affairs.

Islamic learning had a long history across Saharan and northern Africa, but with the advent of colonial rule in ... In Libya, Italian education vied with a Sanusiyya system which promoted Islamic culture and anticolonial resistance.

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, Artificial Intelligence, and Robotics

LAPTEC 2001

( Eds . ) , Legal Knowledge and Information Systems Vol . 63 , I. Gent et al . ( Eds . ) , SAT2000 Vol . 62 , T. Hruška and M. Hashimoto ... 47 , M.T. Escrig and F. Toledo , Qualitative Spatial Reasoning : Theory and Practice Vol .

Logic Programming

Proceedings of the 1994 International Symposium

November 13-17, 1994, Ithaca, New York The 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurrency and parallelism, deductive databases, implementations and architectures, metaprogramming and higher-order programming, proof theory, and semantic analysis. Logic Programming series, Research Reports and Notes

Journal of Automated Reasoning , 11 ( 1 ) : 43–81 , August 1993 . ... A linguage for legal discourse I : basic features . In Proceedings of the Second International Conference on Artificial Intelligence and Law , pages 180-189 .

Logic, Methodology, and Philosophy of Science VI

Proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

Logic, Methodology and Philosophy of Science VI.

... writing reconsidered ( Glencoe , Ill . ) BENSON L. , 1972 , Toward the scientific study of history ( Philadelphia ) BERMAN , H. J. , 1968 , Legal reasoning , in : International Encyclopedia of the Social Sciences , New York , vol .

Logic Programming and Automated Reasoning

International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : Proceedings

This volume contains the proceedings of LPAR '92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in July 1992. The aim ofthe conference was to bring together researchers from theRussian and the international logic programming and theoremproving communities.The topics of interest covered by papers inthe volumeinclude automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics.LPAR '92 is the successor of the First and Second RussianConferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedinLNAI Vol. 592.

We require that all the di occur in t since all arguments of f were certainly meant for relevance . f must not be ... a candidate term means to check whether the outer structure of the term corresponds to a legal rule in the context of ...

Applications of Inductive Logic

Proceedings of a Conference at the Queen's College, Oxford 21-24, August 1978

To substantiate his claim that mathematical probability is no good , or at best limited , in the context of legal reasoning , Cohen brings forward some hard cases , one of which he dubs the gatecrasher paradox of legal reasoning .

Logic Programming

Proceedings of the 1990 North American Conference

OCTOBER 29 - NOVEMBER 1, 1990, AUSTIN, TEXASOCTOBER 29 - NOVEMBER 1, 1990, AUSTIN, TEXASTheory and Foundations. Metaprogramming. Constraints. Implementations, Architecture. Deductive Databases. Language Issues. Relation to Other Paradigms. Parallelism, Concurrency. Compilation Techniques. Applications.

Several researchers have investigated the properties of these " embedded implications ” [ 11 , 10 , 14 , 15 , 17 , 2 ) , and have shown them to be useful for hypothetical reasoning ( 3 ) , for legal reasoning ( 16 ) , for modular logic ...

Deontic Logic in Computer Science

11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings

This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.

This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012.