# zbMATH — the first resource for mathematics

Compute Distance To:
 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)

#### 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.68012
1991
Strongly equivalent logic programs. Zbl 1365.68149
Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
2001
Representing action and change by logic programs. Zbl 0783.68024
1993
Nested expressions in logic programs. Zbl 0940.68075
Lifschitz, Vladimir; Tang, Lappoon R.; Turner, Hudson
1999
Nonmonotonic causal theories. Zbl 1085.68161
Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
2004
Answer set programming and plan generation. Zbl 0995.68020
2002
Stable models and circumscription. Zbl 1227.68103
Ferraris, Paolo; Lee, Joohyung; Lifschitz, Vladimir
2011
On the declarative semantics of logic programs with negation. Zbl 0718.68019
Lifschitz, V.
1988
On the satisfiability of circumscription. Zbl 0589.03020
1986
Weight constraints as nested expressions. Zbl 1093.68017
2005
Closed-world databases and circumscription. Zbl 0596.68062
1985
Foundations of logic programming. Zbl 0962.68026
1996
Tight logic programs. Zbl 1079.68014
2003
Disjunctive defaults. Zbl 0766.68127
Gelfond, Michael; Przymusińska, Halina; Lifschitz, Vladimir; Truszczyński, Miroslaw
1991
Action languages, answer sets, and planning. Zbl 0979.68517
1999
Minimal belief and negation as failure. Zbl 0820.03016
1994
Handbook of knowledge representation. Zbl 1183.68611
van Harmelen, Frank (ed.); Lifschitz, Vladimir (ed.); Porter, Bruce (ed.)
2008
Why are there so many loop formulas? Zbl 1367.68036
2006
Loop formulas for disjunctive logic programs. Zbl 1204.68056
2003
Nonmonotonic databases and epistemic queries. Zbl 0747.68086
1991
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
2015
Mathematical foundations of answer set programming. Zbl 1220.68035
2005
Frames in the space of situations. Zbl 0743.68122
1990
Representing action: indeterminacy and ramifications. Zbl 0894.68140
Giunchiglia, Enrico; Kartha, G. Neelakantan; Lifschitz, Vladimir
1997
A characterization of strong equivalence for logic programs with variables. Zbl 1149.68335
Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
2007
Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Zbl 1085.68679
Akman, Varol; Erdoğan, Selim T.; Lee, Joohyung; Lifschitz, Vladimir; Turner, Hudson
2004
On the logic of causal explanation. Zbl 0901.03022
1997
Between circumscription and autoepistemic logic. Zbl 0706.03025
1989
Twelve definitions of a stable model. Zbl 1185.68166
2008
Nested abnormality theories. Zbl 1013.68554
1995
Compiling circumscriptive theories into logic programs. Zbl 0675.68047
1989
Thirteen definitions of a stable model. Zbl 1287.68021
2010
One more decidable class of finitely ground programs. Zbl 1251.68064
2009
Definitions in answer set programming. Zbl 1121.68330
2004
A generalization of the Lin-Zhao theorem. Zbl 1105.68015
Ferraris, Paolo; Lee, Joohyung; Lifschitz, Vladimir
2006
Toward a metatheory of action. Zbl 0765.68192
1991
Temporal phylogenetic networks and logic programming. Zbl 1122.68026
Erdem, Esra; Lifschitz, Vladimir; Ringe, Don
2006
Getting to the airport: The oldest planning problem in AI. Zbl 0979.68099
Lifschitz, Vladimir; McCain, Norman; Remolina, Emilio; Tacchella, Armando
2000
What is the inverse method? Zbl 0694.03010
1989
Safe formulas in the general theory of stable models. (Preliminary report). Zbl 1185.68163
Lee, Joohyung; Lifschitz, Vladimir; Palla, Ravi
2008
Representing transition systems by logic programs. Zbl 0952.68132
1999
Two components of an action language. Zbl 0890.68027
1997
Investigation of constructive functions by the method of fillings. Zbl 0252.02034
Lifshits, V. A.
1973
Infinitary equilibrium logic and strongly equivalent logic programs. Zbl 1419.68120
Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
2017
On equivalence of infinitary formulas under the stable model semantics. Zbl 1379.68070
Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw
2015
On the minimality of stable models. Zbl 1326.68056
2011
Miracles in formal theories of action. Zbl 0688.68088
1989
Circumscriptive theories: A logic-based framework for knowledge representation. Zbl 0825.68634
1988
The number of increasing subsequences of the random permutation. Zbl 0471.60040
Lifschitz, V.; Pittel, B.
1981
$$CT_0$$ is stronger than $$CT_0$$! Zbl 0379.02012
1979
On the investigation of constructive functions by the para-completion method. Zbl 0222.02030
Lifshits, V. A.
1971
Representing first-order causal theories by logic programs. Zbl 1247.68043
Ferraris, Paolo; Lee, Joohyung; Lierler, Yuliya; Lifschitz, Vladimir; Yang, Fangkai
2012
On calculational proofs. Zbl 0992.03069
2002
Fages’ theorem for programs with nested expressions. Zbl 1053.68528
2001
Benchmark problems for formal nonmonotonic reasoning. Zbl 0675.68057
1989
Calculable natural numbers. Zbl 0606.03017
1985
The worst and the most probable performance of a class of set-covering algorithms. Zbl 0519.68056
Lifschitz, V.; Pittel, B.
1983
Constructive assertions in an extension of classical mathematics. Zbl 0488.03034
1982
The efficiency of an algorithm of integer programming: A probabilistic analysis. Zbl 0456.90054
1980
Specialization of the form of deduction in the precicate calculus with equality and function symbols. I. Zbl 0208.00903
Lifshits, V. A.
1968
Achievements in answer set programming. Zbl 1422.68027
2017
Program completion in the input language of GRINGO. Zbl 1422.68023
Harrison, Amelia; Lifschitz, Vladimir; Raju, Dhananjay
2017
On equivalent transformations of infinitary formulas under the stable model semantics (preliminary report). Zbl 1405.68354
Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw
2013
Logic programming. 20th international conference, ICLP 2004, Saint-Malo, France, September 6–10, 2004. Proceedings. Zbl 1056.68006
Demoen, Bart (ed.); Lifschitz, Vladimir (ed.)
2004
Reconstructing the evolutionary history of Indo-European languages using answer set programming. Zbl 1026.68772
Erdem, Esra; Lifschitz, Vladimir; Nakhleh, Luay; Ringe, Donald
2002
Wire routing and satisfiability planning. Zbl 0983.68731
Erdem, Esra; Lifschitz, Vladimir; Wong, Martin D. F.
2000
Transformations of logic programs related to causality and planning. Zbl 0952.68021
1999
Things that change by themselves. Zbl 0713.68060
1989
Semantical completeness theorems in logic and algebra. Zbl 0453.03060
1980
Verifying strong equivalence of programs in the input language of gringo. Zbl 07115980
Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten
2019
Proving infinitary formulas. Zbl 1379.68069
Harrison, Amelia; Lifschitz, Vladimir; Michael, Julian
2016
Infinitary equilibrium logic and strong equivalence. Zbl 06504248
Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
2015
Functional completion. Zbl 1400.68205
2013
Two-valued logic programs. Zbl 1281.68067
2012
Relational theories with null values and non-Herbrand stable models. Zbl 1260.68064
Lifschitz, Vladimir; Pichotta, Karl; Yang, Fangkai
2012
Eliminating function symbols from a nonmonotoic causal theory. Zbl 1341.68215
2011
Translating first-order causal theories into answer set programming. Zbl 1306.68195
2010
Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517
Vsemirnov, 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.
2001
Success of default logic. Zbl 0938.03049
1999
Logic programming, nonmonotonic reasoning and reasoning about actions. Festschrift in honor of Michael Gelfond. Zbl 0885.00065
Baral, Chitta (ed.); Kreinovich, V. (ed.); Lifschitz, V. (ed.)
1997
Reasoning about action and change. Zbl 0878.00029
Lifschitz, V. (ed.)
1997
On verification of programs with goto statements. Zbl 0552.68001
1984
Some reduction classes and undecidable theories. Zbl 0237.02013
Lifshits, V. A.
1967
The decision problem for some constructive theories of equality. Zbl 0165.01903
Lifshits, V. A.
1967
Deductive validity and reduction classes. Zbl 0165.01902
Lifshits, V. A.
1967
Verifying strong equivalence of programs in the input language of gringo. Zbl 07115980
Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten
2019
Infinitary equilibrium logic and strongly equivalent logic programs. Zbl 1419.68120
Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
2017
Achievements in answer set programming. Zbl 1422.68027
2017
Program completion in the input language of GRINGO. Zbl 1422.68023
Harrison, Amelia; Lifschitz, Vladimir; Raju, Dhananjay
2017
Proving infinitary formulas. Zbl 1379.68069
Harrison, Amelia; Lifschitz, Vladimir; Michael, Julian
2016
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
2015
On equivalence of infinitary formulas under the stable model semantics. Zbl 1379.68070
Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw
2015
Infinitary equilibrium logic and strong equivalence. Zbl 06504248
Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
2015
On equivalent transformations of infinitary formulas under the stable model semantics (preliminary report). Zbl 1405.68354
Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw
2013
Functional completion. Zbl 1400.68205
2013
Representing first-order causal theories by logic programs. Zbl 1247.68043
Ferraris, Paolo; Lee, Joohyung; Lierler, Yuliya; Lifschitz, Vladimir; Yang, Fangkai
2012
Two-valued logic programs. Zbl 1281.68067
2012
Relational theories with null values and non-Herbrand stable models. Zbl 1260.68064
Lifschitz, Vladimir; Pichotta, Karl; Yang, Fangkai
2012
Stable models and circumscription. Zbl 1227.68103
Ferraris, Paolo; Lee, Joohyung; Lifschitz, Vladimir
2011
On the minimality of stable models. Zbl 1326.68056
2011
Eliminating function symbols from a nonmonotoic causal theory. Zbl 1341.68215
2011
Thirteen definitions of a stable model. Zbl 1287.68021
2010
Translating first-order causal theories into answer set programming. Zbl 1306.68195
2010
One more decidable class of finitely ground programs. Zbl 1251.68064
2009
Handbook of knowledge representation. Zbl 1183.68611
van Harmelen, Frank (ed.); Lifschitz, Vladimir (ed.); Porter, Bruce (ed.)
2008
Twelve definitions of a stable model. Zbl 1185.68166
2008
Safe formulas in the general theory of stable models. (Preliminary report). Zbl 1185.68163
Lee, Joohyung; Lifschitz, Vladimir; Palla, Ravi
2008
A characterization of strong equivalence for logic programs with variables. Zbl 1149.68335
Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
2007
Why are there so many loop formulas? Zbl 1367.68036
2006
A generalization of the Lin-Zhao theorem. Zbl 1105.68015
Ferraris, Paolo; Lee, Joohyung; Lifschitz, Vladimir
2006
Temporal phylogenetic networks and logic programming. Zbl 1122.68026
Erdem, Esra; Lifschitz, Vladimir; Ringe, Don
2006
Weight constraints as nested expressions. Zbl 1093.68017
2005
Mathematical foundations of answer set programming. Zbl 1220.68035
2005
Nonmonotonic causal theories. Zbl 1085.68161
Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
2004
Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Zbl 1085.68679
Akman, Varol; Erdoğan, Selim T.; Lee, Joohyung; Lifschitz, Vladimir; Turner, Hudson
2004
Definitions in answer set programming. Zbl 1121.68330
2004
Logic programming. 20th international conference, ICLP 2004, Saint-Malo, France, September 6–10, 2004. Proceedings. Zbl 1056.68006
Demoen, Bart (ed.); Lifschitz, Vladimir (ed.)
2004
Tight logic programs. Zbl 1079.68014
2003
Loop formulas for disjunctive logic programs. Zbl 1204.68056
2003
Answer set programming and plan generation. Zbl 0995.68020
2002
On calculational proofs. Zbl 0992.03069
2002
Reconstructing the evolutionary history of Indo-European languages using answer set programming. Zbl 1026.68772
Erdem, Esra; Lifschitz, Vladimir; Nakhleh, Luay; Ringe, Donald
2002
Strongly equivalent logic programs. Zbl 1365.68149
Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
2001
Fages’ theorem for programs with nested expressions. Zbl 1053.68528
2001
Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517
Vsemirnov, 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.
2001
Getting to the airport: The oldest planning problem in AI. Zbl 0979.68099
Lifschitz, Vladimir; McCain, Norman; Remolina, Emilio; Tacchella, Armando
2000
Wire routing and satisfiability planning. Zbl 0983.68731
Erdem, Esra; Lifschitz, Vladimir; Wong, Martin D. F.
2000
Nested expressions in logic programs. Zbl 0940.68075
Lifschitz, Vladimir; Tang, Lappoon R.; Turner, Hudson
1999
Action languages, answer sets, and planning. Zbl 0979.68517
1999
Representing transition systems by logic programs. Zbl 0952.68132
1999
Transformations of logic programs related to causality and planning. Zbl 0952.68021
1999
Success of default logic. Zbl 0938.03049
1999
Representing action: indeterminacy and ramifications. Zbl 0894.68140
Giunchiglia, Enrico; Kartha, G. Neelakantan; Lifschitz, Vladimir
1997
On the logic of causal explanation. Zbl 0901.03022
1997
Two components of an action language. Zbl 0890.68027
1997
Logic programming, nonmonotonic reasoning and reasoning about actions. Festschrift in honor of Michael Gelfond. Zbl 0885.00065
Baral, Chitta (ed.); Kreinovich, V. (ed.); Lifschitz, V. (ed.)
1997
Reasoning about action and change. Zbl 0878.00029
Lifschitz, V. (ed.)
1997
Foundations of logic programming. Zbl 0962.68026
1996
Nested abnormality theories. Zbl 1013.68554
1995
Minimal belief and negation as failure. Zbl 0820.03016
1994
Representing action and change by logic programs. Zbl 0783.68024
1993
Classical negation in logic programs and disjunctive databases. Zbl 0735.68012
1991
Disjunctive defaults. Zbl 0766.68127
Gelfond, Michael; Przymusińska, Halina; Lifschitz, Vladimir; Truszczyński, Miroslaw
1991
Nonmonotonic databases and epistemic queries. Zbl 0747.68086
1991
Toward a metatheory of action. Zbl 0765.68192
1991
Frames in the space of situations. Zbl 0743.68122
1990
Between circumscription and autoepistemic logic. Zbl 0706.03025
1989
Compiling circumscriptive theories into logic programs. Zbl 0675.68047
1989
What is the inverse method? Zbl 0694.03010
1989
Miracles in formal theories of action. Zbl 0688.68088
1989
Benchmark problems for formal nonmonotonic reasoning. Zbl 0675.68057
1989
Things that change by themselves. Zbl 0713.68060
1989
On the declarative semantics of logic programs with negation. Zbl 0718.68019
Lifschitz, V.
1988
Circumscriptive theories: A logic-based framework for knowledge representation. Zbl 0825.68634
1988
On the satisfiability of circumscription. Zbl 0589.03020
1986
Closed-world databases and circumscription. Zbl 0596.68062
1985
Calculable natural numbers. Zbl 0606.03017
1985
On verification of programs with goto statements. Zbl 0552.68001
1984
The worst and the most probable performance of a class of set-covering algorithms. Zbl 0519.68056
Lifschitz, V.; Pittel, B.
1983
Constructive assertions in an extension of classical mathematics. Zbl 0488.03034
1982
The number of increasing subsequences of the random permutation. Zbl 0471.60040
Lifschitz, V.; Pittel, B.
1981
The efficiency of an algorithm of integer programming: A probabilistic analysis. Zbl 0456.90054
1980
Semantical completeness theorems in logic and algebra. Zbl 0453.03060
1980
$$CT_0$$ is stronger than $$CT_0$$! Zbl 0379.02012
1979
Investigation of constructive functions by the method of fillings. Zbl 0252.02034
Lifshits, V. A.
1973
On the investigation of constructive functions by the para-completion method. Zbl 0222.02030
Lifshits, V. A.
1971
Specialization of the form of deduction in the precicate calculus with equality and function symbols. I. Zbl 0208.00903
Lifshits, V. A.
1968
Some reduction classes and undecidable theories. Zbl 0237.02013
Lifshits, V. A.
1967
The decision problem for some constructive theories of equality. Zbl 0165.01903
Lifshits, V. A.
1967
Deductive validity and reduction classes. Zbl 0165.01902
Lifshits, V. A.
1967
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)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.