25,161
edits
Changes
no edit summary
* [[Alberto Maria Segre]] ('''1987'''). ''[https://www.ideals.illinois.edu/handle/2142/69364 Explanation-Based Learning of Generalized Robot Assembly Plans]''. Ph.D. thesis, [[University of Illinois at Urbana-Champaign]], advisor [[Mathematician#GFDeJongII|Gerald DeJong]]
==1990 ...==
* [https://dblp.uni-trier.de/pers/hd/f/Feldman:Ronen Ronen Feldman], [[Alberto Maria Segre]], [[Moshe Koppel]] ('''1991'''). ''[https://openreview.net/forum?id=BkN3AjbdWB Incremental Refinement of Approximate Domain Theories]''. [https://dblp.uni-trier.de/db/conf/icml/ml1991.html ML 1991] <ref>[https://en.wikipedia.org/wiki/Domain_theory Domain theory from Wikipedia]</ref>
* [[Alberto Maria Segre]], [http://www.cs.middlebury.edu/~schar/ Daniel Scharstein] ('''1993'''). ''[https://link.springer.com/article/10.1007/BF00881901 Bounded-Overhead Caching for Definite-Clause Theorem Proving]''. [https://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning Journal of Automated Reasoning], Vol, 11, No. 1
* [[David Sturgill]], [[Alberto Maria Segre]] ('''1994'''). ''[https://link.springer.com/chapter/10.1007/3-540-58156-1_35 A Novel Asynchronous Parallelism Scheme for First-Order Logic]''. [https://dblp.uni-trier.de/db/conf/cade/cade94.html CADE 1994]
