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, [|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. || toc =Selected Publications=
 * Home * People * Alberto Maria Segre**
 * [[image:AlbertoSegre.JPG width="132" height="168" link="https://www.cs.uiowa.edu/people/alberto-maria-segre"]] ||~  || **Alberto Maria Segre**,
 * Alberto Maria Segre ||~  ||^   ||
 * 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
 * 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= =What links here?= include page="Alberto Maria Segre" component="backlinks" limit="40"
 * Up one level**