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 application/pdf.
Filters
Index
1999
The Journal of Logic Programming
Preserved Fulltext
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
From logic design to logic programming: Theorem proving techniques and P-functions
1988
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Page 3602 of Mathematical Reviews Vol. , Issue 2000e
[page]
2000
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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 ...
Programming with Higher-Order Logic, by Dale Miller and Gopalan Nadathur, Cambridge University Press, 2012, Hardcover, ISBN-10:052187940X, xiv + 306 pp
2014
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2006 HES Presidential address a Tale of two Mainstreams: Economics and Philosophy of Natural Science in the Mid-Twentieth Century
2007
Journal of the History of Economic Thought
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Knowledge-based Management Model of Semi- Finished Product Flows in the Multicluster Tools (MCT) in Semiconductor Production
2016
Indian Journal of Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Page 9186 of Mathematical Reviews Vol. , Issue 2004k
[page]
2004
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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 ...
Page 18 of Mathematical Reviews Vol. , Issue 96a
[page]
1996
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
of theories: a synthesis of pragmatism and intuitionism in Ramsey’s last philosophy. ...
of the procedural behaviour of logic program classes. ...
Page 577 of The Philosophical Review Vol. 40, Issue 6
[page]
1931
The Philosophical Review
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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, ...
Page 1554 of Linguistics and Language Behavior Abstracts: LLBA Vol. 25, Issue 3
[page]
1991
Linguistics and Language Behavior Abstracts: LLBA
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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 ...
Page 2057 of Linguistics and Language Behavior Abstracts: LLBA Vol. 25, Issue 4
[page]
1991
Linguistics and Language Behavior Abstracts: LLBA
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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. ...
Carnap's logical empiricism, values, and American pragmatism
2007
Journal for General Philosophy of Science, Zeitschrift für allgemeine Wissenschaftstheorie
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Page 1691 of Linguistics and Language Behavior Abstracts: LLBA Vol. 23, Issue 4
[page]
1989
Linguistics and Language Behavior Abstracts: LLBA
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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 ...
Page 1790 of Mathematical Reviews Vol. , Issue 96c
[page]
1996
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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 ...
Correct and user-friendly implementations of transformation systems
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
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 application/pdf.
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