This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian (...) logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)
This volume corresponds to the Proceedings of the XIII Brazilian Logic Conference held at the CLE - Centre for Logic, Epistemology and the History of Science in Campinas, SP, Brazil from May 26-30, 2003 under the auspices of the SBL - Brazilian Logic Society and the ASL - Association for Symbolic Logic.
This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005. The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their (...) properties, problem encodings, industrial applications, specific tools, case studies, and empirical results. (shrink)
Dayal's (2004) theory of kind terms accounts for the definiteness and number marking patterns in kind terms in many languages. Brazilian Portuguese has been claimed to be a counter-example to her theory as it seems to allow bare ``singular'' kind terms, which are predicted to be impossible according to her theory. However, the empirical status of the relevant data has not been clear so far. This paper presents a new data point from Singlish and confirms the existence of bare ``singular'' (...) kind terms. A modified theory of kind terms is proposed that accounts for it. The proposed theory puts forth a number system with three basic categories, i.e. singular, plural and general. It is claimed that bare ``singular'' kind terms are in fact derived from general NPs, which are associated with number-neutral properties. The paper also discusses why bare ``singular'' kind terms are not perfectly acceptable in Brazilian Portuguese. (shrink)
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.The 25 revised full papers presented together with ...
The questions that were purely in the realms of philosophy are now beginning to be answered by science. The second Venice Conference on Cosmology and Philosophy explores the anthropic principle which states that the Universe has the conditions we observe because we are here. Out of all possible universes we can only experience the restricted class that permits observers. This realization has profound implications for cosmology, philosophy and theology; all of which are explored in this book by thirteen contributors (...) who gathered to discuss and share their theories within the context of science. The result is a unique collection of papers of great value to professional astronomers and philosophers interested in the role of observers in the Universe. (shrink)
The Conference on Artificial General Intelligence is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. Its second installation, AGI-09, in Arlington, Virginia, March 6-9, 2009, attracted 67 paper submissions, which is a substantial increase from the previous year. Of these submissions, 33 (i.e., 49%) were accepted as full papers for presentation at the conference. Additional 13 papers were included as position (...) papers. The program also included a keynote address by Juergen Schmidhuber on 'The New AI', a post-conference workshop on 'The Future of AI', and a number of pre-conference tutorials on various topics related to AGI. (shrink)
The volume presents the results of the 1st International Conference on Aesthetics and the Embodied Mind. It discusses from different points of view the role of embodiment in the reevaluation of aesthetics as a process of bodily mediated meaning-making.
Just as ontology developed over the centuries as part of philosophy, so in recent years ontology has become intertwined with the development of the information sciences. Researchers in various fields have come to realize that a solid foundation for their projects calls for an explicit theorization of the types of entities and relations that make up their respective domains of inquiry, and as the need for integrating such projects arises, so does the need to identify common ontological principles over ad (...) hoc, case-based solutions. This volume collects the papers presented at the third international conference devoted to current research in this area, including invited papers by P. Gärdenfors and A. L. Thomasson. (shrink)