LEADER 02841nam 22005893 450 001 9910512159603321 005 20220207155337.0 010 $a3-030-88455-4 035 $a(CKB)5100000000152666 035 $a(MiAaPQ)EBC6827693 035 $a(Au-PeEL)EBL6827693 035 $a(OCoLC)1291315581 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/74877 035 $a(EXLCZ)995100000000152666 100 $a20220207d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSociology of Interdisciplinarity $eThe Dynamics of Energy Research 210 $aBern$cSpringer Nature$d2022 210 1$aCham :$cSpringer International Publishing AG,$d2021. 210 4$dİ2022. 215 $a1 online resource (139 pages) 311 $a3-030-88454-6 330 $aThis Open Access book builds upon Science and Technology Studies (STS) and provides a detailed examination of how large-scale energy research projects have been conceived, and with what consequences for those involved in interdisciplinary research, which has been advocated as the zenith of research practice for many years, quite often in direct response to questions that cannot be answered (or even preliminarily investigated) by disciplines working separately. It produces fresh insights into the lived experiences and actual contents of interdisciplinarity, rather than simply commentating on how it is being explicitly advocated. We present empirical studies on large-scale energy research projects from the United Kingdom, Norway, and Finland. The book presents a new framework, the Sociology of Interdisciplinarity, which unpacks interdisciplinary research in practice. This book will be of interest to all those interested in well-functioning interdisciplinary research systems and the dynamics of doing interdisciplinarity, including real ground-level experiences and institutional interdependencies. 606 $aSociology$2bicssc 606 $aEnergy technology & engineering$2bicssc 606 $aThe environment$2bicssc 606 $aCentral government policies$2bicssc 610 $aInterdisciplinarity 610 $aenergy research 610 $aSTS 610 $aResearch policy 610 $aenergy social research 610 $aOpen Access 615 7$aSociology 615 7$aEnergy technology & engineering 615 7$aThe environment 615 7$aCentral government policies 676 $a333.79 676 $a333.79 700 $aSilvast$b Antti$01076258 701 $aFoulds$b Chris$01076259 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910512159603321 996 $aSociology of Interdisciplinarity$92586640 997 $aUNINA LEADER 06088nam 22006615 450 001 9910768450303321 005 20200705001817.0 010 $a3-540-45757-7 024 7 $a10.1007/3-540-45757-7 035 $a(CKB)1000000000212004 035 $a(SSID)ssj0000324545 035 $a(PQKBManifestationID)11282665 035 $a(PQKBTitleCode)TC0000324545 035 $a(PQKBWorkID)10314778 035 $a(PQKB)11016157 035 $a(DE-He213)978-3-540-45757-2 035 $a(MiAaPQ)EBC3072120 035 $a(PPN)155174762 035 $a(EXLCZ)991000000000212004 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogics in Artificial Intelligence $eEuropean Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings /$fedited by Sergio Flesca, Giovambattista Ianni 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XIII, 567 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2424 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-44190-5 320 $aIncludes bibliographical references and index. 327 $aMulti-agent Systems -- A Logic Programming Language for Multi-agent Systems -- A Proof-System for the Safe Execution of Tasks in Multi-agent Systems -- An Argumentation Framework for Merging Conflicting Knowledge Bases -- Multi-agent Logics of Dynamic Belief and Knowledge -- Evolution and Changes -- Evolving Logic Programs -- A Compilation of Updates plus Preferences -- Description Logic and Semantic Web -- Towards Service Description Logics -- P- (D): A Probabilistic Extension of (D) for Probabilistic Ontologies in the Semantic Web -- A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries -- Complexity Issues -- Polynomial-Length Planning Spans the Polynomial Hierarchy -- Complexity of Multi-agent Systems Behavior -- Complexity and Algorithms for the Matching of Bag and Set Terms -- Probabilistic Logic -- Non-commutativity and Expressive Deductive Logic Databases -- Using Institutions for the Study of Qualitative and Quantitative Conditional Logics -- Planning -- Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment -- Answer Set Planning under Action Costs -- Modal Logic and Causal Reasoning -- On Fibring Semantics for BDI Logics -- A Modal Formulation of McCain and Turner?s Theory of Causal Reasoning -- Second-Order Quantifier Elimination in Modal Contexts -- Theory -- Interpolation Theorems for Nonmonotonic Reasoning Systems -- Minimal Answer Computation and SOL -- Decidability of Interval Temporal Logics over Split-Frames via Granularity -- Reasoning under Uncertainty -- Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases -- A Qualitative Reasoning with Nuanced Information -- Satisfiability -- Dependent and Independent Variables in Propositional Satisfiability -- A DPLL-Based Calculus for Ground Satisfiability Modulo Theories -- Paraconsistent Reasoning -- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems -- Three-Valued Logics for Inconsistency Handling -- Paraconsistent Logic Programs -- Actions and Causation -- Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem -- Reasoning about Actions in Prioritized Default Theory -- Towards a Conditional Logic of Actions and Causation -- Logics for Agents -- Axiomatising Nash-Consistent Coalition Logic -- Representing Possibilities in Relation to Constraints and Agents -- An Abductive Logic Programming Architecture for Negotiating Agents -- Semantics -- Preferred Answer Sets for Ordered Logic Programs -- Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs -- An Infinite-Valued Semantics for Logic Programs with Negation -- Optimization Issues in Answer Set Semantics -- More on noMoRe -- Answer Set Programming by Ant Colony Optimization -- Testing the Equivalence of Logic Programs under Stable Model Semantics -- System Session -- Argumentative Reasoning with ABEL -- COBA: A Consistency-Based Belief Revision System -- Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems -- : Integrating Data Mining with Intelligent Query Answering -- NoMoRe: Non-monotonic Reasoning with Logic Programs -- Process Miner ? A Tool for Mining Process Schemes from Event-Based Data -- SMILES: A Multi-purpose Learning System -- The aspps System -- The DLV System -- The DLVK Planning System: Progress Report -- Z-log: Applying System-Z -- Invited Talks -- Hypergraph Transversal Computation and Related Problems in Logic and AI -- Alternation -- The USA-Advisor: A Case Study in Answer Set Programming. 410 0$aLecture Notes in Artificial Intelligence ;$v2424 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer programming 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer programming. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 676 $a006.3 702 $aFlesca$b Sergio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aIanni$b Giovambattista$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aJELIA 2002 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768450303321 996 $aLogics in Artificial Intelligence$9772596 997 $aUNINA