Eliezer L. Lozinskii - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2010

Typical models: minimising false beliefsEliezer L. Lozinskii. jetai, 22(4):321-340, 2010. [doi]

2006

Impurity: Another Phase Transition of SATEliezer L. Lozinskii. jsat, 1(2):123-141, 2006. [doi]

2005

Another look at the phenomenon of phase transitionEliezer L. Lozinskii. jetai, 17(3):243-266, 2005. [doi]

2003

Consistent subsets of inconsistent systems: structure and behaviourElazar Birnbaum, Eliezer L. Lozinskii. jetai, 15(1):25-46, 2003. [doi]

2000

Explaining by evidenceEliezer L. Lozinskii. jetai, 12(1):69-89, 2000.

1999

The Good Old Davis-Putnam Procedure Helps Counting ModelsElazar Birnbaum, Eliezer L. Lozinskii. jair, 10:457-477, 1999. [doi]

1997

On Knowledge Evolution: Acquisition, Revision, ContractionEliezer L. Lozinskii. jancl, 7(2):177-211, 1997.

Approximate reasoning with credible subsetsEliezer L. Lozinskii. jetai, 9(4):543-562, 1997.

1995

Is there an alternative to parsimonious semantics?Eliezer L. Lozinskii. jetai, 7(4):361-378, 1995. [doi]

1994

Resolving Contradictions: A Plausible Semantics for Inconsistent SystemsEliezer L. Lozinskii. JAR, 12(1):1-32, 1994.

Information and evidence in logic systemsEliezer L. Lozinskii. jetai, 6(2):163-193, 1994. [doi]

1993

A Simple Test Improves Checking SatisfiabilityEliezer L. Lozinskii. jlp, 15(1&2):99-111, 1993.

1992

A Logic for Reasoning with InconsistencyMichael Kifer, Eliezer L. Lozinskii. JAR, 9(2):179-215, 1992.

Counting Propositional ModelsEliezer L. Lozinskii. ipl, 41(6):327-332, 1992.

1991

Inference by generating in deductive databasesEliezer L. Lozinskii. DKE, 7:327-357, 1991.

1990

On Compile-Time Query Optimization in Deductive Databases by Means of Static FilteringMichael Kifer, Eliezer L. Lozinskii. TODS, 15(3):385-426, 1990. [doi]

1989

RI: A Logic for Reasoning with InconsistencyMichael Kifer, Eliezer L. Lozinskii. lics 1989: 253-262

Plausible World AssumptionEliezer L. Lozinskii. kr 1989: 266-275

Answering atomic queries in indefinite deductive databasesEliezer L. Lozinskii. ijis, 4(4):403-429, 1989. [doi]

1988

SYGRAF: Implementing Logic Programs in a Database StyleMichael Kifer, Eliezer L. Lozinskii. TSE, 14(7):922-935, 1988. [doi]

Computing Facts in Non-Horn Deductive SystemsEliezer L. Lozinskii. VLDB 1988: 273-279 [doi]

1987

Semantic thresholdingZ. Aviad, Eliezer L. Lozinskii. prl, 5(5):321-328, 1987. [doi]

Implementing Logic Programs as a Database SystemMichael Kifer, Eliezer L. Lozinskii. icde 1987: 375-385 [doi]

1986

1985

On a conceptual description of imagesZ. Aviad, Eliezer L. Lozinskii. prl, 3(1):51-57, 1985. [doi]

A Remark on Distributed TerminationEliezer L. Lozinskii. icdcs 1985: 416-419

Evaluating Queries in Deductive Databases by GeneratingEliezer L. Lozinskii. IJCAI 1985: 173-177

1983

An Algorithm for Parallel Evaluation of FunctionsEliezer L. Lozinskii. jal, 4(3):271-281, 1983.

1982

The Locality Phenomenon And Parallel Processing Of Natural LanguageEliezer L. Lozinskii, Sergei Nirenburg. COLING 1982: 186-189 [doi]

Parallel Processing of Natural LanguageEliezer L. Lozinskii, Sergei Nirenburg. ecai 1982: 216-221

Parallel processing of natural language: the Hebrew UniversityEliezer L. Lozinskii, Sergei Nirenburg. sigart, 79:59-60, 1982. [doi]

1980

Construction of Relations in Relational DatabasesEliezer L. Lozinskii. TODS, 5(2):208-224, 1980. [doi]

1978

Performance Consideration in Relational Data Base DesignEliezer L. Lozinskii. jcdkb 1978: 273

1976

Relational Transformation and a Redundancy in Relational Data BaseEliezer L. Lozinskii. VLDB 1976: 95-102 [doi]

On a Problem in Storage OptimizationEliezer L. Lozinskii. ipl, 5(3):78-80, 1976.

Sign in or sign up to see more results.

runs on WebDSL