Giora Slutzki
Professor

Office: 208 Atanasoff Phone: (515) 294-2963 Email: slutzki@cs.iastate.edu Homepage: http://www.cs.iastate.edu/~slutzki/homepage.html

Current Affiliations

• Professor, Department of Computer Science, Iowa State University

Research Interests

Analysis of Algorithms, Computational Complexity, Combinatorics and Graph Theory, Game Theory, Economics, Automata and Formal Language Theory, Ontologies and Semantic Web.

Research Areas

Algorithms, Complex Adaptive Systems, Computational Complexity, Theory of Computation, Artificial Intelligence, Intelligent Agents and Multiagent Systems, Semantic Web

Education

Ph.D.   Tel-Aviv University, Tel-Aviv, Israel.   1977
M.S.   Weizmann Institute of Science, Rehovot, Israel.   1973
B.S.   Hebrew University of Jerusalem, Israel.   1970

Representative Publications

Refereed Journal and Conference Publications

with Boris Simov and Steven LaValle. Clearing a Polygon with Two 1-searchers. International Journal of Computational Geometry and Applications (IJCGA). Vol. 19. No. 1. pp. 59-92, 2009.

with J. Bao, G. Voutsadakis and V. Honavar. On the Decidability of Role Mappings between Modular Ontologies. Twenty-Third Conference on Artificial Intelligence (AAAI 2008), Chicago, Illinois, 2008.

with J. Bao, G. Voutsadakis and V. Honavar. Federated ALCI: Preliminary Report. International Conference on Intelligent Agent Technology (WI '08), Sydney, Australia, 2008.

with S. Ray and Zhang Zhao; both from ECE at ISU. Incentive-Driven P2P Anonymity System: A Game-Theoretic Approach. 2007 International Conference on Parallel Processing (ICPP 07), XiAn, China, 2007.

with J. Bao and V. Honavar. Privacy-Preserving Reasoning on the Semantic Web. ACM/WIC/IEEE International Conference on Web Intelligence, San Jose, CA, IEEE, Accepted, 2007.

with J. Bao and V. Honavar. A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies. In: Proceedings of the 22nd Conference on Artificial Intelligence (AAAI 2007), Vancouver, British Columbia, AAAI, Accepted, 2007.

with J. Bao and V. Honavar. Distributed Reasoning with Modular ALC Ontologies (ALCP). Web Intelligence and Agent Systems, Accepted, 2007.

with Oscar Volij. Scoring of Web Pages and Tournaments – Axiomatizations. Journal of Social Choice and Welfare, 2006.

with Boris Simov and Steven LaValle. Clearing a Polygon with Two 1-searchers. International Journal of Computational Geometry and Applications (IJCGA), 2005.

with Oscar Volij. Ranking Participants in Generalized Tournaments. International Journal of Game Theory. Vol. 33. No. 2. pp. 255-270, 2005.

with David Fernandez-Baca and Timo Seppalainen. Parametric Multiple Sequence Alignment and Phylogeny Construction. Journal of Discrete Algorithms. pp. 271-287, 2004.

with O. Volij. Scoring of Web Pages and Tournaments - Axiomatizations. Wallis Mini-Conference, Dept. of Economics, University of Rochester, USA, 2003.

with B. Simov and S. LaValle. A Complete Pursuit-Evasion Algorithm for Two Pursuers Using Beam Detection. 2002 IEEE International Conference on Robotics and Automation (ICRA ’02), Washington, DC, USA., 2002.

with D. Fernandez-Baca and T. Seppalainen. Bounds for Parametric Sequence Comparison. Discrete Applied Mathematics (DAM). pp. 181-198, 2002.

with S. M. LaValle and B. Simov. An Algorithm for Searching a Polygonal Region with a Flashlight. International Journal of Computational Geometry and Applications (IJCGA), 2002.

with C. Bergman. Computational Complexity of Generators and Nongenerators in Algebra. International Journal of Algebra and Computation, 2002.

with C. Bergman. Computational Complexity of Some Problems Involving Congruences on Algebras. Theoretical Computer Science (TCS). Vol. 270. pp. 591-608, 2002.

with C. Bergman. Computational Complexity of Some Problems Involving Congruences on Algebras. 15-th IEEE Symposium on Logic in Computer Science (LICS '00), Santa Barbara, CA. pp. 168-174, Submitted, 2000.

with D. Fernandez-Baca and T. Seppalainen. Parametric multiple sequence alignment and phylogeny construction. 11-th Symposium on Combinatorial Pattern Matching (CPM '00), Montreal, Canada, Springer Verlag, LNCS 1848. pp. 69-83, Submitted, 2000.

with B. Simov and S. LaValle. An Algorithm for Searching a Polygonal Region with a Flashlight. 16-th ACM Symposium on Computational Geometry (SoCG '00), Hong Kong. pp. 260-269, Submitted, 2000.

with B. Simov and S. LaValle. Pursuit-Evasion Using Beam Detection. 2000 IEEE International Conference on Robotics and Automation (ICRA '00), San Francisco. pp. 1657-1662, Submitted, 2000.

with B. Mobasher, D. Pigozzi, and G. Voutsadakis. A Duality Theory for Bilattices. Algebra Universalis, 2000.

with C. Bergman. Complexity of Some Problems Concerning Varieties and Quasivarieties of Algebras. SIAM Journal on Computing. Vol. 30. No. 2. pp. 359-382, 2000.

Book Chapters

with J. Bao, G. Voutsadakis and V. Honavar. Package-based Description Logic. In: Modular Ontologies (Ed. Parent, C. Spaccapietra, S., and H. Stuckenschmidt), Springer 2009.