Eliezer L. Lozinskii

CoRR, 2016

2011

Typical models: minimizing false beliefs

[BibT_eX]

[DOI]

CoRR, 2011

2010

Typical models: minimising false beliefs.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2010

2006

Impurity: Another Phase Transition of SAT.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2006

2005

Another look at the phenomenon of phase transition.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2005

2003

Consistent subsets of inconsistent systems: structure and behaviour.

[BibT_eX]

[DOI]

Elazar Birnbaum

J. Exp. Theor. Artif. Intell., 2003

2000

Explaining by evidence.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2000

1999

The Good Old Davis-Putnam Procedure Helps Counting Models.

[BibT_eX]

[DOI]

Elazar Birnbaum

J. Artif. Intell. Res., 1999

1997

Approximate reasoning with credible subsets.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1997

On Knowledge Evolution: Acquisition, Revision, Contraction.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1997

1995

Is there an alternative to parsimonious semantics?

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1995

1994

Information and evidence in logic systems.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1994

Resolving Contradictions: A Plausible Semantics for Inconsistent Systems.

[BibT_eX]

[DOI]

J. Autom. Reason., 1994

1993

A Simple Test Improves Checking Satisfiability.

[BibT_eX]

[DOI]

J. Log. Program., 1993

1992

A Logic for Reasoning with Inconsistency.

[BibT_eX]

[DOI]

J. Autom. Reason., 1992

Counting Propositional Models.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1992

1991

Inference by generating in deductive databases.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1991

1990

On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1990

1989

Answering atomic queries in indefinite deductive databases.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1989

RI: A Logic for Reasoning with Inconsistency

[BibT_eX]

[DOI]

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

Plausible World Assumption.

[BibT_eX]

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

1988

SYGRAF: Implementing Logic Programs in a Database Style.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1988

Computing Facts in Non-Horn Deductive Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988

1987

Semantic thresholding.

[BibT_eX]

[DOI]

Z. Aviad

Pattern Recognit. Lett., 1987

Implementing Logic Programs as a Database System.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Data Engineering, 1987

1986

A Problem-Oriented Inferential Database System.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1986

Computing human oriented descriptions.

[BibT_eX]

[DOI]

Z. Aviad

Inf. Sci., 1986

Parsing in Parallel.

[BibT_eX]

[DOI]

Comput. Lang., 1986

Can We Implement Logic as a Database System?

[BibT_eX]

Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

Filtering Data Flow in Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the ICDT'86, 1986

1985

On a conceptual description of images.

[BibT_eX]

[DOI]

Z. Aviad

Pattern Recognit. Lett., 1985

Evaluating Queries in Deductive Databases by Generating.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

A Remark on Distributed Termination.

[BibT_eX]

Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1983

An Algorithm for Parallel Evaluation of Functions.

[BibT_eX]

[DOI]

J. Algorithms, 1983

1982

Parallel processing of natural language: the Hebrew University.

[BibT_eX]

[DOI]

SIGART Newsl., 1982

Parallel Processing of Natural Language.

[BibT_eX]

Proceedings of the 5th European Conference on Artificial Intelligence, 1982

The Locality Phenomenon And Parallel Processing Of Natural Language.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Computational Linguistics, 1982

1980

Construction of Relations in Relational Databases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1980

1978

Performance Consideration in Relational Data Base Design.

[BibT_eX]

Proceedings of the International Conference on Databases: Improving Usability and Responiveness, 1978

1976

On a Problem in Storage Optimization.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1976

Relational Transformation and a Redundancy in Relational Data Base.

[BibT_eX]