Sie sind hier: Technische Universität Dortmund > Fakultät für Informatik > Lehrstuhl Informatik 1 - Logik in der Informatik
Publikationen

Inferences and Information Processing in a Conditional Framework

by Gabriele Kern-Isberner and Wilhelm Rödder, editors.

Logic Journal of the IGPL, 14(3). Oxford University Press, 2006. Special Issue.

Inferences and Information Processing in a Conditional Framework

by Gabriele Kern-Isberner and Dan Wu, editors.

International Journal of Approximate Reasoning, 46(2). Elsevier, 2007. Special Issue on Uncertain Reasoning.

Computer science exercises in a virtual university

by Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, and Christoph Beierle

In: Proceedings of the 2006 International Conference on e-Learning, e-Business, Enterprise Informati on Systems, e-Government, & Outsourcing, EEE’06, pages 23 – 29. CSREA Press, 2006.

Methoden wissensbasierter Systeme

by Christoph Beierle and Gabriele Kern-Isberner

Vieweg-Verlag, 3 edition, 2006.

An extendable system for the specification and generation of interactive self-tests

by Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, and Christoph Beierle

In: Z. Pan, R. Aylett, H. Diener, and X. Jin, editors, Edutainment: Technology and Application, Lecture Notes in Computer Science. Springer-Verlag, 2006.

An Extendable System for the Specification and Generation of Interactive Self-Tests

by Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, and Christoph Beierle

In: Z. Pan, R. Aylett, H. Diener, and X. Jin, editors, Edutainment: Technology and Application, Lecture Notes in Computer Science. Springer-Verlag, 2006.

Ein erweiterbares System fur die Spezifikation und Generierung interaktiver Selbsttestaufgaben

by Manfred Widera, Barbara Messing, Christoph Beierle, Malte Isberner, and Gabriele Kern-Isberner

In: Informatik Fachbericht, FernUniversität Hagen, 2006.

Mining data with group theoretical means

by Gabriele Kern-Isberner

In: Encyclopedia of Data Warehousing and Mining, 763-767, 2006. IGP.

Probabilistic abduction without priors

by Didier Dubois, Angelo Gilio, and Gabriele Kern-Isberner

In: Proceedings 10th International Conference on Principles of Knowledge Representation and Reasoning, KR’2006, pages 420–430, Menlo Park, Ca., 2006. AAAI Press.

A note on comparing semantics for conditionals

by Christoph Beierle and Gabriele Kern-Isberner

Proceedings of the19th International FLAIRS Conference, FLAIRS'2006, 794-799. AAAI Press, 2006.

Conditionals, Information, and Inference

by Gabriele Kern-Isberner, Wilhelm Rödder, and Friedhelm Kulmann, editors.

Selected Papers from the Workshop on Conditionals,Information, and Inference, WCII’2002. Number LNAI 3301 in Lecture Notes in Artificial Intelligence. Springer, Berlin Heidelberg New York, 2005.

Ein erweiterbares System für die Spezifikation und Generierung interaktiver Selbsttestaufgaben

by Manfred Widera, Barbara Messing, Christoph Beierle, Malte Isberner, and Gabriele Kern-Isberner

In: Informatik Fachbericht, FernUniversität Hagen, 2005.

Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen

by Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, and Manfred Widera

In: J. Haake, U. Lucke, and D. Tavangarian, editors, DeLFI 2005. Proceedings der 3. e-Learning Fachtagung Informatik, volume P-37 of Lecture Notes in Informatics (LNI), pages 523–524. Köllen Verlag, 2005.

Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen

by Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, and Manfred Widera

In: DeLFI 2005, Proceedings der 3. e-Learning Fachtagung Informatik, Lecture Notes in Informatics (LNI), 2005.

Using answer set programming for a decision support system

by Christoph Beierle, Oliver Dusso, and Gabriele Kern-Isberner

In: C. Baral, G. Greco, N. Leone, and G. Terracina, editors, Proceedings 8th International Conference on Logic Programming and Non Monotonic Reasoning (LPNMR 2005), volume 3662 of LNAI. Springer-Verlag, 2005.

Looking at probabilistic conditionals from an institutional point of view

by Christoph Beierle and Gabriele Kern-Isberner

In: Conditionals, Information, and Inference, number 3301 in LNAI, 2005.

Modelling and implementing a knowledge base for checking medical invoices with DLV

by Gabriele Kern-Isberner, Christoph Beierle, and Oliver Dusso

In: Proceedings of Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005.

Footprints of conditionals

by Christoph Beierle and Gabriele Kern-Isberner

In: Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday, LNCS 2605, 2005. Springer.

Belief revision and information fusion on optimum entropy

by Gabriele Kern-Isberner and Wilhelm Rödder

In: International Journal of Intelligent Systems, 19(9):837-857, 2004.

Proceedings of the 2nd Workshop on Conditionals, Information, and Inference

by Gabriele Kern-Isberner, Wilhelm Rödder, and Friedhelm Kulmann, editors.

WCII’04. Ulm, September 2004.

<< Start < Zurück 1 2 3 4 5 6 Weiter > Ende >>
Seite 3 von 6
Joomla SEF URLs by Artio