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