Results 1  10
of
157
Making Use of Extensional Definitions of Principles and Cases
"... General principles are abstract rules intended to guide decision makers in making normative judgments in domains like law, politics, and ethics. It is difficult, however, if not impossible to define principles in an intensional manner so that they may be applied deductively. The problem is the gap b ..."
Abstract
 Add to MetaCart
extensional definitions of the principles. The experts operationalize the general principles by linking them to the facts.
General systems research: Quo Vadis
 Society for General Systems Research
, 1981
"... This yearbook in its new format is an extensional definition of progress in general systems ..."
Abstract

Cited by 11 (6 self)
 Add to MetaCart
This yearbook in its new format is an extensional definition of progress in general systems
Extensionality and Intensionality of the Ambient Logics
"... The ambient logic has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data. To understand the extensionality and the intensionality of the logic, the equivalence on MA processes induced by the ..."
Abstract

Cited by 51 (3 self)
 Add to MetaCart
The ambient logic has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data. To understand the extensionality and the intensionality of the logic, the equivalence on MA processes induced
Extensionally Defining Principles and Cases in Ethics: an AI Model
 AI Model”, Artificial Intelligence Journal
, 2003
"... Principles are abstract rules intended to guide decisionmakers in making normative judgments in domains like the law, politics, and ethics. It is difficult, however, if not impossible to define principles in an intensional manner so that they may be applied deductively. The problem is the gap betwe ..."
Abstract

Cited by 27 (12 self)
 Add to MetaCart
provide extensional definitions of the principles. The experts operationalize the abstract principles by linking them to the facts.
Deriving Identity from Extensionality
, 1997
"... In recent years, a number of proposals have been made to extend conventional conceptual data modeling techniques with concepts for modeling complex object structures. Among the most prominent proposed concepts is the concept of collection type. A collection type is an object type of which the instan ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
updates. In this paper it is shown how a new kind of constraint, the extensional uniqueness constraint, allows for an alternative treatment of collection types avoiding update problems. The formal definition of this constraint type is presented, other advantages of its introduction are discussed, and its
Extensional and Intensional Strategies
 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
, 2010
"... This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a strategy is defined explicitly as a set of derivations of an abstract reduction system. We then move to a more intensional ..."
Abstract
 Add to MetaCart
This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a strategy is defined explicitly as a set of derivations of an abstract reduction system. We then move to a more intensional
Operational Semantics and Extensionality
, 2000
"... In this paper the notion of extensionality is studied, for theories of of λcalculi which arise from operational semantics. A new definition of extensionality is introduced, parameterized with respect to the particular operational semantics we want to study, and it is proved that to be extensional i ..."
Abstract
 Add to MetaCart
In this paper the notion of extensionality is studied, for theories of of λcalculi which arise from operational semantics. A new definition of extensionality is introduced, parameterized with respect to the particular operational semantics we want to study, and it is proved that to be extensional
M.R.: Extensional reasoning
 In preparation: http://logic.stanford.edu/∼thinrich/papers/hinrichs2007extensional.pdf (2007
"... Abstract. Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Today, automated theorem provers are not able to take advantage of database query engines and therefore do not ro ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
not routinely leverage that source of power. Extensional Reasoning (ER) is an approach to automated theorem proving where the machine automatically translates a logical entailment query into a database, a set of view definitions, and a database query such that the entailment query can be answered by answering
Extensional Equality in Intensional Type Theory
 In LICS 99
, 1999
"... We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, intensional setoid model in Intensional Type theory with a proofirrelevant universe of propositions and rules for  and t ..."
Abstract

Cited by 28 (13 self)
 Add to MetaCart
decidable definitional equality (which we denote by =) and a propositional equality type (Id ( ; ) for any given type ) which requires proof. Typing only depends on definitional equality and hence is decidable. In Intensional Type Theory the type corresponding to the principle of extensionality Ext x2:(x
Internalization of extensional equality
, 2014
"... We propose a natural syntactic account of extensional equality in type theory. Starting from the classical definition of extensional equality by induction on type structure, we show how the logical relation can be internalized in a way that covers all higher dimensions simultaneously. The result i ..."
Abstract
 Add to MetaCart
We propose a natural syntactic account of extensional equality in type theory. Starting from the classical definition of extensional equality by induction on type structure, we show how the logical relation can be internalized in a way that covers all higher dimensions simultaneously. The result
Results 1  10
of
157