Eliezer L. Lozinskii
Author
Alternate names E. Lozinskii, E. L. Lozinskii, Eliezer L. Lozinskii
Institution Hebrew University of Jerusalem
Past institutions Hebrew University of Jerusalem, Institute of Mathematics and Computer Science, Hebrew College, Rutgers, The State University of New Jersey
H-index: 14
I10-index: 16
Works count: 45
Citations count: 853
A logic for reasoning with inconsistency
1992 · Michael Kifer, Eliezer L. Lozinskii · Journal of Automated Reasoning
The Good Old Davis-Putnam Procedure Helps Counting Models
1999 · Eleazar Birnbaum, Eliezer L. Lozinskii · Journal of Artificial Intelligence Research
RI: a logic for reasoning with inconsistency
2003 · Michael Kifer, Eliezer L. Lozinskii