Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Lozinskii, Eliezer L. - School of Computer Science and Engineering, Hebrew University of Jerusalem
DavisPutnam Procedure Helps Counting Models Research Note
DavisPutnam Procedure Helps Counting Models Online Appendix 1. Proofs
Typical Models: Minimizing False Beliefs Eliezer L. Lozinskii
A Fast Algorithm for MAX-SAT Approximation (Extended Abstract)
A Simple Test Improves Checking Satisfiability Eliezer L. Lozinskii
Information and Evidence in Logic Systems. Eliezer L. Lozinskii
ON KNOWLEDGE EVOLUTION: ACQUISITION, REVISION, CONTRACTION
Journal on Satisfiability, Boolean Modeling and Computation 1 (2006) 123-141 Research Note
Consistent Subsets of Inconsistent Systems: Structure and Behavior
Counting Propositional Models. Eliezer L. Lozinskii
APPROXIMATE REASONING WITH CREDIBLE SUBSETS Eliezer L. Lozinskii
Explaining by Evidence Eliezer L. Lozinskii
Reasoning by Evidence for BestChance Planning with Incomplete Information
Resolving Contradictions: A Plausible Semantics for Inconsistent Systems Eliezer L. Lozinskii
RI: A Logic for Reasoning with Inconsistency Michael Kifer * Eliezer L. Lozinskii **
Plausible World Assumption Eliezer L. Lozinskii
Another Look at the Phenomenon of Phase Transition Eliezer L. Lozinskii
IS THERE AN ALTERNATIVE TO PARSIMONIOUS SEMANTICS ? Eliezer L. Lozinskii
