08055nam 22007095 450 99646532070331620200702141315.03-540-45653-810.1007/3-540-45653-8(CKB)1000000000211653(SSID)ssj0000324499(PQKBManifestationID)11273777(PQKBTitleCode)TC0000324499(PQKBWorkID)10304938(PQKB)10727861(DE-He213)978-3-540-45653-7(MiAaPQ)EBC3071753(PPN)155191640(EXLCZ)99100000000021165320121227d2001 u| 0engurnn|008mamaatxtccrLogic for Programming, Artificial Intelligence, and Reasoning[electronic resource] 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /edited by Robert Nieuwenhuis, Andrei Voronkov1st ed. 2001.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2001.1 online resource (XV, 741 p.) Lecture Notes in Artificial Intelligence ;2250Bibliographic Level Mode of Issuance: Monograph3-540-42957-3 Includes bibliographical references and index.Invited Talk -- Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D. -- Verification -- On Bounded Specifications -- Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy -- Local Temporal Logic Is Expressively Complete for Cograph Dependence Alphabets -- Guarded Logics -- Games and Model Checking for Guarded Logics -- Computational Space Efficiency and Minimal Model Generation for Guarded Formulae -- Agents -- Logical Omniscience and the Cost of Deliberation -- Local Conditional High-Level Robot Programs -- A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agents -- Automated Theorem Proving -- Proof and Model Generation with Disconnection Tableaux -- Counting the Number of Equivalent Binary Resolution Proofs -- Automated Theorem Proving -- Splitting through New Proposition Symbols -- Complexity of Linear Standard Theories -- Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving -- Non-classical Logics -- Unification in a Description Logic with Transitive Closure of Roles -- Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions -- Types -- Coherence and Transitivity in Coercive Subtyping -- A Type-Theoretic Approach to Induction with Higher-Order Encodings -- Analysis of Polymorphically Typed Logic Programs Using ACI-Unification -- Experimental Papers -- Model Generation with Boolean Constraints -- First-Order Atom Definitions Extended -- Automated Proof Support for Interval Logics -- Foundations of Logic -- The Functions Provable by First Order Abstraction -- A Local System for Classical Logic -- CSP and SAT -- Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae -- Permutation Problems and Channelling Constraints -- Simplifying Binary Propositional Theories into Connected Components Twice as Fast -- Non-monotonic Reasoning -- Reasoning about Evolving Nonmonotonic Knowledge Bases -- Efficient Computation of the Well-Founded Model Using Update Propagation -- Semantics -- Indexed Categories and Bottom-Up Semantics of Logic Programs -- Functional Logic Programming with Failure: A Set-Oriented View -- Operational Semantics for Fixed-Point Logics on Constraint Databases -- Experimental Papers -- Efficient Negation Using Abstract Interpretation -- Certifying Synchrony for Free -- A Computer Environment for Writing Ordinary Mathematical Proofs -- Termination -- On Termination of Meta-programs -- A Monotonic Higher-Order Semantic Path Ordering -- Knowledge-Based Systems -- The Elog Web Extraction Language -- Census Data Repair: A Challenging Application of Disjunctive Logic Programming -- Analysis of Logic Programs -- Boolean Functions for Finite-Tree Dependencies -- How to Transform an Analyzer into a Verifier -- Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search -- Databases and Knowledge Bases -- Coherent Composition of Distributed Knowledge-Bases through Abduction -- Tableaux for Reasoning about Atomic Updates -- Termination -- Inference of Termination Conditions for Numerical Loops in Prolog -- Termination of Rewriting with Strategy Annotations -- Inferring Termination Conditions for Logic Programs Using Backwards Analysis -- Program Analysis and Proof Planning -- Reachability Analysis of Term Rewriting Systems with Timbuk -- Binding-Time Annotations without Binding-Time Analysis -- Concept Formation via Proof Planning Failure.This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second International Workshop on Implementation of Logics. There were 112 submissions, of which 19 belonged to the special subm- sion category of experimental papers, intended to describe implementations or comparisons of systems, or experiments with systems. Each submission was - viewed by at least three program committee members and an electronic program committee meeting was held via the Internet. The high number of submissions caused a large amount of work, and we are very grateful to the other 31 PC members for their e?ciency and for the quality of their reviews and discussions. Finally, the committee decided to accept 40papers in the theoretical ca- gory, and 9 experimental papers. In addition to the refereed papers, this volume contains an extended abstract of the invited talk by Frank Wolter. Two other invited lectures were given by Matthias Baaz and Manuel Hermenegildo. Apart from the program committee, we would also like to thank the other people who made LPAR 2001 possible: the additional referees; the Local Arran- ` gements Chair Luciano Garc´?a; Andr´es Navarro and Oscar Guell, ¨ who ran the internet-based submission software and the program committee discussion so- ware at the LSI Department lab in Barcelona; and Bill McCune, whose program committee management software was used.Lecture Notes in Artificial Intelligence ;2250Artificial intelligenceSoftware engineeringComputer logicMathematical logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial intelligence.Software engineering.Computer logic.Mathematical logic.Artificial Intelligence.Software Engineering/Programming and Operating Systems.Logics and Meanings of Programs.Software Engineering.Mathematical Logic and Formal Languages.006.3Nieuwenhuis Robertedthttp://id.loc.gov/vocabulary/relators/edtVoronkov Andreiedthttp://id.loc.gov/vocabulary/relators/edtLPAR (Conference)BOOK996465320703316Logic for Programming, Artificial Intelligence, and Reasoning772423UNISA04332nam 22008175 450 991043815980332120250609110718.01-299-40775-788-470-2871-X10.1007/978-88-470-2871-5(CKB)2670000000328455(EBL)1083502(OCoLC)827212346(SSID)ssj0000870683(PQKBManifestationID)11472608(PQKBTitleCode)TC0000870683(PQKBWorkID)10819323(PQKB)11395480(DE-He213)978-88-470-2871-5(MiAaPQ)EBC1083502(PPN)168334860(MiAaPQ)EBC4068878(EXLCZ)99267000000032845520130125d2013 u| 0engur|n|---|||||txtccrComplex Models and Computational Methods in Statistics /edited by Matteo Grigoletto, Francesco Lisi, Sonia Petrone1st ed. 2013.Milano :Springer Milan :Imprint: Springer,2013.1 online resource (226 p.)Contributions to Statistics,2628-8966Description based upon print version of record.88-470-5565-2 88-470-2870-1 A new unsupervised classification technique through nonlinear non parametric mixed effects models -- Estimation approaches for the apparent diffusion coefficient in Rice-distributed MR signals -- Longitudinal patterns of financial product ownership: a latent growth mixture approach -- Computationally efficient inference procedures for vast dimensional realized covariance models -- A GPU software library for likelihood-based inference of environmental models with large datasets -- Theoretical Regression Trees: a tool for multiple structural-change models analysis -- Some contributions to the theory of conditional Gibbs partitions -- Estimation of traffic matrices for LRD traffic -- A Newton's method for benchmarking time series -- Spatial smoothing for data distributed over non-planar domains -- Volatility swings in the US financial markets -- Semicontinuous regression models with skew distributions -- Classification of multivariate linear-circular data with nonignorable missing values -- Multidimensional connected set detection in clustering based on nonparametric density estimation -- Using integrated nested Laplace approximations for modelling spatial healthcare utilization -- Supply function prediction in electricity auctions -- A hierarchical bayesian model for RNA-Seq data.The use of computational methods in statistics to face complex problems and highly dimensional data, as well as the widespread availability of computer technology, is no news. The range of applications, instead, is unprecedented. As often occurs, new and complex data types require new strategies, demanding for the development of novel statistical methods and suggesting stimulating mathematical problems. This book is addressed to researchers working at the forefront of the statistical analysis of complex systems and using computationally intensive statistical methods.Contributions to Statistics,2628-8966StatisticsMathematicsSocial sciencesBusinessManagement scienceBiometryStatistical Theory and MethodsMathematics in the Humanities and Social SciencesBusiness and ManagementBiostatisticsStatistics.Mathematics.Social sciences.Business.Management science.Biometry.Statistical Theory and Methods.Mathematics in the Humanities and Social Sciences.Business and Management.Biostatistics.520Grigoletto Matteo117625Lisi Francesco148120Petrone Sonia104919MiAaPQMiAaPQMiAaPQBOOK9910438159803321Complex models and computational methods in statistics4185437UNINA04907nam 2200697Ia 450 991095963440332120251117115047.01-138-13882-797866100258171-280-02581-666100258190-203-35888-0(CKB)111087026876160(EBL)167743(OCoLC)259496017(SSID)ssj0000299378(PQKBManifestationID)11229241(PQKBTitleCode)TC0000299378(PQKBWorkID)10238637(PQKB)11719717(MiAaPQ)EBC167743(EXLCZ)9911108702687616019861126d1987 uy 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierImpasse and interpretation therapeutic and anti-therapeutic factors in the psychoanalytic treatment of psychotic, borderline, and neurotic patients /Herbert RosenfeldFirst edition.London ;New York Tavistock19871 online resource (334 pages)New library of psychoanalysis ;1Description based upon print version of record.0-415-01012-8 0-203-37564-5 Includes bibliography and indexes.Book Cover; Title; Copyright; Contents; Acknowledgements; PART ONE Introduction; 1 A psychoanalytic approach to the treatment of psychosis; Beginnings; The Influence of Melanie Klein; Theoretical developments; Notes; PART TWO The analyst's contribution to successful and unsuccessful treatment; 2 Some therapeutic and anti-therapeutic factors in the functioning of the analyst; Anti-therapeutic factors in the analyst; The analyst's attitude and role; Vague or badly timed interpretations; Rigidity and inflexibility; Summary; Note; 3 Breakdown of communication between patient and analystFirst seminar: session AFirst seminar: Session B; Third seminar: session C; Discussion; Note; PART THREE The influence of narcissism on the analyst's task; 4 The narcissistic omnipotent character structure: a case of chronic hypochondriasis; Adam's history; Working through oral envy by analysing the transference; Working through the envious devaluation of admired objects; Narcissistic omnipotent object relations and a negative therapeutic reaction; Summary; Notes; 5 Narcissistic patients with negative therapeutic reactions; Peter; Michael; Discussion; Notes6 Destructive narcissism and the death instinctThe death instinct; Robert; Jill; Claude; Richard; Notes; 7 The problem of impasse in psychoanalytic treatment; Caroline; Pauline; Diagnosing impasse; Eric; Notes; PART FOUR The influence of projective identification on the analyst's task; 8 Projective identification in clinical practice; Projective identification and containment; Recognizing projective identification; Technical considerations; John; Sidney; Notes; 9 Projective identification and the problem of containment in a borderline psychotic patient; The first two years; Notes10 Further difficulties in containing projective identificationDiscussion in the seminar; Further material; 11 Projective identification and the psychotic transference in schizophrenia; Iris; Sarah; The Erotic Transference; Note; 12 Projective identification and counter-transference difficulties in the course of an analysis with ...; PART FIVE Conclusion; 13 Afterthought: changing theories and changing techniques in psychoanalysis; Envy; Destructive Narcissism; Confusion, collusion, and the role of history; The analyst's flexibility; Transference and delusion formation; Confusional statesThin- and thick-skinned narcissistic patientsMaternal projections before and after birth; Notes; APPENDIX; Transference manifestations of psychotic patients as seen by analysts who have tried to treat psycho ...; Brief summary of analyst's transference experiences with psychotic patients; Summary; References; Name index; Index of case histories; Subject index; ALSO IN THIS SERIESHerbert Rosenfeld makes a powerful case both for the intelligibility of psychotic symptoms and the potential benefits of their treatment by psychoanalytic means.New library of psychoanalysis ;1.PsychoanalysisNarcissismProjection (Psychology)Impasse (Psychotherapy)Psychoanalysis.Narcissism.Projection (Psychology)Impasse (Psychotherapy)616.89/17Rosenfeld Herbert A161242MiAaPQMiAaPQMiAaPQBOOK9910959634403321Impasse and interpretation16029UNINA