| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465724003316 |
|
|
Titolo |
Logic 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 Voronkov |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
|
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2005.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 744 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 3835 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software 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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910974881703321 |
|
|
Autore |
Hirano Makoto |
|
|
Titolo |
Regional development through ecological business : unique cases in Japanese rural regions / / Makoto Hirano |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : , : Routledge, , 2013 |
|
|
|
|
|
|
|
ISBN |
|
1-136-22439-4 |
1-283-70833-7 |
0-203-09786-6 |
1-136-22440-8 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (121 p.) |
|
|
|
|
|
|
Collana |
|
Routledge studies in the modern world economy ; ; 109 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Regional planning - Japan |
Rural development - Japan |
Sustainable development - Japan |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Title; Copyright; Contents; List of illustrations; Preface; 1 Introduction; 2 Literature review: The Limits to Growth and regional development; 2.1 The impact of The Limits to Growth; 2.2 Knowledge management issues; 2.3 Regional development; 3 Research framework; 3.1 Objects of research, standpoint of research; 3.2 Research question and hypothesis; 3.3 Research methodology; 3.4 Framework and flow of research; 4 Social and emotional development through art; 4.1 Introduction; 4.2 The case of the Seashore Museum - inexpensive regional museum |
4.3 The case of the Echigo Tsumari Art Triennial - impressive regional art event4.4 Analysis and discussion; 4.5 Conclusion; Acknowledgments; 5 Creating ecological businesses; 5.1 Introduction; 5.2 The case of Irodori - a business selling leaves; 5.3 The case of Shimanto Drama - selling the riverside lifestyle; 5.4 The case of Umaji village - selling the mountain lifestyle; 5.5 The case of the Life Creation Studio - dialect as business resource; 5.6 The case of Yubu island - selling the peaceful feeling; 5.7 The case of the sake cellar on Ishigaki - an island recycling business |
|
|
|
|
|
|
|
|
|
|
|
5.8 Analysis and discussion5.9 Conclusion; Acknowledgments; 6 Regional community as business platform; 6.1 Introduction; 6.2 The case of Taketomi island - uniting for survival; 6.3 The case of Iriomote island - diversification businesses for symbiosis; 6.4 The case of Chikamori Hospital - effective service through community networking; 6.5 The case of Tosa-Senri- a grocery with information and human networks; 6.6 Comparative analysis of the four cases; 6.7 The case of Yumenomachi Souzouiinkai - an ICT enterprise with a social mission |
6.8 The case of Wanawakai - a regional non-profit organization6.9 The case of Obuse city - an autonomous community with a common mission; 6.10 Conclusion; Acknowledgments; 7 Sustainable development via community design; 7.1 Introduction; 7.2 The case of the Bakuro CET scheme - renovation of a depopulated district; 7.3 The case of the Kamiyama artist-in-residence scheme - redesigning rural community; 7.4 Analysis and discussion; 7.5 Conclusion; Acknowledgments; 8 Globalization for regional enterprises; 8.1 Introduction |
8.2 The case of the Nakamura Noen lily business - local business, global network8.3 The case of Kochi Ice - global business, local network; 8.4 Analysis and discussion; 8.5 Conclusion; Acknowledgments; 9 An experiment in regional development through ecological business; 9.1 Introduction; 9.2 Designing the Tosa Arts & Crafts project; 9.3 Activities in the first year; 9.4 Reflections on the first year and activities in the second year; 9.5 Analysis and discussion; 10 Summary; 10.1 The case studies; 10.2 Leadership and community in relation to knowledge management |
10.3 Innovation for sustainable development |
|
|
|
|
|
|
Sommario/riassunto |
|
Regional disparity is one of the current pressing social issues. Many countries lack basic infrastructures of establishing a new business or industrial cluster. The book argues that existing arguments which have mostly focused on macroscopic view of economy of society or industries may be misguided. The book delivers a refreshing insight from microscopic view of enterprise/business management and how businesses can achieve sustainable development at enterprise level.The book includes case studies of concrete examples to illustrate how a successful model can be put in place to effect |
|
|
|
|
|
|
|
| |