Alberto Maria Segre, an American mathematician and computer scientist with a Ph.D. on Explanation-Based Learning of Generalized Robot Assembly Plans from University of Illinois at Urbana-Champaign in 1987. He is professor and chair at Department of Computer Science [1] , University of Iowa. 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.
Alberto Maria Segre [2]

Selected Publications

• 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 Francis DeJong, II
• Alberto Maria Segre, Daniel Scharstein (1993). Bounded-Overhead Caching for Definite-Clause Theorem Proving. Journal of Automated Reasoning, Vol, 11, No. 1, pdf
• 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
• Alberto Maria Segre, Charles Elkan (1994). A High-Performance Explanation-Based Learning Algorithm. Artificial Intelligence, Vol. 68, 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]
• Alberto Maria Segre, Sean Forman, Giovanni Resta, Andrew Wildenberg (2002). Nagging: A Scalable Fault-Tolerant Paradigm for Distributed Search. Artificial Intelligence 140, pdf, pdf
• Ronen Feldman, Moshe Koppel, Alberto Maria Segre (2011). Bias-Driven Revision of Logical Domain Theories. CoRR, 2011

External Links

• Alberto Maria Segre | Department of Computer Science
• The Mathematics Genealogy Project - Alberto Segre

References

1. ^ Department of Computer Science
2. ^ Alberto Maria Segre | Department of Computer Science
3. ^ DBLP: Alberto Maria Segre
4. ^ Nagging from Wikipedia

What links here?