30,688 Hits in 6.9 sec

Page 1250 of Linguistics and Language Behavior Abstracts: LLBA Vol. 23, Issue 3 [page]

1989 Linguistics and Language Behavior Abstracts: LLBA  
Linguistics adjunction/pronominal variable binding; R.  ...  Huang’s delete-a approach vs pro- posed legitimate path condition, perceptual strategy based cognitive explanation; 8905596 Coseriu, Eugenio; “Sistema, norma e fala” (System, Norm, and Speech) summary;  ... 

Page 1676 of Linguistics and Language Behavior Abstracts: LLBA Vol. 24, Issue 4 [page]

1990 Linguistics and Language Behavior Abstracts: LLBA  
Some general steps toward development of a unified theory of “quantified contexts” are outlined in an attempt to develop an account of both context-dependence & variable binding. 25 References. B.  ...  A connectionist approach to semantic mem- ory is also outlined. 5 Figures, 13 References. B.  ... 

Page 1650 of Linguistics and Language Behavior Abstracts: LLBA Vol. 27, Issue 3 [page]

1993 Linguistics and Language Behavior Abstracts: LLBA  
9306528 null operator structures/unified account, empty categoriescategorial status; 9306787 possession/datives representation, lexicon/syntax, government/binding framework, French nominal/copular possessive  ...  negative sentence adverbials, syntactic derivation, government/binding framework; 9306432 negative/positive polarity item licensing analysis, binding theory prin- ciples A/B-based syntactic approach;  ... 

Page 805 of Linguistics and Language Behavior Abstracts: LLBA Vol. 28, Issue 2 [page]

1994 Linguistics and Language Behavior Abstracts: LLBA  
English infinitival to, Infl vs Comp category analyses, for control- switching role, control theory extension; 9402913 Icelandic prenominal modifiers/postnominal genitives syntax, function- al head proposal  ...  ; 9402976 Theoretical Analyses in Romance Linguistics.  ... 

Unify and Merge in Fluid Construction Grammar [chapter]

Luc Steels, Joachim De Beule
2006 Lecture Notes in Computer Science  
grammars in a population of agents.  ...  But the formalism needs to have some additional properties compared to those used in other linguistics research that are specifically relevant for handling the emergence and progressive co-ordination of  ...  towards making FCG a more professional software engineered artifact.  ... 
doi:10.1007/11880172_16 fatcat:x2iixkggdzautheqpgrtgjf4ze

Efficient unification of quantified terms

John Staples, Peter J. Robinson
1988 The Journal of Logic Programming  
The efficiency of the approach results from the techniques used to represent terms, which enable naive substitution to implement correct substitution for quantified terms.  ...  Much theoretical logic uses the richer vocabulary of quantified terms, however.  ...  Added in prool: A preliminary report on work as indicated early in this section appears in [S]. Thanks to Richard Hagen for implementing the non-structure-sharing unification algorithm.  ... 
doi:10.1016/0743-1066(88)90015-5 fatcat:gbxwdryos5gvhijrepartj37sq

Abstract Syntax: Substitution and Binders

John Power
2007 Electronical Notes in Theoretical Computer Science  
We summarise Fiore et al's paper on variable substitution and binding, then axiomatise it.  ...  Generalising their use of the category F of finite sets to model untyped cartesian contexts, we let S be an arbitrary pseudo monad on Cat and consider (S1) op : this generality includes linear contexts  ...  In the late 1960's, Kelly, in a concerted attempt to provide unified category-theoretic coherence results, developed a notion he called a club.  ... 
doi:10.1016/j.entcs.2007.02.024 fatcat:koq3jtxmyrbh5cfsxllm5hucm4

Towards the Generation of Test Cases for Executable Business Processes from Classification Trees

Thilo Schnelle, Daniel Lübke
2017 Central-European Workshop on Services and their Composition  
Our aim is to develop a generator-based approach that forces the tester to create a classification tree, which keeps track of functional test coverage.  ...  Both the classification tree and the code fragments are easier to change than a complete test suite thereby allowing easier test case development and maintance.  ...  join with other academic and industrial partners to further enhance and validate our approach.  ... 
dblp:conf/zeus/SchnelleL17 fatcat:4zcqnkuuwrfe5o5fw645ls2lfe

Page 22 of Mathematical Reviews Vol. , Issue 96a [page]

1996 Mathematical Reviews  
can bind several variables at once— they will bind all variables common to the immediate formulae on which they operate.  ...  This new logico-symbolic approach to uncertainty leads to the foundation of a symbolic theory of probability which adapts itself to the management of natural lan- guage conditionals.”  ... 

Page 1507 of Linguistics and Language Behavior Abstracts: LLBA Vol. 28, Issue 3 [page]

1994 Linguistics and Language Behavior Abstracts: LLBA  
subject index 9404040 Hawaiian ecient i peotante categories identification, sentence struc- ture principles; 94 — _—— changes, linking theory unified account; inflectional morphology, naturalness principles  ...  ; 9405392 lexical structure, theoretical explanations, government-binding/lexical- functional grammar/ Marantz theory; 9405067 Manipuri bracketing paradoxes/English stress patterns, prosodic har- mony  ... 

Constraint-based RMRS construction from shallow grammars

Anette Frank, Kathrin Spreyer, Witold Drożdżyński, Hans-Ulrich Krieger, Ulrich Schäfer
2004 Proceedings of the International Conference on Head-Driven Phrase Structure Grammar  
We define modular semantics construction principles in a typed feature structure formalism that allow flexible adaptation to alternative grammars and different languages.  ...  The architecture is designed to allow modular interfaces to existing shallow grammars of various depth - ranging from chunk grammars to context-free stochastic grammars.  ...  Variable Binding.  ... 
doi:10.21248/hpsg.2004.22 fatcat:6wbxyghd7vaihecp3cueeyslhe

Review of "Pronouns, Clitics and Empty Nouns" by Phoevos Panagiotidis

Elena Anagnostopoulou
2003 Journal of Greek Linguistics  
Note * I would like to thank Artemis Alexiadou and Winfried Lechner for helpful discussion on the material. All opinions expressed are my own.  ...  Binding-theoretic and other differences among various pronoun types A problem not addressed by Panagiotidis is the fact that different kinds of pronouns show variable behavior with respect to Binding  ...  Chapter 5 outlines a theory of licensing that forces functional categories to always select lexical categories.  ... 
doi:10.1075/jgl.4.16ana fatcat:65423zqkhrce3asm66hhvbxsye

Specification of Logic Programming Languages from Reusable Semantic Building Blocks

J.E. Labra Gayo, J.M. Cueva Lovelle, M.C. Luengo Díez, A. Cernuda del Río
2002 Electronical Notes in Theoretical Computer Science  
With this approach, the prototype interpreters are automatically obtained as a catamorphism over the defined algebras.  ...  This structure is obtained as the composition of several monad transformers to a base monad, where each monad transformer adds a new notion of computation.  ...  In [11] we also show that it is possible to apply this approach to model abstract syntax with several categories.  ... 
doi:10.1016/s1571-0661(04)80352-9 fatcat:ae6z35f75vefdjzr4iq425uzby

Document Centric Modeling of Information Systems

Bálint Molnár, András Benczúr
2015 Procedia Computer Science  
The interrelationships between documents-centric modelling, the Enterprise Architecture and systematic approach for design provides an opportunity for a unified modelling.  ...  In order to keep in hand the emerging situation, we suggest the creation (1) a theoretical framework for modelling business information systems; (2) and a design method for practical application based  ...  Our proposal takes a step into the direction that both theoretic modeling and engineering viewpoint can be vindicated in a unified approach.  ... 
doi:10.1016/j.procs.2015.08.501 fatcat:aoe6j2uokbakdmh42vd6th5cve

Page 2113 of Linguistics and Language Behavior Abstracts: LLBA Vol. 28, Issue 4 [page]

1994 Linguistics and Language Behavior Abstracts: LLBA  
/ Indonesian material; 9408401 Romanian passive action nouns, lexical/grammatical product, govern- ment/binding theory framework; 9408078 word-formation rules status, unified theoretical account difficulties  ...  A.  ... 
« Previous Showing results 1 — 15 out of 30,688 results