Eliezer L. Lozinskii

Publication Activity (10 Years)

Years Active: 1976-2016
Publications (10 Years): 1

Top Topics

Satisfiability Problem

Phase Transition

American Sign Language

Top Venues

Publications

Eliezer L. Lozinskii
An early sign of satisfiability. CoRR (2016)
Elazar Birnbaum, Eliezer L. Lozinskii
The Good Old Davis-Putnam Procedure Helps Counting Models CoRR (2011)
Eliezer L. Lozinskii
Typical models: minimizing false beliefs CoRR (2011)
Eliezer L. Lozinskii
Typical models: minimising false beliefs. J. Exp. Theor. Artif. Intell. 22 (4) (2010)
Eliezer L. Lozinskii
Impurity: Another Phase Transition of SAT. J. Satisf. Boolean Model. Comput. 1 (2) (2006)
Eliezer L. Lozinskii
Another look at the phenomenon of phase transition. J. Exp. Theor. Artif. Intell. 17 (3) (2005)
Elazar Birnbaum, Eliezer L. Lozinskii
Consistent subsets of inconsistent systems: structure and behaviour. J. Exp. Theor. Artif. Intell. 15 (1) (2003)
Eliezer L. Lozinskii
Explaining by evidence. J. Exp. Theor. Artif. Intell. 12 (1) (2000)
Elazar Birnbaum, Eliezer L. Lozinskii
The Good Old Davis-Putnam Procedure Helps Counting Models. J. Artif. Intell. Res. 10 (1999)
Eliezer L. Lozinskii
On Knowledge Evolution: Acquisition, Revision, Contraction. J. Appl. Non Class. Logics 7 (2) (1997)
Eliezer L. Lozinskii
Approximate reasoning with credible subsets. J. Exp. Theor. Artif. Intell. 9 (4) (1997)
Eliezer L. Lozinskii
Is there an alternative to parsimonious semantics? J. Exp. Theor. Artif. Intell. 7 (4) (1995)
Eliezer L. Lozinskii
Resolving Contradictions: A Plausible Semantics for Inconsistent Systems. J. Autom. Reason. 12 (1) (1994)
Eliezer L. Lozinskii
Information and evidence in logic systems. J. Exp. Theor. Artif. Intell. 6 (2) (1994)
Eliezer L. Lozinskii
A Simple Test Improves Checking Satisfiability. J. Log. Program. 15 (1&2) (1993)
Michael Kifer, Eliezer L. Lozinskii
A Logic for Reasoning with Inconsistency. J. Autom. Reason. 9 (2) (1992)
Eliezer L. Lozinskii
Counting Propositional Models. Inf. Process. Lett. 41 (6) (1992)
Eliezer L. Lozinskii
Inference by generating in deductive databases. Data Knowl. Eng. 7 (1991)
Michael Kifer, Eliezer L. Lozinskii
On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. ACM Trans. Database Syst. 15 (3) (1990)
Eliezer L. Lozinskii
Plausible World Assumption. KR (1989)
Michael Kifer, Eliezer L. Lozinskii
RI: A Logic for Reasoning with Inconsistency LICS (1989)
Eliezer L. Lozinskii
Answering atomic queries in indefinite deductive databases. Int. J. Intell. Syst. 4 (4) (1989)
Eliezer L. Lozinskii
Computing Facts in Non-Horn Deductive Systems. VLDB (1988)
Michael Kifer, Eliezer L. Lozinskii
SYGRAF: Implementing Logic Programs in a Database Style. IEEE Trans. Software Eng. 14 (7) (1988)
Michael Kifer, Eliezer L. Lozinskii
Implementing Logic Programs as a Database System. ICDE (1987)
Z. Aviad, Eliezer L. Lozinskii
Semantic thresholding. Pattern Recognit. Lett. 5 (5) (1987)
Michael Kifer, Eliezer L. Lozinskii
Filtering Data Flow in Deductive Databases. ICDT (1986)
Z. Aviad, Eliezer L. Lozinskii
Computing human oriented descriptions. Inf. Sci. 38 (2) (1986)
Eliezer L. Lozinskii, Sergei Nirenburg
Parsing in Parallel. Comput. Lang. 11 (1) (1986)
Eliezer L. Lozinskii
A Problem-Oriented Inferential Database System. ACM Trans. Database Syst. 11 (3) (1986)
Michael Kifer, Eliezer L. Lozinskii
Can We Implement Logic as a Database System? XP7.52 Workshop on Database Theory (1986)
Z. Aviad, Eliezer L. Lozinskii
On a conceptual description of images. Pattern Recognit. Lett. 3 (1) (1985)
Eliezer L. Lozinskii
Evaluating Queries in Deductive Databases by Generating. IJCAI (1985)
Eliezer L. Lozinskii
A Remark on Distributed Termination. ICDCS (1985)
Eliezer L. Lozinskii
An Algorithm for Parallel Evaluation of Functions. J. Algorithms 4 (3) (1983)
Eliezer L. Lozinskii, Sergei Nirenburg
Parallel Processing of Natural Language. ECAI (1982)
Eliezer L. Lozinskii, Sergei Nirenburg
The Locality Phenomenon And Parallel Processing Of Natural Language. COLING (1982)
Eliezer L. Lozinskii, Sergei Nirenburg
Parallel processing of natural language: the Hebrew University. SIGART Newsl. 79 (1982)
Eliezer L. Lozinskii
Construction of Relations in Relational Databases. ACM Trans. Database Syst. 5 (2) (1980)
Eliezer L. Lozinskii
Performance Consideration in Relational Data Base Design. JCDKB (1978)
Eliezer L. Lozinskii
On a Problem in Storage Optimization. Inf. Process. Lett. 5 (3) (1976)
Eliezer L. Lozinskii
Relational Transformation and a Redundancy in Relational Data Base. VLDB (1976)