1.

Record Nr.

UNINA990004615600403321

Titolo

La STORIA locale : temi, fonti e metodi della ricerca / a cura di Cinzio Violante

Pubbl/distr/stampa

Bologna : Il Mulino, c1982

Descrizione fisica

193 p. ; 22 cm

Disciplina

907.2045

Locazione

FLFBC

Collocazione

907.20 VIO 1

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA9910348241403321

Autore

Taylor Ian

Titolo

Africa in international politics : external involvement on the continent / / edited by Ian Taylor and Paul Williams

Pubbl/distr/stampa

London ; ; New York, : Routledge, 2004

ISBN

9781134367115

1134367112

9780203601754

0203601750

9781134367122

1134367120

9781280019944

1280019948

9780203493175

0203493176

Descrizione fisica

1 online resource (238 p.)

Collana

Routledge Advances in International Relations and Global Politics

Classificazione

POL000000POL009000POL010000

Altri autori (Persone)

TaylorIan <1969-2021.>

WilliamsPaul D. <1975->

Disciplina

327.6

Soggetti

Nonfiction

History

Politics

Africa Foreign relations 1960-



Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Introduction : understanding Africa's place in world politics / Ian Taylor and Paul Williams -- The contending currents in United States involvement in Sub-Saharan Africa / James J. Hentz -- Britain and Africa after the Cold War : beyond damage limitation? / Paul Williams -- France's policy towards Africa : continuity or change? / Daniela Kroslak -- The "all-weather friend"? : Sino-African interaction in the twenty-first century / Ian Taylor -- Russia and Africa : moving in the right direction? / Vladimir Shubin -- Japan-Africa relations : patterns and prospects / Scarlett Cornelissen -- Canada and Africa : activist aspirations in straitened circumstances / David Black -- the European Union's external relations with Africa after the Cold War : aspects of continuity and change / Stephen R. Hurt -- The international financial institutions' relations with Africa : insights from the issue of representation and voice / Caroline Thomas -- From Congo to Congo : United Nations peacekeeping in Africa / Adekeye Adebajo.

Sommario/riassunto

Locating Africa on the global stage, this book examines and compares external involvement in the continent, exploring the foreign policies of major states and international organizations towards Africa. The contributors work within a political economy framework in order to study how these powers have attempted to stimulate democracy, peace and prosperity in the context of neo-liberal hegemony and ask whom these attempts have benefited and failed.



3.

Record Nr.

UNINA9910143636503321

Autore

Thielscher Michael

Titolo

Challenges for Action Theories / / by Michael Thielscher

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000

ISBN

3-540-45596-5

Edizione

[1st ed. 2000.]

Descrizione fisica

1 online resource (XIV, 146 p.)

Collana

Lecture Notes in Artificial Intelligence ; ; 1775

Disciplina

004.2/1

Soggetti

Artificial intelligence

Logic, Symbolic and mathematical

Artificial Intelligence

Mathematical Logic and Formal Languages

Mathematical Logic and Foundations

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Foundations of Action Theories -- The Ramification Problem -- The Qualification Problem -- Qualified Ramifications.

Sommario/riassunto

A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change.