Skip to contents Symposium on Logic Programming Symposium on Logic Programming Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Washington, D.C.: IEEE Computer Soc. Pr., 1985-1988 / 1985; 3.1986 - 5.1988 Frasconi, Paolo [Editor]; Lisi, Francesca A. [Other] ; ILP 20 2010 Florenz Inductive logic programming : 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 ; revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6489 Garcia de la Banda, Maria [Editor] ; ICLP 24 2008 Udine Special issue on the 24th International Conference on Logic Programming : (ICLP 2008); [December 9 - 13, 2008 in Udine, Italy] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge: Cambridge Univ. Press, 2011 Published in: Theory and practice of logic programming ; 11,2/3 De Raedt, Luc [Editor] ; ILP 19 2009 Löwen Inductive logic programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02 - 04, 2010; revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 5989 Hill, Patricia M. [Editor]; Warren, David S. [Other] ; ICLP 25 2009 Pasadena, Calif Logic programming : 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5649 Železný, Filip [Editor]; Lavrač, Nada [Other] ; ILP 18 2008 Prag Inductive logic programming : 18th international conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5194 Etalle, Sandro [Editor] ; ICLP 22 2006 Seattle, Wash Logic programming : 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17 - 20, 2006 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4079 Dahl, Veronica [Editor]; Neimelä, Ilkka [Other] ; ICLP 23 2007 Porto Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4670 Banda, Maria Garcia de la [Other]; Pontelli, Enrico [Other]; Garcia de la Banda, Maria [Editor] ; ICLP 24 2008 Udine Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5366 Horváth, Tamás [Editor]; Yamamoto, Akihiro [Editor] ; ILP 13 2003 Szeged Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2835 Camacho, Rui [Editor]; King, Ross [Other]; Srinivasan, Ashwin [Other] ; ILP 14 2004 Porto Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6 - 8, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2004 Published in: Lecture notes in computer science ; 3194 Kramer, Stefan [Editor] ; ILP 15 2005 Bonn Inductive logic programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10 - 13, 2005; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3625 Stuckey, Peter J. [Editor] ; ICLP 18 2002 Kopenhagen Logic programming : 18th international conference; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2401 Palamidessi, Catuscia [Editor] ; ICLP 19 2003 Muṃbaī Logic programming : 19th international conference, Mumbai, India, December 9 - 13, 2003 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2916 Demoen, Bart [Editor]; Lifschitz, Vladimir [Other] ; ICLP 20 2004 Saint-Malo Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6 - 10, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3132 Gabbrielli, Maurizio [Editor] ; ICLP 21 2005 Sitges Logic programming : 21th international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3668 Rouveirol, Céline [Editor] ; ILP 11 2001 Straßburg Inductive logic programming : 11th international conference ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2157 Hanus, Michael [Editor] ; ALP 5 1996 Aachen Algebraic and logic programming : 5th International Conference, ALP'96, Aachen, Germany, September 25 - 27, 1996; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1139 Codognet, Philippe [Editor] ; ICLP 17 2001 Paphos Logic programming : 17th international conference, Paphos, Cyprus, November 26 - December 1, 2001 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2237 Fuchs, Norbert E. [Editor] ; JICSLP 1996 Bonn Proceedings of the poster session at JICSLP '96 : Bonn, Germany, September 2 - 6, 1996 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1996 Published in: GMD-Forschungszentrum Informationstechnik: GMD-Studien ; 296
Symposium on Logic Programming Symposium on Logic Programming Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Washington, D.C.: IEEE Computer Soc. Pr., 1985-1988 / 1985; 3.1986 - 5.1988
Frasconi, Paolo [Editor]; Lisi, Francesca A. [Other] ; ILP 20 2010 Florenz Inductive logic programming : 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 ; revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6489
Garcia de la Banda, Maria [Editor] ; ICLP 24 2008 Udine Special issue on the 24th International Conference on Logic Programming : (ICLP 2008); [December 9 - 13, 2008 in Udine, Italy] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge: Cambridge Univ. Press, 2011 Published in: Theory and practice of logic programming ; 11,2/3
De Raedt, Luc [Editor] ; ILP 19 2009 Löwen Inductive logic programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02 - 04, 2010; revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 5989
Hill, Patricia M. [Editor]; Warren, David S. [Other] ; ICLP 25 2009 Pasadena, Calif Logic programming : 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5649
Železný, Filip [Editor]; Lavrač, Nada [Other] ; ILP 18 2008 Prag Inductive logic programming : 18th international conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5194
Etalle, Sandro [Editor] ; ICLP 22 2006 Seattle, Wash Logic programming : 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17 - 20, 2006 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4079
Dahl, Veronica [Editor]; Neimelä, Ilkka [Other] ; ICLP 23 2007 Porto Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4670
Banda, Maria Garcia de la [Other]; Pontelli, Enrico [Other]; Garcia de la Banda, Maria [Editor] ; ICLP 24 2008 Udine Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5366
Horváth, Tamás [Editor]; Yamamoto, Akihiro [Editor] ; ILP 13 2003 Szeged Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2835
Camacho, Rui [Editor]; King, Ross [Other]; Srinivasan, Ashwin [Other] ; ILP 14 2004 Porto Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6 - 8, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2004 Published in: Lecture notes in computer science ; 3194
Kramer, Stefan [Editor] ; ILP 15 2005 Bonn Inductive logic programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10 - 13, 2005; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3625
Stuckey, Peter J. [Editor] ; ICLP 18 2002 Kopenhagen Logic programming : 18th international conference; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2401
Palamidessi, Catuscia [Editor] ; ICLP 19 2003 Muṃbaī Logic programming : 19th international conference, Mumbai, India, December 9 - 13, 2003 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2916
Demoen, Bart [Editor]; Lifschitz, Vladimir [Other] ; ICLP 20 2004 Saint-Malo Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6 - 10, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3132
Gabbrielli, Maurizio [Editor] ; ICLP 21 2005 Sitges Logic programming : 21th international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3668
Rouveirol, Céline [Editor] ; ILP 11 2001 Straßburg Inductive logic programming : 11th international conference ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2157
Hanus, Michael [Editor] ; ALP 5 1996 Aachen Algebraic and logic programming : 5th International Conference, ALP'96, Aachen, Germany, September 25 - 27, 1996; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1139
Codognet, Philippe [Editor] ; ICLP 17 2001 Paphos Logic programming : 17th international conference, Paphos, Cyprus, November 26 - December 1, 2001 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2237
Fuchs, Norbert E. [Editor] ; JICSLP 1996 Bonn Proceedings of the poster session at JICSLP '96 : Bonn, Germany, September 2 - 6, 1996 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1996 Published in: GMD-Forschungszentrum Informationstechnik: GMD-Studien ; 296
> Media type Skip to next facet Books (89) Wert ausschließen Journals / Newspapers / Series (1) Wert ausschließen Conference Proceedings (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (2) Wert ausschließen Stack Collection (59) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (57) Wert ausschließen Central Library (4) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (5) Wert ausschließen In Copyright (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (19) Wert ausschließen Without Specification (9) Wert ausschließen Show more show less
> Language Skip to next facet English (89) Wert ausschließen German (3) Wert ausschließen Not determined (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (72) Wert ausschließen Mathmatics (39) Wert ausschließen Economics (2) Wert ausschließen Show more show less
> Creator Skip to next facet Voronkov, Andrei (9) Wert ausschließen Hanus, Michael (7) Wert ausschließen ALP 5 1996 Aachen (3) Wert ausschließen Dix, Jürgen (3) Wert ausschließen Eiter, Thomas (3) Wert ausschließen Faber, Wolfgang (3) Wert ausschließen Geske, Ulrich (3) Wert ausschließen International Conference on Logic Programming 11 1994 Santa Margherita Ligure (3) Wert ausschließen Open Publishing Association (3) Wert ausschließen ALP 4 1994 Madrid (2) Wert ausschließen Advanced Seminar on Foundations of Innovative Software Development 1 1987 Pisa (2) Wert ausschließen Arias, Joaquín (2) Wert ausschließen Baaz, Matthias (2) Wert ausschließen Baral, Chitta (2) Wert ausschließen Beaumont, Anthony (2) Wert ausschließen Colloquium on Functional and Logic Programming and Specifications 1987 Pisa (2) Wert ausschließen Fandinno, Jorge (2) Wert ausschließen Garcia de la Banda, Maria (2) Wert ausschließen Hecher, Markus (2) Wert ausschließen ICLP 24 2008 Udine (2) Wert ausschließen International Conference on Logic Programming 36. 2020 Online (2) Wert ausschließen International Conference on Logic Programming 8 1991 Paris (2) Wert ausschließen JICSLP 1996 Bonn (2) Wert ausschließen Kirchner, Hélène (2) Wert ausschließen LPAR 17 2010 Yogyakarta (2) Wert ausschließen LPAR 3 1992 Sankt Petersburg (2) Wert ausschließen LPAR 7 2000 Saint-Gilles-les-Bains (2) Wert ausschließen LPNMR 3 1995 Lexington-Fayette, Ky (2) Wert ausschließen LeBlanc, Emily (2) Wert ausschließen Levi, Giorgio (2) Wert ausschließen Lifschitz, Vladimir (2) Wert ausschließen Morak, Michael (2) Wert ausschließen Palamidessi, Catuscia (2) Wert ausschließen Parigot, Michel (2) Wert ausschließen Seipel, Dietmar (2) Wert ausschließen Sutcliffe, Geoff (2) Wert ausschließen TAPSOFT 2 1987 Pisa (2) Wert ausschließen Zangari, Jessica (2) Wert ausschließen 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) (1) Wert ausschließen 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) (1) Wert ausschließen 27th Workshop on Logic Programming (WLP 2013) (1) Wert ausschließen ALP 6 1997 Southampton (1) Wert ausschließen ALP 7 1998 Pisa (1) Wert ausschließen Baader, Franz (1) Wert ausschließen Banda, Maria Garcia de la (1) Wert ausschließen Bartenstein, Oskar (1) Wert ausschließen Barthe, Gilles (1) Wert ausschließen Bellodi, Elena (1) Wert ausschließen Blockeel, Hendrik (1) Wert ausschließen Boella, Guido (1) Wert ausschließen Bogaerts, Bart (1) Wert ausschließen Boulanger, Dimitri (1) Wert ausschließen Boulanger, Dmitri (1) Wert ausschließen Bowen, Kenneth A. (1) Wert ausschließen Brewka, Gerhard (1) Wert ausschließen Calegari, Roberta (1) Wert ausschließen Camacho, Rui (1) Wert ausschließen Carro, Manuel (1) Wert ausschließen Cervesato, Iliano (1) Wert ausschließen Clarke, Edmund M. (1) Wert ausschließen Codognet, Philippe (1) Wert ausschließen Cussens, James (1) Wert ausschließen Dahl, Veronica (1) Wert ausschließen Dalhousie University (1) Wert ausschließen De Raedt, Luc (1) Wert ausschließen Delgrande, James P. (1) Wert ausschließen Demoen, Bart (1) Wert ausschließen Dershowitz, Nachum (1) Wert ausschließen Dickens, Luke (1) Wert ausschließen Dodaro, Carmine (1) Wert ausschließen Ehrig, Hartmut (1) Wert ausschließen Elder, George Aristidis (1) Wert ausschließen Erdem, Esra (1) Wert ausschließen Etalle, Sandro (1) Wert ausschließen Fermüller, Christian G. (1) Wert ausschließen Fernmüller, Christian (1) Wert ausschließen Frasconi, Paolo (1) Wert ausschließen Freitag, Burkhard (1) Wert ausschließen Fuchs, Norbert E. (1) Wert ausschließen GMD-Forschungszentrum Informationstechnik (1) Wert ausschließen Gabbrielli, Maurizio (1) Wert ausschließen Ganzinger, Harald (1) Wert ausschließen Gebser, Martin (1) Wert ausschließen Gelfond, Michael (1) Wert ausschließen Gesellschaft für Logische Programmierung (1) Wert ausschließen Gesellschaft für Mathematik und Datenverarbeitung (1) Wert ausschließen Greco, Gianluigi (1) Wert ausschließen Gupta, Gopal (1) Wert ausschließen HOA 3 1997 Southampton (1) Wert ausschließen Hermann, Miki (1) Wert ausschließen Hermenegildo, Manuel V. (1) Wert ausschließen Hill, Patricia M. (1) Wert ausschließen Horváth, Tamás (1) Wert ausschließen ICLP (1) Wert ausschließen ICLP '91} (1) Wert ausschließen ICLP 17 2001 Paphos (1) Wert ausschließen ICLP 18 2002 Kopenhagen (1) Wert ausschließen ICLP 19 2003 Muṃbaī (1) Wert ausschließen ICLP 20 2004 Saint-Malo (1) Wert ausschließen ICLP 21 2005 Sitges (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (90) Wert ausschließen Lizenzfreie Online-Ressourcen (18) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen MACAU: Open Access Repository of Kiel University (1) Wert ausschließen Show more show less