Auflistung nach Autor "Kern-Isberner, Gabriele"
Anzeige der Dokumente 1-11 von 11
-
Advanced Solving Technology for Dynamic and Reactive Applications
Brewka, Gerhard; Ellmauthaler, Stefan; Kern-Isberner, Gabriele; Obermeier, Philipp; Ostrowski, Max; Romero, Javier; Schaub, Torsten; Schieweck, Steffen
199-200 -
Aspects of Universitarian Distance Teaching and Online Learning
Beierle, Christoph; Kern-Isberner, Gabriele
305-306 -
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective
Eiter, Thomas; Kern-Isberner, Gabriele
9-33 -
Extending and Completing Probabilistic Knowledge and Beliefs Without Bias
Beierle, Christoph; Kern-Isberner, Gabriele; Finthammer, Marc; Potyka, Nico
255-262 -
Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen
Beierle, Christoph; Isberner, Malte; Kern-Isberner, Gabriele; Messing, Barbara; Widera, Manfred
523-524 -
Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey
Kern-Isberner, Gabriele; Lukasiewicz, Thomas
9-13 -
On the computation of ranking functions for default rules – a challenge for constraint programming
Beierle, Christoph; Kern-Isberner, Gabriele
249-249 -
Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals
Eichhorn, Christian; Kern-Isberner, Gabriele
279-289 -
Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences
Kern-Isberner, Gabriele; Lukasiewicz, Thomas
5-8 -
Stepwise optimization of a constraint logic program for the computation of ranking functions
Beierle, Christoph; Kern-Isberner, Gabriele; Södler, Karl
207-224 -
Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management
Beierle, Christoph; Kern-Isberner, Gabriele; Sauerwald, Kai; Bock, Tanja; Ragni, Marco
57-68