dblp.uni-trier.dewww.uni-trier.de

Vladimir Lifschitz Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
105EEYuliya Lierler, Vladimir Lifschitz: One More Decidable Class of Finitely Ground Programs. ICLP 2009: 489-493
104EEPaolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla: Symmetric Splitting in the General Theory of Stable Models. IJCAI 2009: 797-803
2008
103 Vladimir Lifschitz: What Is Answer Set Programming?. AAAI 2008: 1594-1597
102 Joohyung Lee, Vladimir Lifschitz, Ravi Palla: A Reductive Semantics for Counting and Choice in Answer Set Programming. AAAI 2008: 472-479
101EEVladimir Lifschitz: Twelve Definitions of a Stable Model. ICLP 2008: 37-51
100EEJoohyung Lee, Vladimir Lifschitz, Ravi Palla: Safe Formulas in the General Theory of Stable Models (Preliminary Report). ICLP 2008: 672-676
2007
99 Vladimir Lifschitz, Wanwan Ren: The Semantics of Variables in Action Descriptions. AAAI 2007: 1025-1030
98EEPaolo Ferraris, Joohyung Lee, Vladimir Lifschitz: A New Perspective on Stable Models. IJCAI 2007: 372-379
97EEVladimir Lifschitz, David Pearce, Agustín Valverde: A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR 2007: 188-200
2006
96 Vladimir Lifschitz, Wanwan Ren: A Modular Action Description Language. AAAI 2006
95EEVladimir Lifschitz: Actions, Causation and Logic Programming. ILP 2006: 1
94 Selim T. Erdogan, Vladimir Lifschitz: Actions as Special Cases. KR 2006: 377-388
93EEVladimir Lifschitz, Alexander A. Razborov: Why are there so many loop formulas? ACM Trans. Comput. Log. 7(2): 261-268 (2006)
92EEPaolo Ferraris, Joohyung Lee, Vladimir Lifschitz: A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. 47(1-2): 79-101 (2006)
91EEEsra Erdem, Vladimir Lifschitz, Donald Ringe: Temporal phylogenetic networks and logic programming. TPLP 6(5): 539-558 (2006)
2005
90EEVladimir Lifschitz: What is a Logic Program. Answer Set Programming 2005
89 Paolo Ferraris, Vladimir Lifschitz: Mathematical Foundations of Answer Set Programming. We Will Show Them! (1) 2005: 615-664
88EEEsra Erdem, Vladimir Lifschitz, Donald Ringe: Temporal Phylogenetic Networks and Logic Programming CoRR abs/cs/0508129: (2005)
87EEPaolo Ferraris, Vladimir Lifschitz: Weight constraints as nested expressions. TPLP 5(1-2): 45-74 (2005)
2004
86 Vladimir Lifschitz, Ilkka Niemelä: Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings Springer 2004
85 Bart Demoen, Vladimir Lifschitz: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings Springer 2004
84EESemra Dogandag, Paolo Ferraris, Vladimir Lifschitz: Almost Definite Causal Theories. LPNMR 2004: 74-86
83EEVarol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner: Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Artif. Intell. 153(1-2): 105-140 (2004)
82EEEnrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner: Nonmonotonic causal theories. Artif. Intell. 153(1-2): 49-104 (2004)
2003
81EEJoohyung Lee, Vladimir Lifschitz: Loop Formulas for Disjunctive Logic Programs. ICLP 2003: 451-465
80EESelim T. Erdogan, Vladimir Lifschitz: Definitions in Answer Set Programming: (Extended Abstract). ICLP 2003: 483-484
79 Joohyung Lee, Vladimir Lifschitz: Describing Additive Fluents in Action Language C+. IJCAI 2003: 1079-1084
78EEEsra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe: Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. PADL 2003: 160-176
77EEEsra Erdem, Vladimir Lifschitz: Tight Logic Programs CoRR cs.AI/0302038: (2003)
76EEPaolo Ferraris, Vladimir Lifschitz: Weight Constraints as Nested Expressions CoRR cs.AI/0312045: (2003)
75 Esra Erdem, Vladimir Lifschitz: Tight logic programs. TPLP 3(4-5): 499-518 (2003)
2002
74 Vladimir Lifschitz: Why Sam doesn't know calculus. NMR 2002: 5
73EEVladimir Lifschitz: Answer set programming and plan generation. Artif. Intell. 138(1-2): 39-54 (2002)
2001
72EEJoohyung Lee, Vladimir Lifschitz: Additive Fluents. Answer Set Programming 2001
71EEEsra Erdem, Vladimir Lifschitz: Fages' Theorem for Programs with Nested Expressions. ICLP 2001: 242-254
70EEVladimir Lifschitz, David Pearce, Agustín Valverde: Strongly equivalent logic programs. ACM Trans. Comput. Log. 2(4): 526-541 (2001)
69 Vladimir Lifschitz: On calculational proofs. Ann. Pure Appl. Logic 113(1-3): 207-224 (2001)
2000
68EEEsra Erdem, Vladimir Lifschitz, Martin D. F. Wong: Wire Routing and Satisfiability Planning. Computational Logic 2000: 822-836
67 Vladimir Lifschitz: Missionaries and Cannibals in the Causal Calculator. KR 2000: 85-96
66EEVladimir Lifschitz: Review: M. Shanahan, Solving the Frame Problem. Artif. Intell. 123(1-2): 265-268 (2000)
65EEYuliya Babovich, Esra Erdem, Vladimir Lifschitz: Fages' Theorem and Answer Set Programming CoRR cs.AI/0003042: (2000)
1999
64 Vladimir Lifschitz: Answer Set Planning. ICLP 1999: 23-37
63EEEsra Erdem, Vladimir Lifschitz: Transformations of Logic Programs Related to Causality and Planning. LPNMR 1999: 107-116
62EEVladimir Lifschitz: Answer Set Planning (Abstract). LPNMR 1999: 373-374
61EEVladimir Lifschitz, Hudson Turner: Representing Transition Systems by Logic Programs. LPNMR 1999: 92-106
60 Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner: Nested Expressions in Logic Programs. Ann. Math. Artif. Intell. 25(3-4): 369-389 (1999)
1998
59 Enrico Giunchiglia, Vladimir Lifschitz: An Action Language Based on Causal Explanation: Preliminary Report. AAAI/IAAI 1998: 623-630
58 Vladimir Lifschitz: Situation Calculus and Causal Logic. KR 1998: 536-546
57EEMichael Gelfond, Vladimir Lifschitz: Action Languages. Electron. Trans. Artif. Intell. 2: 193-210 (1998)
1997
56 Moisés Goldszmidt, Vladimir Lifschitz: The Sixth International Workshop on Nonmonotonic Reasoning (Workshop Report).. AI Magazine 18(3): 89-90 (1997)
55 Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz: Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions. Ann. Math. Artif. Intell. 21(2-4): 129 (1997)
54 Vladimir Lifschitz: Two Components of an Action Language. Ann. Math. Artif. Intell. 21(2-4): 305-320 (1997)
53EEEnrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz: Representing Action: Indeterminacy and Ramifications. Artif. Intell. 95(2): 409-438 (1997)
52EEVladimir Lifschitz: On the Logic of Causal Explanation (Research Note). Artif. Intell. 96(2): 451-465 (1997)
1995
51 Vladimir Lifschitz: SLDNF, Constructive Negation and Grounding. ICLP 1995: 581-595
50 Enrico Giunchiglia, Vladimir Lifschitz: Dependent Fluents. IJCAI 1995: 1964-1969
49 G. Neelakantan Kartha, Vladimir Lifschitz: A Simple Formalization of Actions Using Circumscription. IJCAI 1995: 1970-1977
48 Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk: Loop Checking and the Wll-Founded Semantics. LPNMR 1995: 127-142
47 Vladimir Lifschitz: The Logic of Common Sense. ACM Comput. Surv. 27(3): 343-345 (1995)
46 Vladimir Lifschitz: ECWA Made Easy. Ann. Math. Artif. Intell. 14(2-4): 269-274 (1995)
45EEVladimir Lifschitz: Nested Abnormality Theories. Artif. Intell. 74(2): 351-365 (1995)
44 Vladimir Lifschitz: Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning. J. Autom. Reasoning 14(1): 1 (1995)
1994
43 Vladimir Lifschitz, Hudson Turner: Splitting a Logic Program. ICLP 1994: 23-37
42 G. Neelakantan Kartha, Vladimir Lifschitz: Actions with Indirect Effects (Preliminary Report). KR 1994: 341-350
41 Vladimir Lifschitz, Hudson Turner: From Disjunctive Programs to Abduction. NMELP 1994: 23-42
40 Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz: Autoepistemic Logic and Introspective Circumscription. TARK 1994: 197-207
39 Vladimir Lifschitz: Minimal Belief and Negation as Failure. Artif. Intell. 70(1-2): 53-72 (1994)
1993
38 Vladimir Lifschitz: Restricted Monotonicity. AAAI 1993: 432-437
37 Vladimir Lifschitz, Norman McCain, Hudson Turner: Automated Reasoning About Actions: A Logic Programming Approach. ILPS 1993: 641
36 Vladimir Lifschitz, Grigori Schwarz: Extended Logic Programs as Autoepistemic Theories. LPNMR 1993: 101-114
35 Michael Gelfond, Vladimir Lifschitz: Representing Action and Change by Logic Programs. J. Log. Program. 17(2/3&4): 301-321 (1993)
1992
34 Michael Gelfond, Vladimir Lifschitz: Representing Actions in Extended Logic Programming. JICSLP 1992: 559-573
33 Vladimir Lifschitz, Thomas Y. C. Woo: Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). KR 1992: 603-614
32 Vladimir Lifschitz: Editorial. J. Log. Comput. 2(6): 671-673 (1992)
1991
31 Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov: What are the Limitations of the Situation Calculus? Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 167-180
30 Vladimir Lifschitz: Nonmonotonic Databases and Epistemic Queries. IJCAI 1991: 381-386
29 Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski: Disjective Defaults. KR 1991: 230-237
28 Vladimir Lifschitz: Toward a Metatheory of Action. KR 1991: 376-386
27 Michael Gelfond, Vladimir Lifschitz: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Comput. 9(3/4): 365-386 (1991)
1990
26 Michael Gelfond, Vladimir Lifschitz: Logic Programs with Classical Negation. ICLP 1990: 579-597
25 Vladimir Lifschitz: Frames in the Space of Situations. Artif. Intell. 46(3): 365-376 (1990)
1989
24 Vladimir Lifschitz: Logical Foundations of Deductive Databases. IFIP Congress 1989: 315-321
23 Vladimir Lifschitz, Arkady Rabinov: Things That Change by Themselves. IJCAI 1989: 864-867
22 Vladimir Lifschitz: Between Circumscription and Autoepistemic Logic. KR 1989: 235-244
21 David W. Etherington, Kenneth D. Forbus, Matthew L. Ginsberg, David J. Israel, Vladimir Lifschitz: Critical Issues in Nonmonotonic Reasoning. KR 1989: 500-504
20 Vladimir Lifschitz: The Mathematics of Nonmonotonic Reasoning (Abstract) LICS 1989: 242
19 Vladimir Lifschitz, Arkady Rabinov: Miracles in Formal Theories of Action. Artif. Intell. 38(2): 225-237 (1989)
18 Vladimir Lifschitz: What Is the Inverse Method? J. Autom. Reasoning 5(1): 1-23 (1989)
1988
17 Michael Gelfond, Vladimir Lifschitz: Compiling Circumscriptive Theories into Logic Programs. AAAI 1988: 455-449
16 Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080
15 Vladimir Lifschitz: Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00. NMR 1988: 202-219
14 Michael Gelfond, Vladimir Lifschitz: Compiling Circumscriptive Theories into Logic Programs. NMR 1988: 74-99
13 Vladimir Lifschitz: On the Declarative Semantics of Logic Programs with Negation. Foundations of Deductive Databases and Logic Programming. 1988: 177-192
1987
12 Vladimir Lifschitz: Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report). AAAI 1987: 364-368
11 Vladimir Lifschitz: Formal Theories of Action (Preliminary Report). IJCAI 1987: 966-972
1986
10 Vladimir Lifschitz: Pointwise Circumscription: Preliminary Report. AAAI 1986: 406-410
9 Vladimir Lifschitz: On the Satisfiability of Circumscription. Artif. Intell. 28(1): 17-27 (1986)
1985
8 Vladimir Lifschitz: Computing Circumscription. IJCAI 1985: 121-127
7 Vladimir Lifschitz: Closed-World Databases and Circumscription. Artif. Intell. 27(2): 229-235 (1985)
1984
6 Vladimir Lifschitz: Some Results on Circumscription. NMR 1984: 151-164
5 Vladimir Lifschitz: On Verification of Programs With Goto Statements. Inf. Process. Lett. 18(4): 221-225 (1984)
1983
4 Vladimir Lifschitz, Leon Pesotchinsky: A Note on the Complexity of a Partition Algorithm. Inf. Process. Lett. 17(3): 117-120 (1983)
3 Vladimir Lifschitz, Boris Pittel: The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms. SIAM J. Comput. 12(2): 329-346 (1983)
1982
2 Vladimir Lifschitz: Constructive Assertions in an Extension of Classical Mathematics. J. Symb. Log. 47(2): 359-387 (1982)
1981
1 Vladimir Lifschitz, Boris Pittel: The Number of Increasing Subsequences of the Random Permutation. J. Comb. Theory, Ser. A 31(1): 1-20 (1981)

Coauthor Index

1Varol Akman [83]
2Chitta Baral [55]
3Bart Demoen [85]
4Semra Dogandag [84]
5Esra Erdem [63] [65] [68] [71] [75] [77] [78] [88] [91]
6Selim T. Erdogan [80] [83] [94]
7David W. Etherington [21]
8Paolo Ferraris [76] [84] [87] [89] [92] [98] [104]
9Kenneth D. Forbus [21]
10Michael Gelfond [14] [16] [17] [26] [27] [29] [31] [34] [35] [40] [57]
11Matthew L. Ginsberg [21]
12Enrico Giunchiglia [50] [53] [59] [82]
13Moisés Goldszmidt [56]
14David J. Israel [21]
15G. Neelakantan Kartha [42] [49] [53]
16Vladik Kreinovich [55]
17Joohyung Lee [72] [79] [81] [82] [83] [92] [98] [100] [102] [104]
18Yuliya Lierler (Yuliya Babovich-Lierler, Yuliya Babovich) [65] [105]
19Norman McCain [37] [48] [82]
20Luay Nakhleh [78]
21Ilkka Niemelä [86]
22Ravi Palla [100] [102] [104]
23David Pearce [70] [97]
24Leon Pesotchinsky [4]
25Boris Pittel [1] [3]
26Halina Przymusinska [29] [40]
27Teodor C. Przymusinski [48]
28Arkady Rabinov [19] [23] [31]
29Alexander A. Razborov [93]
30Wanwan Ren [96] [99]
31Donald Ringe [78] [88] [91]
32Grigori Schwarz [36] [40]
33Robert F. Stärk [48]
34Lappoon R. Tang [60]
35Miroslaw Truszczynski [29]
36Hudson Turner [37] [41] [43] [60] [61] [82] [83]
37Agustín Valverde [70] [97]
38Martin D. F. Wong (D. F. Wong) [68]
39Thomas Y. C. Woo [33]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)