sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000109986580 | 1 hits
Person
ISNI: 
0000 0001 0998 6580
Name: 
Bernhard Nebel
Bernhard Nebel (deutscher Wissenschaftler)
Bernhard Nebel (Duits informaticus)
Bernhard Nebel (German artificial intelligence researcher)
Bernhard Nebel (tysk datavetare)
Bernhard Nebel (tysk informatikar)
Bernhard Nebel (tysk informatiker)
Nebel, B.
Nebel, Bernhard
Dates: 
1956-
Creation class: 
article
Language material
Creation role: 
author
contributor
editor
redactor
Related names: 
Brewka, Gerhard (1955-....))
Deutsches Forschungszentrum für Künstliche Intelligenz
Dreschler-Fischer, Leonie
Görz, Günther (1947-)
Habel, Christopher
Lakemeyer, Gerhard
Rich, Charles
Saarbrücken, Univ
Smolka, Gert (1955-)
Swartout, William
Swartout, William R.
Universität Freiburg im Breisgau Institut für Informatik Affiliation (see also from)
Universität Hamburg Affiliation (see also from)
Universität Saarbrücken Affiliation (see also from)
Universität Ulm Affiliation (see also from)
Titles: 
`Solving Hard Qualitative Temporal Reasoning Problems : Evaluating the Efficiency of Using the ORD-Horn Class'
Attributive description formalisms and the rest of the world
Belief revision and default reasoning syntax-based approaches
Exploring artificial intelligence in the new millenium
How well does a vanilla loop fit into a frame?
IJCAI-01 proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, Seattle, Washington, August 4-10, 2001
International Workshop on Terminological Logics Schloss Dagstuhl, Germany, May 6 - 8, 1991
KI-94 : advances in artificial intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994 : proceedings
knowledge level analysis of belief revision
Künstliche Intelligenz
NIGEL gets to know logic an experiment in natural language generation taking a logical, knowledge-based view
On the computational complexity of temporal projection and some related problems
Papiere zum Workshop "Logisches Programmieren und Lisp"
Plan reuse versus plan generation a theoretical and empirical analysis
Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92)
Reasoning about temporal relations a maximal tractable subset of Allen's interval algebra
Reasoning and revision in hybrid representation systems
Solving Hard Qualitative Temporal Reasoning Problems : Evaluating the Efficiency of Using the ORD-Horn Class
Terminological reasoning is inherently intractable
Weiterführende Arbeiten am COPANET-Compiler Realisierung d. verdeckten Interrechner-Kommunikation im COPANET
Yapay zekâ
Contributed to or performed: 
CONSTRAINTS -DORDRECHT-
ECAI
Notes: 
Saarbrücken, Univ., Diss., 1989
Sources: 
VIAF DNB LC NUKAT SUDOC WKD
NTA
ZETO