 | 2008 |
|---|
| 36 |       | Florian Ruh,
Frieder Stolzenburg:
Translating Cooperative Strategies for Robot Behavior.
KESE 2008 |
| 2007 |
|---|
| 35 | | Ulrich Furbach,
Jan Murray,
Falk Schmidsberger,
Frieder Stolzenburg:
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking.
PROMAS 2007: 205-220 |
| 34 | | Ulrich Furbach,
Jan Murray,
Falk Schmidsberger,
Frieder Stolzenburg:
Model Checking Hybrid Multiagent Systems for the RoboCup.
RoboCup 2007: 262-269 |
| 2006 |
|---|
| 33 | | Frieder Stolzenburg,
Jan Murray,
Karsten Sturm:
Multiagent Matching Algorithms with and without Coach.
Journal of Decision Systems 15(2-3): 215-240 (2006) |
| 2004 |
|---|
| 32 | | Frank Dylla,
Alexander Ferrein,
Gerhard Lakemeyer,
Jan Murray,
Oliver Obst,
Thomas Röfer,
Frieder Stolzenburg,
Ubbo Visser,
Thomas Wagner:
Towards a League-Independent Qualitative Soccer Theory for RoboCup.
RobuCup 2004: 611-618 |
| 2003 |
|---|
| 31 | | Frieder Stolzenburg,
Toshiaki Arai:
From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications.
MATES 2003: 131-143 |
| 30 | | Frieder Stolzenburg,
Jan Murray,
Karsten Sturm:
Multiagent Matching Algorithms with and without Coach.
MATES 2003: 192-204 |
| 29 |  | Frieder Stolzenburg,
Alejandro Javier García,
Carlos Iván Chesñevar,
Guillermo Ricardo Simari:
Computing Generalized Specificity.
Journal of Applied Non-Classical Logics 13(1): 87- (2003) |
| 28 | | Carlos Iván Chesñevar,
Jürgen Dix,
Frieder Stolzenburg,
Guillermo Ricardo Simari:
Relating defeasible and normal logic programming through transformation properties.
Theor. Comput. Sci. 290(1): 499-529 (2003) |
| 2002 |
|---|
| 27 | | Toshiaki Arai,
Frieder Stolzenburg:
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing.
AAMAS 2002: 11-18 |
| 26 | | Frieder Stolzenburg,
Oliver Obst,
Jan Murray:
Qualitative Velocity and Ball Interception.
KI 2002: 283-298 |
| 2001 |
|---|
| 25 | | Jan Murray,
Oliver Obst,
Frieder Stolzenburg:
RoboLog Koblenz 2001.
RoboCup 2001: 526-530 |
| 2000 |
|---|
| 24 | | Jan Murray,
Oliver Obst,
Frieder Stolzenburg:
Towards a Logical Approach for Soccer Agents Engineering.
RoboCup 2000: 199-208 |
| 23 | | Jan Murray,
Oliver Obst,
Frieder Stolzenburg:
RoboLog Koblenz 2000.
RoboCup 2000: 469-472 |
| 22 | | Frieder Stolzenburg:
Clause and Effect - Prolog Programming for the Working Programmer.
KI 14(1): 65- (2000) |
| 21 | | Ulrich Furbach,
Oliver Obst,
Frieder Stolzenburg:
Intelligente Agenten und KI.
LOG IN 20(3/4): 17- (2000) |
| 1999 |
|---|
| 20 | | Jürgen Dix,
Frieder Stolzenburg,
Guillermo Ricardo Simari,
Pablo R. Fillottrani:
Automating Defeasible Reasoning with Logic Programming.
German-Argentinian Workshop on Information Technology 1999: 39-46 |
| 19 | | Frieder Stolzenburg,
Oliver Obst,
Jan Murray,
Björn Bremer:
Spatial Agents Implemented in a Logical Expressible Language.
RoboCup 1999: 481-494 |
| 18 | | Jan Murray,
Oliver Obst,
Frieder Stolzenburg:
RoboLog Koblenz.
RoboCup 1999: 628-631 |
| 17 | | Frieder Stolzenburg:
An Algorithm for General Set Unification and Its Complexity.
J. Autom. Reasoning 22(1): 45-63 (1999) |
| 16 | | Frieder Stolzenburg:
Loop-Detection in Hyper-Tableaux by Powerful Model Generation.
J. UCS 5(3): 135-155 (1999) |
| 15 | | Oliver Obst,
Frieder Stolzenburg:
Der RoboCup während der IJCAI '99.
KI 13(4): 66-67 (1999) |
| 1998 |
|---|
| 14 | | Jürgen Dix,
Frieder Stolzenburg:
A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming.
J. Log. Program. 37(1-3): 47-76 (1998) |
| 13 | | Frieder Stolzenburg:
A Flexible System for Constraint Disjunctive Logic Programming.
KI 12(2): 73-78 (1998) |
| 12 | | Peter Baumgartner,
Ingo Dahn,
Jürgen Dix,
Ulrich Furbach,
Michael Kühn,
Frieder Stolzenburg,
Bernd Thomas:
Automated Deduction: a Technological Point of View.
KI 12(4): 7-14 (1998) |
| 1997 |
|---|
| 11 | | Peter Baumgartner,
Ulrich Furbach,
Frieder Stolzenburg:
Computing Answers with Model Elimination.
Artif. Intell. 90(1-2): 135-176 (1997) |
| 1996 |
|---|
| 10 | | Frieder Stolzenburg:
Membership-Constraints and Complexity in Logic Programming with Sets.
Frontiers of Combining Systems (FroCos) 1996: 285-302 |
| 9 | | Chandrabose Aravindan,
Peter Baumgartner,
Jürgen Dix,
Ulrich Furbach,
Gerd Neugebauer,
Ilkka Niemelä,
Dorothea Schäfer,
Frieder Stolzenburg:
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).
JICSLP 1996: 546 |
| 8 | | Frieder Stolzenburg,
Stephan Höhne,
Ulrich Koch,
Martin Volk:
Constraint Logic Programming for Computational Linguistics.
LACL 1996: 406-425 |
| 7 | | Jürgen Dix,
Frieder Stolzenburg:
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming.
NMELP 1996: 202-224 |
| 6 | | Peter Baumgartner,
Jürgen Dix,
Ulrich Furbach,
Dorothea Schäfer,
Frieder Stolzenburg:
Deduktion und Logisches Programmieren.
KI 10(2): 34-39 (1996) |
| 1995 |
|---|
| 5 | | Peter Baumgartner,
Ulrich Furbach,
Frieder Stolzenburg:
Model Elimination, Logic Programming and Computing Answers.
IJCAI 1995: 335-341 |
| 4 | | Peter Baumgartner,
Frieder Stolzenburg:
Constraint Model Elimination and a PTTP-Implementation.
TABLEAUX 1995: 201-216 |
| 1994 |
|---|
| 3 | | Frieder Stolzenburg:
Logic Programming with Sets by Membership-Constraints.
WLP 1994: 48-51 |
| 1992 |
|---|
| 2 | | Frieder Stolzenburg,
Alexander Bach,
Christian Lieske,
Hanno Ridder,
Martin Volk:
Third European Summer Scholl on Language, Logic, and Information - Saarbrücken 1991.
KI 6(1): 46-46 (1992) |
| 1 | | Frieder Stolzenburg,
Martin Volk:
UBS. Eine Unifikationsbasierte Sprache zur Implementation von HPSG.
LDV Forum 9(1): 10-13 (1992) |
