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

Belief revision with reinforcement learning for interactive object recognition

by Thomas Leopold, Gabriele Kern-Isberner, and Gabriele Peters

In: Proceedings of the 18th European Conference on Artificial Intelligence, ECAI, 2008.

Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen

by Christoph Beierle and Gabriele Kern-Isberner

Vieweg+Teubner Verlag, 4. verbesserte edition, 2008.

Belief Operations for Motivated BDI Agents

by Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, and Gabriele Kern-Isberner

In: Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems 2008 (AAMAS '08), pages 421-428. Estoril, Portugal, May 2008.

On the Relationship of Defeasible Argumentation and Answer Set Programming

by Matthias Thimm, Gabriele Kern-Isberner

In: Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), pages 393-404. Toulouse, France, May 2008.

A Distributed Argumentation Framework using Defeasible Logic Programming

by Matthias Thimm, Gabriele Kern-Isberner

In: Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), pages 381-392. Toulouse, France, May 2008

Preference-Based Default Reasoning

by Manuela Ritterskamp and Gabriele Kern-Isberner

In: Proceedings of the 21st International FLAIRS Conference, Florida, May 2008.

Probabilistic abduction without priors

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

In: International Journal of Approximate Reasoning, 47(3):333-351, 2008.

On the Relationship of Defeasible Argumentation and Answer Set Programming (Extended Version)

by Matthias Thimm, Gabriele Kern-Isberner

Technical Report. Technische Universität Dortmund, February 2008.

A Distributed Argumentation Framework using Defeasible Logic Programming (Extended Version)

by Matthias Thimm, Gabriele Kern-Isberner

Technical Report. Technische Universität Dortmund, February 2008.

Foundations of Information and Knowledge Systems

by Sven Hartmann and Gabrielle Kern-Isberner, editors.

Proceedings of the 5th International Symposium, FoIKS 2008. Number 4932 in LNCS. Springer, 2008.

Learning Uncertain Rules with CondorCKD

by Jens Fisseler, Gabriele Kern-Isberner, and Christoph Beierle

In: Proceedings of the 20th International FLAIRS Conference, FLAIRS'07, pages 74-79. AAAI Press, Menlo Park, California, 2007.

A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning

by Gabriele Kern-Isberner

In: Proceedings Dagstuhl Seminar 07351 Formal Models of Belief Change in Rational Agents, 2007.

Using preference fusion for default reasoning

by Manuela Ritterskamp and Gabriele Kern-Isberner

In: Proceedings of the 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2007), 2007.

Resolving inconsistencies in probabilistic knowledge bases

by Marc Finthammer, Gabriele Kern-Isberner, and Manuela Ritterskamp

In: Proceedings of the 30th Annual German Conference on AI, KI 2007, Lecture Notes in Computer Science, 4667:114-128. Springer-Verlag, 2007.

An ASM refinement and implementation of the Condor system using ordinal conditional functions

by Christoph Beierle and Gabriele Kern-Isberner

In: Proceedings of the14th International Workshop on Abstract State Machines (ASM'2007), Lecture Notes in Computer Science. Springer-Verlag, 2007.

Algebraic knowledge discovery using Haskell

by Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, and Christian Müller

In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Lecture Notes in Computer Science, 4354:80-93. Springer-Verlag, 2007.

Using group theory for knowledge representation and discovery

by Gabriele Kern-Isberner

In: Contemporary Mathematics, Special Issue on Combinatorial Group Theory, Number Theory and Discrete Groups, 421:169-186, 2007.

Dynamics of Knowledge and Belief

by Christoph Beierle and Gabrielle Kern-Isberner, editors.

Proceedings of the Workshop at the 30th Annual German Conference on Artificial Intelligence, KI-2007. Informatik-Bericht 339, Fakultät für Mathematik und Informatik, FernUniversität Hagen, 2007.

A note on comparing semantics for conditinnals

by Christoph Beierle and Gabriele Kern-Isberner

In: Proceedings 19th International FLAIRS Conference, FLAIRS’2006, pages 794–799. AAAI Press, Menlo Park, California, 2006.

On the logic of theory change: Relations between incision and selection functions

by Marcelo Falappa, Eduardo Fermé, and Gabriele Kern-Isberner

In: Proceedings 17th European Conference on Artificial Intel ligence, ECAI’2006, pages 402–406. IOS Press, 2006.

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