LEADER 02049nam 2200481 450 001 9910465769803321 005 20200520144314.0 010 $a3-95934-192-X 035 $a(CKB)3710000000636559 035 $a(EBL)4455668 035 $a(MiAaPQ)EBC4455668 035 $a(Au-PeEL)EBL4455668 035 $a(CaPaEBR)ebr11177751 035 $a(OCoLC)945874172 035 $a(EXLCZ)993710000000636559 100 $a20160407h20152015 uy 0 101 0 $ager 135 $aur|n|---||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aAktive Pausen fu?r die Klassen 5-7 $eErste Schritte eines Gymnasiums auf dem Weg zu einer bewegten Schule /$fStephanie Reuter 210 1$aHamburg, [Germany] :$cDiplomica Verlag,$d2015. 210 4$dİ2015 215 $a1 online resource (79 p.) 300 $aDescription based upon print version of record. 311 $a3-95934-692-1 320 $aIncludes bibliographical references. 327 $aAktive Pausen fu?r die Klassen 5-7 - Erste Schritte eines Gymnasiums auf dem Weg zu einer bewegten Schule; Inhaltsverzeichnis; Anhang; 1. Einleitung; 2. Theoretische Verortung; 2.1 Lernen und Bewegung; 2.2 Die Bewegte Schule; 2.3 Lehrerfunktionen; 2.3.1 Evaluieren, Innovieren und Kooperieren; 2.3.2 Erziehen; 3. Planung des Konzeptes; 3.1 Schulinterner Bedarf eines solchen Konzeptes; 3.2 Erste Schritte; 3.3 Durchfu?hrung einer Fragebogenerhebung; 3.4 Auswertung der Fragebogenerhebung; 4. Durchfu?hrung des Konzeptes; 4.1 Anschaffung neuer Spielgera?te; 4.2 Verleih von Spielgera?ten 606 $aSports for children 606 $aPhysical education and training 608 $aElectronic books. 615 0$aSports for children. 615 0$aPhysical education and training. 676 $a796.083 700 $aReuter$b Stephanie$0880900 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910465769803321 996 $aAktive Pausen fu?r die Klassen 5-7$91967490 997 $aUNINA LEADER 06994nam 22006495 450 001 9910144349703321 005 20200705163814.0 010 $a3-540-30227-1 024 7 $a10.1007/b100483 035 $a(CKB)1000000000212553 035 $a(SSID)ssj0000193922 035 $a(PQKBManifestationID)11167654 035 $a(PQKBTitleCode)TC0000193922 035 $a(PQKBWorkID)10246399 035 $a(PQKB)10189395 035 $a(DE-He213)978-3-540-30227-8 035 $a(MiAaPQ)EBC3087776 035 $a(PPN)155215612 035 $a(EXLCZ)991000000000212553 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogics in Artificial Intelligence $e9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings /$fedited by Jose, Julio Alferes, Joao Leite 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XIV, 746 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3229 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23242-7 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Talks -- Representing and Reasoning with Preferences -- Engineering of Logics for the Content-Based Representation of Information -- Formal Methods in Robotics -- Multi-agent Systems -- Games for Cognitive Agents -- Knowledge-Theoretic Properties of Strategic Voting -- The CIFF Proof Procedure for Abductive Logic Programming with Constraints -- Hierarchical Decision Making by Autonomous Agents -- Verifying Communicating Agents by Model Checking in a Temporal Action Logic -- Qualitative Action Theory -- Practical Reasoning for Uncertain Agents -- Modelling Communicating Agents in Timed Reasoning Logics -- Logic Programming and Nonmonotonic Reasoning -- On the Relation Between ID-Logic and Answer Set Programming -- An Implementation of Statistical Default Logic -- Capturing Parallel Circumscription with Disjunctive Logic Programs -- Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning -- Characterizations for Relativized Notions of Equivalence in Answer Set Programming -- Equivalence of Logic Programs Under Updates -- Cardinality Constraint Programs -- Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity -- Reasoning Under Uncertainty -- A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach -- A Logic with Conditional Probabilities -- Reasoning About Quantum Systems -- Sorted Multi-adjoint Logic Programs: Termination Results and Applications -- Logic Programming -- The Modal Logic Programming System MProlog -- Soundness and Completeness of an ?Efficient? Negation for Prolog -- Logic Programs with Functions and Default Values -- Actions and Causation -- Parallel Encodings of Classical Planning as Satisfiability -- Relational Markov Games -- On the Logic of ?Being Motivated to Achieve ?, Before ?? -- Complexity Issues -- Representation and Complexity in Boolean Games -- Complexity in Value-Based Argument Systems -- A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment -- Description Logics -- Transforming Fuzzy Description Logics into Classical Description Logics -- Computing the Least Common Subsumer w.r.t. a Background Terminology -- Explaining Subsumption by Optimal Interpolation -- Belief Revision -- Two Approaches to Merging Knowledge Bases -- An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment -- Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach -- On Sceptical Versus Credulous Acceptance for Abstract Argument Systems -- Modal, Spacial, and Temporal Logics -- Line-Based Affine Reasoning in Euclidean Plane -- Measure Logics for Spatial Reasoning -- Only Knowing with Confidence Levels: Reductions and Complexity -- Time Granularities and Ultimately Periodic Automata -- Theorem Proving -- Polynomial Approximations of Full Propositional Logic via Limited Bivalence -- Some Techniques for Branch-Saturation in Free-Variable Tableaux -- Semantic Knowledge Partitioning -- Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs -- Applications -- Discovering Anomalies in Evidential Knowledge by Logic Programming -- Logic Programming Infrastructure for Inferences on FrameNet -- An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS -- Automatic Compilation of Protocol Insecurity Problems into Logic Programming -- Exploiting Functional Dependencies in Declarative Problem Specifications -- Combining Decision Procedures for Sorted Theories -- Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving -- Towards a Logical Analysis of Biochemical Pathways -- Systems Session -- Abductive Logic Programming with CIFF: System Description -- The DALI Logic Programming Agent-Oriented Language -- Qsmodels: ASP Planning in Interactive Gaming Environment -- A System with Template Answer Set Programs -- New DLV Features for Data Integration -- Profiling Answer Set Programming: The Visualization Component of the noMoRe System -- The PLP System -- The MyYapDB Deductive Database System -- InterProlog: Towards a Declarative Embedding of Logic Programming in Java -- IndLog ? Induction in Logic -- OLEX ? A Reasoning-Based Text Classifier -- Verdi: An Automated Tool for Web Sites Verification -- SATMC: A SAT-Based Model Checker for Security Protocols -- tabeql: A Tableau Based Suite for Equilibrium Logic -- tascpl: TAS Solver for Classical Propositional Logic. 410 0$aLecture Notes in Artificial Intelligence ;$v3229 606 $aArtificial intelligence 606 $aComputer programming 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 702 $aAlferes$b Jose, Julio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLeite$b Joao$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144349703321 996 $aLogics in Artificial Intelligence$9772596 997 $aUNINA