Difference between revisions of "Alberto Maria Segre"
GerdIsenberg (talk | contribs) |
GerdIsenberg (talk | contribs) |
||
Line 15: | Line 15: | ||
* [[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]] | * [[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 ...== | ==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 | * [[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] | * [[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] |
Latest revision as of 15:29, 4 February 2020
Home * People * Alberto Maria Segre
Alberto Maria Segre,
an American mathematician, computer scientist and professor and chair at Department of Computer Science at the University of Iowa.
He defended his Ph.D. with the thesis title Explanation-Based Learning of Generalized Robot Assembly Plans from University of Illinois at Urbana-Champaign under Gerald DeJong in 1987.
His research interests include distributed algorithms for solving optimization problems, linkage analysis problems from statistical genetics, and protein structure prediction techniques, machine learning, and parallel search algorithms such as A*, αβ-minimax, Davis-Loveland-Putnam, and applications of these algorithms to both standard AI problems and economic problems such as combinatorial auction winner determination.
Contents
Selected Publications
1985 ...
- Alberto Maria Segre, Gerald DeJong (1985). Explanation-based manipulator learning: Acquisition of planning ability through observation. ICRA 1985
- Alberto Maria Segre (1987). On the Operationality/Generality Trade-off in Explanation-based Learning. IJCAI 1987, pdf
- Alberto Maria Segre (1987). Explanation-Based Learning of Generalized Robot Assembly Plans. Ph.D. thesis, University of Illinois at Urbana-Champaign, advisor Gerald DeJong
1990 ...
- Ronen Feldman, Alberto Maria Segre, Moshe Koppel (1991). Incremental Refinement of Approximate Domain Theories. ML 1991 [3]
- Alberto Maria Segre, Daniel Scharstein (1993). Bounded-Overhead Caching for Definite-Clause Theorem Proving. Journal of Automated Reasoning, Vol, 11, No. 1
- David Sturgill, Alberto Maria Segre (1994). A Novel Asynchronous Parallelism Scheme for First-Order Logic. CADE 1994
- Alberto Maria Segre, David Sturgill (1994). Using Hundreds of Workstations to Solve First-Order Logic Problems. AAAI'1994, pdf
- Alberto Maria Segre, Charles Elkan (1994). A High-Performance Explanation-Based Learning Algorithm. Artificial Intelligence, Vol. 68, Nos. 1-2
- Moshe Koppel, Ronen Feldman, Alberto Maria Segre (1994). Bias-Driven Revision of Logical Domain Theories. Journal of Artificial Intelligence Research, Vol. 1, arXiv:cs/9402103
- Alberto Maria Segre, Geoffrey J. Gordon, Charles Elkan (1996). Exploratory Analysis of Speedup Learning Data Using Epectation Maximization. Artificial Intelligence, Vol. 85, Nos. 1-2
- David Sturgill, Alberto Maria Segre (1997). Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference. Journal of Automated Reasoning, Vol. 19, No. 3 [4]
2000 ...
- Alberto Maria Segre, Sean Forman, Giovanni Resta, Andrew Wildenberg (2002). Nagging: A Scalable Fault-Tolerant Paradigm for Distributed Search. Artificial Intelligence, Vol. 140, pdf [5]
- Wai Lam, Alberto Maria Segre (2002). A Distributed Learning Algorithm for Bayesian Inference Networks. IEEE Transactions on Knowledge and Data Engineering, Vol. 14, No. 1
- David Ezra Sidran, Alberto Maria Segre (2002). Algorithms for generating attribute values for the classification of tactical situations. SpringSim 2009
2010 ...
- Geoffrey Fairchild, Lalindra De Silva, Sara Y. Del Valle, Alberto Maria Segre (2015). Eliciting Disease Data from Wikipedia Articles. arXiv:1504.00657
External Links
- Alberto Maria Segre | Department of Computer Science
- The Mathematics Genealogy Project - Alberto Segre