MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
#YearAuthor(s) [non member]Editor(s) [non member]TitleType
1
Show details for Echahed, RachidEchahed, Rachid
1
Show details for Egly, Uwe (ed.)Egly, Uwe (ed.)
11
Show details for Eisenbrand, FriedrichEisenbrand, Friedrich
3
Show details for Eisinger, NorbertEisinger, Norbert
1
Show details for Eklund, Patrick (ed.)Eklund, Patrick (ed.)
1
Show details for Emerson, E. Allen (ed.)Emerson, E. Allen (ed.)
3
Show details for Engel, ThorstenEngel, Thorsten
1
Show details for Escalada-Imaz, Gonzalo (ed.)Escalada-Imaz, Gonzalo (ed.)
2
Show details for Esparza, JavierEsparza, Javier
1
Show details for et al. (ed.)et al. (ed.)
1
Show details for et. al. (ed.)et. al. (ed.)
1
Show details for Faber, JohannesFaber, Johannes
1
Show details for Faller, Martina (ed.)Faller, Martina (ed.)
2
Show details for Fariñas del Cerro, Luís (ed.)Fariñas del Cerro, Luís (ed.)
1
Show details for Fathi, Madjid (ed.)Fathi, Madjid (ed.)
1
Show details for Fawcett, Tom (ed.)Fawcett, Tom (ed.)
4
Hide details for Fehrer, DetlefFehrer, Detlef
1995Fehrer, DetlefA unifying logical framework for reason maintenance
Universität des Saarlandes
Thesis - PhD thesis
1994Fehrer, DetlefCunningham, Jim
Pitt, Jeremy
A Unifying Logical Framework for Reason Maintenance (Deliverable DI.1.2-3P)
In: Medlar II Report PPR2, 47-55
Proceedings Article
1994Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil
[Baader, Franz]
[Lenzerini, Maurizio]
[Nutt, Werner]
[Patel-Schneider, Peter F.]
Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84
Proceedings Article
1993Fehrer, DetlefClarke, M.
Kruse, R.
Moral, S.
A Unifying Framework for Reason Maintenance
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings European Conference ECSQARU '93, 113-120
Proceedings Article
1
Show details for Felleisen, Matthias (ed.)Felleisen, Matthias (ed.)
1
Show details for Feng, Ling (ed.)Feng, Ling (ed.)
1
Show details for Fermüller, Christian G.Fermüller, Christian G.
1
Show details for Fermüller, Christian (ed.)Fermüller, Christian (ed.)
2
Show details for Ferrante, Jeanne (ed.)Ferrante, Jeanne (ed.)
1
Show details for Ferreirim, Isabel (ed.)Ferreirim, Isabel (ed.)
1
Show details for Fiedler, Herbert (ed.)Fiedler, Herbert (ed.)
1
Show details for Filinski, Andrzej (ed.)Filinski, Andrzej (ed.)
1
Show details for Finkbeiner, BerndFinkbeiner, Bernd

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)