Results 1  10
of
26
MetaProgramming With Intensional Analysis
"... syntax as an MetaMLdatatype declare x = 10 in  x := x  1; print x Sample program in concrete Syntax val S1 = Declare("x",Constant 10, Seq(Assign("x",Minus(Variable "x", Constant 1)), Print(Variable "y"))); Datatype encoding of sample program. !Do ..."
Abstract
 Add to MetaCart
%mswo  %push 10 ; a ! %read 1 ; b ! Return %mswo a % 1 ; c ! %write 1 b ; d ! %read 1 ; e ! %output d ; Return %mswo () ; %pop ? Residual result of staging example program. (* interpret2 : Com ? index ? !unit M? *) fun interpret2 stmt index = case stmt of Assign(name,e) =? let
1The Grammar of Intensionality
"... Intensionality phenomena were first discussed by Frege (1893) in the context of sentential complement constructions like (1a,b). Frege noted that substitution of coreferring terms in clausal complements needn’t preserve truth (1a,b).1 Another feature of these environments is that the presence of a ..."
Abstract
 Add to MetaCart
: (1) a. Max believed [CP [NP Boris Karloff] was in the movie]. b. Max believed [CP [NP Bill Pratt] was in the movie]. (2) a. Max believed [CP [NP a werewolf] was in the movie]. b. Max believed [CP [NP a famous actor] was in the movie]. Intensionality effects are not standardly observed with non
Intensional transitive verbs and abstract clausal complementation
 MANUSCRIPT, SUNY STONY
, 1997
"... Intensionality phenomena are known to show a strong correlation with syntax. In simple transitive constructions intensionality effects are standardly absent. Substitution of coreferring object NPs preserves truth (1a,b) 1; furthermore, the presence of a nonreferring or nondenoting object yields a f ..."
Abstract

Cited by 25 (1 self)
 Add to MetaCart
false sentence (1c): (1) a. Max met [ DP Boris Karloff]. b. Max met [ DP Bill Pratt]. c. Max met [ DP a unicorn]. By contrast, intensionality manifests itself with all clausal complement constructions. Substitution of coreferring terms in the complement needn’t preserve truth (2a,b); and the presence
Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation
, 1995
"... Contents 1 Introduction 3 2 Extensional aspects of partial evaluation 3 2.1 Definitional condition : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 2.2 Binding times : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.3 Offline partial evaluation : : : : : : ..."
Abstract
 Add to MetaCart
: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.4 Selfapplicable partial evaluation : : : : : : : : : : : : : : : : : : : : : : : : : 5 2.5 Selfapplicable offline partial evaluation : : : : : : : : : : : : : : : : : : : : : 5 3 Intensional aspects of partial evaluation 6 3.1 Pattern matching
1 Online appendix for the paper On the Stable Model Semantics for Intensional Functions published in Theory and Practice of Logic Programming
"... We say that a formula F is in Clark normal form (relative to a list c of intensional constants) if it is a conjunction of sentences of the form ∀x(G → p(x)) (A1) and ∀xy(G → f(x)=y) one for each intensional predicate p and each intensional function f, where x is a list of distinct object variables, ..."
Abstract
 Add to MetaCart
We say that a formula F is in Clark normal form (relative to a list c of intensional constants) if it is a conjunction of sentences of the form ∀x(G → p(x)) (A1) and ∀xy(G → f(x)=y) one for each intensional predicate p and each intensional function f, where x is a list of distinct object variables
THE COPYCAT PROJECT: An Experiment in Nondeterminism and Creative Analogies
 Massachusetts Institute of Technology
, 1984
"... A microworld is described, in which many analogies involving strikingly different concepts and levels of subtlety can be made. The question "What differentiates the good ones from the bad ones?" is discussed, and then the problem of how to implement a computational model of the human abil ..."
Abstract

Cited by 73 (3 self)
 Add to MetaCart
,d,e stru,c, tures, (2) descriptive concepts chosen to apply to structures, and (3)4eatures perceived as salient or not, is called "slippage". What can slip, and how, are emergent consequences of the interaction of (1) the temporary ("cytoplasmic") structures involved in the analogy
256 laurence goldstein A
"... Obviously (1) and (3) need not have the same truthvalue. This is because (2c) and (4) may differ in their truthvalue. This resistance to substitution shows that the subject noun phrase even Leo induces intensionality and the intensional position is the position taken by the verb phrase. Two points ..."
Abstract
 Add to MetaCart
Obviously (1) and (3) need not have the same truthvalue. This is because (2c) and (4) may differ in their truthvalue. This resistance to substitution shows that the subject noun phrase even Leo induces intensionality and the intensional position is the position taken by the verb phrase. Two
Reformulating Action Language C+ in Answer Set Programming
"... Abstract. Action language C+ is a high level notation of nonmonotonic causal logic for describing properties of actions. The definite fragment of C+ is implemented in Version 2 of the Causal Calculator (CCALC) based on the reduction of nonmonotonic causal logic to propositional logic. On the other h ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. Action language C+ is a high level notation of nonmonotonic causal logic for describing properties of actions. The definite fragment of C+ is implemented in Version 2 of the Causal Calculator (CCALC) based on the reduction of nonmonotonic causal logic to propositional logic. On the other
Similarity relations:
, 2011
"... Aparent tropereferring terms with intensional relative clauses: (1) a. the number of people that fit into the car. b. the height of the desk John needs c. the length of the time John might be away (2) a. the originality of the book John wants to write b. the simplicity of the dress Mary needs for t ..."
Abstract
 Add to MetaCart
Aparent tropereferring terms with intensional relative clauses: (1) a. the number of people that fit into the car. b. the height of the desk John needs c. the length of the time John might be away (2) a. the originality of the book John wants to write b. the simplicity of the dress Mary needs
Swansea
"... type theory in order to represent interactive programming. The rules essentially reflect the existence of weakly final coalgebras for a general form of polynomial functor. The standard rules of dependent type theory allow the definition of inductive types, which correspond to initial algebras. Coalg ..."
Abstract
 Add to MetaCart
. Coalgebraic types are not represented in a direct way. In this article we show the existence of final coalgebras in intensional type theory for these kind of functors, where we require uniqueness of identity proofs (UIP) for the set of states S and the set of commands C which determine the functor. We obtain
Results 1  10
of
26