Travelled to:1 × Belgium
1 × Canada
2 × USA
Collaborated with:∅ M.Kifer
Talks about:relat (2) transform (1) inconsist (1) plausibl (1) assumpt (1) system (1) redund (1) reason (1) deduct (1) comput (1)
Person: Eliezer L. Lozinskii
DBLP: Lozinskii:Eliezer_L=
Contributed to:
1989
1989
19881976Wrote 4 papers:
- KR-1989-Lozinskii
- Plausible World Assumption (ELL), pp. 266–275.
- LICS-1989-KiferL #consistency #logic #named #nondeterminism #reasoning
- RI: A Logic for Reasoning with Inconsistency (MK, ELL), pp. 253–262.
- VLDB-1988-Lozinskii #deduction
- Computing Facts in Non-Horn Deductive Systems (ELL), pp. 273–279.
- VLDB-1976-Lozinskii #database #relational
- Relational Transformation and a Redundancy in Relational Data Base (ELL), pp. 95–102.