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.