Skip to contents Schaub, Torsten [Author] The automation of reasoning with incomplete information : from semantic foundations to efficient computation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1409 Besnard, Philippe [Author] An introduction to default logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1989 Published in: Symbolic computation ; artificial intelligence Schaub, Torsten [Author]; Schaub, Torsten Hans [Author] Considerations on default logics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1992 Makinson, David [Author] Bridges from classical to nonmonotonic logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: King's College, 2005 Published in: Texts in computing ; 5 Antonelli, G. Aldo [Author] Grounded consequence for defeasible logic - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge University Press, c 2005 Brewka, Gerhard [Author] ; Dix, Jürgen [Other]; Konolige, Kurt [Other] Nonmonotonic reasoning : an overview Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stanford, Calif.: Center for the Study of Language and Information, 1997 Published in: Stanford University: CSLI lecture notes ; 73 Brewka, Gerhard [Author] Nonmonotonic reasoning : from theoretical foundation towards efficient computation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1989 Schlechta, Karl [Author] Nonmonotonic logics : basic concepts, results, and techniques Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1187 Pereira, Luís Moniz [Editor]; Nerode, Anil [Other] Logic programming and non-monotonic reasoning : proceedings of the Second International Workshop Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 1993 Brewka, Gerhard [Editor] ; International Workshop on Nonmonotonic and Inductive Logic 2 1991 Reinhardsbrunn Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2 - 6, 1991 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 659 Marek, Victor W. [Author]; Truszczyński, Mirosław [Author] Nonmonotonic logic : context-dependent reasoning Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Artificial intelligence Levi, Isaac [Author] For the sake of the argument : Ramsey test conditionals, inductive inference and nonmonotonic reasoning - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Cambridge [u.a.]: Cambridge Univ. Press, 1996 Brewka, Gerhard [Author] Nonmonotonic reasoning : logical foundations of commonsense Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1991 Published in: Cambridge tracts in theoretical computer science ; 12 Geffner, Hector [Author] Default reasoning : causal and conditional theories Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 1992 Published in: Association for Computing Machinery: ACM - MIT Press doctoral dissertation award series ; 1990 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 Łukaszewicz, Witold [Author] Non-monotonic reasoning : formalization of commonsense reasoning - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: Ellis Horwood, 1990 Published in: Ellis Horwood Series in artificial intelligence Dix, Jürgen [Editor] ; International Workshop on Nonmonotonic and Inductive Inference 1 1990 Karlsruhe Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 - 7, 1990 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1991 Published in: Lecture notes in computer science ; 543 Gabbay, Dov M. [Editor] ; International Joint Conference on Qualitative and Quantitative Practical Reasoning 1 1997 Honnef Qualitative and Quantitative Practical Reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9-12, 1997 Proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 1997 Published in: Lecture notes in computer science ; 1244 Pearce, David [Editor] ; All-Berlin Workshop on Nonclassical Logics and Information Processing 1 1990 Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9 - 10, 1990 ; 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 ; 619
Schaub, Torsten [Author] The automation of reasoning with incomplete information : from semantic foundations to efficient computation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1409
Besnard, Philippe [Author] An introduction to default logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1989 Published in: Symbolic computation ; artificial intelligence
Schaub, Torsten [Author]; Schaub, Torsten Hans [Author] Considerations on default logics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1992
Makinson, David [Author] Bridges from classical to nonmonotonic logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: King's College, 2005 Published in: Texts in computing ; 5
Antonelli, G. Aldo [Author] Grounded consequence for defeasible logic - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge University Press, c 2005
Brewka, Gerhard [Author] ; Dix, Jürgen [Other]; Konolige, Kurt [Other] Nonmonotonic reasoning : an overview Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stanford, Calif.: Center for the Study of Language and Information, 1997 Published in: Stanford University: CSLI lecture notes ; 73
Brewka, Gerhard [Author] Nonmonotonic reasoning : from theoretical foundation towards efficient computation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1989
Schlechta, Karl [Author] Nonmonotonic logics : basic concepts, results, and techniques Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1187
Pereira, Luís Moniz [Editor]; Nerode, Anil [Other] Logic programming and non-monotonic reasoning : proceedings of the Second International Workshop Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 1993
Brewka, Gerhard [Editor] ; International Workshop on Nonmonotonic and Inductive Logic 2 1991 Reinhardsbrunn Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2 - 6, 1991 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 659
Marek, Victor W. [Author]; Truszczyński, Mirosław [Author] Nonmonotonic logic : context-dependent reasoning Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Artificial intelligence
Levi, Isaac [Author] For the sake of the argument : Ramsey test conditionals, inductive inference and nonmonotonic reasoning - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Cambridge [u.a.]: Cambridge Univ. Press, 1996
Brewka, Gerhard [Author] Nonmonotonic reasoning : logical foundations of commonsense Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1991 Published in: Cambridge tracts in theoretical computer science ; 12
Geffner, Hector [Author] Default reasoning : causal and conditional theories Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 1992 Published in: Association for Computing Machinery: ACM - MIT Press doctoral dissertation award series ; 1990
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
Łukaszewicz, Witold [Author] Non-monotonic reasoning : formalization of commonsense reasoning - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: Ellis Horwood, 1990 Published in: Ellis Horwood Series in artificial intelligence
Dix, Jürgen [Editor] ; International Workshop on Nonmonotonic and Inductive Inference 1 1990 Karlsruhe Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 - 7, 1990 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1991 Published in: Lecture notes in computer science ; 543
Gabbay, Dov M. [Editor] ; International Joint Conference on Qualitative and Quantitative Practical Reasoning 1 1997 Honnef Qualitative and Quantitative Practical Reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9-12, 1997 Proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 1997 Published in: Lecture notes in computer science ; 1244
Pearce, David [Editor] ; All-Berlin Workshop on Nonclassical Logics and Information Processing 1 1990 Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9 - 10, 1990 ; 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 ; 619
> Availability Skip to next facet Open Shelves (6) Wert ausschließen Stack Collection (19) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (15) Wert ausschließen Central Library (9) Wert ausschließen Branch Library of Educationen (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (4) Wert ausschließen Without Specification (14) Wert ausschließen Show more show less
> Language Skip to next facet English (37) Wert ausschließen German (8) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (33) Wert ausschließen Mathmatics (18) Wert ausschließen General sciences (6) Wert ausschließen Philosophy (6) Wert ausschließen Psychology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Brewka, Gerhard (7) Wert ausschließen Dix, Jürgen (7) Wert ausschließen Schmitt, Peter H. (7) Wert ausschließen Fakultät für Philosophie und Erziehungswissenschaft (3) Wert ausschließen Hähnle, Reiner (3) Wert ausschließen Pearce, David (3) Wert ausschließen Reinfrank, Michael (3) Wert ausschließen Schaub, Torsten (3) Wert ausschließen Arieli, Ofer (2) Wert ausschließen Dix, Juergen (2) Wert ausschließen Haehnle, Reiner (2) Wert ausschließen Jantke, Klaus P. (2) Wert ausschließen Schlechta, Karl (2) Wert ausschließen Straßer, Christian (2) Wert ausschließen All-Berlin Workshop on Nonclassical Logics and Information Processing 1 1990 (1) Wert ausschließen Almeida, Joao Marcos de (1) Wert ausschließen AnneMarie, Borg (1) Wert ausschließen Antonelli, G. Aldo (1) Wert ausschließen Baral, Chitta (1) Wert ausschließen Besnard, Philippe (1) Wert ausschließen Gabbay, Dov (1) Wert ausschließen Gabbay, Dov M. (1) Wert ausschließen Geffner, Hector (1) Wert ausschließen Ginsberg, Matthew L. (1) Wert ausschließen Heyninck, Jesse (1) Wert ausschließen International Joint Conference on Qualitative and Quantitative Practical Reasoning 1 1997 Honnef (1) Wert ausschließen International Workshop on Non-Monotonic Reasoning 2 1988 Grassau (1) Wert ausschließen International Workshop on Nonmonotonic and Inductive Inference 1 1990 Karlsruhe (1) Wert ausschließen International Workshop on Nonmonotonic and Inductive Logic 2 1991 Reinhardsbrunn (1) Wert ausschließen Jaeger, Manfred (1) Wert ausschließen Kleer, Johan de (1) Wert ausschließen Konolige, Kurt (1) Wert ausschließen Kruse, Rudolf (1) Wert ausschließen LPNMR 7 2004 Fort Lauderdale, Fla (1) Wert ausschließen LPNMR 9 2007 Tempe, Ariz (1) Wert ausschließen Levesque, Hector J. (1) Wert ausschließen Levi, Isaac (1) Wert ausschließen Lifschitz, Vladimir (1) Wert ausschließen Makinson, David (1) Wert ausschließen Marek, Victor W. (1) Wert ausschließen Molick Silva, Sanderson (1) Wert ausschließen Nerode, Anil (1) Wert ausschließen Neumann, Ulfrid (1) Wert ausschließen Niemelä, Ilkka (1) Wert ausschließen Nomos Verlagsgesellschaft (1) Wert ausschließen Nonnengart, Andreas (1) Wert ausschließen Ohlbach, Hans J. (1) Wert ausschließen Pereira, Luís Moniz (1) Wert ausschließen Reiter, Raymond (1) Wert ausschließen Sandewall, Erik (1) Wert ausschließen Schaub, Torsten Hans (1) Wert ausschließen Schlipf, John (1) Wert ausschließen Strasser, Christian (1) Wert ausschließen Truszczyński, Mirosław (1) Wert ausschließen Wansing, Heinrich (1) Wert ausschließen Łukaszewicz, Witold (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (38) Wert ausschließen Diss online (3) Wert ausschließen BASE - Bielefeld Academic Search Engine (2) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (2) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Show more show less