×

zbMATH — the first resource for mathematics

Theory and Practice of Logic Programming

Short Title: Theory Pract. Log. Program.
Publisher: Cambridge University Press, Cambridge
ISSN: 1471-0684; 1475-3081/e
Online: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/all-issues
Documents indexed: 561 Publications (since 2001)
References indexed: 405 Publications with 11,367 References
all top 5

Latest Issues

19, No. 2 (2019)
19, No. 1 (2018)
18, No. 5-6 (2018)
18, No. 3-4 (2018)
18, No. 2 (2018)
18, No. 1 (2018)
17, No. 5-6 (2017)
17, No. 4 (2017)
17, No. 3 (2017)
17, No. 2 (2017)
17, No. 1 (2017)
16, No. 5-6 (2016)
16, No. 4 (2016)
16, No. 3 (2016)
16, No. 2 (2016)
16, No. 1 (2016)
15, No. 6 (2015)
15, No. 4-5 (2015)
15, No. 3 (2015)
15, No. 2 (2015)
15, No. 1 (2015)
14, No. 6 (2014)
14, No. 4-5 (2014)
14, No. 3 (2014)
14, No. 2 (2014)
14, No. 1 (2014)
13, No. 6 (2013)
13, No. 4-5 (2013)
13, No. 3 (2013)
13, No. 2 (2013)
13, No. 1 (2013)
12, No. 6 (2012)
12, No. 4-5 (2012)
12, No. 3 (2012)
12, No. 1-2 (2012)
11, No. 6 (2011)
11, No. 4-5 (2011)
11, No. 2-3 (2011)
11, No. 1 (2011)
10, No. 4-6 (2010)
10, No. 3 (2010)
10, No. 2 (2010)
10, No. 1 (2010)
9, No. 6 (2009)
9, No. 5 (2009)
9, No. 4 (2009)
9, No. 3 (2009)
9, No. 2 (2009)
9, No. 1 (2009)
8, No. 5-6 (2008)
8, No. 4 (2008)
8, No. 3 (2008)
8, No. 2 (2008)
8, No. 1 (2008)
7, No. 6 (2007)
7, No. 5 (2007)
7, No. 4 (2007)
7, No. 3 (2007)
7, No. 1-2 (2007)
6, No. 6 (2006)
6, No. 5 (2006)
6, No. 4 (2006)
6, No. 3 (2006)
6, No. 1-2 (2006)
5, No. 6 (2005)
5, No. 4-5 (2005)
5, No. 3 (2005)
5, No. 1-2 (2005)
4, No. 5-6 (2004)
4, No. 4 (2004)
4, No. 3 (2004)
4, No. 1-2 (2004)
3, No. 6 (2003)
3, No. 4-5 (2003)
3, No. 3 (2003)
3, No. 2 (2003)
3, No. 1 (2003)
2, No. 6 (2002)
2, No. 4-5 (2002)
2, No. 3 (2002)
2, No. 2 (2002)
2, No. 1 (2002)
1, No. 6 (2001)
1, No. 5 (2001)
1, No. 4 (2001)
1, No. 3 (2001)
1, No. 2 (2001)
1, No. 1 (2001)
all top 5

Authors

21 Schaub, Torsten H.
14 Alviano, Mario
13 Pontelli, Enrico
12 Hermenegildo, Manuel V.
12 Leone, Nicola
12 Lifschitz, Vladimir
12 Rocha, Ricardo
12 Truszczyński, Mirosław
11 Eiter, Thomas
11 Schrijvers, Tom
10 Bruynooghe, Maurice
10 Cabalar, Pedro
10 Demoen, Bart
10 Woltran, Stefan
9 Faber, Wolfgang
9 Frühwirth, Thom
9 Gebser, Martin
9 Son, Tran Cao
9 Stuckey, Peter James
9 Swift, Terrance
9 Tompits, Hans
8 Denecker, Marc
8 Fink, Michael
8 Greco, Sergio
8 Lee, Joohyung
8 Lierler, Yuliya
8 Wielemaker, Jan
7 Carro, Manuel
7 Santos Costa, Vítor
7 Dovier, Agostino
7 Janssens, Gerda
7 Kaminski, Roland
7 King, Andy
7 Manna, Marco
7 Ricca, Francesco
7 Zhou, Neng-Fa
6 Bagnara, Roberto
6 Balduccini, Marcello
6 Codish, Michael
6 De Schreye, Danny
6 Dodaro, Carmine
6 Erdem, Esra
6 Fandinno, Jorge
6 Garcia de la Banda, Maria
6 Harrison, Amelia
6 Maher, Michael J.
6 Pettorossi, Alberto
6 Proietti, Maurizio
6 Riguzzi, Fabrizio
6 Sato, Taisuke
6 Trubitsyna, Irina
6 You, Jia-Huai
5 Baral, Chitta R.
5 Bogaerts, Bart
5 Drabent, Włodzimierz
5 Gabbrielli, Maurizio
5 Gelfond, Michael
5 Gupta, Gopal K.
5 Haemmerlé, Rémy
5 Hill, Patricia M.
5 Janhunen, Tomi
5 Mesnard, Fred
5 Morales, Jose Francisco
5 Osorio, Mauricio A.
5 Rodríguez-Artalejo, Mario
5 Serebrenik, Alexander
5 Shen, Yidong
5 Vidal, Germán
5 Zaniolo, Carlo
4 Albert, Elvira
4 de Cat, Broes
4 De Cock, Martine
4 De Raedt, Luc
4 Duck, Gregory J.
4 Fioravanti, Fabio
4 Inclezan, Daniela
4 Inoue, Katsumi
4 Lamma, Evelina
4 Leite, João
4 Leuschel, Michael
4 López-García, Pedro
4 Maratea, Marco
4 Oetsch, Johannes
4 Oikarinen, Emilia
4 Ostrowski, Max
4 Puebla, Germán
4 Pührer, Jörg
4 Ramakrishnan, C. R.
4 Russo, Alessandra M.
4 Schachte, Peter
4 Schockaert, Steven
4 Sneyers, Jon
4 Søndergaard, Harald
4 Tarau, Paul
4 Vennekens, Joost
4 Vermeir, Dirk
4 Warren, David Scott
4 Zaffanella, Enea
4 Zhang, Yuanlin
3 Alpuente, María
...and 709 more Authors
all top 5

Fields

559 Computer science (68-XX)
48 Mathematical logic and foundations (03-XX)
19 General and overarching topics; collections (00-XX)
5 Operations research, mathematical programming (90-XX)
5 Biology and other natural sciences (92-XX)
3 Combinatorics (05-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 History and biography (01-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription