Jörg Denzinger und Fuchs - Info zur Person

(1 - 8 von 10

)

AG Formale Methoden und Deduktion

agent.informatik.uni-kl.de

AG Formale Methoden und Deduktion. Die AG hat die folgenden Mitarbeiter: Prof. Dr. Jürgen ... Ehemalige Mitarbeiter: Jörg Denzinger. Dirk Fuchs. Martin Kronenburg ...

Experiments in Learning Prototypical Situations for Variants of the ...aaai.org › Library › ICMAS › icmas

aaai.org

Joerg Denzinger, Universitaet Kaiserslautern, and Mattias Fuchs, Universitat Kaiserlautern, Germany. We present an approach to learning cooperative behavior ...

Paralleles Theorembeweisen: Leistungssteigerung, Kooperation und

books.google.lu

Dissertation, Technische Universität München, Institut für Informatik. [FD97] Fuchs, Dirk und Jörg Denzinger: Knowledge-based Cooperation between Theorem ...

Paralleles Theorembeweisen: Leistungssteigerung, Kooperation ...

books.google.com

( FD97 ] Fuchs , Dirk und Jörg Denzinger : Knowledge - based Cooperation between Theorem Provers by TECHS . SEKI - Report SR , Universität ...

Cooperation in Theorem Proving by Loosely Coupled Heuristics - Dirk...

books.google.de

Cooperation in Theorem Proving by Loosely Coupled Heuristics. Front Cover. Dirk Fuchs, Jörg Denzinger. Technische Universität Kaiserslautern, Fachbereich ...

KLUEDO | Knowledge-based Cooperation between Theorem Provers by Techs

kluedo.ub.uni-kl.de

Dirk Fuchs, Jörg Denzinger. We present a methodology for coupling several saturation-based theoremprovers (running on different computers).

Experiments in learning prototypical situations for KLUEDOkluedo.ub.uni-kl.de › index › docId

kluedo.ub.uni-kl.de

Jörg Denzinger, Matthias Fuchs. We present an approach to learning cooperative behavior of agents. Our ap-proach is based on classifying situations with the ...

Alle Infos zum Namen "Jörg Denzinger"

Parallel Theorem Proving - OUCI

ouci.dntb.gov.ua

von MP Bonacina · · Zitiert von: 10 — Jürgen Avenhaus, Jörg Denzinger, and Matthias Fuchs. DISCOUNT: a system for distributed equational deduction. In Jieh Hsiang, editor, Proceedings of the Sixth ... › works

Verwandte Suchanfragen zu Jörg Denzinger

Matthias Fuchs
German Conference
Dirk Fuchs

Bernhard Bauer
Gabriela Lindemann
Holger Kasinger

Jürgen Avenhaus
Stephan Schulz
Elvira Denzinger

Person "Denzinger" (2)
Vorname "Jörg" (43136)
Name "Denzinger" (151)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: 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

Jörg Denzinger und Fuchs Person-Info