LIFSCHITZ, VLADIMIR: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Closed-world databases and circumscription

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1985

Language:

english

File:

PDF, 250 KB

english, 1985

2

Minimal belief and negation as failure

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1994

Language:

english

File:

PDF, 1.01 MB

english, 1994

3

M. Shanahan, Solving the Frame Problem

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 46 KB

english, 2000

4

On the logic of causal explanation

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 877 KB

english, 1997

5

Miracles in formal theories of action

Vladimir Lifschitz, Arkady Rabinov

Journal:

Artificial Intelligence

Year:

1989

Language:

english

File:

PDF, 546 KB

english, 1989

6

Nonmonotonic causal theories

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner

Journal:

Artificial Intelligence

Year:

2004

Language:

english

File:

PDF, 420 KB

english, 2004

7

Stable models and circumscription

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 311 KB

english, 2011

8

Infinitary equilibrium logic and strongly equivalent logic programs

Harrison, Amelia, Lifschitz, Vladimir, Pearce, David, Valverde, Agustín

Journal:

Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 370 KB

english, 2017

9

On the satisfiability of circumscription

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1986

Language:

english

File:

PDF, 476 KB

english, 1986

10

Frames in the space of situations

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1990

Language:

english

File:

PDF, 538 KB

english, 1990

11

Nested abnormality theories

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 906 KB

english, 1995

12

Representing the Zoo World and the Traffic World in the language of the Causal Calculator

Varol Akman, Selim T. Erdoğan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner

Journal:

Artificial Intelligence

Year:

2004

Language:

english

File:

PDF, 273 KB

english, 2004

13

Representing action: indeterminacy and ramifications

Enrico Giunchiglia, G.Neelakantan Kartha, Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 1.88 MB

english, 1997

14

Guest editor's introduction: Reasoning about action and change

Vladimir Lifschitz

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 94 KB

english, 1997

15

Preface to the special issue on commonsense and nonmonotonic reasoning

Vladimir Lifschitz

Journal:

Journal of Automated Reasoning

Year:

1995

Language:

english

File:

PDF, 61 KB

english, 1995

16

Two components of an action language

Vladimir Lifschitz

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 295 KB

english, 1997

17

Why are there so many loop formulas?

Lifschitz, Vladimir, Razborov, Alexander

Journal:

ACM Transactions on Computational Logic

Year:

2006

Language:

english

File:

PDF, 89 KB

english, 2006

18

A generalization of the Lin-Zhao theorem

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2006

Language:

english

File:

PDF, 481 KB

english, 2006

19

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 2923 || Probabilistic Reasoning With Answer Sets

Lifschitz, Vladimir, Niemelä, Ilkka

Year:

2004

Language:

english

File:

PDF, 175 KB

english, 2004

20

The Dramatic True Story of the Frame Default

Lifschitz, Vladimir

Journal:

Journal of Philosophical Logic

Year:

2015

Language:

english

File:

PDF, 310 KB

english, 2015

21

The logic of common sense

Lifschitz, Vladimir

Journal:

ACM Computing Surveys

Year:

1995

Language:

english

File:

PDF, 208 KB

english, 1995

22

John McCarthy (1927–2011)

Lifschitz, Vladimir

Journal:

Year:

2011

Language:

english

File:

PDF, 274 KB

english, 2011

23

[Foundations of Artificial Intelligence] Handbook of Knowledge Representation Volume 3 || Chapter 1 Knowledge Representation and Classical Logic

Lifschitz, Vladimir

Year:

2008

Language:

english

File:

PDF, 578 KB

english, 2008

24

Semantical completeness theorems in logic and algebra

Lifschitz, Vladimir

Journal:

Proceedings of the American Mathematical Society

Year:

1980

Language:

english

File:

PDF, 697 KB

english, 1980

25

Achievements in answer set programming

LIFSCHITZ, VLADIMIR

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 151 KB

english, 2017

26

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 2923 || Properties of Iterated Multiple Belief Revision

Lifschitz, Vladimir, Niemelä, Ilkka

Year:

2004

Language:

english

File:

PDF, 184 KB

english, 2004

27

Program completion in the input language of GRINGO

HARRISON, AMELIA, LIFSCHITZ, VLADIMIR, RAJU, DHANANJAY

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 190 KB

english, 2017

28

[Lecture Notes in Computer Science] Logic Programming Volume 3132 || αProlog: A Logic Programming Language with Names, Binding and α-Equivalence

Demoen, Bart, Lifschitz, Vladimir

Year:

2004

Language:

english

File:

PDF, 290 KB

english, 2004

29

Relating Two Dialects of Answer Set Programming

HARRISON, AMELIA, LIFSCHITZ, VLADIMIR

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 255 KB

english, 2019

30

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 2923 || Reasoning About Actions and Change in Answer Set Programming

Lifschitz, Vladimir, Niemelä, Ilkka

Year:

2004

Language:

english

File:

PDF, 185 KB

english, 2004

31

Answer set programming and plan generation

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

2002

Language:

english

File:

PDF, 113 KB

english, 2002

32

On calculational proofs

Vladimir Lifschitz

Journal:

Annals of Pure and Applied Logic

Year:

2001

Language:

english

File:

PDF, 96 KB

english, 2001

33

What is the inverse method?

Vladimir Lifschitz

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 1.16 MB

english, 1989

34

Preface to the special issue on commonsense and nonmonotonic reasoning

Vladimir Lifschitz

Journal:

Journal of Automated Reasoning

Year:

1995

Language:

english

File:

PDF, 62 KB

english, 1995

35

ECWA made easy

Vladimir Lifschitz

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 292 KB

english, 1995

36

Representing action and change by logic programs

Michael Gelfond, Vladimir Lifschitz

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 1.49 MB

english, 1993

37

Commentary on McDermott

John McCarthy, Vladimir Lifschitz

Journal:

Computational Intelligence

Year:

1987

Language:

english

File:

PDF, 252 KB

english, 1987

38

Introduction: Logic programming, non-monotonicreasoning and reasoning about actions

Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 32 KB

english, 1997

39

Nested expressions in logic programs

Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 125 KB

english, 1999

40

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz

Journal:

New Generation Computing

Year:

1991

Language:

english

File:

PDF, 906 KB

english, 1991

41

A note on the complexity of a partition algorithm

Vladimir Lifschitz, Leon Pesotchinsky

Journal:

Information Processing Letters

Year:

1983

Language:

english

File:

PDF, 260 KB

english, 1983

42

On verification of programs with goto statements

Vladimir Lifschitz

Journal:

Information Processing Letters

Year:

1984

Language:

english

File:

PDF, 293 KB

english, 1984

43

Artificial and Mathematical Theory of Computation || Preface

Lifschitz, Vladimir

Year:

1991

Language:

english

File:

PDF, 45 KB

english, 1991

44

$CT_0$ is Stronger than $CT_0$!

Vladimir Lifschitz

Journal:

Proceedings of the American Mathematical Society

Year:

1979

Language:

english

File:

PDF, 208 KB

english, 1979

45

Constructive Assertions in an Extension of Classical Mathematics

Vladimir Lifschitz

Journal:

Journal of Symbolic Logic

Year:

1982

Language:

english

File:

PDF, 688 KB

english, 1982

46

Bundy Alan. The computer modelling of mathematical reasoning. Academic Press, London etc. 1983, xiv + 322 pp.

Lifschitz, Vladimir

Journal:

Journal of Symbolic Logic

Year:

1987

Language:

english

File:

PDF, 150 KB

english, 1987

47

IN MEMORIAM: GRIGORI E. MINTS 1939–2014

Feferman, Solomon, Lifschitz, Vladimir

Journal:

Bulletin of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 213 KB

english, 2015

48

Functional completion

Lifschitz, Vladimir, Yang, Fangkai

Journal:

Journal of Applied Non-Classical Logics

Year:

2013

Language:

english

File:

PDF, 149 KB

english, 2013

49

[Lecture Notes in Computer Science] Logic Programming Volume 3132 || Improving Prolog Programs: Refactoring for Prolog

Demoen, Bart, Lifschitz, Vladimir

Year:

2004

Language:

english

File:

PDF, 247 KB

english, 2004

50

Editorial

LIFSCHITZ, VLADIMIR

Journal:

Journal of Logic and Computation

Year:

1992

Language:

english

File:

PDF, 193 KB

english, 1992