Filters








44,997 Hits in 2.5 sec

On The Relationship between Knowledge-based Systems Theory and Application Programs: Leveraging Task Specific Approaches [chapter]

Jon Sticklen, Eugene Wallingford
1993 Second Generation Expert Systems  
The traditional view has been that given some knowledge-based systems theory, a successful application program built following the theory provides strong support for the theory.  ...  But in order for the KLH to be helpful, we must extend it to incorporate concepts of control knowledge.  ...  The major thrust of Newell's arguments is to move away from implementation level details toward a deeper understanding of problem solving.  ... 
doi:10.1007/978-3-642-77927-5_15 fatcat:ajwv7oabffb2jfeaohpzdcmhca

Page 2193 of Psychological Abstracts Vol. 72, Issue 8 [page]

1985 Psychological Abstracts  
One short cut through idealized value theories often implicit in economic reasoning is to focus on money, a generalized means, rather than on ends.  ...  It is suggested that to make sense of value theory needed for the assumption of economic rationality, it is necessary to construct it on arguments concerning the limits of reason.  ... 

Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362)

Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert Van Der Torre, Marc Herbstritt
2016 Dagstuhl Reports  
The goal of this Dagstuhl Perspectives Workshop was to gather the world leading experts in formal argumentation in order to develop a SWOT (Strength, Weaknesses, Opportunities, Threats) analysis of the  ...  Moreover, working group activity lead to identify several open problems in argumentation.  ...  Papers and theories about formal argumentation can be classified according to their stance towards abstraction.  ... 
doi:10.4230/dagrep.5.8.74 dblp:journals/dagstuhl-reports/GabbayGLT15 fatcat:htoo2zzpi5hyjogjeck2m6iilm

Reflections on Researching the Rugged Fitness Landscape

Grandon Gill
2008 Informing Science  
In other disciplines, such as evolutionary biology and medicine, the assumption of decomposability is much less prevalent.  ...  The assumed shape of that landscape plays a major role in determining how we go about researching a given domain.  ...  It is permissible to abstract these works so long as credit is given.  ... 
doi:10.28945/445 fatcat:2gjxlfyjxfge3isbrbizgn6yua

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

1992 Linguistics and Language Behavior Abstracts: LLBA  
Theory of Language, * Dissertation Abstracts International, A: The Humani- ties and Social Sciences, 1992, 52, 9, Mar, 3309-A.  ...  No proposal that claims to offer a general account of word meanings appears adequate. 8 References. M.  ... 

GEA: A Complete, Modular System for Generating Evaluative Arguments [chapter]

Giuseppe Carenini
2001 Lecture Notes in Computer Science  
This paper presents a system for generating user tailored evaluative arguments, known as the Generator of Evaluative Arguments (GEA).  ...  GEA design is based on a pipelined architecture commonly used in natural language generation.  ...  The text planner decomposes abstract communicative goals into primitive ones.  ... 
doi:10.1007/3-540-45545-0_108 fatcat:h6sgqgvkdfh3bga4nbbutut6yi

How useful can knot and number theory be for loop calculations? [article]

Dirk Kreimer
1998 arXiv   pre-print
We summarize recent results connecting multiloop Feynman diagram calculations to different parts of mathematics, with special attention given to the Hopf algebra structure of renormalization.  ...  of illuminating discussions.  ...  I thank the DFG for a support by a Heisenberg fellowship.  ... 
arXiv:hep-th/9807125v1 fatcat:6ayg374zajfpnp66g5xtxf3tse

Typed Normal Form Bisimulation for Parametric Polymorphism

Soren B. Lassen, Paul Blain Levy
2008 Logic in Computer Science  
We develop our theory for a continuation-passing style calculus, Jump-With-Argument, where normal form bisimulation takes a simple form.  ...  An "ultimate pattern matching theorem" enables us to define bisimilarity and we show it to be a congruence. We apply our theory to proving program equivalences, type isomorphisms and genericity.  ...  Acknowledgements We thank Radha Jagadeesan for directing our attention to the genericity theorem.  ... 
doi:10.1109/lics.2008.26 dblp:conf/lics/LassenL08 fatcat:m3xvu53ov5ebbhw3k3urh5qyh4

LANGUAGE AND HUMAN NATURE:KURT GOLDSTEIN'S NEUROLINGUISTIC FOUNDATION OF A HOLISTIC PHILOSOPHY

DAVID LUDWIG
2012 Journal of the History of the Behavioral Sciences  
attention toward holism and Gestalt theory.  ...  Contrary to the idea of a decomposable cognition, holists argued that aphasic symptoms had to be understood at least partly as the result of general disorders.  ... 
doi:10.1002/jhbs.21517 pmid:25363384 fatcat:dctkzva3jrcfbnfro725yxunzy

The visitor pattern as a reusable, generic, type-safe component

Bruno C.d.S. Oliveira, Meng Wang, Jeremy Gibbons
2008 SIGPLAN notices  
We show how to capture the essence of the VISITOR pattern as a reusable software library, by using advanced type system features appearing in modern object-oriented languages such as Scala.  ...  Finally, we propose a generalised datatype-like notation, providing a convenient functional decomposition style in object-oriented languages.  ...  Buchlovsky and Thielecke [2005] , in work directed to the type-theory community, formalized the relation between visitors and encodings of datatypes precisely and showed a single shape-generic form of  ... 
doi:10.1145/1449955.1449799 fatcat:zfjq6e2arzb57imrifnwbixvfu

The visitor pattern as a reusable, generic, type-safe component

Bruno C.d.S. Oliveira, Meng Wang, Jeremy Gibbons
2008 Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '08  
We show how to capture the essence of the VISITOR pattern as a reusable software library, by using advanced type system features appearing in modern object-oriented languages such as Scala.  ...  Finally, we propose a generalised datatype-like notation, providing a convenient functional decomposition style in object-oriented languages.  ...  Buchlovsky and Thielecke [2005] , in work directed to the type-theory community, formalized the relation between visitors and encodings of datatypes precisely and showed a single shape-generic form of  ... 
doi:10.1145/1449764.1449799 dblp:conf/oopsla/OliveiraWG08 fatcat:vyygr34yvjclvaonxw3e6ygmn4

From Reduction-based to Reduction-free Normalization

Olivier Danvy
2005 Electronical Notes in Theoretical Computer Science  
We present a systematic construction of a reduction-free normalization function.  ...  Starting from a reduction-based normalization function, i.e., the transitive closure of a one-step reduction function, we successively subject it to refocusing (i.e., deforestation of the intermediate  ...  the functional correspondence between evaluators and abstract machines [2, 3, 4, 12, 13] , and to Mayer Goldberg, Julia Lawall, and Kristian Støvring Sørensen for their lucid and timely comments on a  ... 
doi:10.1016/j.entcs.2005.01.007 fatcat:qumxvvckuzfapanhnyj24detou

Network representation and complex systems

Charles Rathkopf
2015 Synthese  
The second thesis is that network representations are particularly helpful in explaining the properties of non-decomposable systems.  ...  The article concludes with a comparison between the uses of network representation analyzed in the main discussion, and an entirely distinct use of network representation that has recently been discussed  ...  Paul Humphreys for providing extensive comments on multiple drafts of this article.  ... 
doi:10.1007/s11229-015-0726-0 fatcat:tuzb6ts635cx3o7pzcfihtplm4

Page 3948 of Psychological Abstracts Vol. 84, Issue 9 [page]

1997 Psychological Abstracts  
Theories of lexical access in language use of a productive nature such as speaking, writing, and verbal thinking differ in whether they assume that words are retrieved from memory in a conceptually decomposed  ...  These results support the position that the perceptual advantage of word-initial information can be understood within a general goodness-of-fit model of spoken word recognition. —Journal abstract.  ... 

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

1994 Linguistics and Language Behavior Abstracts: LLBA  
An overview of the DM theory is also presented, & the contrast between DM & Noam Chomsky’s proposed system of “feature checking” (abstracted in this is- sue) is considered. | Table, 46 References. J.  ...  The effect of Dutch be-prefixation on the PAS of output verbs results from a LCS operation, as the input argument structures are varied & the output is uniformly transitive; other deverbal verb-forming  ... 
« Previous Showing results 1 — 15 out of 44,997 results