#### Filter Results:

- Full text PDF available (53)

#### Publication Year

1992

2018

- This year (4)
- Last 5 years (18)
- Last 10 years (31)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Frieder Stolzenburg
- Journal of Automated Reasoning
- 1993

In this paper, an algorithm for set unification â€“ which is a restricted case of the associative-commutative-idempotent (ACI) unification â€“ is presented. The algorithm is able to unify finite setsâ€¦ (More)

- Frieder Stolzenburg, Alejandro Javier GarcÃa, Carlos IvÃ¡n ChesÃ±evar, Guillermo Ricardo Simari
- Journal of Applied Non-Classical Logics
- 2003

Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. Aâ€¦ (More)

- Frank Dylla, Alexander Ferrein, +6 authors Thomas Wagner
- RoboCup
- 2004

The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they are usable forâ€¦ (More)

- Toshiaki Arai, Frieder Stolzenburg
- AAMAS
- 2002

Multiagent systems are a promising new paradigm in computing, which are contributing to various fields. Many theories and technologies have been developed in order to design and specify multiagentâ€¦ (More)

- Frieder Stolzenburg, Ramona Gerwig, Erika Dinkl, Friedrich Grummt
- Chromosoma
- 1994

MuNTS2, a 423 bp sequence isolated from the non-transcribed spacer of murine rDNA stimulates the amplification of cis-linked plasmid DNA in mouse cells under selective conditions. Here we demonstrateâ€¦ (More)

- Frieder Stolzenburg
- FroCoS
- 1996

General agreement exists about the usefulness of sets as very highlevel representations of complex data structures. Therefore it is worthwhile to introduce sets into constraint logic programming orâ€¦ (More)

- Jan Murray, Oliver Obst, Frieder Stolzenburg
- RoboCup
- 2000

Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficient programming ofâ€¦ (More)

- Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
- Artif. Intell.
- 1997

We demonstrate that theorem provers using model elimination (ME) can be used as answer-complete interpreters for disjunctive logic programming. More specifically, we introduce a mechanism forâ€¦ (More)

- Frieder Stolzenburg
- J. UCS
- 1999

Automated reasoning systems often su er from redundancy: similar parts of derivations are repeated again and again. This leads us to the problem of loopdetection, which clearly is undecidable inâ€¦ (More)

- Ammar Mohammed, Frieder Stolzenburg
- 2009

Die Arbeitsberichte aus dem Fachbereich Informatik dienen der Darstellung vorlÃ¤ufiger Ergebnisse, die in der Regel noch fÃ¼r spÃ¤tere VerÃ¶ffentlichungen Ã¼berarbeitet werden. Die Autoren sind deshalbâ€¦ (More)