Eliezer L. Lozinskii Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2006
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Impurity: Another Phase Transition of SAT. JSAT 1(2): 123-141 (2006)
2005
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Another look at the phenomenon of phase transition. J. Exp. Theor. Artif. Intell. 17(3): 243-266 (2005)
2003
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElazar Birnbaum, Eliezer L. Lozinskii: Consistent subsets of inconsistent systems: structure and behaviour. J. Exp. Theor. Artif. Intell. 15(1): 25-46 (2003)
2000
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Explaining by evidence. J. Exp. Theor. Artif. Intell. 12(1): 69-89 (2000)
1999
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElazar Birnbaum, Eliezer L. Lozinskii: The Good Old Davis-Putnam Procedure Helps Counting Models. J. Artif. Intell. Res. (JAIR) 10: 457-477 (1999)
1997
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Approximate reasoning with credible subsets. J. Exp. Theor. Artif. Intell. 9(4): 543-562 (1997)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: On Knowledge Evolution: Acquisition, Revision, Contraction. Journal of Applied Non-Classical Logics 7(2): (1997)
1994
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Resolving Contradictions: A Plausible Semantics for Inconsistent Systems. J. Autom. Reasoning 12(1): 1-32 (1994)
1993
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: A Simple Test Improves Checking Satisfiability. J. Log. Program. 15(1&2): 99-111 (1993)
1992
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Counting Propositional Models. Inf. Process. Lett. 41(6): 327-332 (1992)
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kifer, Eliezer L. Lozinskii: A Logic for Reasoning with Inconsistency. J. Autom. Reasoning 9(2): 179-215 (1992)
1991
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Inference by generating in deductive databases. Data Knowl. Eng. 7: 327-357 (1991)
1990
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kifer, Eliezer L. Lozinskii: On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. ACM Trans. Database Syst. 15(3): 385-426 (1990)
1989
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Plausible World Assumption. KR 1989: 266-275
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kifer, Eliezer L. Lozinskii: RI: A Logic for Reasoning with Inconsistency LICS 1989: 253-262
1988
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Computing Facts in Non-Horn Deductive Systems. VLDB 1988: 273-279
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kifer, Eliezer L. Lozinskii: SYGRAF: Implementing Logic Programs in a Database Style. IEEE Trans. Software Eng. 14(7): 922-935 (1988)
1987
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kifer, Eliezer L. Lozinskii: Implementing Logic Programs as a Database System. ICDE 1987: 375-385
1986
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kifer, Eliezer L. Lozinskii: Filtering Data Flow in Deductive Databases. ICDT 1986: 186-202
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kifer, Eliezer L. Lozinskii: Can We Implement Logic as a Database System? XP7.52 Workshop on Database Theory 1986
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: A Problem-Oriented Inferential Database System. ACM Trans. Database Syst. 11(3): 323-356 (1986)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii, Sergei Nirenburg: Parsing in Parallel. Comput. Lang. 11(1): 39-51 (1986)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZ. Aviad, Eliezer L. Lozinskii: Computing human oriented descriptions. Inf. Sci. 38(2): 181-191 (1986)
1985
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: A Remark on Distributed Termination. ICDCS 1985: 416-419
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Evaluating Queries in Deductive Databases by Generating. IJCAI 1985: 173-177
1983
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: An Algorithm for Parallel Evaluation of Functions. J. Algorithms 4(3): 271-281 (1983)
1982
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii, Sergei Nirenburg: The Locality Phenomenon And Parallel Processing Of Natural Language. COLING 1982: 186-189
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii, Sergei Nirenburg: Parallel Processing of Natural Language. ECAI 1982: 216-221
1980
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Construction of Relations in Relational Databases. ACM Trans. Database Syst. 5(2): 208-224 (1980)
1978
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Performance Consideration in Relational Data Base Design. JCDKB 1978: 273-
1976
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: Relational Transformation and a Redundancy in Relational Data Base. VLDB 1976: 95-102
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliezer L. Lozinskii: On a Problem in Storage Optimization. Inf. Process. Lett. 5(3): 78-80 (1976)

Coauthor Index

1Z. Aviad [10]
2Elazar Birnbaum [28] [30]
3Michael Kifer [13] [14] [15] [16] [18] [20] [22]
4Sergei Nirenburg [5] [6] [11]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)