Eliezer L. Lozinskii

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