Unification (computer science)
Semantic Scholar uses AI to extract papers important to this topic.
Understanding why a model makes a certain prediction can be as crucial as the prediction's accuracy in many applications. However… Expand Preface 1. Motivating examples 2. Abstract reduction systems 3. Universal algebra 4. Equational problems 5. Termination 6… Expand The appearance of active galactic nuclei (AGN) depends so strongly on orientation that our current classification schemes are… Expand This paper examines how recent econometric policy evaluation research on monetary policy rules can be applied in a practical… Expand This paper shows, by means of an operator called asplitting operator, that the Douglas—Rachford splitting method for finding a… Expand Preface. 1. A Philosopher's Paradise. The Thesis of Pluraliry of Worlds. Modal Realism at Work: Modality. Modal Realism at Work… Expand Preface 1. Introduction 2. Phase transitions in the early universe 3. Topological defects 4. String field theory 5… Expand In the past few years one of the most exciting areas of research in physics has been the interdisciplinary field of cosmology and… Expand A data model, called the entity-relationship model, which incorporates the semantic information in the real world is proposed. A… Expand A data model, called the entity-relationship model, is proposed. This model incorporates some of the important semantic… Expand