A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Author Index ± Volume 41 (1999) (The issue number is given in front of the page numbers) Belleanne Âe, C., P. Brisset and O. ... The Journal of Logic Programming 41 (1999) 317±318 www.elsevier.com/locate/jlpr Puebla, G. and M. ...doi:10.1016/s0743-1066(99)00056-4 fatcat:vwkzbf7lbzdi7lsbbmf6ya5ofu
Some comparison with related work is missing in spite of the fact that program synthesis is a very active field, especially in logic programming. ... Robert MILNE STC Technology Limited Harlow, Essex Program synthesis via P-functions Program synthesis consists of transforming a description of a problem into a program which solves the problem; ... The second class of potential readers might be interested by program synthesis. ...doi:10.1016/0167-6423(88)90058-5 fatcat:rw6fjcc46fee3buno7g64m3nda
Jaume Agusti, Pragmatics in the synthesis of logic programs (41-60); Alessan- dro Avellone, Mauro Ferrari and Pierangelo Miglioli, Synthesis of programs in abstract data types (81-100); Antonio Brogi, ... Simone Contiero and Franco Turini, The use of renaming in composing general programs (124-142); Andreas Hamfelt and Jorgen Fischer Nilsson, Inductive synthesis of logic programs by composition of combinatory ...
and gain deeper insights into the pragmatics of programming with logic. ... It covers syntax, semantics, and pragmatics of higher-order logic programming in a systematic and easy-to-read manner that will be of great value as introduction and reference for students and researchers ... benefits most with some prior exposure to functional programming and (traditional, first-order) logic programming, since the ideas here can be seen as a synthesis of the techniques in these paradigms. ...doi:10.1017/s1471068414000027 fatcat:fh5pyehajzazjm6ynvgvc6ojlq
a specific endemic research program: pragmatism in the case of philosophy of science and institutionalism in the case of economics. ... A successful synthesis indeed. In the case of economics, the synthesis actually seemed to eliminate two related tensions. ...doi:10.1080/10427710601178260 fatcat:ivmt7wkbqbe3jash4boq5jp6om
The authors investigated the ontological approach at a simulation flow modeling of the semi-finished products in the MCT and suggested the method of using regulations in the logical inference process, ... To ensure the flexibility of the mechanisms of dynamic behavior and autonomy in Multicluster Tools (MCT), as well as to adjust the individual components of the model for conducting a simulation, it would ... Together with the logical inference process, the synthesis of the situation assessment program is performed as well. ...doi:10.17485/ijst/2016/v9i29/89077 fatcat:uxnwqmgnhvgcnoktfwcekjecey
Severi, An operational approach to program extraction in the calculus of constructions (111-125); Robert Colvin, Ian Hayes, David Hemer and Paul Strooper, Refinement of higher-order logic programs (126 ... Mosses, Mapping modular SOS to rewriting logic (262-277); Kiyoshi Akama, Ekawit Nanta- jeewarawat and Hidekatsu Koike, Program synthesis based on the equivalent transformation computation model (278-279 ...
of theories: a synthesis of pragmatism and intuitionism in Ramsey’s last philosophy. ... of the procedural behaviour of logic program classes. ...
The Philosophical Review
There is plenty of room in this comparison for a recognition of the pragmatic factor in knowledge; for these sensory structures immedi- ately presented to us in the sequences and conglomerations of given ... He refers us for an understanding of their relation to a wholly different context of habit, social convention and pragmatic value; but this still leaves the factors of cognition, now three in num- ber, ...
Board of Education; 9106355 “on — pragmatics application, UK House of Commons; 10634 rheotorical argument making/understanding, relevance concept application, multiple awareness horizon contextualization ... Chanter’s <4 tropis loquendi (On Figures of Speech) 12th century, 9106519 Tangut (Sino-Tibetan) language reconstruction literature, phono- logical/phonetic reconstructions comparison; 9105958 text ee ...
language acquisition, computer method, psycholinguistic ap- proach; 9109235 natural language analysis, linguistic theories encoding, logic program- ming developments application; 9109230 natural language ... / natural-token/stylized synthesis continua; experiments; normal- hearing adults; 9109744 word-order frequency hierarchy, natural languages, A. ...
It is with this fact that any future history of logical empiricism in North America must begin." ... This thesis was one of the notorious tenets of Carnap's mature logical empiricism. ... for a synthesis of logical empiricism and pragmatism (cf. ...doi:10.1007/s10838-007-9033-x fatcat:w6h3qdmc4vhztnyghnmjiuiz4u
Johnson, M., The Body in the Mind: The Bodily Basis of Meaning, Imagination, and Reason reviewed, language-independent “‘pre- conceptual” meaning level proposed; 8908526 language-games, L. ... Warrington’s claim reexamined, neurologically impaired patients; alternative explanations; 8906556 word prediction program, syntactic/semantic information use addition; speech synthesis use, motorically ...
(English summary) Logic program synthesis and transformation—meta-programming in logic (Pisa, 1994), 17-35, Lecture Notes in Comput. Sci., 883, Springer, Berlin, 1994. ... Summary: “Programs in functional logic languages usually have to satisfy a nonambiguity condition that semantically ensures com- pleteness of conditional narrowing and pragmatically ensures that the defined ...
Lecture Notes in Computer Science
The resulting systems enable program derivations in a user-friendly way. ... We illustrate the approach by proving and implementing the transformation Global Search on the basis of the tactical theorem prover Isabelle. ... We would like to thank Maritta Heisel for many discussions on synthesis theorems, and two anonymous referees for very extensive and constructive comments. ...doi:10.1007/3-540-60973-3_111 fatcat:tuiybptrvbatlnbhmjbvnagdee
« Previous Showing results 1 — 15 out of 23,717 results