# Alberto Maria Segre

**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

^{[2]}

## 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 ...

- 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 - 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^{[3]}

## 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^{[4]} - 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