×

zbMATH — the first resource for mathematics

Lifschitz, Vladimir

Compute Distance To:
Author ID: lifschitz.vladimir Recent zbMATH articles by "Lifschitz, Vladimir"
Published as: Lifschitz, Vladimir; Lifshits, V. A.; Lifschitz, V.; Lifshits, Vladimir; Lifshitz, Vladimir; Lifschitz, V. A.
Homepage: http://www.cs.utexas.edu/users/vl/
External Links: MGP · Wikidata · Math-Net.Ru · dblp · GND · IdRef
Documents Indexed: 122 Publications since 1967, including 8 Books
Biographic References: 3 Publications

Publications by Year

Citations contained in zbMATH Open

83 Publications have been cited 1,245 times in 718 Documents Cited by Year
Classical negation in logic programs and disjunctive databases. Zbl 0735.68012
Gelfond, Michael; Lifschitz, Vladimir
270
1991
Strongly equivalent logic programs. Zbl 1365.68149
Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
104
2001
Representing action and change by logic programs. Zbl 0783.68024
Gelfond, Michael; Lifschitz, Vladimir
77
1993
Nested expressions in logic programs. Zbl 0940.68075
Lifschitz, Vladimir; Tang, Lappoon R.; Turner, Hudson
60
1999
Nonmonotonic causal theories. Zbl 1085.68161
Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
59
2004
Answer set programming and plan generation. Zbl 0995.68020
Lifschitz, Vladimir
54
2002
Stable models and circumscription. Zbl 1227.68103
Ferraris, Paolo; Lee, Joohyung; Lifschitz, Vladimir
36
2011
On the declarative semantics of logic programs with negation. Zbl 0718.68019
Lifschitz, V.
33
1988
Weight constraints as nested expressions. Zbl 1093.68017
Ferraris, Paolo; Lifschitz, Vladimir
30
2005
Foundations of logic programming. Zbl 0962.68026
Lifschitz, Vladimir
25
1996
On the satisfiability of circumscription. Zbl 0589.03020
Lifschitz, Vladimir
23
1986
Closed-world databases and circumscription. Zbl 0596.68062
Lifschitz, Vladimir
22
1985
Minimal belief and negation as failure. Zbl 0820.03016
Lifschitz, Vladimir
21
1994
Tight logic programs. Zbl 1079.68014
Erdem, Esra; Lifschitz, Vladimir
21
2003
Disjunctive defaults. Zbl 0766.68127
Gelfond, Michael; Przymusińska, Halina; Lifschitz, Vladimir; Truszczyński, Miroslaw
20
1991
Action languages, answer sets, and planning. Zbl 0979.68517
Lifschitz, Vladimir
17
1999
Loop formulas for disjunctive logic programs. Zbl 1204.68056
Lee, Joohyung; Lifschitz, Vladimir
17
2003
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
17
2015
Why are there so many loop formulas? Zbl 1367.68036
Lifschitz, Vladimir; Razborov, Alexander
17
2006
Nonmonotonic databases and epistemic queries. Zbl 0747.68086
Lifschitz, Vladimir
16
1991
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
14
1990
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
14
2004
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
Handbook of knowledge representation. Zbl 1183.68611
van Harmelen, Frank (ed.); Lifschitz, Vladimir (ed.); Porter, Bruce (ed.)
13
2008
A characterization of strong equivalence for logic programs with variables. Zbl 1149.68335
Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
13
2007
Twelve definitions of a stable model. Zbl 1185.68166
Lifschitz, Vladimir
12
2008
Between circumscription and autoepistemic logic. Zbl 0706.03025
Lifschitz, Vladimir
11
1989
Compiling circumscriptive theories into logic programs. Zbl 0675.68047
Gelfond, Michael; Lifschitz, Vladimir
11
1989
Nested abnormality theories. Zbl 1013.68554
Lifschitz, Vladimir
11
1995
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
9
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
6
1991
What is the inverse method? Zbl 0694.03010
Lifschitz, Vladimir
6
1989
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
The number of increasing subsequences of the random permutation. Zbl 0471.60040
Lifschitz, V.; Pittel, B.
5
1981
Investigation of constructive functions by the method of fillings. Zbl 0252.02034
Lifshits, V. A.
5
1973
Representing transition systems by logic programs. Zbl 0952.68132
Lifschitz, Vladimir; Turner, Hudson
5
1999
Infinitary equilibrium logic and strongly equivalent logic programs. Zbl 1419.68120
Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
5
2017
Two components of an action language. Zbl 0890.68027
Lifschitz, Vladimir
5
1997
On the investigation of constructive functions by the para-completion method. Zbl 0222.02030
Lifshits, V. A.
4
1971
Circumscriptive theories: A logic-based framework for knowledge representation. Zbl 0825.68634
Lifshitz, Vladimir
4
1988
Miracles in formal theories of action. Zbl 0688.68088
Lifschitz, Vladimir; Rabinov, Arkady
4
1989
Safe formulas in the general theory of stable models. (Preliminary report). Zbl 1185.68163
Lee, Joohyung; Lifschitz, Vladimir; Palla, Ravi
4
2008
On equivalence of infinitary formulas under the stable model semantics. Zbl 1379.68070
Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw
4
2015
Constructive assertions in an extension of classical mathematics. Zbl 0488.03034
Lifschitz, Vladimir
3
1982
The worst and the most probable performance of a class of set-covering algorithms. Zbl 0519.68056
Lifschitz, V.; Pittel, B.
3
1983
\(CT_0\) is stronger than \(CT_0\)! Zbl 0379.02012
Lifschitz, Vladimir
3
1979
Fages’ theorem for programs with nested expressions. Zbl 1053.68528
Erdem, Esra; Lifschitz, Vladimir
3
2001
The efficiency of an algorithm of integer programming: A probabilistic analysis. Zbl 0456.90054
Lifschitz, Vladimir
3
1980
Calculable natural numbers. Zbl 0606.03017
Lifschitz, Vladimir
3
1985
Representing first-order causal theories by logic programs. Zbl 1247.68043
Ferraris, Paolo; Lee, Joohyung; Lierler, Yuliya; Lifschitz, Vladimir; Yang, Fangkai
3
2012
On the minimality of stable models. Zbl 1326.68056
Ferraris, Paolo; Lifschitz, Vladimir
3
2011
Things that change by themselves. Zbl 0713.68060
Lifschitz, Vladimir; Rabinov, Arkady
2
1989
Specialization of the form of deduction in the precicate calculus with equality and function symbols. I. Zbl 0208.00903
Lifshits, V. A.
2
1968
Benchmark problems for formal nonmonotonic reasoning. Zbl 0675.68057
Lifschitz, Vladimir
2
1989
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
Transformations of logic programs related to causality and planning. Zbl 0952.68021
Erdem, Esra; Lifschitz, Vladimir
2
1999
Wire routing and satisfiability planning. Zbl 0983.68731
Erdem, Esra; Lifschitz, Vladimir; Wong, Martin D. F.
2
2000
On calculational proofs. Zbl 0992.03069
Lifschitz, Vladimir
2
2002
Semantical completeness theorems in logic and algebra. Zbl 0453.03060
Lifschitz, Vladimir
2
1980
Program completion in the input language of GRINGO. Zbl 1422.68023
Harrison, Amelia; Lifschitz, Vladimir; Raju, Dhananjay
2
2017
Achievements in answer set programming. Zbl 1422.68027
Lifschitz, Vladimir
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
Success of default logic. Zbl 0938.03049
Lifschitz, Vladimir
1
1999
Deductive validity and reduction classes. Zbl 0165.01902
Lifshits, V. A.
1
1967
The decision problem for some constructive theories of equality. Zbl 0165.01903
Lifshits, V. A.
1
1967
Some reduction classes and undecidable theories. Zbl 0237.02013
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
Relating two dialects of answer set programming. Zbl 1434.68074
Harrison, Amelia; Lifschitz, Vladimir
1
2019
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
Proving infinitary formulas. Zbl 1379.68069
Harrison, Amelia; Lifschitz, Vladimir; Michael, Julian
1
2016
Relational theories with null values and non-Herbrand stable models. Zbl 1260.68064
Lifschitz, Vladimir; Pichotta, Karl; Yang, Fangkai
1
2012
Translating first-order causal theories into answer set programming. Zbl 1306.68195
Lifschitz, Vladimir; Yang, Fangkai
1
2010
Functional completion. Zbl 1400.68205
Lifschitz, Vladimir; Yang, Fangkai
1
2013
Infinitary equilibrium logic and strong equivalence. Zbl 1467.68173
Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
1
2015
Two-valued logic programs. Zbl 1281.68067
Lifschitz, Vladimir
1
2012
Eliminating function symbols from a nonmonotoic causal theory. Zbl 1341.68215
Lifschitz, Vladimir; Yang, Fangkai
1
2011
Verifying strong equivalence of programs in the input language of gringo. Zbl 07115980
Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten
1
2019
Relating two dialects of answer set programming. Zbl 1434.68074
Harrison, Amelia; Lifschitz, Vladimir
1
2019
Infinitary equilibrium logic and strongly equivalent logic programs. Zbl 1419.68120
Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
5
2017
Program completion in the input language of GRINGO. Zbl 1422.68023
Harrison, Amelia; Lifschitz, Vladimir; Raju, Dhananjay
2
2017
Achievements in answer set programming. Zbl 1422.68027
Lifschitz, Vladimir
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
17
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 1467.68173
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
Relational theories with null values and non-Herbrand stable models. Zbl 1260.68064
Lifschitz, Vladimir; Pichotta, Karl; Yang, Fangkai
1
2012
Two-valued logic programs. Zbl 1281.68067
Lifschitz, Vladimir
1
2012
Stable models and circumscription. Zbl 1227.68103
Ferraris, Paolo; Lee, Joohyung; Lifschitz, Vladimir
36
2011
On the minimality of stable models. Zbl 1326.68056
Ferraris, Paolo; Lifschitz, Vladimir
3
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
9
2009
Handbook of knowledge representation. Zbl 1183.68611
van Harmelen, Frank; Lifschitz, Vladimir; Porter, Bruce
13
2008
Twelve definitions of a stable model. Zbl 1185.68166
Lifschitz, Vladimir
12
2008
Safe formulas in the general theory of stable models. (Preliminary report). Zbl 1185.68163
Lee, Joohyung; Lifschitz, Vladimir; Palla, Ravi
4
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
17
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
30
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
59
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
14
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; Lifschitz, Vladimir
2
2004
Tight logic programs. Zbl 1079.68014
Erdem, Esra; Lifschitz, Vladimir
21
2003
Loop formulas for disjunctive logic programs. Zbl 1204.68056
Lee, Joohyung; Lifschitz, Vladimir
17
2003
Answer set programming and plan generation. Zbl 0995.68020
Lifschitz, Vladimir
54
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
On calculational proofs. Zbl 0992.03069
Lifschitz, Vladimir
2
2002
Strongly equivalent logic programs. Zbl 1365.68149
Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
104
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
60
1999
Action languages, answer sets, and planning. Zbl 0979.68517
Lifschitz, Vladimir
17
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
Foundations of logic programming. Zbl 0962.68026
Lifschitz, Vladimir
25
1996
Nested abnormality theories. Zbl 1013.68554
Lifschitz, Vladimir
11
1995
Minimal belief and negation as failure. Zbl 0820.03016
Lifschitz, Vladimir
21
1994
Representing action and change by logic programs. Zbl 0783.68024
Gelfond, Michael; Lifschitz, Vladimir
77
1993
Classical negation in logic programs and disjunctive databases. Zbl 0735.68012
Gelfond, Michael; Lifschitz, Vladimir
270
1991
Disjunctive defaults. Zbl 0766.68127
Gelfond, Michael; Przymusińska, Halina; Lifschitz, Vladimir; Truszczyński, Miroslaw
20
1991
Nonmonotonic databases and epistemic queries. Zbl 0747.68086
Lifschitz, Vladimir
16
1991
Toward a metatheory of action. Zbl 0765.68192
Lifschitz, Vladimir
6
1991
Frames in the space of situations. Zbl 0743.68122
Lifschitz, Vladimir
14
1990
Between circumscription and autoepistemic logic. Zbl 0706.03025
Lifschitz, Vladimir
11
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
Things that change by themselves. Zbl 0713.68060
Lifschitz, Vladimir; Rabinov, Arkady
2
1989
Benchmark problems for formal nonmonotonic reasoning. Zbl 0675.68057
Lifschitz, Vladimir
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
23
1986
Closed-world databases and circumscription. Zbl 0596.68062
Lifschitz, Vladimir
22
1985
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 number of increasing subsequences of the random permutation. Zbl 0471.60040
Lifschitz, V.; Pittel, B.
5
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
3
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.
2
1968
Deductive validity and reduction classes. Zbl 0165.01902
Lifshits, V. A.
1
1967
The decision problem for some constructive theories of equality. Zbl 0165.01903
Lifshits, V. A.
1
1967
Some reduction classes and undecidable theories. Zbl 0237.02013
Lifshits, V. A.
1
1967
all top 5

Cited by 801 Authors

46 Eiter, Thomas
34 Lifschitz, Vladimir
24 Leone, Nicola
22 Schaub, Torsten H.
22 Woltran, Stefan
21 Truszczyński, Mirosław
18 Cabalar, Pedro
17 Fink, Michael
17 Lee, Joohyung
15 Gebser, Martin
15 Gelfond, Michael
15 Ricca, Francesco
14 Alviano, Mario
14 Lierler, Yuliya
13 Dodaro, Carmine
13 Erdem, Esra
13 Faber, Wolfgang
13 Maratea, Marco
12 Baral, Chitta R.
12 Lin, Fangzhen
11 Fandinno, Jorge
11 Zhang, Yan
10 Krennwallner, Thomas
10 Leite, João
10 Thielscher, Michael
10 You, Jia-Huai
9 Janhunen, Tomi
9 Marek, V. Wiktor
8 Brewka, Gerhard
8 Calimeri, Francesco
8 Fariñas del Cerro, Luis
8 Gottlob, Georg
8 Harrison, Amelia
8 Ianni, Giovambattista
8 Inoue, Katsumi
8 Remmel, Jeffrey B.
8 Sakama, Chiaki
8 Tompits, Hans
7 Giunchiglia, Enrico
7 Gonçalves, Ricardo
7 Kaminski, Roland
7 Levesque, Hector J.
7 Redl, Christoph
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 Knorr, Matthias
6 Lukasiewicz, Thomas
6 Niemelä, Ilkka N. F.
6 Palopoli, Luigi
6 Perri, Simona
6 Pontelli, Enrico
6 Przymusinski, Teodor C.
6 Schockaert, Steven
6 Schüller, Peter
6 Shen, Yidong
6 Simari, Guillermo Ricardo
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 Pührer, Jörg
5 Subrahmanian, V. S.
5 Valverde, Agustín
5 Vidal, Concepción
5 Yang, Fangkai
5 Yuan, Li Yan
5 Zangari, Jessica
4 Aguado, Felicidad
4 Cadoli, Marco
4 Costantini, Stefania
4 Dao-Tran, Minh
4 d’Avila Garcez, Artur S.
4 Denecker, Marc
4 Dovier, Agostino
4 Fichte, Johannes Klaus
4 Gabaldon, Alfredo
4 Garcia, Laurent
4 Kaufmann, Benjamin
4 Osorio, Mauricio A.
4 Pérez, Gilberto
4 Pfeifer, Gerald
4 Prade, Henri M.
4 Slota, Martin
4 Strass, Hannes
4 Szałas, Andrzej
4 Szeider, Stefan
4 Wanko, Philipp
4 Wolter, Frank
...and 701 more Authors
all top 5

Cited in 59 Serials

184 Artificial Intelligence
130 Theory and Practice of Logic Programming
68 Annals of Mathematics and Artificial Intelligence
29 Theoretical Computer Science
18 Journal of Applied Non-Classical Logics
18 Journal of Applied Logic
12 International Journal of Approximate Reasoning
10 Journal of Automated Reasoning
9 Studia Logica
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 Information Processing Letters
5 Synthese
5 New Generation Computing
5 Frontiers of Computer Science
4 Journal of Soviet Mathematics
4 Information and Computation
4 Machine Learning
4 Journal of Logic, Language and Information
3 Discrete Mathematics
3 Information Sciences
3 Constraints
3 Fundamenta Informaticae
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 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 Journal of Global Optimization
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 Annales Henri Poincaré
1 The Journal of Logic and Algebraic Programming
1 ACM Journal of Experimental Algorithmics
1 Statistics and Computing
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.