The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frieder Stolzenburg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  33. Translating Cooperative Strategies for Robot Behavior. [Citation Graph (, )][DBLP]


  34. Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. [Citation Graph (, )][DBLP]


  35. Model Checking Hybrid Multiagent Systems for the RoboCup. [Citation Graph (, )][DBLP]


  36. A Tool Environment for Specifying and Verifying Multi-agent Systems. [Citation Graph (, )][DBLP]


Search in 0.101secs, Finished in 0.103secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002