05201oam 2200589 450 99646615000331620210716122105.03-540-49545-210.1007/3-540-49545-2(CKB)1000000000210988(SSID)ssj0000324548(PQKBManifestationID)11240643(PQKBTitleCode)TC0000324548(PQKBWorkID)10312559(PQKB)11543198(DE-He213)978-3-540-49545-1(MiAaPQ)EBC3072796(MiAaPQ)EBC6486266(PPN)15520484X(EXLCZ)99100000000021098820210716d1998 uy 0engurnn#008mamaatxtccrLogics in artificial intelligence European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 proceedings /Jurgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (eds.)1st ed. 1998.Berlin ;Heidelberg :Springer,[1998]©19981 online resource (X, 390 p.)Lecture Notes in Artificial Intelligence ;1489Bibliographic Level Mode of Issuance: Monograph3-540-65141-1 Includes bibliographical references at the end of each chapters and index.Logic Programming -- The Well-Founded Semantics Is the Principle of Inductive Definition -- Combining Introspection and Communication with Rationality and Reactivity in Agents -- Disjunctive Logic Program = Horn Program + Control Program -- Semantics of Partial-Order Programs -- Epistemic Logics -- Persistence and Minimality in Epistemic Logic -- Prohairetic Deontic Logic (PDL) -- Phased Labeled Logics of Conditional Goals -- Theorem Proving -- Analysis of Distributed-Search Contraction-Based Strategies -- A Deduction Method Complete for Refutation and Finite Satisfiability -- Requirement-Based Cooperative Theorem Proving -- ?-Resolution: An Inference Rule for Regular Multiple-Valued Logics -- A Matrix Characterization for -- A Resolution Calculus for Dynamic Semantics -- Algorithms on Atomic Representations of Herbrand Models -- Non-monotonic Reasoning -- On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription -- An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions Problem -- Towards State Update Axioms: Reifying Successor State Axioms -- Non-standard Logics -- A Mechanised Proof System for Relation Algebra Using Display Logic -- Relative Similarity Logics are Decidable: Reduction to FO2 with Equality -- A Conditional Logic for Belief Revision -- Implicates and Reduction Techniques for Temporal Logics -- A Logic for Anytime Deduction and Anytime Compilation -- Knowledge Representation -- On Knowledge, Strings, and Paradoxes -- Propositional Lower Bounds: Generalization and Algorithms -- Higher Order Logics -- Higher Order Generalization -- Invited Talks -- The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary -- Towards Inference and Computation Mobility: The Jinni Experiment.This volume contains the papers selected for presentation at the conference and two abstracts from invited speakers. The programme committee selected these 25 papers from 12 countries out of 65 submissions from 17 countries. The rst JELIA meeting was in Rosco , France, ten years ago. Afterwards, it took place in the Netherlands, Germany, United Kingdom, Portugal, and now again in Germany. The proceedings of the last four meetings appeared in the Springer-Verlag LNCS series, and a selected series of papers of the English and the Portuguese meeting appeared as special issues in the Journal of Applied Non-Classical Logics and in the Journal of Automated Reasoning, respectively. The aim of JELIA was and still is to provide a forum for the exchange of ideas and results in the domain of foundations of AI, focusing on rigorous descriptions of some aspects of intelligence. These descriptions are promoted by applications, and produced by logical tools and methods. The papers contained in this volume cover the following topics: 1. Logic programming 2. Epistemic logics 3. Theorem proving 4. Non-monotonic reasoning 5. Non-standard logics 6. Knowledge representation 7. Higher order logics We would like to warmly thank the authors, the invited speakers, the m- bers of the program committee, and the additional reviewers listed below. They all have made these proceedings possible and ensured their quality.Lecture notes in computer science.Lecture notes in artificial intelligence ;1489.Artificial intelligenceCongressesArtificial intelligence006.3Dix JurgenFariñas del Cerro LuisFurbach UlrichEuropean Workshop JELIA'98MiAaPQMiAaPQUtOrBLWBOOK996466150003316Logics in Artificial Intelligence772596UNISA04180nam 22007214 450 991082254980332120140827012637.00-8223-9890-710.1515/9780822398905(CKB)3710000000229871(OCoLC)889158887(CaPaEBR)ebrary10928041(SSID)ssj0001352305(PQKBManifestationID)11724447(PQKBTitleCode)TC0001352305(PQKBWorkID)11309807(PQKB)10243138(MiAaPQ)EBC3008058(OCoLC)1141661797(MdBmJHUP)muse81111889158887(DE-B1597)553847(DE-B1597)9780822398905(OCoLC)1229161143(EXLCZ)99371000000022987120140825d1998 ub 0engurcnu||||||||txtccrUtopia & cosmopolis globalization in the era of American literary realism /Thomas PeyserDurham [N.C.] :Duke University Press,1998.1 online resource (209 p.) New AmericanistsBibliographic Level Mode of Issuance: Monograph0-8223-2247-1 1-322-11262-2 0-8223-2230-7 Includes bibliographical references (pages [169]-189) and index.Introduction: Realism and Utopia, Nation and Globe --Pt. 1.Dreams of Unity.1.The World a Department Store.2.The Imperial Ghetto --Pt. 2.Forms of Multiplicity.3.The Culture of Conversation.4.The Imperial Museum.When did Americans first believe they were at the center of a truly global culture? How did they envision that culture and how much do recent attitudes toward globalization owe to their often utopian dreams? In Utopia and Cosmopolis Thomas Peyser asks these and other questions, offers a reevaluation of American literature and culture at the dawn of the twentieth century, and provides a new context for understanding contemporary debates about America’s relation to the rest of the world.Applying current theoretical work on globalization to the writing of authors as diverse as Edward Bellamy, Charlotte Perkins Gilman, William Dean Howells, and Henry James, Peyser reveals the ways in which turn-of-the-century American writers struggled to understand the future in a newly emerging global community. Because the pressures of globalization at once fostered the formation of an American national culture and made national culture less viable as a source of identity, authors grappled to find a form of fiction that could accommodate the contradictions of their condition. Utopia and Cosmopolis unites utopian and realist narratives in subtle, startling ways through an examination of these writers’ aspirations and anxieties. Whether exploring the first vision of a world brought together by the power of consumer culture, or showing how different cultures could be managed when reconceived as specimens in a museum, this book steadily extends the horizons within which late nineteenth- and early twentieth-century American literature and culture can be understood.Ranging widely over history, politics, philosophy, and literature, Utopia and Cosmopolis is an important contribution to debates about utopian thought, globalization, and American literature.New Americanists.Utopia and cosmopolisAmerican fictionHistory and criticismRealism in literatureInternationalism in literatureNationalism in literatureUtopias in literatureAmerican fictionHistory and criticism.Realism in literature.Internationalism in literature.Nationalism in literature.Utopias in literature.813/.409813.409Peyser Thomas1720444NDDNDDBOOK9910822549803321Utopia & cosmopolis4119107UNINA