Filters








23,717 Hits in 2.7 sec

Index

1999 The Journal of Logic Programming  
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

Yves Deville
1988 Science of Computer Programming  
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  
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

Frank Pfenning
2014 Theory and Practice of Logic Programming  
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

D. Wade Hands
2007 Journal of the History of Economic Thought  
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

Igor Nikolaevich Kulikov
2016 Indian Journal of Science and Technology  
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  
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  
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  
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  
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  
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

Thomas Mormann
2007 Journal for General Philosophy of Science, Zeitschrift für allgemeine Wissenschaftstheorie  
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  
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  
(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]

Kolyang, T. Santen, B. Wolff
1996 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