Skip to contents Wernhard, Christoph [Author] Automated deduction for projection elimination Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: AKA, Akad. Verl.-Ges., 2009 ; [Amsterdam]: IOS Press, 2009 Published in: Dissertationen zur künstlichen Intelligenz ; 324 Alferes, José Júlio [Author]; Pereira, Luís Moniz [Author] Reasoning with logic programming 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 ; 1111 Baral, Chitta [Editor]; Greco, Gianluigi [Other]; Leone, Nicola [Other]; Terracina, Giorgio [Other] ; LPNMR 8 2005 Diamante, Calabria Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 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 ; 3662 Eiter, Thomas [Editor] ; LPNMR 6 2001 Wien Logic programming and nonmonotonic reasoning : 6th international conference, Vienna, Austria, September 17 - 19, 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 ; 2173 Dix, Jürgen [Editor] ; LPKR 3 1997 Port Jefferson, NY Logic programming and knowledge representation : third international workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 1998 Published in: Lecture notes in computer science ; 1471 Pettorossi, Alberto [Editor] ; META 3 1992 Uppsala Meta-programming in logic : third international workshop, META-92, Uppsala, Sweden, June 10 - 12, 1992 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Lecture notes in computer science ; 649 Thayse, André [Editor]; Gochet, Paul [Other] From modal logic to deductive databases : introducing a logic based approach to artificial intelligence Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chichester [u.a.]: Wiley, 1989 Published in: A logic based approach to artificial intelligence MacIntyre, Yvonne [Author] Modellgenerierung mit konnektionistischen Systemen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2000 Balduccini, Marcello [Editor]; Gelfond, Michael [Honoree]; Son, Tran Cao [Other] Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday 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 ; 6565 Erdem, Esra [Editor]; Lin, Fangzhen [Other]; Schaub, Torsten [Other] ; LPNMR 10 2009 Potsdam Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 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 ; 5753 Baral, Chitta [Editor]; Brewka, Gerhard [Other]; Schlipf, John [Other] ; LPNMR 9 2007 Tempe, Ariz Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 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 ; 4483 Lifschitz, Vladimir [Editor]; Niemelä, Ilkka [Editor] ; LPNMR 7 2004 Fort Lauderdale, Fla Logic programming and nonmonotonic reasoning : 7th International Conference, Fort Lauderdale, FL, USA, January 6 - 8, 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 ; 2923 Gelfond, Michael [Editor] ; LPNMR 5 1999 El Paso, Tex Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99 ElPaso, Texas, USA, December 2 - 4,1999; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1730 Cervesato, Iliano [Editor]; Veith, Helmut [Other]; Voronkov, Andrei [Other] ; LPAR 15 2008 Doha Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 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 ; 5330 Delgrande, James P. [Editor]; Faber, Wolfgang [Other] ; LPNMR 11 2011 Vancouver, British Columbia Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 ; proceedings 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 ; 6645 Rudolph, Sebastian [Other]; Gutiérrez, Claudio [Other] ; RR 5 2011 Galway Web resoning and rule systems : 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011 ; proceedings 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 ; 6902 Bartenstein, Oskar [Editor] ; International Conference on Applications of Prolog 14 2001 Tokio Web knowledge management and decision support : 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, 2003 Published in: Lecture notes in computer science ; 2543 Kullmann, Peter [Author] Wissensrepräsentation und Anfragebearbeitung in einer logikbasierten Mediatorumgebung Books View online Schließen > Access https://edocs.tib.eu/files/e01dd09/612431037.pdf Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2001 Alferes, José Júlio [Author] ; Pereira, Luís Moniz [Other] Reasoning with Logic Programming Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996 Published in: Lecture notes in computer science ; 1111 Dix, Jürgen [Author] ; Pereira, Luís Moniz [Other]; Przymusinski, Teodor C. [Other] Logic Programming and Knowledge Representation : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1471
Wernhard, Christoph [Author] Automated deduction for projection elimination Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: AKA, Akad. Verl.-Ges., 2009 ; [Amsterdam]: IOS Press, 2009 Published in: Dissertationen zur künstlichen Intelligenz ; 324
Alferes, José Júlio [Author]; Pereira, Luís Moniz [Author] Reasoning with logic programming 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 ; 1111
Baral, Chitta [Editor]; Greco, Gianluigi [Other]; Leone, Nicola [Other]; Terracina, Giorgio [Other] ; LPNMR 8 2005 Diamante, Calabria Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 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 ; 3662
Eiter, Thomas [Editor] ; LPNMR 6 2001 Wien Logic programming and nonmonotonic reasoning : 6th international conference, Vienna, Austria, September 17 - 19, 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 ; 2173
Dix, Jürgen [Editor] ; LPKR 3 1997 Port Jefferson, NY Logic programming and knowledge representation : third international workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 1998 Published in: Lecture notes in computer science ; 1471
Pettorossi, Alberto [Editor] ; META 3 1992 Uppsala Meta-programming in logic : third international workshop, META-92, Uppsala, Sweden, June 10 - 12, 1992 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Lecture notes in computer science ; 649
Thayse, André [Editor]; Gochet, Paul [Other] From modal logic to deductive databases : introducing a logic based approach to artificial intelligence Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chichester [u.a.]: Wiley, 1989 Published in: A logic based approach to artificial intelligence
MacIntyre, Yvonne [Author] Modellgenerierung mit konnektionistischen Systemen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2000
Balduccini, Marcello [Editor]; Gelfond, Michael [Honoree]; Son, Tran Cao [Other] Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday 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 ; 6565
Erdem, Esra [Editor]; Lin, Fangzhen [Other]; Schaub, Torsten [Other] ; LPNMR 10 2009 Potsdam Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 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 ; 5753
Baral, Chitta [Editor]; Brewka, Gerhard [Other]; Schlipf, John [Other] ; LPNMR 9 2007 Tempe, Ariz Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 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 ; 4483
Lifschitz, Vladimir [Editor]; Niemelä, Ilkka [Editor] ; LPNMR 7 2004 Fort Lauderdale, Fla Logic programming and nonmonotonic reasoning : 7th International Conference, Fort Lauderdale, FL, USA, January 6 - 8, 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 ; 2923
Gelfond, Michael [Editor] ; LPNMR 5 1999 El Paso, Tex Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99 ElPaso, Texas, USA, December 2 - 4,1999; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1730
Cervesato, Iliano [Editor]; Veith, Helmut [Other]; Voronkov, Andrei [Other] ; LPAR 15 2008 Doha Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 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 ; 5330
Delgrande, James P. [Editor]; Faber, Wolfgang [Other] ; LPNMR 11 2011 Vancouver, British Columbia Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 ; proceedings 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 ; 6645
Rudolph, Sebastian [Other]; Gutiérrez, Claudio [Other] ; RR 5 2011 Galway Web resoning and rule systems : 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011 ; proceedings 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 ; 6902
Bartenstein, Oskar [Editor] ; International Conference on Applications of Prolog 14 2001 Tokio Web knowledge management and decision support : 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, 2003 Published in: Lecture notes in computer science ; 2543
Kullmann, Peter [Author] Wissensrepräsentation und Anfragebearbeitung in einer logikbasierten Mediatorumgebung Books View online Schließen > Access https://edocs.tib.eu/files/e01dd09/612431037.pdf Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2001
Alferes, José Júlio [Author] ; Pereira, Luís Moniz [Other] Reasoning with Logic Programming Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996 Published in: Lecture notes in computer science ; 1111
Dix, Jürgen [Author] ; Pereira, Luís Moniz [Other]; Przymusinski, Teodor C. [Other] Logic Programming and Knowledge Representation : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1471
> Location Skip to next facet Departmental Library DrePunct (17) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (2) Wert ausschließen Without Specification (17) Wert ausschließen Show more show less
> Language Skip to next facet English (33) Wert ausschließen German (4) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (22) Wert ausschließen Mathmatics (10) Wert ausschließen General sciences (1) Wert ausschließen Show more show less
> Creator Skip to next facet Baral, Chitta (4) Wert ausschließen Faber, Wolfgang (4) Wert ausschließen Pereira, Luís Moniz (4) Wert ausschließen Alferes, José Júlio (3) Wert ausschließen Eiter, Thomas (3) Wert ausschließen Gelfond, Michael (3) Wert ausschließen Leone, Nicola (3) Wert ausschließen Rudolph, Sebastian (3) Wert ausschließen Son, Tran Cao (3) Wert ausschließen Balduccini, Marcello (2) Wert ausschließen Bartenstein, Oskar (2) Wert ausschließen Brewka, Gerhard (2) Wert ausschließen Cervesato, Iliano (2) Wert ausschließen Delgrande, James P. (2) Wert ausschließen Dix, Jürgen (2) Wert ausschließen Erdem, Esra (2) Wert ausschließen Greco, Gianluigi (2) Wert ausschließen Gutiérrez, Claudio (2) Wert ausschließen Lin, Fangzhen (2) Wert ausschließen Schaub, Torsten (2) Wert ausschließen Schlipf, John (2) Wert ausschließen Terracina, Giorgio (2) Wert ausschließen Veith, Helmut (2) Wert ausschließen Voronkov, Andrei (2) Wert ausschließen Abreu, Salvador (1) Wert ausschließen Cabalar, Pedro (1) Wert ausschließen Carbonell, Jaime G. (1) Wert ausschließen Falakh, Faiq Miftakhul (1) Wert ausschließen Geske, Ulrich (1) Wert ausschließen Gochet, Paul (1) Wert ausschließen Hannebauer, Markus (1) Wert ausschließen Hofstedt, Petra (1) Wert ausschließen International Conference on Applications of Prolog 14 2001 Tokio (1) Wert ausschließen John, Ulrich (1) Wert ausschließen Kern-Isberner, Gabriele (1) Wert ausschließen Kuchen, Herbert (1) Wert ausschließen Kullmann, Peter (1) Wert ausschließen LPAR 15 2008 Doha (1) Wert ausschließen LPKR 3 1997 Port Jefferson, NY (1) Wert ausschließen LPNMR 10 2009 Potsdam (1) Wert ausschließen LPNMR 11 2011 Vancouver, British Columbia (1) Wert ausschließen LPNMR 5 1999 El Paso, Tex (1) Wert ausschließen LPNMR 6 2001 Wien (1) Wert ausschließen LPNMR 7 2004 Fort Lauderdale, Fla (1) Wert ausschließen LPNMR 8 2005 Diamante, Calabria (1) Wert ausschließen LPNMR 9 2007 Tempe, Ariz (1) Wert ausschließen Lifschitz, Vladimir (1) Wert ausschließen Lévy, François (1) Wert ausschließen META 3 1992 Uppsala (1) Wert ausschließen MacIntyre, Yvonne (1) Wert ausschließen Morgenstern, Leora (1) Wert ausschließen Niemelä, Ilkka (1) Wert ausschließen Paschke, Adrian (1) Wert ausschließen Pettorossi, Alberto (1) Wert ausschließen Pfeifer, Gerald (1) Wert ausschließen Przymusinski, Teodor C. (1) Wert ausschließen RR 5 2011 Galway (1) Wert ausschließen Seipel, Dietmar (1) Wert ausschließen Siekmann, Jörg (1) Wert ausschließen Stefaneas, Petros (1) Wert ausschließen Thayse, André (1) Wert ausschließen Trusczynksi, Miroslaw (1) Wert ausschließen Truszczyński, Miros law (1) Wert ausschließen Wernhard, Christoph (1) Wert ausschließen Wyner, Adam (1) Wert ausschließen Yoshie, Osamu (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (35) Wert ausschließen Diss online (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Show more show less