Eliezer L. Lozinskii

  School of Computer Science and Engineering
  The Hebrew University
  Jerusalem 91904
  Israel

  Phone: 972-2-6585490
  Fax: 972-2-6585439
  
  e-mail: lozinski@cs.huji.ac.il

Present position:

   Professor of Computer Science.

Education:

  M.Sc. (honors), Mechanical Engineering, 1956.
  M.Sc. (honors), Electrical and Electronics Engineering, 1963.
  Ph.D., Computer Science, 1968.

Membership:

  ACM, Association for Computing Machinery.
  IEEE Computer Society.
  WSES, World Scientific and Engineering Society.

Research interests:

  Automated reasoning and Knowledge representation,
  Intelligent systems and Databases,
  Artificial Intelligence,
  Computer architecture.

Invited talks:

  Princeton University, 1978.
  IBM Research Laboratory, Yorktown Heights, 1978.
  University of Toronto, 1979.
  University of Pittsburgh, 1979.
  University of Maryland, College Park, 1979.
  University of London, Imperial College, 1983.
  University of Oxford, 1983.
  MCC Research Department, Austin, Texas, 1985.
  University of Toronto, 1985.
  Stanford University, 1985.
  University of Maryland, College Park, 1986.
  INRIA, Paris, 1987,
  University of London, Imperial College, 1988.
  University of Sydney, Australia, 1989.
  University of Melbourne, Australia, 1989.
  La Trobe University, Melbourne, Australia, 1989.
  University of Auckland, New Zealand, 1989.
  Tatung Institute of Technology, Taipei, Taiwan, 1990.
  ASTEM Institute, Kyoto, Japan, 1990.
  University of Kyoto, Kyoto, Japan, 1990.
  ICOT, Tokyo, Japan, 1990.
  IBM Research Center, Rio de Janeiro, Basil, 1991.
  University of Sao Paulo, Sao Paulo, Basil, 1991.
  Catholic University of Chile, Santiago, Chile, 1991.
  Australian National University, Canberra, Australia, 1993.
  University of Newcastle, Newcastle, Australia, 1993.
  James Cook University, Townsville, Queensland, Australia, 1993.
  University of Adelaide, Adelaide, Australia, 1993.
  City University, Hong Kong, 1995.
  Chinese University, Hong Kong, 1995.
  Tsinghua University, Beijing, China, 1996.
  Jawaharlal Nehru University, New Delhi, India, 1996.
  Catholic University of Chile, Santiago, Chile, 1999.
  National University of Cordoba, Cordoba, Argentina, 1999.
  University of Brasilia, Brasilia, Brazil, 1999.
  Federal University of Rio de Janeiro, Brazil, 1999.
  Charles University, Prague, Czech Republic, 2001.

Selected publications: (Underlined articles can be downloaded in postscript form)

Internal sorting of information with a limited memory, Cybernetics, vol. 1, no. 3, 1965, The Faraday Press Inc., N.Y.

An analysis of external merge sorting techniques, Cybernetics, vol. 4, no. 1, 1968, 21-28, N.Y.

V. Glushkov and L. Lozinskii, Adaptation processes in service array of automated control systems, Cybernetics, vol. 6, no. 5, 1970, 575-578, N.Y.

An estimate of the minimum diameter for a class of graphs, Cybernetics, vol. 8, 1972, 485-489, N.Y.

On the problem of storage optimization, Information Processing Letters, vol. 5, no. 3, North-Holland, 1976, 79-81.

Relations transformation and redundancy in relational data bases, Systems for Large Data Bases, ed. by P. C. Lockemann and E. J. Neuhold, North-Holland, 1977, 95-102.

Performance consideration in relational data base design, Data Bases: Improving Usability and Responsiveness, ed. by B. Shneiderman, Academic Press, 1978, 273-294.

On query-answering in relational data bases, Proceedings of the 1979 National Computer Conference, AFIPS Conference Proceedings, vol. 48, N.Y., 1979, 717-720.

Construction of relations in relational database, ACM Transactions on Database Systems, vol. 5, no. 2, 1980, 208-224.

E. L. Lozinskii and S. Nirenburg, Parallel processing of natural language, Proceedings of the European Conference on Artificial Intelligence (ECAI-82), Orsay, 1982, 216-222.

E. L. Lozinskii and S. Nirenburg, Locality in natural language processing, Cybernetics and Systems Research, ed. by R. Trappl, North-Holland, 1982, 875-880.

An algorithm for parallel evaluation of functions, Journal of Algorithms, vol. 4, no. 3, 1983, 271-281.

Z. Aviad and E. L. Lozinskii, On conceptual description of images, Pattern Recognition Letters, vol. 3, no. 1, 1985, 51-57.

A remark on distributed termination, Proceedings of the Fifth International Conference on Distributed Computing Systems, Denver, Colorado, May 1985, 416-420.

Z. Aviad and E. L. Lozinskii, Conceptual dominance in visual clustering, Proceedings of the Fourth Scandinavian Conference on Image Analysis, Trondheim, June 1985, 735-741.

Evaluating queries in deductive databases by generating, Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85, Los-Angeles, California, August 1985, 173-177.

Z. Aviad and E. L. Lozinskii, Computing human oriented descriptions, Journal of Information Sciences, vol. 38, no. 2, 1986, 181-191.

E. L. Lozinskii and S. Nirenburg, Parsing in parallel, Journal of Computer Languages, vol. 11, no. 1, 1986, 39-51.

M. Kifer and E. L. Lozinskii, A framework for an efficient implementation of deductive databases, Proceedings of the 6-th Advanced Database Symposium, Tokyo, Japan, Aug. 1986, 109-116.

M. Kifer and E. L. Lozinskii, Filtering data flow, Lecture Notes in Computer Science, vol. 243, Springer-Verlag, 1986, 186-202.

A problem - oriented inferential database system, ACM Transactions on Database Systems, vol. 11, no. 3, 1986, 323-356.

M. Kifer and E. L. Lozinskii, Implementing logic programs as a database system, Proceedings of the Third International Conference on Data Engineering, Los Angeles, California, Feb. 1987, 375-385.

Z. Aviad and E. L. Lozinskii, Semantic thresholding, Pattern Recognition Letters, vol. 5, no. 5, 1987, 321-328.

M. Kifer and E. L. Lozinskii, SYGRAF: Implementing logic programs in a database style, IEEE Transactions on Software Engineering, vol. 14, no. 7, 1988, 922-935.

Computing facts in non-Horn deductive systems, Proceedings of the 14th International Conference on Very Large Data Bases, Los Angeles, California, 1988, 273-279.

Relative monotonicity of databases with beliefs, Proceedings of the 3rd International Symposium on Knowledge Engineering, Madrid, 1988, 127-134.

Plausible world assumption, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, May 1989, 266-275.

M. Kifer and E. L. Lozinskii, RI: A logic for reasoning with inconsistency, Proceedings of the 4th IEEE Symposium on Logic in Computer Science, Asilomar, California, June 1989, 253-262.

Answering atomic queries in indefinite databases, International Journal of Intelligent Systems, vol. 4, no. 4, 1989, 403-430.

Plausible semantics for Logic Programs, Proceedings of International Conference on Information Technology, Tokyo, Japan, October 1990, 139-146.

M. Kifer and E. L. Lozinskii, On compile-time query optimization in deductive databases by means of static filtering, ACM Transactions on Database Systems, vol. 15, no. 3, 1990, 385-426.

Y. Biberman, I. Exman, and E. L. Lozinskii, Lance: A system that learns natural concepts, Proceedings of the 8th Israeli Symposium on Artificial Intelligence, Ramat Gan, Israel, December 1991.

Inference by generating in deductive databases, Data and Knowledge Engineering, vol. 7, 1992, 327-357.

Computing propositional models, Information Processing Letters, vol. 41, 1992, 327-332.

M. Kifer and E. L. Lozinskii, A logic for reasoning with inconsistency, Journal of Automated Reasoning, vol. 9, 1992, 179-215.

A simple test improves checking satisfiability, Journal of Logic Programming, vol. 15, 1993, 99-111.

Resolving contradictions: a plausible semantics for inconsistent systems, Journal of Automated Reasoning, vol. 12, 1994, 1-31.

Information and evidence in logic systems, Journal of Experimental and Theoretical Artificial Intelligence, vol. 6, 1994, 163-193.

Is there an alternative to parsimonious semantics? Journal of Experimental and Theoretical Artificial Intelligence, vol. 7, 1995, 361-378.

On knowledge evolution: acquisition, revision, contraction, Journal of Applied Non-Classical Logics, vol. 7, no. 1-2, 1997, 177-212.

Approximate reasoning with credible subsets, Journal of Experimental and Theoretical Artificial Intelligence, vol. 9, 1997, 543-562.

Reasoning by evidence for best-chance planning with incomplete information, Proceedings of the 13th European Conference on Artificial Intelligence, Workshop on Practical Reasoning and Rationality, Brighton, UK, 1998, 49-53.

E. Birnbaum and E. L. Lozinskii, The good old Davis-Putnam procedure helps counting models, Journal of Artificial Intelligence Research, vol. 10, 1999, 457-477. Appendix 1, Appendix 2

Explaining by evidence, Journal of Experimental and Theoretical Artificial Intelligence, vol. 12, 2000, 69-89.

S. Bergman and E. L. Lozinskii, A fast algorithm for MAX-SAT approximation, Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing, Portofino, Italy, 2003, 424-431.

E. Birnbaum and E. L. Lozinskii, Consistent subsets of inconsistent systems: structure and behaviour, Journal of Experimental and Theoretical Artificial Intelligence, vol. 15, 2003, 25-46.

Another look at the phenomenon of phase transition, Journal of Experimental and Theoretical Artificial Intelligence vol. 17, 2005, 243-266.

Impurity: Another phase transition of SAT, Journal on Satisfiability, Boolean Modeling and Computation vol. 1, 2006, 123-141.

Typical models: minimising false beliefs, Journal of Experimental and Theoretical Artificial Intelligence vol. 22, 2010, 321-340.