Publications

115.
Raz, O; Biezuner,T; Spiro, A; Amir, S;Milo, L;Titelman, A; Onn, A; Feige, U; Shapiro, E 2016. Short Tandem Repeat stutter model inferred from direct measurement of in vitro stutter noise BioRxiv. 2016 , .
114.
Biezuner, T; Spiro, A; Raz, O; Amir, S; Milo, L; Adar, R; Chapal-Ilani, N; Berman, V; Fried, Y; Ainbinder, E; Cohen, G; Barr, HM; Halaban, R; Shapiro, E 2016. A generic, cost-effective, and scalable cell lineage analysis platform GENOME RESEARCH. 2016 , 26 :1588-1599.
113.
Spiro, A; Shapiro, E 2016. Erratum to: eSTGt: a programming and simulation environment for population dynamics. BMC bioinformatics. 2016 , 17 .
112.
Spiro, Adam; Shapiro, Ehud 2016. Accuracy of Answers to Cell Lineage Questions Depends on Single-Cell Genomics Data Quality and Quantity PLoS computational biology. 2016 , 12 .
111.
Spiro, A; Shapiro, E 2016. eSTGt: a programming and simulation environment for population dynamics BMC BIOINFORMATICS. 2016 , 17 .
110.
Ben Yehezkel, T; Rival, A; Raz, O; Cohen, R; Marx, Z; Camara, M; Dubern, JF; Koch, B; Heeb, S; Krasnogor, N; Delattre, C; Shapiro, E 2016. Synthesis and cell-free cloning of DNA libraries using programmable microfluidics NUCLEIC ACIDS RESEARCH. 2016 , 44 :e35.
109.
Ben-Yehezkel, Tuval; Atar, Shimshi; Zur, Hadas; Diament, Alon; Goz, Eli; Marx, Tzipy; Cohen, Rafael; Dana, Alexandra; Feldman, Anna; Shapiro, Ehud; Tuller, Tamir 2015. Rationally designed, heterologous S. cerevisiae transcripts expose novel expression determinants RNA BIOLOGY. 2015 , 12 :972-984.
108.
Shouval, R; Shlush, LI; Yehudai-Resheff, S; Ali, S; Pery, N; Shapiro, E; Tzukerman, M; Rowe, JM; Zuckerman, T 2014. Single cell analysis exposes intratumor heterogeneity and suggests that FLT3-ITD is a late event in leukemogenesis Experimental Hematology. 2014 , 42 :457-463.
107.
Spiro, A; Cardelli, L; Shapiro, E 2014. Lineage grammars: describing, simulating and analyzing population dynamics Bmc Bioinformatics. 2014 , 15 .
106.
Yofe, I; Zafrir, Z; Blau, R; Schuldiner, M; Tuller, T; Shapiro, E; Ben-Yehezkel, T 2014. Accurate, Model-Based Tuning of Synthetic Gene Expression Using Introns in S. cerevisiae Plos Genetics. 2014 , 10 .
105.
J Blakes, O Raz, U Feige, J Bacardit, P Widera, T Ben-Yehezkel, E Shapiro, N Krasnogor 2014. A heuristic for maximizing DNA reuse in synthetic DNA library assembly, ACS synthetic biology. 2014 , :2161-5063.
104.
Vazana, Y; Barak, Y; Unger, T; Peleg, Y; Shamshoum, M; Ben-Yehezkel, T; Mazor, Y; Shapiro, E; Lamed, R; Bayer, EA 2013. A synthetic biology approach for evaluating the functional contribution of designer cellulosome components to deconstruction of cellulosic substrates Biotechnology For Biofuels. 2013 , 6 .
103.
Ben-Yehezkel, T; Zur, H; Marx, T; Shapiro, E; Tuller, T 2013. Mapping the translation initiation landscape of an S-cerevisiae gene using fluorescent proteins Genomics. 2013 , 102 :419-429.
102.
Chapal-Ilani, N; Maruvka, YE; Spiro, A; Reizel, Y; Adar, R; Shlush, LI; Shapiro, E 2013. Comparing Algorithms That Reconstruct Cell Lineage Trees Utilizing Information on Microsatellite Mutations Plos Computational Biology. 2013 , 9 .
101.
Kahan-Hanum, M; Douek, Y; Adar, R; Shapiro, E 2013. A library of programmable DNAzymes that operate in a cellular environment Scientific Reports. 2013 , 3 .
100.
Shapiro, E; Biezuner, T; Linnarsson, S 2013. Single-cell sequencing-based technologies will revolutionize whole-organism science Nature Reviews Genetics. 2013 , 14 :618-630.
99.
Shapiro, E; Ran, T 2013. DNA COMPUTING Molecules reach consensus Nature Nanotechnology. 2013 , 8 :703-705.
98.
97.
Shapiro, E 2012. A mechanical Turing machine: blueprint for a biomolecular computer Interface Focus. 2012 , 2 :497-503.
96.
Ben Yehezkel, T; Biezuner, T; Linshiz, G; Mazor, Y; Shapiro, E 2012. Programmable In Vivo Selection of Arbitrary DNA Sequences Plos One. 2012 , 7 .
95.
Golan-Mashiach, M; Grunspan, M; Emmanuel, R; Gibbs-Bar, L; Dikstein, R; Shapiro, E 2012. Identification of CTCF as a master regulator of the clustered protocadherin genes Nucleic Acids Research. 2012 , 40 :3378-3391.
94.
Reizel, Y; Itzkovitz, S; Adar, R; Elbaz, J; Jinich, A; Chapal-Ilani, N; Maruvka, YE; Nevo, N; Marx, Z; Horovitz, I; Wasserstrom, A; Mayo, A; Shur, I; Benayahu, D; Skorecki, K; Segal, E; Dekel, N; Shapiro, E 2012. Cell Lineage Analysis of the Mammalian Female Germline Plos Genetics. 2012 , 8 .
93.
Shlush, LI; Chapal-Ilani, N; Adar, R; Pery, N; Maruvka, Y; Spiro, A; Shouval, R; Rowe, JM; Tzukerman, M; Bercovich, D; Izraeli, S; Marcucci, G; Bloomfield, CD; Zuckerman, T; Skorecki, K; Shapiro, E 2012. Cell lineage analysis of acute leukemia relapse uncovers the role of replication-rate heterogeneity and microsatellite instability Blood. 2012 , 120 :603-612.
92.
Ran, T; Douek, Y; Milo, L; Shapiro, E 2012. A programmable NOR-based device for transcription profile analysis Scientific Reports. 2012 , 2 .
91.
Ben Yehezkel, T; Nagar, S; Mackranrs, D; Marx, Z; Linshiz, G; Shabi, U; Shapiro, E 2011. Computer-aided high-throughput cloning of bacteria in liquid medium Biotechniques. 2011 , 50 :124-127.
90.
Gil, B; Kahan-Hanum, M; Skirtenko, N; Adar, R; Shapiro, E 2011. Detection of Multiple Disease Indicators by an Autonomous Biomolecular Computer Nano Letters. 2011 , 11 :2989-2996.
89.
Reizel, Y; Chapal-Ilani, N; Adar, R; Itzkovitz, S; Elbaz, J; Maruvka, YE; Segev, E; Shlush, LI; Dekel, N; Shapiro, E 2011. Colon Stem Cell and Crypt Dynamics Exposed by Cell Lineage Reconstruction Plos Genetics. 2011 , 7 .
88.
Segev, E; Shefer, G; Adar, R; Chapal-Ilani, N; Itzkovitz, S; Horovitz, I; Reizel, Y; Benayahu, D; Shapiro, E 2011. Muscle-Bound Primordial Stem Cells Give Rise to Myofiber-Associated Myogenic and Non-Myogenic Progenitors Plos One. 2011 , 6 .
87.
Ben Yehezkel, T; Linshiz, G; Kaplan, S; Gronau, I; Ravid, S; Adar, R; Shapiro, E 2011. RECURSIVE CONSTRUCTION AND ERROR CORRECTION OF DNA MOLECULES AND LIBRARIES FROM SYNTHETIC AND NATURAL DNA Synthetic Biology, Pt B: Computer Aided Design And Dna Assembly. 2011 , 498 :207-45.
86.
Shlush, LI; Chapal, N; Adar, R; Izraeli, S; Rowe, JM; Skorecki, K; Shapiro, E; Zuckerman, T 2010. Single-Cell Phylogenetic analysis provides Novel Insight Into Resistance Mechanisms In AML Blood. 2010 , 116 :81-82.
85.
Ran, T; Kaplan, S; Shapiro, E 2009. Molecular implementation of simple logic programs Nature Nanotechnology. 2009 , 4 :642-648.
84.
83.
Wasserstrom, A; Adar, R; Shefer, G; Frumkin, D; Itzkovitz, S; Stern, T; Shur, I; Zangi, L; Kaplan, S; Harmelin, A; Reisner, Y; Benayahu, D; Tzahor, E; Segal, E; Shapiro, E 2008. Reconstruction of Cell Lineage Trees in Mice Plos One. 2008 , 3 .
82.
Frumkin, D; Wasserstrom, A; Itzkovitz, S; Stern, T; Harmelin, A; Eilam, R; Rechavi, G; Shapiro, E 2008. Cell lineage analysis of a mouse tumor Cancer Research. 2008 , 68 :5924-5931.
81.
Wasserstrom, A; Frumkin, D; Adar, R; Itzkovitz, S; Stern, T; Kaplan, S; Shefer, G; Shur, I; Zangi, L; Reizel, Y; Harmelin, A; Dor, Y; Dekel, N; Reisner, Y; Benayahu, D; Tzahor, E; Segal, E; Shapiro, E 2008. Estimating cell depth from somatic mutations Plos Computational Biology. 2008 , 4 .
80.
Itzkovitz, S; Baruch, L; Shapiro, E; Segal, E 2008. Geometric constraints on neuronal connectivity facilitate a concise synaptic adhesive code Proceedings Of The National Academy Of Sciences Of The United States Of America. 2008 , 105 :9278-9283.
79.
Kahan, M; Gil, B; Adar, R; Shapiro, E 2008. Towards molecular computers that operate in a biological environment Physica D-Nonlinear Phenomena. 2008 , 237 :1165-1172.
78.
Linshiz, G; Ben Yehezkel, T; Kaplan, S; Gronau, I; Ravid, S; Adar, R; Shapiro, E 2008. Recursive construction of perfect DNA molecules from imperfect oligonucleotides Molecular Systems Biology. 2008 , 4 .
77.
Baruch, L; Itzkovitz, S; Golan-Mashiach, M; Shapiro, E; Segal, E 2008. Using Expression Profiles of Caenorhabditis elegans Neurons To Identify Genes That Mediate Synaptic Connectivity Plos Computational Biology. 2008 , 4 .
76.
Shapiro, E; Gil, B 2008. RNA computing in a living cell Science. 2008 , 322 :387-388.
75.
Ben Yehezkel, T; Linshiz, G; Buaron, H; Kaplan, S; Shabi, U; Shapiro, E 2008. De novo DNA synthesis using single molecule PCR Nucleic Acids Research. 2008 , 36 .
74.
Shapiro, EA; Pe'er, A; Ye, J; Shapiro, M 2008. Piecewise adiabatic population transfer in a molecule via a wave packet Physical Review Letters. 2008 , 101 .
73.
Frumkin, D; Wasserstrom, A; Itzkovitz, S; Harmelin, A; Rechavi, G; Shapiro, E 2008. Amplification of multiple genomic loci from single cells isolated by laser micro-dissection of tissues Bmc Biotechnology. 2008 , 8 .
72.
Shapiro, E 2007. Injecting life with computers Inductive Logic Programming. 2007 , 4455 :26.
71.
Kaplan, S; Itzkovitz, S; Shapiro, E 2007. A universal mechanism ties genotype to phenotype in trinucleotide diseases Plos Computational Biology. 2007 , 3 :2291-2298.
70.
Pe'er, A; Shapiro, EA; Stowe, MC; Shapiro, M; Ye, J 2007. Precise control of molecular dynamics with a femtosecond frequency comb Physical Review Letters. 2007 , 98 .
69.
Shapiro, E; Gil, B 2007. Biotechnology - Logic goes in vitro Nature Nanotechnology. 2007 , 2 :84-85.
68.
Shapiro, EA; Milner, V; Menzel-Jones, C; Shapiro, M 2007. Piecewise adiabatic passage with a series of femtosecond pulses Physical Review Letters. 2007 , 99 .
67.
Shapiro, EA; Shapiro, M; Pe'er, A; Ye, J 2007. Photoassociation adiabatic passage of ultracold Rb atoms to form ultracold Rb-2 molecules Physical Review A. 2007 , 75 .
66.
Shapiro, E; Benenson, Y 2006. Bringing DNA computers to life Scientific American. 2006 , 294 :44-51.
65.
Frumkin, D; Wasserstrom, A; Kaplan, S; Feige, U; Shapiro, E 2005. Genomic variability within an organism exposes its cell lineage tree Plos Computational Biology. 2005 , 1 :382-394.
64.
Adar, R; Benenson, Y; Linshiz, G; Rosner, A; Tishby, N; Shapiro, E 2004. Stochastic computing with biomolecular automata Proceedings Of The National Academy Of Sciences Of The United States Of America. 2004 , 101 :9960-9965.
63.
Benenson, Y; Gil, B; Ben-Dor, U; Adar, R; Shapiro, E 2004. An autonomous molecular computer for logical control of gene expression Nature. 2004 , 429 :423-429.
62.
Regev, A; Panina, EM; Silverman, W; Cardelli, L; Shapiro, E 2004. BioAmbients: an abstraction for biological compartments Theoretical Computer Science. 2004 , 325 :141-167.
61.
Shapiro, E 2004. Injecting life with computers Static Analysis, Proceedings. 2004 , 3148 :1.
60.
A Regev, E Shapiro 2004. The pi-calculus as an abstraction for biomolecular systems Modelling in Molecular Biology. 2004 , :219-266.
59.
Benenson, Y. & Shapiro E, 2004. Molecular computing machines Dekker Encyclopedia of Nanoscience and Nanotechnology. 2004 , 2043-2055 .
58.
Benenson, Y; Adar, R; Paz-Elizur, T; Livneh, Z; Shapiro, E 2003. DNA molecule provides a computing machine with both data and fuel Proceedings Of The National Academy Of Sciences Of The United States Of America. 2003 , 100 :2191-2196.
57.
Regev, A; Shapiro, E 2003. Cells as computation (Reprinted from Nature, vol 419, pg 343, 2002) Computational Methods In Systems Biology, Proceedings. 2003 , 2602 :1-3.
56.
Regev, A; Shapiro, E 2002. Cellular abstractions: Cells as computation Nature. 2002 , 419 :343.
55.
Shapiro, E 2002. Invited lecture - Molecule as computation: Towards an abstraction of biomolecular systems Algorithms In Bioinformatics, Proceedings. 2002 , 2452 :418.
54.
Benenson, Y; Paz-Elizur, T; Adar, R; Keinan, E; Livneh, Z; Shapiro, E 2001. Programmable and autonomous computing machine made of biomolecules Nature. 2001 , 414 :430-434.
53.
Priami, C; Regev, A; Shapiro, E; Silverman, W 2001. Application of a stochastic name-passing calculus to representation and simulation of molecular processes Information Processing Letters. 2001 , 80 :25-31.
52.
Aviv Regev, William Silverman and Ehud Shapiro 2001. Representation and simulation of biochemical processes using the pi-calculus process algebra Pacific Symposium on Biocomputing . 2001 , 6 :459-470.
51.
E Shapiro 1999. Community co-presence system US Patent 5,864,874. 1999 , .
50.
E Shapiro 1999. Community co-presence system US Patent 5,864,874. 1999 , .
49.
E Shapiro, Y Mass, A Sella 1998 . Co-presence data retrieval system US Patent 5,819,084. 1998 , .
48.
Moscowitz, Y; Shapiro, E 1995. On the structural simplicity of machines and languages Annals Of Mathematics And Artificial Intelligence. 1995 , 15 :379-405.
47.
SHAPIRO, E 1993. CONCURRENT LOGIC LANGUAGES ARE TRULY OBJECT-ORIENTED Ieee Software. 1993 , 10 :11.
46.
SHAPIRO, E; WARREN, DHD 1993. THE 5TH GENERATION PROJECT - EPILOGUE Communications Of The Acm. 1993 , 36 :100-101.
45.
SHAPIRO, E; WARREN, DHD 1993. THE 5TH GENERATION PROJECT - INTRODUCTION Communications Of The Acm. 1993 , 36 :46-49.
44.
SHAPIRO, E 1992. EMBEDDINGS AMONG CONCURRENT PROGRAMMING-LANGUAGES (PRELIMINARY VERSION) Concur 92. 1992 , 630 :486-503.
43.
FELDMAN, Y; SHAPIRO, E 1992. SPATIAL MACHINES - A MORE REALISTIC APPROACH TO PARALLEL COMPUTATION Communications Of The Acm. 1992 , 35 :60-73.
42.
SHAPIRO, E 1992. EMBEDDINGS AMONG CONCURRENT PROGRAMMING-LANGUAGES (PRELIMINARY VERSION) Lecture Notes In Computer Science. 1992 , 630 :486-503.
41.
SHAPIRO, E 1991. EMBEDDINGS AMONG CONCURRENT PROGRAMMING-LANGUAGES Lecture Notes In Computer Science. 1991 , 506 :58.
40.
YARDENI, E; SHAPIRO, E 1991. A TYPE SYSTEM FOR LOGIC PROGRAMS Journal Of Logic Programming. 1991 , 10 :125-153.
39.
SHAPIRO, E 1991. EMBEDDINGS AMONG CONCURRENT PROGRAMMING-LANGUAGES Parle 91 : Parallel Architectures And Languages Europe, Vol 2: Parallel Languages. 1991 , 506 :58.
38.
T Fruhwirth, E Shapiro, MY Vardi, E Yardeni 1991. Logic programs as types for logic programs, Logic in Computer Science, 1991. LICS'91., Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science. 1991 , .
37.
FURUKAWA, K; AMAMIYA, M; SHAPIRO, E; WARREN, DHD 1990. SELECTED PAPERS ON PARALLEL LOGIC PROGRAMMING FROM THE INTERNATIONAL-CONFERENCE ON 5TH GENERATION COMPUTER-SYSTEMS, 1988 - PREFACE New Generation Computing. 1990 , 7 :85-87.
36.
YARDENI, E; KLIGER, S; SHAPIRO, E 1990. THE LANGUAGES FCP(.) AND FCP(., QUESTIONABLE) New Generation Computing. 1990 , 7 :89-107.
35.
SHAPIRO, E 1989. OR-PARALLEL PROLOG IN FLAT CONCURRENT PROLOG Journal Of Logic Programming. 1989 , 6 :243-267.
34.
SHAPIRO, E 1989. THE FAMILY OF CONCURRENT LOGIC PROGRAMMING-LANGUAGES Computing Surveys. 1989 , 21 :412-510.
33.
RECHES, E; GUDES, E; SHAPIRO, E 1989. A DISTRIBUTED LOCKING ALGORITHM FOR A TRANSACTIONS SYSTEM IN FLAT CONCURRENT PROLOG Lecture Notes In Computer Science. 1989 , 367 :304-319.
32.
LICHTENSTEIN, Y; SHAPIRO, E 1989. CONCURRENT ALGORITHMIC DEBUGGING Sigplan Notices. 1989 , 24 :248-260.
31.
HOURI, A; SHAPIRO, E 1989. A SEQUENTIAL ABSTRACT MACHINE FOR FLAT CONCURRENT PROLOG Journal Of Logic Programming. 1989 , 7 :85-123.
30.
SHAPIRO, E 1989. LINDA IN CONTEXT Communications Of The Acm. 1989 , 32 :1244-1249.
29.
A Houri, E Shapiro 1989. A sequential abstract machine for Flat Concurrent Prolog The Journal of Logic Programming . 1989 , 7 (2) :85-123.
28.
H Gaifman, E Shapiro 1989. Fully abstract compositional semantics for logic programs Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages. 1989 , .
27.
GALLAGHER, J; CODISH, M; SHAPIRO, E 1988. SPECIALIZATION OF PROLOG AND FCP PROGRAMS USING ABSTRACT INTERPRETATION New Generation Computing. 1988 , 6 :159-186.
26.
R Gerth, M Codish, Y Lichtenstein, E Shapiro 1988. Fully abstract denotational semantics for Flat Concurrent Prolog LICS'88., Proceedings of the Third Annual Symposium on Logic in Computer Science. 1988 , .
25.
S Safra, E Shapiro 1988. Meta interpreters for real Concurrent Prolog: collected papers. 1988 , :166-179.
24.
S Safra, E Shapiro 1988. Meta interpreters for real Concurrent Prolog: collected papers. 1988 , :166-179.
23.
TAYLOR, S; HELLERSTEIN, L; SAFRA, S; SHAPIRO, E 1987. NOTES ON THE COMPLEXITY OF SYSTOLIC PROGRAMS Journal Of Parallel And Distributed Computing. 1987 , 4 :250-265.
22.
CODISH, M; SHAPIRO, E 1987. COMPILING OR-PARALLELISM INTO AND-PARALLELISM New Generation Computing. 1987 , 5 :45-61.
21.
TAYLOR, S; AVRON, E; SHAPIRO, E 1987. A LAYERED METHOD FOR PROCESS AND CODE MAPPING New Generation Computing. 1987 , 5 :185-205.
20.
SHAPIRO, E; SAFRA, S 1986. MULTIWAY MERGE WITH CONSTANT DELAY IN CONCURRENT PROLOG New Generation Computing. 1986 , 4 :211-216.
19.
TAYLOR, S; SAFRA, S; SHAPIRO, E 1986. A PARALLEL IMPLEMENTATION OF FLAT CONCURRENT PROLOG International Journal Of Parallel Programming. 1986 , 15 :245-275.
18.
CODISH, M; SHAPIRO, E 1986. COMPILING OR-PARALLELISM INTO AND-PARALLELISM Lecture Notes In Computer Science. 1986 , 225 :283-297.
17.
HELLERSTEIN, L; SHAPIRO, E 1986. IMPLEMENTING PARALLEL ALGORITHMS IN CONCURRENT PROLOG - THE MAXFLOW EXPERIENCE Journal Of Logic Programming. 1986 , 3 :157-184.
16.
MALER, O; SCHERZ, Z; SHAPIRO, E 1986. A NEW APPROACH FOR INTRODUCING PROLOG TO NAIVE USERS Lecture Notes In Computer Science. 1986 , 225 :544-551.
15.
SHAPIRO, E 1986. CONCURRENT PROLOG - A PROGRESS REPORT Computer. 1986 , 19 :44-58.
14.
SHAPIRO, E 1986. CONCURRENT PROLOG - A PROGRESS REPORT Lecture Notes In Computer Science. 1986 , 232 :277-313.
13.
EY Shapiro 1985. Systolic programming: A paradigm of parallel processing Weizmann Institute of Science, Department of Applied Mathematics. 1985 , .
12.
SHAPIRO, E; MIEROWSKY, C 1984. FAIR, BIASED, AND SELF-BALANCING MERGE OPERATORS - THEIR SPECIFICATION AND IMPLEMENTATION IN CONCURRENT PROLOG New Generation Computing. 1984 , 2 :221-240.
11.
E Shapiro 1984. Systems programming in concurrent prolog Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of Principles of Programming Languages. 1984 , .
10.
EY Shapiro 1984. Alternation and the computational complexity of logic programs The Journal of Logic Programming. 1984 , 1 (1) :19-33.
9.
L Sterling, E Shapiro 1984. The Art of Prolog: Advanced Programming Techniques MIT Press. 1984 , .
8.
SHAPIRO, EY 1983. THE 5TH GENERATION PROJECT - A TRIP REPORT Communications Of The Acm. 1983 , 26 :637-641.
7.
SHAPIRO, E; TAKEUCHI, A 1983. OBJECT ORIENTED PROGRAMMING IN CONCURRENT PROLOG New Generation Computing. 1983 , 1 :25-48.
6.
EY Shapiro 1983. Logic programs with uncertainties: A tool for implementing rule-based systems, Proc 8th Int’l Joint Conf. on Artificial Intelligence. 1983 , :529-532.
5.
E Shapiro 1983. A subset of Concurrent Prolog and its interpreter Concurrent Prolog: Collected Papers . 1983 , 1 :27-83.
4.
EY Shapiro 1982. Algorithmic program diagnosis Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages. 1982 , .
3.
EY Shapiro 1982. Algorithmic Program Debugging ACM Distinguished Dissertation Series. 1982 , .
2.
EY Shapiro 1981. An algorithm that infers theories from facts Proceedings of the seventh international joint conference on artificial intelligence. 1981 , .
1.
EY Shapiro . Inductive inference of theories from facts Computational Logic: Essays in Honor of Alan Robinson (1991), 1981 (Citations: 300).. , .