Difference between revisions of "Alberto Maria Segre"
GerdIsenberg (talk | contribs) (Created page with "'''Home * People * Alberto Maria Segre''' FILE:AlbertoSegre.JPG|border|right|thumb|132px|link=https://cs.uiowa.edu/people/alberto-maria-segre| Alberto Ma...") |
GerdIsenberg (talk | contribs) |
||
| Line 22: | Line 22: | ||
* [[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> | * [[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 ...== | ==2000 ...== | ||
| − | * [[Alberto Maria Segre]], [[Sean Forman]], [[Giovanni Resta]], [[Andrew Wildenberg]] ('''2002'''). ''[https://www.semanticscholar.org/paper/Nagging%3A-A-scalable-fault-tolerant-paradigm-for-Segre-Forman/8fcebc5b66acac5d286f4153637ab2334ddf9d75 Nagging: A Scalable Fault-Tolerant Paradigm for Distributed Search]''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence], Vol. 140, [http://jmvidal.cse.sc.edu/library/segre02a.pdf pdf] | + | * [[Alberto Maria Segre]], [[Sean Forman]], [[Giovanni Resta]], [[Andrew Wildenberg]] ('''2002'''). ''[https://www.semanticscholar.org/paper/Nagging%3A-A-scalable-fault-tolerant-paradigm-for-Segre-Forman/8fcebc5b66acac5d286f4153637ab2334ddf9d75 Nagging: A Scalable Fault-Tolerant Paradigm for Distributed Search]''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence], Vol. 140, [http://jmvidal.cse.sc.edu/library/segre02a.pdf pdf] <ref>[http://www.talkchess.com/forum/viewtopic.php?topic_view=threads&p=442052&t=41853 Possible Search Algorithms for GPUs?] by [[Srdja Matovic]], [[CCC]], January 07, 2012</ref> |
* [https://scholar.google.com/citations?user=ewA4NAcAAAAJ&hl=en Wai Lam], [[Alberto Maria Segre]] ('''2002'''). ''[https://ieeexplore.ieee.org/document/979975 A Distributed Learning Algorithm for Bayesian Inference Networks]''. [[IEEE#TKDE|IEEE Transactions on Knowledge and Data Engineering]], Vol. 14, No. 1 | * [https://scholar.google.com/citations?user=ewA4NAcAAAAJ&hl=en Wai Lam], [[Alberto Maria Segre]] ('''2002'''). ''[https://ieeexplore.ieee.org/document/979975 A Distributed Learning Algorithm for Bayesian Inference Networks]''. [[IEEE#TKDE|IEEE Transactions on Knowledge and Data Engineering]], Vol. 14, No. 1 | ||
* [https://dblp.uni-trier.de/pers/hd/s/Sidran:David_Ezra David Ezra Sidran], [[Alberto Maria Segre]] ('''2002'''). ''[https://www.semanticscholar.org/paper/Algorithms-for-generating-attribute-values-for-the-Sidran-Segre/49655345aadfe57b467c34436108d822fe746b4e Algorithms for generating attribute values for the classification of tactical situations]''. [https://dblp.uni-trier.de/db/conf/springsim/springsim2009.html SpringSim 2009] | * [https://dblp.uni-trier.de/pers/hd/s/Sidran:David_Ezra David Ezra Sidran], [[Alberto Maria Segre]] ('''2002'''). ''[https://www.semanticscholar.org/paper/Algorithms-for-generating-attribute-values-for-the-Sidran-Segre/49655345aadfe57b467c34436108d822fe746b4e Algorithms for generating attribute values for the classification of tactical situations]''. [https://dblp.uni-trier.de/db/conf/springsim/springsim2009.html SpringSim 2009] | ||
Revision as of 12:51, 8 May 2019
Home * People * Alberto Maria Segre
Alberto Maria Segre [1]
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 ...
- 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
