×

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: 594 Publications (since 2001)
References indexed: 437 Publications with 12,479 References
all top 5

Latest Issues

20, No. 1 (2020)
19, No. 5-6 (2019)
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.
16 Alviano, Mario
14 Leone, Nicola
13 Lifschitz, Vladimir
13 Pontelli, Enrico
13 Truszczyński, Mirosław
12 Eiter, Thomas
12 Hermenegildo, Manuel V.
12 Rocha, Ricardo
11 Cabalar, Pedro
11 Ricca, Francesco
11 Schrijvers, Tom
11 Woltran, Stefan
10 Bruynooghe, Maurice
10 Demoen, Bart
10 Dodaro, Carmine
10 Faber, Wolfgang
9 Frühwirth, Thom
9 Gebser, Martin
9 Lee, Joohyung
9 Son, Tran Cao
9 Stuckey, Peter James
9 Swift, Terrance
9 Tompits, Hans
8 Carro, Manuel
8 Denecker, Marc
8 Fandinno, Jorge
8 Fink, Michael
8 Greco, Sergio
8 Lierler, Yuliya
8 Manna, Marco
8 Wielemaker, Jan
7 Santos Costa, Vítor
7 Dovier, Agostino
7 Erdem, Esra
7 Harrison, Amelia
7 Janssens, Gerda
7 Kaminski, Roland
7 King, Andy
7 You, Jia-Huai
7 Zhou, Neng-Fa
6 Bagnara, Roberto
6 Balduccini, Marcello
6 Codish, Michael
6 De Schreye, Danny
6 Garcia de la Banda, Maria
6 Maher, Michael J.
6 Pettorossi, Alberto
6 Proietti, Maurizio
6 Riguzzi, Fabrizio
6 Sato, Taisuke
6 Trubitsyna, Irina
6 Vidal, Germán
6 Zaniolo, Carlo
5 Albert, Elvira
5 Amendola, Giovanni
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 Leite, João
5 Maratea, Marco
5 Mesnard, Fred
5 Morales, Jose Francisco
5 Osorio, Mauricio A.
5 Rodríguez-Artalejo, Mario
5 Serebrenik, Alexander
5 Shen, Yidong
4 Alpuente, María
4 de Cat, Broes
4 De Cock, Martine
4 De Raedt, Luc
4 Duck, Gregory J.
4 Fioravanti, Fabio
4 Formisano, Andrea
4 Gallagher, John P.
4 Inclezan, Daniela
4 Inoue, Katsumi
4 Lamma, Evelina
4 Leuschel, Michael
4 López-García, Pedro
4 Oetsch, Johannes
4 Oikarinen, Emilia
4 Ostrowski, Max
4 Perri, Simona
4 Puebla, Germán
4 Pührer, Jörg
4 Ramakrishnan, C. R.
4 Rondogiannis, Panos
4 Russo, Alessandra M.
4 Schachte, Peter
4 Schockaert, Steven
4 Sneyers, Jon
4 Søndergaard, Harald
4 Tarau, Paul
...and 742 more Authors
all top 5

Fields

592 Computer science (68-XX)
53 Mathematical logic and foundations (03-XX)
20 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