1. (100%) Constructive Assertions in an Extension of Classical Mathematics - Lifschitz, Vladimir
- 19-sep-2008

2. (100%) Review: Alan Bundy, The Computer Modelling of Mathematical Reasoning - Lifschitz, Vladimir
- 21-nov-2008

3. (100%) SLDNF, Constructive Negation and Grounding - Vladimir Lifschitz
In some approaches to the declarative semantics of logic programming, a program Pi is treated as sho ...
(ps) - 31-mar-2009

4. (100%) On Open Defaults - Vladimir Lifschitz
In Reiter's default logic, the parameters of a default are treated as metavariables for ground terms ...
(ps) - 31-mar-2009

5. (100%) The Logic of Common Sense - Vladimir Lifschitz
this article. References
(ps) - 31-mar-2009

6. (100%) Cracking an Egg: An Exercise in Commonsense Reasoning - Vladimir Lifschitz
Introduction This note is about a problem contributed by Ernie Davis to the Common Sense 98 Problem ...
(ps) - 31-mar-2009

7. (100%) ECWA Made Easy - Vladimir Lifschitz
We generalize a theorem on the relation of the Extended Closed World Assumption (ECWA) to circumscri ...
(ps) - 31-mar-2009

8. (100%) From Disjunctive Programs to Abduction - Vladimir Lifschitz
. The purpose of this work is to clarify the relationship between three approaches to representing i ...
(ps) - 31-mar-2009

9. (100%) Two Components of An Action Language - Vladimir Lifschitz
Some of the recent work on representing action makes use of high-level action languages. In this pap ...
(ps) - 31-mar-2009

10. (100%) Minimal Belief and Negation as Failure - Vladimir Lifschitz
Fangzhen Lin and Yoav Shoham defined a propositional nonmonotonic logic which uses two independent m ...
(ps) - 31-mar-2009

Página de resultados:
1  2  3  4  5  6  7  8  9  10  Siguiente