Progress in Artificial Intelligence


Book Description

The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the Portuguese Conference on Arti cial Intelligence (EPIA). This ninth conference follows previous ones held in Porto (1985), Lisboa (1986), Braga (1987), Lisboa (1989), Albufeira (1991), Porto (1993), Funchal (1995) and Coimbra (1997). Starting in 1989, the conferences have been held biennially (alternating with an APPIA Advanced School on Arti cial Intelligence) and become truly international: English has been adopted as the o cial language and the proceedings are published in Springer’s LNAI series. The conference has recon rmed its high international standard this year, largely due to its programme committee, composed of distinguished researchers in a variety of specialities in Arti cial Intelligence, half of them from Portuguese universities. This has attracted a signi cant international interest, well expressed by the number of papers submitted (66), from 17 di erent countries, 29 of which are by Portuguese researchers. From the 66 papers submitted, about one third of them (23) were selected for oral presentation and have been published in this volume. The review process enabled the selection of high quality papers, each paper being reviewed by two or three reviewers, either from the programme committee or by their appointment. We would like to thank all of the reviewers for their excellent and hard work.




The Blue and Gold


Book Description




Static Analysis


Book Description

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP. The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.




California Occident


Book Description




Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning


Book Description

This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these papers were presented during the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, USA on October 25-26, 2010. The 27 scientific papers included in the book focus on answer set programming. The papers are organized in sections named “Foundations: ASP and Theories of LP, KR, and NMR”, “ASP and Dynamic Domains”, and “ASP – Applications and Tools”.




Billboard


Book Description

In its 114th year, Billboard remains the world's premier weekly music publication and a diverse digital, events, brand, content and data licensing platform. Billboard publishes the most trusted charts and offers unrivaled reporting about the latest music, video, gaming, media, digital and mobile entertainment issues and trends.




Register


Book Description










Shembe, Ancestors, and Christ


Book Description

The Christian axis has shifted dramatically southward to Africa, Asia, and Latin America, so much so that today there are more Christians living in these southern regions than among their northern counterparts. In the case of Africa, the African Initiated Churches-founded by Africans and primarily for Africans-has largely contributed to the exponential growth and proliferation of the Christian faith in the continent. Yet, even more profoundly, these churches espouse a brand of Christianity that is indigenized and thoroughly contextual. Further, the power and popularity of the AICs, beyond the unprecedented numbers joining these churches, are attributed to their relevance to the existential everyday needs and concerns of their adherents in the context of a postcolonial Africa. At the heart of Christian theology is Christology-the confessed uniqueness of Christ in history and among world religions. Yet this key feature of Christianity, as with other important elements of the Christian faith, may be variously understood and re-interpreted in these indigenous churches. The focus of this study is the amaNazaretha Church, an influential religious group founded by the African charismatic prophet Isaiah Shembe in 1911 in the province of KwaZulu-Natal, South Africa. The movement today claims a following of some two million adherents and has proliferated beyond the borders of South Africa to neighboring countries in Southern Africa. The book addresses the complex and at times ambivalent understanding of the person and work of Christ in the amaNazaretha Church, presenting the genesis, history, beliefs, and practices of this significant religious movement in South Africa, with broader implications for similar movements across the continent of Africa and beyond.