06209nam 22007335 450 99646572400331620200701063135.010.1007/11591191(CKB)1000000000213540(SSID)ssj0000318699(PQKBManifestationID)11279925(PQKBTitleCode)TC0000318699(PQKBWorkID)10311624(PQKB)10006854(DE-He213)978-3-540-31650-3(MiAaPQ)EBC3068299(PPN)123098769(EXLCZ)99100000000021354020100409d2005 u| 0engurnn#008mamaatxtccrLogic for Programming, Artificial Intelligence, and Reasoning[electronic resource] 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /edited by Geoff Sutcliffe, Andrei Voronkov1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XIV, 744 p.)Lecture Notes in Artificial Intelligence ;3835Bibliographic Level Mode of Issuance: MonographPrinted edition: 9783540305538 Includes bibliographical references and index.Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages -- The Four Sons of Penrose -- An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures -- Second-Order Principles in Specification Languages for Object-Oriented Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations in Term Rewriting -- On Confluence of Infinitary Combinatory Reduction Systems -- Matching with Regular Constraints -- Recursive Path Orderings Can Also Be Incremental -- Automating Coherent Logic -- The Theorema Environment for Interactive Proof Development -- A First Order Extension of Stålmarck’s Method -- Regular Derivations in Basic Superposition-Based Calculi -- On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity -- Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination -- Monotone AC-Tree Automata -- On the Specification of Sequent Systems -- Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic -- Integration of a Software Model Checker into Isabelle -- Experimental Evaluation of Classical Automata Constructions -- Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing Provability in BI’s Pointer Logic Through Resource Graphs -- A Unified Memory Model for Pointers -- Treewidth in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption Algorithms -- Towards Automated Proof Support for Probabilistic Distributed Systems -- Algebraic Intruder Deductions -- Satisfiability Checking for PC(ID) -- Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning -- Another Complete Local Search Method for SAT -- Inference from Controversial Arguments -- Programming Cognitive Agents in Defeasible Logic -- The Relationship Between Reasoning About Privacy and Default Logics -- Comparative Similarity, Tree Automata, and Diophantine Equations -- Analytic Tableaux for KLM Preferential and Cumulative Logics -- Bounding Resource Consumption with Gödel-Dummett Logics -- On Interpolation in Existence Logics -- Incremental Integrity Checking: Limitations and Possibilities -- Concepts of Automata Construction from LTL.Lecture Notes in Artificial Intelligence ;3835Software engineeringArtificial intelligenceComputer programmingComputer logicMathematical logicSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software engineering.Artificial intelligence.Computer programming.Computer logic.Mathematical logic.Software Engineering/Programming and Operating Systems.Artificial Intelligence.Programming Techniques.Software Engineering.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.005.1/15Sutcliffe Geoffedthttp://id.loc.gov/vocabulary/relators/edtVoronkov Andreiedthttp://id.loc.gov/vocabulary/relators/edtLPAR (Conference)BOOK996465724003316Logic for Programming, Artificial Intelligence, and Reasoning772423UNISA04443nam 2200685 a 450 991095519200332120251117095750.09780300162950030016295210.12987/9780300162950(CKB)2550000000105049(StDuBDS)BDZ0022174764(SSID)ssj0000704061(PQKBManifestationID)11413246(PQKBTitleCode)TC0000704061(PQKBWorkID)10705030(PQKB)10851705(StDuBDS)EDZ0000167158(MiAaPQ)EBC3421006(DE-B1597)486173(OCoLC)861793307(DE-B1597)9780300162950(Au-PeEL)EBL3421006(CaPaEBR)ebr10579405(OCoLC)923599678(Perlego)1089834(OCoLC)861793307(EXLCZ)99255000000010504920100405d2010 uy 0engur|||||||||||txtccrFrom land to mouth the agricultural "economy" of the Wola of the New Guinea highlands /Paul Sillitoe1st ed.New Haven [Conn.] Yale University Pressc20101 online resource (1 online resource (xx, 575 p.) ) ill., mapsYale agrarian studies seriesBibliographic Level Mode of Issuance: Monograph9780300142266 0300142269 Includes bibliographical references (p. [529]-559) and index.The agricultural economy -- Economics and the self-interested individual -- Community and the other-interested individual -- Land tenure and the collective-interests individual -- Selection of cultivation sites and individual choice -- The land issue : scarce resource? -- The population issue : too many people? -- Pioneering gardens : men's labor -- Cultivating gardens : women's labor -- The labor question : scarcity of time? -- Exchange : taro gardens -- The exchange economy? -- No economy, no development?.Among the Wola people of Papua New Guinea, our category economy is problematic. Distribution is unnecessary; the producers of everyday needs are the consumers: produce goes largely "from land to mouth" - with no implication that resources are scarce. Yet transactions featuring valuable things -- which are scarce -- are a prominent aspect of life, where sociopolitical exchange figures prominently. The relationship -- or rather the disconnection -- between these two domains is central to understanding the fiercely egalitarian political-economy. In this detailed investigation of a Highland New Guinea agricultural 'economy' and acephalous political order-the most thorough inquiry into such a tropical subsistence farming system ever undertaken-esteemed anthropologist Paul Sillitoe interrogates the relevance of key economic ideas in noncapitalist contexts and challenges anthropological shibboleths such as the "gift." Furthermore, he makes a reactionary-cum-innovative contribution to research methods and analysis, drawing on advances in information technology to manage large data sets. Over a span of more than three decades, Sillitoe has compiled a huge body of ethnography, gaining unprecedented insights into Highlands' social, economic, and agricultural arrangements. He uses these here to illuminate economic thought in nonmarket contexts, advancing an integrated set of principles underpinning a stateless-subsistence order comparable to that of economists for the state-market. Sillitoe's insights have implications for economic development programs in regions where capitalist assumptions have limited relevance, following his advocacy of development interventions more respectful of existing social orders.Yale agrarian studies.Agricultural "economy" of the Wola of the New Guinea highlandsAgricultureEconomic aspectsPapua New GuineaWola (Papua New Guinean people)Economic conditionsAgricultureEconomic aspectsWola (Papua New Guinean people)Economic conditions.338.1089/9912Sillitoe Paul1949-1348880MiAaPQMiAaPQMiAaPQBOOK9910955192003321From land to mouth4356422UNINA