Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Institution (computer science)

Known as: Institution (disambiguation) 
The notion of institution has been created by Joseph Goguen and Rod Burstall in the late 1970sin order to deal with the "population explosion among… Expand
Wikipedia

Related topics

Related topics

12 relations
Common Algebraic Specification LanguageComputer scienceFirst-order logicInstitutional model theory
Expand

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Intentional modeling with institution theory
Institution theory is a categorical approach to abstract model theory free of commitment to any particular logical system. As… Expand
  • table I
  • figure 4
  • figure 7
  • table II
Is this relevant?
2017
2017
3/2-Institutions: an institution theory for conceptual blending
We develop an extension of institution theory that accommodates implicitly the partiality of the signature morphisms and its… Expand
  • figure 1
Is this relevant?
2014
2014
Graded consequence: an institution theoretic study
We develop a general study of graded consequence (of many-valued logic) in an institution theoretic (in the sense of Goguen and… Expand
Is this relevant?
2013
2013
Institution name disambiguation for research assessment
Research evaluation is a necessity for management of academic units (scientists, research groups, departments, institutes… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2013
2013
Institution Building and Variation in the Formation of the Australian Wool Market
The relocation of the wool market from London to the major Australian port cities from the late nineteenth century required the… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
2013
2013
Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory
Giving a formal semantic to an UML Activity diagram (UML AD) is a hard task. The reason of this difficulty is the ambiguity and… Expand
  • figure 1
  • figure 2
Is this relevant?
2011
2011
Structural induction in institutions
Abstract We develop a general logic-independent structural induction proof method at the level of abstract institutions. This… Expand
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design
This paper addresses questions of universality related to ontological engineering, namely aims at substantiating (negative… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
A Diagrammatic Logic for Object-Oriented Visual Modeling
Formal generalized sketches is a graph-based specification format that borrows its main ideas from categorical and ordinary first… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Institution Morphisms
Abstract. Institutions formalise the intuitive notion of logical system, including syntax, semantics, and the relation of… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE