The following pages link to Vladimir Lifschitz (Q234724):
Displaying 50 items.
- Stable models and circumscription (Q543596) (← links)
- A note on the complexity of a partition algorithm (Q788493) (← links)
- On verification of programs with goto statements (Q801657) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator (Q814554) (← links)
- A generalization of the Lin-Zhao theorem (Q854963) (← links)
- What is the inverse method? (Q908895) (← links)
- On the satisfiability of circumscription (Q1073786) (← links)
- Closed-world databases and circumscription (Q1079022) (← links)
- On the logic of causal explanation (Q1127347) (← links)
- The number of increasing subsequences of the random permutation (Q1157632) (← links)
- Frames in the space of situations (Q1174513) (← links)
- (Q1245935) (redirect page) (← links)
- Mathematical interpretation of the fan theorem (Q1245936) (← links)
- Noncompact closed ball in a constructive compact metric space (Q1245941) (← links)
- Miracles in formal theories of action (Q1264002) (← links)
- Minimal belief and negation as failure (Q1342215) (← links)
- Two components of an action language (Q1376092) (← links)
- Representing action: indeterminacy and ramifications (Q1389538) (← links)
- Answer set programming and plan generation (Q1603732) (← links)
- (Q1813200) (redirect page) (← links)
- Circumscriptive theories: A logic-based framework for knowledge representation (Q1813201) (← links)
- Nested abnormality theories (Q1855215) (← links)
- ECWA made easy (Q1924727) (← links)
- Nested expressions in logic programs (Q1978013) (← links)
- Transforming gringo rules into formulas in a natural way (Q2055818) (← links)
- Verifying strong equivalence of programs in the input language of \textsc{gringo} (Q2326735) (← links)
- The dramatic true story of the frame default (Q2341259) (← links)
- Consttuctive mathematical theories consistent with classical logic (Q2538847) (← links)
- Specialization of the form of deduction in the precicate calculus with equality and function symbols. I (Q2543312) (← links)
- Investigation of constructive functions by the method of fillings (Q2557253) (← links)
- (Q2734935) (← links)
- (Q2767107) (← links)
- IN MEMORIAM: GRIGORI E. MINTS 1939–2014 (Q2795304) (← links)
- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Q2851269) (← links)
- Nikolai Aleksandrovich Shanin (obituary) (Q2868459) (← links)
- Yet Another Characterization of Strong Equivalence (Q2909135) (← links)
- Representing first-order causal theories by logic programs (Q2909525) (← links)
- (Q2996265) (← links)
- On the Minimality of Stable Models (Q3001914) (← links)
- Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations (Q3003257) (← links)
- (Q3007261) (← links)
- (Q3198886) (← links)
- (Q3486550) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms (Q3668868) (← links)
- (Q3744159) (← links)
- (Q3749038) (← links)
- (Q3830545) (← links)
- (Q3830556) (← links)
