×

zbMATH — the first resource for mathematics

Lifschitz, Vladimir

Compute Distance To:
Author ID: lifschitz.vladimir Recent zbMATH articles by "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

Publications by Year

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

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.