Edit Profile Lifschitz, Vladimir Compute Distance To: Compute Author ID: lifschitz.vladimir Published as: Lifschitz, V.; Lifschitz, V. A.; Lifschitz, Vladimir; Lifshits, V. A.; Lifshits, Vladimir; Lifshitz, Vladimir Homepage: http://www.cs.utexas.edu/users/vl/ External Links: MGP · Math-Net.Ru · Wikidata · dblp · GND Documents Indexed: 122 Publications since 1967, including 8 Books Biographic References: 3 Publications all top 5 Co-Authors 60 single-authored 9 Harrison, Amelia 7 Ferraris, Paolo 7 Lee, Joohyung 6 Erdem, Esra 6 Yang, Fangkai 4 Gelfond, Michael 4 Turner, Hudson 4 Valverde, Agustín 3 Chernov, V. P. 3 Lierler, Yuliya 3 Schaub, Torsten H. 3 Truszczyński, Mirosław 2 Dantsin, E. Ya. 2 Davydov, G. V. 2 Erdoğan, Selim T. 2 Giunchiglia, Enrico 2 Grigor’ev, Dmitriĭ Yur’evich 2 Konev, B. Yu. 2 Lühne, Patrick 2 Matiyasevich, Yuriĭ Vladimirovich 2 Mccain, Norman 2 Mints, Grigoriĭ Efroimovich 2 Orevkov, V. P. 2 Pearce, David A. J. 2 Pearce, David G. 2 Pittel, Boris G. 2 Rabinov, Arkady 2 Ringe, Donald 2 Slisenko, A. O. 2 Vsemirnov, M. A. 1 Akman, Varol 1 Baral, Chitta R. 1 Bochman, Alexander 1 Demoen, Bart 1 Doğandağ, Semra 1 Fandinno, Jorge 1 Feferman, Solomon 1 Gebser, Martin 1 Girsh, È. A. 1 Hirsch, Edward A. 1 Ivanov, Aleksandr Aleksandrovich 1 Kaminski, Roland 1 Karavaev, Eh. F. 1 Kartha, G. Neelakantan 1 Kossovsky, N. K. 1 Kreinovich, Vladik Yakovlevich 1 Margenstern, Maurice 1 Michael, Julian 1 Nakhleh, Luay 1 Niemelä, Ilkka N. F. 1 Palla, Ravi 1 Pesotchinsky, Leon 1 Pichotta, Karl 1 Pliuškevičius, Regimantas 1 Porter, Bruce Walter 1 Przymusinska, Halina 1 Raju, Dhananjay 1 Razborov, Aleksandr Aleksandrovich 1 Remolina, Emilio 1 Solov’ëv, Sergeĭ Vladimirovich 1 Tacchella, Armando 1 Tang, Lappoon R. 1 van Harmelen, Frank 1 Wong, Martin D. F. 1 Zaslavskii, Igor Dmitrievich all top 5 Serials 14 Theory and Practice of Logic Programming 13 Artificial Intelligence 8 Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V. A. Steklova 5 Annals of Mathematics and Artificial Intelligence 4 Proceedings of the American Mathematical Society 3 Journal of Soviet Mathematics 2 Information Processing Letters 2 Russian Mathematical Surveys 2 Journal of Philosophical Logic 2 The Journal of Logic Programming 2 Journal of Automated Reasoning 2 ACM Transactions on Computational Logic 2 Lecture Notes in Computer Science 2 Proceedings of the Steklov Institute of Mathematics 2 Trudy Matematicheskogo Instituta Imeni V. A. Steklova 1 Journal of Combinatorial Theory. Series A 1 The Journal of Symbolic Logic 1 SIAM Journal on Computing 1 Soviet Mathematics. Doklady 1 Annals of Pure and Applied Logic 1 Journal of Applied Non-Classical Logics 1 The Bulletin of Symbolic Logic 1 Foundations of Artificial Intelligence all top 5 Fields 89 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 7 General and overarching topics; collections (00-XX) 4 History and biography (01-XX) 3 Operations research, mathematical programming (90-XX) 2 Combinatorics (05-XX) 2 General topology (54-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 85 Publications have been cited 1,237 times in 709 Documents Cited by ▼ Year ▼ Classical negation in logic programs and disjunctive databases. Zbl 0735.68012Gelfond, Michael; Lifschitz, Vladimir 255 1991 Strongly equivalent logic programs. Zbl 1365.68149Lifschitz, Vladimir; Pearce, David; Valverde, Agustín 102 2001 Representing action and change by logic programs. Zbl 0783.68024Gelfond, Michael; Lifschitz, Vladimir 78 1993 Nested expressions in logic programs. Zbl 0940.68075Lifschitz, Vladimir; Tang, Lappoon R.; Turner, Hudson 58 1999 Nonmonotonic causal theories. Zbl 1085.68161Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson 56 2004 Answer set programming and plan generation. Zbl 0995.68020Lifschitz, Vladimir 48 2002 Stable models and circumscription. Zbl 1227.68103Ferraris, Paolo; Lee, Joohyung; Lifschitz, Vladimir 34 2011 On the declarative semantics of logic programs with negation. Zbl 0718.68019Lifschitz, V. 33 1988 On the satisfiability of circumscription. Zbl 0589.03020Lifschitz, Vladimir 31 1986 Weight constraints as nested expressions. Zbl 1093.68017Ferraris, Paolo; Lifschitz, Vladimir 29 2005 Closed-world databases and circumscription. Zbl 0596.68062Lifschitz, Vladimir 26 1985 Foundations of logic programming. Zbl 0962.68026Lifschitz, Vladimir 24 1996 Tight logic programs. Zbl 1079.68014Erdem, Esra; Lifschitz, Vladimir 22 2003 Disjunctive defaults. Zbl 0766.68127Gelfond, Michael; Przymusińska, Halina; Lifschitz, Vladimir; Truszczyński, Miroslaw 22 1991 Action languages, answer sets, and planning. Zbl 0979.68517Lifschitz, Vladimir 21 1999 Minimal belief and negation as failure. Zbl 0820.03016Lifschitz, Vladimir 19 1994 Handbook of knowledge representation. Zbl 1183.68611van Harmelen, Frank (ed.); Lifschitz, Vladimir (ed.); Porter, Bruce (ed.) 17 2008 Why are there so many loop formulas? Zbl 1367.68036Lifschitz, Vladimir; Razborov, Alexander 16 2006 Loop formulas for disjunctive logic programs. Zbl 1204.68056Lee, Joohyung; Lifschitz, Vladimir 16 2003 Nonmonotonic databases and epistemic queries. Zbl 0747.68086Lifschitz, Vladimir 16 1991 Abstract gringo. Zbl 1379.68031Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten 15 2015 Mathematical foundations of answer set programming. Zbl 1220.68035Ferraris, Paolo; Lifschitz, Vladimir 15 2005 Frames in the space of situations. Zbl 0743.68122Lifschitz, Vladimir 15 1990 Representing action: indeterminacy and ramifications. Zbl 0894.68140Giunchiglia, Enrico; Kartha, G. Neelakantan; Lifschitz, Vladimir 14 1997 A characterization of strong equivalence for logic programs with variables. Zbl 1149.68335Lifschitz, Vladimir; Pearce, David; Valverde, Agustín 13 2007 Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Zbl 1085.68679Akman, Varol; Erdoğan, Selim T.; Lee, Joohyung; Lifschitz, Vladimir; Turner, Hudson 13 2004 On the logic of causal explanation. Zbl 0901.03022Lifschitz, Vladimir 13 1997 Between circumscription and autoepistemic logic. Zbl 0706.03025Lifschitz, Vladimir 12 1989 Twelve definitions of a stable model. Zbl 1185.68166Lifschitz, Vladimir 11 2008 Nested abnormality theories. Zbl 1013.68554Lifschitz, Vladimir 11 1995 Compiling circumscriptive theories into logic programs. Zbl 0675.68047Gelfond, Michael; Lifschitz, Vladimir 11 1989 Thirteen definitions of a stable model. Zbl 1287.68021Lifschitz, Vladimir 10 2010 One more decidable class of finitely ground programs. Zbl 1251.68064Lierler, Yuliya; Lifschitz, Vladimir 8 2009 Definitions in answer set programming. Zbl 1121.68330Erdoğan, Selim T.; Lifschitz, Vladimir 8 2004 A generalization of the Lin-Zhao theorem. Zbl 1105.68015Ferraris, Paolo; Lee, Joohyung; Lifschitz, Vladimir 7 2006 Toward a metatheory of action. Zbl 0765.68192Lifschitz, Vladimir 7 1991 Temporal phylogenetic networks and logic programming. Zbl 1122.68026Erdem, Esra; Lifschitz, Vladimir; Ringe, Don 6 2006 Getting to the airport: The oldest planning problem in AI. Zbl 0979.68099Lifschitz, Vladimir; McCain, Norman; Remolina, Emilio; Tacchella, Armando 6 2000 What is the inverse method? Zbl 0694.03010Lifschitz, Vladimir 6 1989 Safe formulas in the general theory of stable models. (Preliminary report). Zbl 1185.68163Lee, Joohyung; Lifschitz, Vladimir; Palla, Ravi 5 2008 Representing transition systems by logic programs. Zbl 0952.68132Lifschitz, Vladimir; Turner, Hudson 5 1999 Two components of an action language. Zbl 0890.68027Lifschitz, Vladimir 5 1997 Investigation of constructive functions by the method of fillings. Zbl 0252.02034Lifshits, V. A. 5 1973 Infinitary equilibrium logic and strongly equivalent logic programs. Zbl 1419.68120Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín 4 2017 On equivalence of infinitary formulas under the stable model semantics. Zbl 1379.68070Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw 4 2015 On the minimality of stable models. Zbl 1326.68056Ferraris, Paolo; Lifschitz, Vladimir 4 2011 Miracles in formal theories of action. Zbl 0688.68088Lifschitz, Vladimir; Rabinov, Arkady 4 1989 Circumscriptive theories: A logic-based framework for knowledge representation. Zbl 0825.68634Lifshitz, Vladimir 4 1988 The number of increasing subsequences of the random permutation. Zbl 0471.60040Lifschitz, V.; Pittel, B. 4 1981 \(CT_0\) is stronger than \(CT_0\)! Zbl 0379.02012Lifschitz, Vladimir 4 1979 On the investigation of constructive functions by the para-completion method. Zbl 0222.02030Lifshits, V. A. 4 1971 Representing first-order causal theories by logic programs. Zbl 1247.68043Ferraris, Paolo; Lee, Joohyung; Lierler, Yuliya; Lifschitz, Vladimir; Yang, Fangkai 3 2012 On calculational proofs. Zbl 0992.03069Lifschitz, Vladimir 3 2002 Fages’ theorem for programs with nested expressions. Zbl 1053.68528Erdem, Esra; Lifschitz, Vladimir 3 2001 Benchmark problems for formal nonmonotonic reasoning. Zbl 0675.68057Lifschitz, Vladimir 3 1989 Calculable natural numbers. Zbl 0606.03017Lifschitz, Vladimir 3 1985 The worst and the most probable performance of a class of set-covering algorithms. Zbl 0519.68056Lifschitz, V.; Pittel, B. 3 1983 Constructive assertions in an extension of classical mathematics. Zbl 0488.03034Lifschitz, Vladimir 3 1982 The efficiency of an algorithm of integer programming: A probabilistic analysis. Zbl 0456.90054Lifschitz, Vladimir 3 1980 Specialization of the form of deduction in the precicate calculus with equality and function symbols. I. Zbl 0208.00903Lifshits, V. A. 3 1968 Achievements in answer set programming. Zbl 1422.68027Lifschitz, Vladimir 2 2017 Program completion in the input language of GRINGO. Zbl 1422.68023Harrison, Amelia; Lifschitz, Vladimir; Raju, Dhananjay 2 2017 On equivalent transformations of infinitary formulas under the stable model semantics (preliminary report). Zbl 1405.68354Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw 2 2013 Logic programming. 20th international conference, ICLP 2004, Saint-Malo, France, September 6–10, 2004. Proceedings. Zbl 1056.68006Demoen, Bart (ed.); Lifschitz, Vladimir (ed.) 2 2004 Reconstructing the evolutionary history of Indo-European languages using answer set programming. Zbl 1026.68772Erdem, Esra; Lifschitz, Vladimir; Nakhleh, Luay; Ringe, Donald 2 2002 Wire routing and satisfiability planning. Zbl 0983.68731Erdem, Esra; Lifschitz, Vladimir; Wong, Martin D. F. 2 2000 Transformations of logic programs related to causality and planning. Zbl 0952.68021Erdem, Esra; Lifschitz, Vladimir 2 1999 Things that change by themselves. Zbl 0713.68060Lifschitz, Vladimir; Rabinov, Arkady 2 1989 Semantical completeness theorems in logic and algebra. Zbl 0453.03060Lifschitz, Vladimir 2 1980 Verifying strong equivalence of programs in the input language of gringo. Zbl 07115980Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten 1 2019 Proving infinitary formulas. Zbl 1379.68069Harrison, Amelia; Lifschitz, Vladimir; Michael, Julian 1 2016 Infinitary equilibrium logic and strong equivalence. Zbl 06504248Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín 1 2015 Functional completion. Zbl 1400.68205Lifschitz, Vladimir; Yang, Fangkai 1 2013 Two-valued logic programs. Zbl 1281.68067Lifschitz, Vladimir 1 2012 Relational theories with null values and non-Herbrand stable models. Zbl 1260.68064Lifschitz, Vladimir; Pichotta, Karl; Yang, Fangkai 1 2012 Eliminating function symbols from a nonmonotoic causal theory. Zbl 1341.68215Lifschitz, Vladimir; Yang, Fangkai 1 2011 Translating first-order causal theories into answer set programming. Zbl 1306.68195Lifschitz, Vladimir; Yang, Fangkai 1 2010 Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517Vsemirnov, M. A.; Girsh, È. A.; Grigor’ev, D. Yu.; Davydov, G. V.; Dantsin, E. Ya.; Ivanov, A. A.; Konev, B. Yu.; Lifshits, V. A.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. 1 2001 Success of default logic. Zbl 0938.03049Lifschitz, Vladimir 1 1999 Logic programming, nonmonotonic reasoning and reasoning about actions. Festschrift in honor of Michael Gelfond. Zbl 0885.00065Baral, Chitta (ed.); Kreinovich, V. (ed.); Lifschitz, V. (ed.) 1 1997 Reasoning about action and change. Zbl 0878.00029Lifschitz, V. (ed.) 1 1997 On verification of programs with goto statements. Zbl 0552.68001Lifschitz, Vladimir 1 1984 Some reduction classes and undecidable theories. Zbl 0237.02013Lifshits, V. A. 1 1967 The decision problem for some constructive theories of equality. Zbl 0165.01903Lifshits, V. A. 1 1967 Deductive validity and reduction classes. Zbl 0165.01902Lifshits, V. A. 1 1967 Verifying strong equivalence of programs in the input language of gringo. Zbl 07115980Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten 1 2019 Infinitary equilibrium logic and strongly equivalent logic programs. Zbl 1419.68120Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín 4 2017 Achievements in answer set programming. Zbl 1422.68027Lifschitz, Vladimir 2 2017 Program completion in the input language of GRINGO. Zbl 1422.68023Harrison, Amelia; Lifschitz, Vladimir; Raju, Dhananjay 2 2017 Proving infinitary formulas. Zbl 1379.68069Harrison, Amelia; Lifschitz, Vladimir; Michael, Julian 1 2016 Abstract gringo. Zbl 1379.68031Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten 15 2015 On equivalence of infinitary formulas under the stable model semantics. Zbl 1379.68070Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw 4 2015 Infinitary equilibrium logic and strong equivalence. Zbl 06504248Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín 1 2015 On equivalent transformations of infinitary formulas under the stable model semantics (preliminary report). Zbl 1405.68354Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw 2 2013 Functional completion. Zbl 1400.68205Lifschitz, Vladimir; Yang, Fangkai 1 2013 Representing first-order causal theories by logic programs. Zbl 1247.68043Ferraris, Paolo; Lee, Joohyung; Lierler, Yuliya; Lifschitz, Vladimir; Yang, Fangkai 3 2012 Two-valued logic programs. Zbl 1281.68067Lifschitz, Vladimir 1 2012 Relational theories with null values and non-Herbrand stable models. Zbl 1260.68064Lifschitz, Vladimir; Pichotta, Karl; Yang, Fangkai 1 2012 Stable models and circumscription. Zbl 1227.68103Ferraris, Paolo; Lee, Joohyung; Lifschitz, Vladimir 34 2011 On the minimality of stable models. Zbl 1326.68056Ferraris, Paolo; Lifschitz, Vladimir 4 2011 Eliminating function symbols from a nonmonotoic causal theory. Zbl 1341.68215Lifschitz, Vladimir; Yang, Fangkai 1 2011 Thirteen definitions of a stable model. Zbl 1287.68021Lifschitz, Vladimir 10 2010 Translating first-order causal theories into answer set programming. Zbl 1306.68195Lifschitz, Vladimir; Yang, Fangkai 1 2010 One more decidable class of finitely ground programs. Zbl 1251.68064Lierler, Yuliya; Lifschitz, Vladimir 8 2009 Handbook of knowledge representation. Zbl 1183.68611van Harmelen, Frank (ed.); Lifschitz, Vladimir (ed.); Porter, Bruce (ed.) 17 2008 Twelve definitions of a stable model. Zbl 1185.68166Lifschitz, Vladimir 11 2008 Safe formulas in the general theory of stable models. (Preliminary report). Zbl 1185.68163Lee, Joohyung; Lifschitz, Vladimir; Palla, Ravi 5 2008 A characterization of strong equivalence for logic programs with variables. Zbl 1149.68335Lifschitz, Vladimir; Pearce, David; Valverde, Agustín 13 2007 Why are there so many loop formulas? Zbl 1367.68036Lifschitz, Vladimir; Razborov, Alexander 16 2006 A generalization of the Lin-Zhao theorem. Zbl 1105.68015Ferraris, Paolo; Lee, Joohyung; Lifschitz, Vladimir 7 2006 Temporal phylogenetic networks and logic programming. Zbl 1122.68026Erdem, Esra; Lifschitz, Vladimir; Ringe, Don 6 2006 Weight constraints as nested expressions. Zbl 1093.68017Ferraris, Paolo; Lifschitz, Vladimir 29 2005 Mathematical foundations of answer set programming. Zbl 1220.68035Ferraris, Paolo; Lifschitz, Vladimir 15 2005 Nonmonotonic causal theories. Zbl 1085.68161Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson 56 2004 Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Zbl 1085.68679Akman, Varol; Erdoğan, Selim T.; Lee, Joohyung; Lifschitz, Vladimir; Turner, Hudson 13 2004 Definitions in answer set programming. Zbl 1121.68330Erdoğan, Selim T.; Lifschitz, Vladimir 8 2004 Logic programming. 20th international conference, ICLP 2004, Saint-Malo, France, September 6–10, 2004. Proceedings. Zbl 1056.68006Demoen, Bart (ed.); Lifschitz, Vladimir (ed.) 2 2004 Tight logic programs. Zbl 1079.68014Erdem, Esra; Lifschitz, Vladimir 22 2003 Loop formulas for disjunctive logic programs. Zbl 1204.68056Lee, Joohyung; Lifschitz, Vladimir 16 2003 Answer set programming and plan generation. Zbl 0995.68020Lifschitz, Vladimir 48 2002 On calculational proofs. Zbl 0992.03069Lifschitz, Vladimir 3 2002 Reconstructing the evolutionary history of Indo-European languages using answer set programming. Zbl 1026.68772Erdem, Esra; Lifschitz, Vladimir; Nakhleh, Luay; Ringe, Donald 2 2002 Strongly equivalent logic programs. Zbl 1365.68149Lifschitz, Vladimir; Pearce, David; Valverde, Agustín 102 2001 Fages’ theorem for programs with nested expressions. Zbl 1053.68528Erdem, Esra; Lifschitz, Vladimir 3 2001 Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517Vsemirnov, M. A.; Girsh, È. A.; Grigor’ev, D. Yu.; Davydov, G. V.; Dantsin, E. Ya.; Ivanov, A. A.; Konev, B. Yu.; Lifshits, V. A.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. 1 2001 Getting to the airport: The oldest planning problem in AI. Zbl 0979.68099Lifschitz, Vladimir; McCain, Norman; Remolina, Emilio; Tacchella, Armando 6 2000 Wire routing and satisfiability planning. Zbl 0983.68731Erdem, Esra; Lifschitz, Vladimir; Wong, Martin D. F. 2 2000 Nested expressions in logic programs. Zbl 0940.68075Lifschitz, Vladimir; Tang, Lappoon R.; Turner, Hudson 58 1999 Action languages, answer sets, and planning. Zbl 0979.68517Lifschitz, Vladimir 21 1999 Representing transition systems by logic programs. Zbl 0952.68132Lifschitz, Vladimir; Turner, Hudson 5 1999 Transformations of logic programs related to causality and planning. Zbl 0952.68021Erdem, Esra; Lifschitz, Vladimir 2 1999 Success of default logic. Zbl 0938.03049Lifschitz, Vladimir 1 1999 Representing action: indeterminacy and ramifications. Zbl 0894.68140Giunchiglia, Enrico; Kartha, G. Neelakantan; Lifschitz, Vladimir 14 1997 On the logic of causal explanation. Zbl 0901.03022Lifschitz, Vladimir 13 1997 Two components of an action language. Zbl 0890.68027Lifschitz, Vladimir 5 1997 Logic programming, nonmonotonic reasoning and reasoning about actions. Festschrift in honor of Michael Gelfond. Zbl 0885.00065Baral, Chitta (ed.); Kreinovich, V. (ed.); Lifschitz, V. (ed.) 1 1997 Reasoning about action and change. Zbl 0878.00029Lifschitz, V. (ed.) 1 1997 Foundations of logic programming. Zbl 0962.68026Lifschitz, Vladimir 24 1996 Nested abnormality theories. Zbl 1013.68554Lifschitz, Vladimir 11 1995 Minimal belief and negation as failure. Zbl 0820.03016Lifschitz, Vladimir 19 1994 Representing action and change by logic programs. Zbl 0783.68024Gelfond, Michael; Lifschitz, Vladimir 78 1993 Classical negation in logic programs and disjunctive databases. Zbl 0735.68012Gelfond, Michael; Lifschitz, Vladimir 255 1991 Disjunctive defaults. Zbl 0766.68127Gelfond, Michael; Przymusińska, Halina; Lifschitz, Vladimir; Truszczyński, Miroslaw 22 1991 Nonmonotonic databases and epistemic queries. Zbl 0747.68086Lifschitz, Vladimir 16 1991 Toward a metatheory of action. Zbl 0765.68192Lifschitz, Vladimir 7 1991 Frames in the space of situations. Zbl 0743.68122Lifschitz, Vladimir 15 1990 Between circumscription and autoepistemic logic. Zbl 0706.03025Lifschitz, Vladimir 12 1989 Compiling circumscriptive theories into logic programs. Zbl 0675.68047Gelfond, Michael; Lifschitz, Vladimir 11 1989 What is the inverse method? Zbl 0694.03010Lifschitz, Vladimir 6 1989 Miracles in formal theories of action. Zbl 0688.68088Lifschitz, Vladimir; Rabinov, Arkady 4 1989 Benchmark problems for formal nonmonotonic reasoning. Zbl 0675.68057Lifschitz, Vladimir 3 1989 Things that change by themselves. Zbl 0713.68060Lifschitz, Vladimir; Rabinov, Arkady 2 1989 On the declarative semantics of logic programs with negation. Zbl 0718.68019Lifschitz, V. 33 1988 Circumscriptive theories: A logic-based framework for knowledge representation. Zbl 0825.68634Lifshitz, Vladimir 4 1988 On the satisfiability of circumscription. Zbl 0589.03020Lifschitz, Vladimir 31 1986 Closed-world databases and circumscription. Zbl 0596.68062Lifschitz, Vladimir 26 1985 Calculable natural numbers. Zbl 0606.03017Lifschitz, Vladimir 3 1985 On verification of programs with goto statements. Zbl 0552.68001Lifschitz, Vladimir 1 1984 The worst and the most probable performance of a class of set-covering algorithms. Zbl 0519.68056Lifschitz, V.; Pittel, B. 3 1983 Constructive assertions in an extension of classical mathematics. Zbl 0488.03034Lifschitz, Vladimir 3 1982 The number of increasing subsequences of the random permutation. Zbl 0471.60040Lifschitz, V.; Pittel, B. 4 1981 The efficiency of an algorithm of integer programming: A probabilistic analysis. Zbl 0456.90054Lifschitz, Vladimir 3 1980 Semantical completeness theorems in logic and algebra. Zbl 0453.03060Lifschitz, Vladimir 2 1980 \(CT_0\) is stronger than \(CT_0\)! Zbl 0379.02012Lifschitz, Vladimir 4 1979 Investigation of constructive functions by the method of fillings. Zbl 0252.02034Lifshits, V. A. 5 1973 On the investigation of constructive functions by the para-completion method. Zbl 0222.02030Lifshits, V. A. 4 1971 Specialization of the form of deduction in the precicate calculus with equality and function symbols. I. Zbl 0208.00903Lifshits, V. A. 3 1968 Some reduction classes and undecidable theories. Zbl 0237.02013Lifshits, V. A. 1 1967 The decision problem for some constructive theories of equality. Zbl 0165.01903Lifshits, V. A. 1 1967 Deductive validity and reduction classes. Zbl 0165.01902Lifshits, V. A. 1 1967 all cited Publications top 5 cited Publications all top 5 Cited by 811 Authors 43 Eiter, Thomas 34 Lifschitz, Vladimir 22 Leone, Nicola 21 Truszczyński, Mirosław 19 Schaub, Torsten H. 19 Woltran, Stefan 17 Cabalar, Pedro 17 Fink, Michael 16 Lee, Joohyung 15 Gelfond, Michael 14 Lierler, Yuliya 13 Alviano, Mario 13 Erdem, Esra 13 Lin, Fangzhen 12 Baral, Chitta R. 12 Faber, Wolfgang 12 Gebser, Martin 12 Ricca, Francesco 11 You, Jia-Huai 11 Zhang, Yan 10 Fandinno, Jorge 10 Leite, João 10 Maratea, Marco 10 Thielscher, Michael 9 Dodaro, Carmine 9 Gottlob, Georg 9 Krennwallner, Thomas 9 Marek, V. Wiktor 8 Harrison, Amelia 8 Janhunen, Tomi 8 Remmel, Jeffrey B. 8 Tompits, Hans 7 Brewka, Gerhard 7 Fariñas del Cerro, Luis 7 Giunchiglia, Enrico 7 Gonçalves, Ricardo 7 Ianni, Giovambattista 7 Inoue, Katsumi 7 Levesque, Hector J. 7 Niemelä, Ilkka N. F. 7 Przymusinski, Teodor C. 7 Sakama, Chiaki 7 Son, Tran Cao 7 Thimm, Matthias 7 Vermeir, Dirk 7 Zhou, Yi 6 Alferes, José Júlio 6 Amendola, Giovanni 6 De Cock, Martine 6 Delgrande, James P. 6 Gabbay, Dov M. 6 Kaminski, Roland 6 Knorr, Matthias 6 Lukasiewicz, Thomas 6 Palopoli, Luigi 6 Pearce, David G. 6 Pontelli, Enrico 6 Redl, Christoph 6 Schockaert, Steven 6 Schüller, Peter 6 Shen, Yidong 5 Antoniou, Grigoris 5 Balduccini, Marcello 5 Ben-Eliyahu-Zohary, Rachel 5 Bochman, Alexander 5 Diéguez, Martín 5 Formisano, Andrea 5 Herzig, Andreas 5 Inclezan, Daniela 5 Nieves, Juan Carlos 5 Pearce, David A. J. 5 Pührer, Jörg 5 Simari, Guillermo Ricardo 5 Subrahmanian, V. S. 5 Valverde, Agustín 5 Vidal, Concepción 5 Yang, Fangkai 4 Aguado, Felicidad 4 Cadoli, Marco 4 Calimeri, Francesco 4 Costantini, Stefania 4 Dao-Tran, Minh 4 d’Avila Garcez, Artur S. 4 Denecker, Marc 4 Dix, Jurgen 4 Dovier, Agostino 4 Fichte, Johannes Klaus 4 Gabaldon, Alfredo 4 Garcia, Laurent 4 Kaufmann, Benjamin 4 Lakemeyer, Gerhard 4 Osorio, Mauricio A. 4 Pérez, Gilberto 4 Perri, Simona 4 Pfeifer, Gerald 4 Prade, Henri M. 4 Slota, Martin 4 Strass, Hannes 4 Szałas, Andrzej 4 Szeider, Stefan ...and 711 more Authors all top 5 Cited in 58 Serials 189 Artificial Intelligence 113 Theory and Practice of Logic Programming 66 Annals of Mathematics and Artificial Intelligence 34 Theoretical Computer Science 19 Journal of Applied Logic 18 Journal of Applied Non-Classical Logics 12 International Journal of Approximate Reasoning 10 Journal of Automated Reasoning 9 Studia Logica 7 Information Processing Letters 7 Journal of Computer and System Sciences 7 Journal of Philosophical Logic 7 Annals of Pure and Applied Logic 7 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 7 ACM Transactions on Computational Logic 5 Synthese 5 New Generation Computing 5 Frontiers of Computer Science 4 Information Sciences 4 Journal of Soviet Mathematics 4 Information and Computation 4 Journal of Logic, Language and Information 3 Discrete Mathematics 3 Machine Learning 3 Constraints 3 Logical Methods in Computer Science 2 Fuzzy Sets and Systems 2 Journal of Combinatorial Theory. Series A 2 Archive for Mathematical Logic 2 Journal of Mathematical Sciences (New York) 2 Science in China. Series F 1 Discrete Applied Mathematics 1 Mathematical Notes 1 Russian Mathematical Surveys 1 Chaos, Solitons and Fractals 1 International Journal of Game Theory 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Programming and Computer Software 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 International Journal of Intelligent Systems 1 Mathematical and Computer Modelling 1 Formal Aspects of Computing 1 Artificial Intelligence Review 1 Indagationes Mathematicae. New Series 1 Journal of Computer and Systems Sciences International 1 The Bulletin of Symbolic Logic 1 Science in China. Series E 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Journal of the Royal Statistical Society. Series B. Statistical Methodology 1 International Journal of Applied Mathematics and Computer Science 1 The Journal of Logic and Algebraic Programming 1 ACM Journal of Experimental Algorithmics 1 Statistics and Computing 1 Nonlinear Analysis. Theory, Methods & Applications 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 24 Fields 661 Computer science (68-XX) 166 Mathematical logic and foundations (03-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Combinatorics (05-XX) 10 Biology and other natural sciences (92-XX) 9 History and biography (01-XX) 5 General and overarching topics; collections (00-XX) 5 Operations research, mathematical programming (90-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 3 General topology (54-XX) 3 Probability theory and stochastic processes (60-XX) 2 Real functions (26-XX) 2 Statistics (62-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) 1 Functions of a complex variable (30-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.