You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
None
From secular and ecclesiastical court records, Bennett reconstructs the lives of slave and free blacks, their regulation by the government and by the Church, the impact of the Inquisition, their legal status in marriage and their rights and obligations as Christian subjects.
This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint Programming. It was held from September 20–24, 2009 at the Rectory of the New University of Lisbon, Portugal. Everyone involved with the conference thanks our sponsors for their support. There were 128 submissions to the research track, of which 53 were accepted for a rate of 41.4%. Each submission was reviewed by three reviewers, with a small number of additional reviews obtained in exceptional cases. Each review waseitherbyaProgrammeCommitteemember,orbyacolleagueinvitedtohelp by a committee member thanks to their particular expertise. Papers submitted as long p...
IBERAMIA is the international conference series of the Ibero-American Art- cialIntelligencecommunitythathasbeenmeetingeverytwoyearssincethe1988 meeting in Barcelona. The conference is supported by the main Ibero-American societies of AI and provides researchers from Portugal, Spain, and Latin Am- ica the opportunity to meet with AI researchers from all over the world. Since 1998, IBERAMIA has been a widely recognized international conference, with its papers written and presented in English, and its proceedings published by Springer in the LNAI series. This volume contains the papers accepted for presentation at Iberamia 2008, held in Lisbon, Portugal in October 2008. For this conference, 14...
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 c...
This book contains a selection of higher quality and reviewed papers of the 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, held in Aveiro, Portugal, in October 2009. The 55 revised full papers presented were carefully reviewed and selected from a total of 163 submissions. The papers are organized in topical sections on artificial intelligence in transportation and urban mobility (AITUM), artificial life and evolutionary algorithms (ALEA), computational methods in bioinformatics and systems biology (CMBSB), computational logic with applications (COLA), emotional and affective computing (EAC), general artificial intelligence (GAI), intelligent robotics (IROBOT), knowledge discovery and business intelligence (KDBI), muli-agent systems (MASTA) social simulation and modelling (SSM), text mining and application (TEMA) as well as web and network intelligence (WNI).
Contains papers on relevant technological applications of logical methods and some of their extensions and gives an idea of some applications of logical methods to numerous problems, including relevant concepts and results, in particular those related to paraconsistent logic.