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]
* [[Alberto Maria Segre]], [[Charles Elkan]] ('''1994'''). ''[https://www.semanticscholar.org/paper/A-High-Performance-Explanation-Based-Learning-Segre-Elkan/e8afba39d0aaae0f5674f70deb8fc4571655c534 A High-Performance Explanation-Based Learning Algorithm]''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence], Vol. 68, Nos. 1-2
* [[Moshe Koppel]], [https://dblp.uni-trier.de/pers/hd/f/Feldman:Ronen Ronen Feldman], [[Alberto Maria Segre]] ('''1994'''). ''Bias-Driven Revision of Logical Domain Theories''. [https://en.wikipedia.org/wiki/Journal_of_Artificial_Intelligence_Research Journal of Artificial Intelligence Research], Vol. 1, [https://arxiv.org/abs/cs/9402103 arXiv:cs/9402103]
* [[Alberto Maria Segre]], [[Mathematician#GGordon|Geoffrey J. Gordon]], [[Charles Elkan]] ('''1996'''). ''[https://dl.acm.org/citation.cfm?id=241108 Exploratory Analysis of Speedup Learning Data Using Epectation Maximization]''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_(journal) Artificial Intelligence], Vol. 85, Nos. 1-2
* [[David Sturgill]], [[Alberto Maria Segre]] ('''1997'''). ''[https://link.springer.com/article/10.1023/A:1005885725562 Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference]''. [https://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning Journal of Automated Reasoning], Vol. 19, No. 3 <ref>[https://en.wikipedia.org/wiki/Nagging Nagging from Wikipedia]</ref>
==2000 ...==
